Package cruise.umple.nusmv

Class CaseExpression

java.lang.Object

cruise.umple.nusmv.BasicExpression

cruise.umple.nusmv.CaseExpression

public class CaseExpression
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
static java.lang.String	TEXT_2

Fields inherited from class cruise.umple.nusmv.BasicExpression

NL

Constructor Summary

Constructors

Constructor	Description
CaseExpression(java.lang.String aIdentifier, CaseStatement... allCaseStatements)

Method Summary

Modifier and Type	Method	Description
java.lang.StringBuilder	_toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
boolean	addCaseStatement(CaseStatement aCaseStatement)
boolean	addCaseStatementAt(CaseStatement aCaseStatement, int index)
boolean	addOrMoveCaseStatementAt(CaseStatement aCaseStatement, int index)
void	delete()
CaseStatement	getCaseStatement(int index)
java.util.List<CaseStatement>	getCaseStatements()
boolean	hasCaseStatements()
int	indexOfCaseStatement(CaseStatement aCaseStatement)
static int	minimumNumberOfCaseStatements()
int	numberOfCaseStatements()
boolean	removeCaseStatement(CaseStatement aCaseStatement)
boolean	setCaseStatements(CaseStatement... newCaseStatements)
java.lang.String	toString()

Methods inherited from class cruise.umple.nusmv.BasicExpression

addChild, addChildAt, addOrMoveChildAt, convertOperator, getBracketed, getChild, getChildren, getDisplayNegation, getExpression, 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

TEXT_1

public static final java.lang.String TEXT_1

See Also:

Constant Field Values

TEXT_2

public static final java.lang.String TEXT_2

Constructor Details

CaseExpression

public CaseExpression(java.lang.String aIdentifier, CaseStatement... allCaseStatements)

Method Details

getCaseStatement

public CaseStatement getCaseStatement(int index)

getCaseStatements

public java.util.List<CaseStatement> getCaseStatements()

numberOfCaseStatements

public int numberOfCaseStatements()

hasCaseStatements

public boolean hasCaseStatements()

indexOfCaseStatement

public int indexOfCaseStatement(CaseStatement aCaseStatement)

minimumNumberOfCaseStatements

public static int minimumNumberOfCaseStatements()

addCaseStatement

public boolean addCaseStatement(CaseStatement aCaseStatement)

removeCaseStatement

public boolean removeCaseStatement(CaseStatement aCaseStatement)

setCaseStatements

public boolean setCaseStatements(CaseStatement... newCaseStatements)

addCaseStatementAt

public boolean addCaseStatementAt(CaseStatement aCaseStatement, int index)

addOrMoveCaseStatementAt

public boolean addOrMoveCaseStatementAt(CaseStatement aCaseStatement, int index)

delete

public void delete()

Overrides:

delete 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