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

Modifier and Type	Method	Description
Location	getLocation()	Get the location
String	getName()	Get the location name

Methods inherited from class com.uppaal.model.AbstractSystemLocation

getIndex, getProcess, getProcessName

Methods inherited from class java.lang.Object

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

Constructor Details

SystemLocation

public SystemLocation(Process process, int index, Location location)

Constructor

Parameters:

process - - The process

index - - The index

location - - The system location

Method Details

getName

public String getName()

Get the location name

Specified by:

getName in class AbstractSystemLocation

Returns:

The location name

getLocation

public Location getLocation()

Get the location

Returns:

- The location