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

protected

AbstractSystemLocation(AbstractProcess process, int index)

Method Summary

int	getIndex()
abstract String	getName()
AbstractProcess	getProcess()

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractSystemLocation

protected AbstractSystemLocation(AbstractProcess process,
                                 int index)

Method Detail

getProcess

public AbstractProcess getProcess()

getName

public abstract String getName()

getIndex

public int getIndex()