Package cruise.umple.nusmv

Class CTLExpression

java.lang.Object

cruise.umple.nusmv.BasicExpression

cruise.umple.nusmv.CTLExpression

public class CTLExpression
extends BasicExpression

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	CTLExpression.CtlOperator

Nested classes/interfaces inherited from class cruise.umple.nusmv.BasicExpression

BasicExpression.Operator

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	TEXT_0

Fields inherited from class cruise.umple.nusmv.BasicExpression

NL

Constructor Summary

Constructors

Constructor	Description
CTLExpression(java.lang.String aIdentifier)

Method Summary

Modifier and Type	Method	Description
java.lang.StringBuilder	_toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
void	delete()
CTLExpression.CtlOperator	getCtlOperator()
java.lang.String	getCtlOperatorFullName()
java.lang.String	getExpression()
boolean	getQualified()
boolean	isQualified()
boolean	setCtlOperator(CTLExpression.CtlOperator aCtlOperator)
boolean	setQualified(boolean aQualified)
java.lang.String	toString()

Methods inherited from class cruise.umple.nusmv.BasicExpression

addChild, addChildAt, addOrMoveChildAt, convertOperator, getBracketed, getChild, getChildren, getDisplayNegation, getIdentifier, getOperator, getOperatorFullName, getParent, hasChildren, hasParent, indexOfChild, isBracketed, isDisplayNegation, maximumNumberOfChildren, minimumNumberOfChildren, numberOfChildren, removeChild, setBracketed, setDisplayNegation, setIdentifier, setOperator, setParent

Methods inherited from class java.lang.Object

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

Field Details

TEXT_0

public static final java.lang.String TEXT_0

See Also:

Constant Field Values

Constructor Details

CTLExpression

public CTLExpression(java.lang.String aIdentifier)

Method Details

setQualified

public boolean setQualified(boolean aQualified)

getQualified

public boolean getQualified()

isQualified

public boolean isQualified()

getCtlOperatorFullName

public java.lang.String getCtlOperatorFullName()

getCtlOperator

public CTLExpression.CtlOperator getCtlOperator()

setCtlOperator

public boolean setCtlOperator(CTLExpression.CtlOperator aCtlOperator)

delete

public void delete()

Overrides:

delete in class BasicExpression

getExpression

public java.lang.String getExpression()

Overrides:

getExpression in class BasicExpression

_toString

public java.lang.StringBuilder _toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)

Overrides:

_toString in class BasicExpression

toString

public java.lang.String toString()

Overrides:

toString in class BasicExpression