Package cruise.umple.nusmv

Class InvarExpression

java.lang.Object

cruise.umple.nusmv.BasicExpression

cruise.umple.nusmv.InvarExpression

public class InvarExpression
extends BasicExpression

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	InvarExpression.InvarOperator

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
InvarExpression(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()
java.lang.String	getExpression()
InvarExpression.InvarOperator	getInvarOperator()
java.lang.String	getInvarOperatorFullName()
boolean	getQualified()
boolean	isQualified()
boolean	setInvarOperator(InvarExpression.InvarOperator aInvarOperator)
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

InvarExpression

public InvarExpression(java.lang.String aIdentifier)

Method Details

setQualified

public boolean setQualified(boolean aQualified)

getQualified

public boolean getQualified()

isQualified

public boolean isQualified()

getInvarOperatorFullName

public java.lang.String getInvarOperatorFullName()

getInvarOperator

public InvarExpression.InvarOperator getInvarOperator()

setInvarOperator

public boolean setInvarOperator(InvarExpression.InvarOperator aInvarOperator)

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