com.uppaal.model
Class AbstractSystem

java.lang.Object
  com.uppaal.model.AbstractSystem

Direct Known Subclasses:

UppaalLscSystem, UppaalSystem

public abstract class AbstractSystem
extends Object

Field Summary

protected ArrayList<String>	clocks
protected Document	document
protected ArrayList<String>	variables

Constructor Summary

AbstractSystem()

AbstractSystem(Document aDocument)

Method Summary

abstract void	addProcess(String processName, String templateName, Translator map)
String	getClockName(int i)
Document	getDocument()
int	getNoOfClocks()
int	getNoOfVariables()
String	getVariableName(int i)
void	setClocks(ArrayList<String> value)
void	setVariables(ArrayList<String> value)

Methods inherited from class java.lang.Object

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

Field Detail

variables

protected ArrayList<String> variables

clocks

protected ArrayList<String> clocks

document

protected Document document

Constructor Detail

AbstractSystem

public AbstractSystem()

AbstractSystem

public AbstractSystem(Document aDocument)

Method Detail

addProcess

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

setVariables

public void setVariables(ArrayList<String> value)

setClocks

public void setClocks(ArrayList<String> value)

getNoOfVariables

public int getNoOfVariables()

getVariableName

public String getVariableName(int i)

getNoOfClocks

public int getNoOfClocks()

getClockName

public String getClockName(int i)

getDocument

public Document getDocument()