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

Field Summary

Fields

Modifier and Type	Field	Description
protected ArrayList<String>	clocks
protected Document	document
protected ArrayList<String>	variables

Constructor Summary

Constructors

Constructor	Description
AbstractSystem()	Constructor
AbstractSystem(Document aDocument)	Constructor

Method Summary

Modifier and Type	Method	Description
abstract void	addProcess(String processName, String templateName, Translator map)	Add process data
String	getClockName(int i)	Get clock name
ArrayList<String>	getClockNames()	Get all clock name
Document	getDocument()	Get the document
int	getNoOfClocks()	Get the number of the clocks
int	getNoOfVariables()	Get the number of the variables
String	getVariableName(int i)	Get the variable name
ArrayList<String>	getVariables()	Get the global variables
void	setClocks(ArrayList<String> value)	Set clocks
void	setVariables(ArrayList<String> value)	Set the variables

Methods inherited from class java.lang.Object

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

Field Details

variables

protected ArrayList<String> variables

clocks

protected ArrayList<String> clocks

document

protected Document document

Constructor Details

AbstractSystem

public AbstractSystem()

Constructor

AbstractSystem

public AbstractSystem(Document aDocument)

Constructor

Parameters:

aDocument - - The system document

Method Details

addProcess

public abstract void addProcess(String processName, String templateName, Translator map)

Add process data

Parameters:

processName - - The process name

templateName - - The template name

map - - 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