Package com.uppaal.model

Class AbstractSystemLocation

java.lang.Object

com.uppaal.model.AbstractSystemLocation

Direct Known Subclasses:

SystemLocation, SystemSimregion

public abstract class AbstractSystemLocation
extends Object

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractSystemLocation(AbstractProcess process, int index)

Method Summary

Modifier and Type	Method	Description
int	getIndex()
abstract String	getName()
AbstractProcess	getProcess()
String	getProcessName()

Methods inherited from class java.lang.Object

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

Constructor Details

AbstractSystemLocation

protected AbstractSystemLocation(AbstractProcess process, int index)

Method Details

getProcess

public AbstractProcess getProcess()

getProcessName

public String getProcessName()

getName

public abstract String getName()

getIndex

public int getIndex()