Package it.unive.lisa.symbolic.heap

Class HeapDereference

java.lang.Object

it.unive.lisa.symbolic.SymbolicExpression

it.unive.lisa.symbolic.heap.HeapExpression

it.unive.lisa.symbolic.heap.HeapDereference

public class HeapDereference
extends HeapExpression

A heap dereference expression.

Constructor Summary

Constructors

Constructor	Description
HeapDereference(ExternalSet<Type> types, SymbolicExpression toDeref, CodeLocation location)	Builds the heap dereference.

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 expression to be dereferred.
int	hashCode()
java.lang.String	toString()

Methods inherited from class it.unive.lisa.symbolic.heap.HeapExpression

popScope, pushScope

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

HeapDereference

public HeapDereference(ExternalSet<Type> types,
                       SymbolicExpression toDeref,
                       CodeLocation location)

Builds the heap dereference.

Parameters:

types - the runtime types of this expression

toDeref - the expression to be dereferred

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

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class SymbolicExpression

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals 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

getExpression

public SymbolicExpression getExpression()

Yields the expression to be dereferred.

Returns:

the expression to be dereferred

toString

public java.lang.String toString()

Specified by:

toString in class SymbolicExpression