Package com.uppaal.model.lscsystem

Class SystemCondition

java.lang.Object

com.uppaal.model.lscsystem.SystemCondition

public class SystemCondition
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
SystemCondition(LscProcess process, int index, java.lang.String name, Condition condition)

Method Summary

Modifier and Type	Method	Description
Condition	getCondition()
java.lang.String	getFormatedName()
int	getIndex()
java.lang.String	getName()
LscProcess	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

SystemCondition

public SystemCondition(LscProcess process,
                       int index,
                       java.lang.String name,
                       Condition condition)

Method Detail

getProcess

public LscProcess getProcess()

getProcessName

public java.lang.String getProcessName()

getIndex

public int getIndex()

getName

public java.lang.String getName()

Returns:

the name

getCondition

public Condition getCondition()

Returns:

the condition

getFormatedName

public java.lang.String getFormatedName()