SystemEdgeSelect (UPPAAL model library)

java.lang.Object

com.uppaal.model.system.SystemEdge

com.uppaal.model.system.SystemEdgeSelect

public class SystemEdgeSelect
extends SystemEdge

The class to present the selected edges of the system

Constructor Summary

Constructors
Constructor	Description
`SystemEdgeSelect(Process process, int index, String name, Edge edge, List<Integer> v)`	Constructor
`SystemEdgeSelect(SystemEdge system_edge, List<Integer> select_values)`	Constructor

Method Summary

Modifier and Type	Method	Description
`List<Integer>`	`getSelectList()`	Get the list of the values
`boolean`	`isTheSame(SystemEdgeSelect e)`	Is equal the both edges?
`void`	`writeXTRFormat(Writer writer)`	Convert to format used in XTR files.

Methods inherited from class com.uppaal.model.system.SystemEdge

getEdge, getFormatedName, getIndex, getName, getProcess, getProcessName

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- SystemEdgeSelect
  
  public SystemEdgeSelect(Process process, int index, String name, Edge edge, List<Integer> v)
  
  Constructor
  
  Parameters:
  
  process - - The process object
  
  index - - The index of the edge
  
  name - - The name of the edge
  
  edge - - The edge object
  
  v - - The value list
- SystemEdgeSelect
  
  public SystemEdgeSelect(SystemEdge system_edge, List<Integer> select_values)
  
  Constructor
  
  Parameters:
  
  system_edge - - The system edge
  
  select_values - - The list of the selected values
Method Details
- getSelectList
  
  public List<Integer> getSelectList()
  
  Get the list of the values
  
  Returns:
  
  selectValues - The value list
- writeXTRFormat
  
  public void writeXTRFormat(Writer writer) throws IOException
  
  Convert to format used in XTR files.
  
  Overrides:
  
  writeXTRFormat in class SystemEdge
  
  Parameters:
  
  writer - - The java writer object
  
  Throws:
  
  IOException
- isTheSame
  
  public boolean isTheSame(SystemEdgeSelect e)
  
  Is equal the both edges?
  
  Parameters:
  
  e - - The edge of the system
  
  Returns:
  
  True - equal