com.uppaal.model.system

Class SystemLocation

java.lang.Object

com.uppaal.model.AbstractSystemLocation

com.uppaal.model.system.SystemLocation

public class SystemLocation
extends AbstractSystemLocation

Method Summary

Methods

Modifier and Type	Method and Description
Location	getLocation()
String	getName()

Methods inherited from class com.uppaal.model.AbstractSystemLocation

getIndex, getProcess

Methods inherited from class java.lang.Object

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

Method Detail

getName

public String getName()

Specified by:

getName in class AbstractSystemLocation

getLocation

public Location getLocation()