Package cruise.umple.nusmv

Class BasicExpression

java.lang.Object

cruise.umple.nusmv.BasicExpression

Direct Known Subclasses:

CaseExpression, CTLExpression, InvarExpression, NextExpression

public class BasicExpression
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	BasicExpression.Operator

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
BasicExpression(java.lang.String aIdentifier)

Method Summary

Modifier and Type	Method	Description
java.lang.StringBuilder	_toString(java.lang.Integer numSpaces, java.lang.StringBuilder sb)
boolean	addChild(BasicExpression aChild)
boolean	addChildAt(BasicExpression aChild, int index)
boolean	addOrMoveChildAt(BasicExpression aChild, int index)
java.lang.String	convertOperator()
void	delete()
boolean	getBracketed()
BasicExpression	getChild(int index)
java.util.List<BasicExpression>	getChildren()	Association definition
boolean	getDisplayNegation()
java.lang.String	getExpression()
java.lang.String	getIdentifier()	Variable Declarations
BasicExpression.Operator	getOperator()
java.lang.String	getOperatorFullName()
BasicExpression	getParent()
boolean	hasChildren()
boolean	hasParent()
int	indexOfChild(BasicExpression aChild)
boolean	isBracketed()
boolean	isDisplayNegation()
static int	maximumNumberOfChildren()
static int	minimumNumberOfChildren()
int	numberOfChildren()
boolean	removeChild(BasicExpression aChild)
boolean	setBracketed(boolean aBracketed)
boolean	setDisplayNegation(boolean aDisplayNegation)
boolean	setIdentifier(java.lang.String aIdentifier)
boolean	setOperator(BasicExpression.Operator aOperator)
boolean	setParent(BasicExpression aParent)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Details

NL

public static final java.lang.String NL

TEXT_0

public static final java.lang.String TEXT_0

See Also:

Constant Field Values

Constructor Details

BasicExpression

public BasicExpression(java.lang.String aIdentifier)

Method Details

setIdentifier

public boolean setIdentifier(java.lang.String aIdentifier)

setBracketed

public boolean setBracketed(boolean aBracketed)

setDisplayNegation

public boolean setDisplayNegation(boolean aDisplayNegation)

getIdentifier

public java.lang.String getIdentifier()

Variable Declarations

getBracketed

public boolean getBracketed()

getDisplayNegation

public boolean getDisplayNegation()

isBracketed

public boolean isBracketed()

isDisplayNegation

public boolean isDisplayNegation()

getOperatorFullName

public java.lang.String getOperatorFullName()

getOperator

public BasicExpression.Operator getOperator()

setOperator

public boolean setOperator(BasicExpression.Operator aOperator)

getChild

public BasicExpression getChild(int index)

getChildren

public java.util.List<BasicExpression> getChildren()

Association definition

numberOfChildren

public int numberOfChildren()

hasChildren

public boolean hasChildren()

indexOfChild

public int indexOfChild(BasicExpression aChild)

getParent

public BasicExpression getParent()

hasParent

public boolean hasParent()

minimumNumberOfChildren

public static int minimumNumberOfChildren()

maximumNumberOfChildren

public static int maximumNumberOfChildren()

addChild

public boolean addChild(BasicExpression aChild)

removeChild

public boolean removeChild(BasicExpression aChild)

addChildAt

public boolean addChildAt(BasicExpression aChild, int index)

addOrMoveChildAt

public boolean addOrMoveChildAt(BasicExpression aChild, int index)

setParent

public boolean setParent(BasicExpression aParent)

delete

public void delete()

convertOperator

public java.lang.String convertOperator()

getExpression

public java.lang.String getExpression()

_toString

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object