com.uppaal.model
Class AbstractProcess

java.lang.Object
  com.uppaal.model.AbstractProcess

Direct Known Subclasses:

LscProcess, Process

public class AbstractProcess
extends Object

Field Summary

protected Translator

translator The translator to use for this process.

Constructor Summary

protected

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

Method Summary

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 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()