Package com.uppaal.model.system
Class SystemLocation
- java.lang.Object
-
- com.uppaal.model.AbstractSystemLocation
-
- com.uppaal.model.system.SystemLocation
-
public class SystemLocation extends AbstractSystemLocation
The class of the system location
-
-
Constructor Summary
Constructors Constructor Description SystemLocation(Process process, int index, Location location)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Location
getLocation()
Get the locationString
getName()
Get the location name-
Methods inherited from class com.uppaal.model.AbstractSystemLocation
getIndex, getProcess, getProcessName
-
-
-
-
Method Detail
-
getName
public String getName()
Get the location name- Specified by:
getName
in classAbstractSystemLocation
- Returns:
- The location name
-
getLocation
public Location getLocation()
Get the location- Returns:
- - The location
-
-