Package it.unive.lisa.symbolic.value

Class UnaryExpression

java.lang.Object

it.unive.lisa.symbolic.SymbolicExpression

it.unive.lisa.symbolic.value.ValueExpression

it.unive.lisa.symbolic.value.UnaryExpression

All Implemented Interfaces:

ScopedObject<SymbolicExpression>

public class UnaryExpression
extends ValueExpression

A unary expression that applies a UnaryOperator to a SymbolicExpression.

Constructor Summary

Constructors

Constructor	Description
UnaryExpression(Type staticType, SymbolicExpression expression, UnaryOperator operator, CodeLocation location)	Builds the unary 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	getExpression()	Yields the inner expression, that is transformed by this expression by applying getOperator().
UnaryOperator	getOperator()	Yields the operator that is applied to getExpression().
int	hashCode()
boolean	mightNeedRewriting()	Yields whether or not this expression can be considered safe to be processed by domains that only focus on ValueExpressions, or if it might need rewriting.
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.
ValueExpression	removeNegations()	Yields the same value expression removing any negation, namely the LogicalNegation operator, preserving its semantics, if possible.
java.lang.String	toString()

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

getCodeLocation, getStaticType

Methods inherited from class java.lang.Object

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

Constructor Detail

UnaryExpression

public UnaryExpression(Type staticType,
                       SymbolicExpression expression,
                       UnaryOperator operator,
                       CodeLocation location)

Builds the unary expression.

Parameters:

staticType - the static type of this expression

expression - the inner expression

operator - the operator to apply

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

Method Detail

getExpression

public SymbolicExpression getExpression()

Yields the inner expression, that is transformed by this expression by applying getOperator().

Returns:

the inner expression

getOperator

public UnaryOperator getOperator()

Yields the operator that is applied to getExpression().

Returns:

the operator to apply

removeNegations

public ValueExpression removeNegations()

Description copied from class: ValueExpression

Yields the same value expression removing any negation, namely the LogicalNegation operator, preserving its semantics, if possible.

Overrides:

removeNegations in class ValueExpression

Returns:

the same value expression removing any negation, preserving its semantics

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 Identifiers where Identifier.canBeScoped() holds to become OutOfScopeIdentifiers associated with the given token.

Specified by:

pushScope in interface ScopedObject<SymbolicExpression>

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 (e.g. Variables) again. Note that invoking this method on Identifiers where Identifier.canBeScoped() holds will return null if (i) the identifier is not scoped, or (ii) the identifier is scoped by a different token.

Specified by:

popScope in interface ScopedObject<SymbolicExpression>

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

mightNeedRewriting

public boolean mightNeedRewriting()

Description copied from class: SymbolicExpression

Yields whether or not this expression can be considered safe to be processed by domains that only focus on ValueExpressions, or if it might need rewriting. This is a definite answer: if this method returns true, than this expression is sure to not contain anything that deals with, or points to, the memory.

Specified by:

mightNeedRewriting in class SymbolicExpression

Returns:

whether or not this expression might need rewriting