Package it.unive.lisa.symbolic.value

Class TernaryExpression

java.lang.Object

it.unive.lisa.symbolic.SymbolicExpression

it.unive.lisa.symbolic.value.ValueExpression

it.unive.lisa.symbolic.value.TernaryExpression

public class TernaryExpression
extends ValueExpression

A bynary expression that applies a TernaryExpression to three SymbolicExpressions.

Constructor Summary

Constructors

Constructor	Description
TernaryExpression(ExternalSet<Type> types, SymbolicExpression left, SymbolicExpression middle, SymbolicExpression right, TernaryOperator operator, CodeLocation location)	Builds the binary expression.

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ExpressionVisitor<T> visitor, java.lang.Object... params)	Accepts an ExpressionVisitor, visiting this expression recursively.
boolean	equals(java.lang.Object obj)
SymbolicExpression	getLeft()	Yields the left-hand side operand of this expression.
SymbolicExpression	getMiddle()	Yields the middle operand of this expression.
TernaryOperator	getOperator()	Yields the operator that is applied to getLeft(), getMiddle() and getRight().
SymbolicExpression	getRight()	Yields the right-hand side operand of this expression.
int	hashCode()
SymbolicExpression	popScope(ScopeToken token)	Pops the scope identified by the given token from the expression.
SymbolicExpression	pushScope(ScopeToken token)	Pushes a new scope, identified by the give token, in the expression.
java.lang.String	toString()

Methods inherited from class it.unive.lisa.symbolic.value.ValueExpression

removeNegations

Methods inherited from class it.unive.lisa.symbolic.SymbolicExpression

getCodeLocation, getDynamicType, getTypes

Methods inherited from class java.lang.Object

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

Constructor Detail

TernaryExpression

public TernaryExpression(ExternalSet<Type> types,
                         SymbolicExpression left,
                         SymbolicExpression middle,
                         SymbolicExpression right,
                         TernaryOperator operator,
                         CodeLocation location)

Builds the binary expression.

Parameters:

types - the runtime types of this expression

left - the left-hand side operand of this expression

middle - the middle operand of this expression

right - the right-hand side operand of this expression

operator - the operator to apply

location - the code location of the statement that has generated this expression

Method Detail

getLeft

public SymbolicExpression getLeft()

Yields the left-hand side operand of this expression.

Returns:

the left operand

getMiddle

public SymbolicExpression getMiddle()

Yields the middle operand of this expression.

Returns:

the middle operand

getRight

public SymbolicExpression getRight()

Yields the right-hand side operand of this expression.

Returns:

the right operand

getOperator

public TernaryOperator getOperator()

Yields the operator that is applied to getLeft(), getMiddle() and getRight().

Returns:

the operator to apply

pushScope

public SymbolicExpression pushScope(ScopeToken token)
                             throws SemanticException

Description copied from class: SymbolicExpression

Pushes a new scope, identified by the give token, in the expression. This causes all Variables to become OutOfScopeIdentifiers associated with the given token.

Specified by:

pushScope in class SymbolicExpression

Parameters:

token - the token identifying the scope to push

Returns:

a copy of this expression where the local variables have gone out of scope

Throws:

SemanticException - if an error occurs during the computation

popScope

public SymbolicExpression popScope(ScopeToken token)
                            throws SemanticException

Description copied from class: SymbolicExpression

Pops the scope identified by the given token from the expression. This causes all the invisible variables (i.e. OutOfScopeIdentifiers) mapped to the given scope to become visible (i.e. Variables) again.

Specified by:

popScope in class SymbolicExpression

Parameters:

token - the token of the scope to be restored

Returns:

a copy of this expression where the local variables associated with the given scope are visible again

Throws:

SemanticException - if an error occurs during the computation

hashCode

public int hashCode()

Overrides:

hashCode in class SymbolicExpression

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class SymbolicExpression

toString

public java.lang.String toString()

Specified by:

toString in class SymbolicExpression

accept

public <T> T accept(ExpressionVisitor<T> visitor,
                    java.lang.Object... params)
             throws SemanticException

Description copied from class: SymbolicExpression

Accepts an ExpressionVisitor, visiting this expression recursively.

Specified by:

accept in class SymbolicExpression

Type Parameters:

T - the type of value produced by the visiting callbacks

Parameters:

visitor - the visitor

params - additional optional parameters to pass to each visiting callback

Returns:

the value produced by the visiting operation

Throws:

SemanticException - if an error occurs during the visiting