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

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