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

Modifier and Type	Method	Description
int	getIndex()
String	getName()
AbstractTemplate	getTemplate()
Translator	getTranslator()

Methods inherited from class java.lang.Object

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

Field Details

translator

protected Translator translator

The translator to use for this process.

Constructor Details

AbstractProcess

protected AbstractProcess(String name, int index, AbstractTemplate template, Translator translator)

Method Details

getName

public String getName()

getIndex

public int getIndex()

getTemplate

public AbstractTemplate getTemplate()

getTranslator

public Translator getTranslator()