Package com.uppaal.model
Class AbstractProcess
- java.lang.Object
-
- com.uppaal.model.AbstractProcess
-
- Direct Known Subclasses:
LscProcess
,Process
public class AbstractProcess extends Object
-
-
Field Summary
Fields Modifier and Type Field Description protected Translator
translator
The translator to use for this process.
-
Constructor Summary
Constructors Modifier Constructor Description protected
AbstractProcess(String name, int index, AbstractTemplate template, Translator translator)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getIndex()
String
getName()
AbstractTemplate
getTemplate()
Translator
getTranslator()
-
-
-
Field Detail
-
translator
protected Translator translator
The translator to use for this process.
-
-
Constructor Detail
-
AbstractProcess
protected AbstractProcess(String name, int index, AbstractTemplate template, Translator translator)
-
-
Method Detail
-
getName
public String getName()
-
getIndex
public int getIndex()
-
getTemplate
public AbstractTemplate getTemplate()
-
getTranslator
public Translator getTranslator()
-
-