Package it.unive.lisa.symbolic.heap

Class AccessChild

java.lang.Object

it.unive.lisa.symbolic.SymbolicExpression

it.unive.lisa.symbolic.heap.HeapExpression

it.unive.lisa.symbolic.heap.AccessChild

public class AccessChild
extends HeapExpression

An expression that accesses a memory location that is a child of another one, that is, the former is reachable from the latter.

Constructor Summary

Constructors

Constructor	Description
AccessChild(ExternalSet<Type> types, SymbolicExpression container, SymbolicExpression child, CodeLocation location)	Builds the child access.

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	getChild()	Yields the expression representing the child.
SymbolicExpression	getContainer()	Yields the expression representing the parent.
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

AccessChild

public AccessChild(ExternalSet<Type> types,
                   SymbolicExpression container,
                   SymbolicExpression child,
                   CodeLocation location)

Builds the child access.

Parameters:

types - the runtime types of this expression

container - the expression representing the parent

child - the expression representing the child

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

Method Detail

getContainer

public SymbolicExpression getContainer()

Yields the expression representing the parent.

Returns:

the container

getChild

public SymbolicExpression getChild()

Yields the expression representing the child.

Returns:

the child

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