Package cruise.umple.nusmv

Class NextExpression

java.lang.Object

cruise.umple.nusmv.BasicExpression

cruise.umple.nusmv.NextExpression

public class NextExpression
extends BasicExpression

Nested Class Summary

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
static java.lang.String	TEXT_1

Fields inherited from class cruise.umple.nusmv.BasicExpression

NL

Constructor Summary

Constructors

Constructor	Description
NextExpression(java.lang.String aIdentifier, BasicExpression aBasicExpression)

Method Summary

Modifier and Type	Method	Description
java.lang.StringBuilder	_getExpression(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
void	delete()
BasicExpression	getBasicExpression()
java.lang.String	getExpression()
boolean	setBasicExpression(BasicExpression aNewBasicExpression)

Methods inherited from class cruise.umple.nusmv.BasicExpression

_toString, 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, toString

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

TEXT_1

public static final java.lang.String TEXT_1

See Also:

Constant Field Values

Constructor Details

NextExpression

public NextExpression(java.lang.String aIdentifier, BasicExpression aBasicExpression)

Method Details

getBasicExpression

public BasicExpression getBasicExpression()

setBasicExpression

public boolean setBasicExpression(BasicExpression aNewBasicExpression)

delete

public void delete()

Overrides:

delete in class BasicExpression

_getExpression

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

getExpression

public java.lang.String getExpression()

Overrides:

getExpression in class BasicExpression