Package com.uppaal.model
Class AbstractSystem
- java.lang.Object
-
- com.uppaal.model.AbstractSystem
-
- Direct Known Subclasses:
UppaalLscSystem
,UppaalSystem
public abstract class AbstractSystem extends Object
The abstract system class
-
-
Constructor Summary
Constructors Constructor Description AbstractSystem()
ConstructorAbstractSystem(Document aDocument)
Constructor
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract void
addProcess(String processName, String templateName, Translator map)
Add process dataString
getClockName(int i)
Get clock nameArrayList<String>
getClockNames()
Get all clock nameDocument
getDocument()
Get the documentint
getNoOfClocks()
Get the number of the clocksint
getNoOfVariables()
Get the number of the variablesString
getVariableName(int i)
Get the variable nameArrayList<String>
getVariables()
Get the global variablesvoid
setClocks(ArrayList<String> value)
Set clocksvoid
setVariables(ArrayList<String> value)
Set the variables
-
-
-
Constructor Detail
-
AbstractSystem
public AbstractSystem()
Constructor
-
AbstractSystem
public AbstractSystem(Document aDocument)
Constructor- Parameters:
aDocument
- - The system document
-
-
Method Detail
-
addProcess
public abstract void addProcess(String processName, String templateName, Translator map)
Add process data- Parameters:
processName
- - The process nametemplateName
- - The template namemap
- - The translator
-
setVariables
public void setVariables(ArrayList<String> value)
Set the variables- Parameters:
value
- - The value list
-
setClocks
public void setClocks(ArrayList<String> value)
Set clocks- Parameters:
value
- - The clock value list
-
getNoOfVariables
public int getNoOfVariables()
Get the number of the variables- Returns:
- The size of the variable list
-
getVariableName
public String getVariableName(int i)
Get the variable name- Parameters:
i
- - The variable index- Returns:
- The variable name
-
getNoOfClocks
public int getNoOfClocks()
Get the number of the clocks- Returns:
- The number of clocks
-
getClockName
public String getClockName(int i)
Get clock name- Parameters:
i
- - The index- Returns:
- The clock name
-
getClockNames
public ArrayList<String> getClockNames()
Get all clock name- Returns:
- The clock name list
-
getVariables
public ArrayList<String> getVariables()
Get the global variables- Returns:
- - The array list of the variable
-
getDocument
public Document getDocument()
Get the document- Returns:
- The document
-
-