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 and Description
SystemLocation(Process process, int index, Location location) Constructor

Method Summary

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

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

Constructor Detail

SystemLocation

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

Constructor

Parameters:

process - - The process

index - - The index

location - - The system location

Method Detail

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