AbstractSystemLocation (UPPAAL model library)

java.lang.Object
- com.uppaal.model.AbstractSystemLocation

Direct Known Subclasses:: SystemLocation, SystemSimregion

public abstract class AbstractSystemLocation
extends java.lang.Object

Constructor Summary

Constructors
Modifier Constructor Description

protected AbstractSystemLocation(AbstractProcess process, int index)

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`getIndex()`
`abstract java.lang.String`	`getName()`
`AbstractProcess`	`getProcess()`
`java.lang.String`	`getProcessName()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractSystemLocation

protected AbstractSystemLocation(AbstractProcess process,
                                 int index)

Method Detail

getProcess
```
public AbstractProcess getProcess()
```

getProcessName

public java.lang.String getProcessName()

getName

public abstract java.lang.String getName()

getIndex
```
public int getIndex()
```