Class Ite

java.lang.Object

liquidjava.rj_language.ast.Expression

liquidjava.rj_language.ast.Ite

public class Ite
extends Expression

Constructor Summary

Constructors

Constructor	Description
Ite(Expression e1, Expression e2, Expression e3)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ExpressionVisitor<T> visitor)
Expression	clone()
boolean	equals(Object obj)
Expression	getCondition()
Expression	getElse()
void	getStateInvocations(List<String> toAdd, List<String> all)
Expression	getThen()
void	getVariableNames(List<String> toAdd)
int	hashCode()
boolean	isBooleanTrue()
String	toSimplifiedString()	Returns a simplified string representation of this expression with unqualified names (e.g., com.example.State.open => open Default implementation delegates to toString() Subclasses that contain qualified names should override this method
String	toString()

Methods inherited from class liquidjava.rj_language.ast.Expression

addChild, changeAlias, getChildren, hasChildren, isBooleanExpression, isLiteral, setChild, substitute, substituteFunction, substituteState

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Ite

public Ite(Expression e1,
 Expression e2,
 Expression e3)

Method Details

getCondition

public Expression getCondition()

getThen

public Expression getThen()

getElse

public Expression getElse()

accept

public <T> T accept(ExpressionVisitor<T> visitor)
             throws Exception

Specified by:

accept in class Expression

Throws:

Exception

toString

public String toString()

Specified by:

toString in class Expression

toSimplifiedString

public String toSimplifiedString()

Description copied from class: Expression

Returns a simplified string representation of this expression with unqualified names (e.g., com.example.State.open => open Default implementation delegates to toString() Subclasses that contain qualified names should override this method

Overrides:

toSimplifiedString in class Expression

Returns:

simplified string representation

getVariableNames

public void getVariableNames(List<String> toAdd)

Specified by:

getVariableNames in class Expression

getStateInvocations

public void getStateInvocations(List<String> toAdd,
 List<String> all)

Specified by:

getStateInvocations in class Expression

clone

public Expression clone()

Specified by:

clone in class Expression

isBooleanTrue

public boolean isBooleanTrue()

Specified by:

isBooleanTrue in class Expression

hashCode

public int hashCode()

Specified by:

hashCode in class Expression

equals

public boolean equals(Object obj)

Specified by:

equals in class Expression