Package it.unive.lisa.analysis.impl.heap.pointbased

Class PointBasedHeap.Rewriter

java.lang.Object

it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter

it.unive.lisa.analysis.impl.heap.pointbased.PointBasedHeap.Rewriter

All Implemented Interfaces:

ExpressionVisitor<ExpressionSet<ValueExpression>>

Enclosing class:

PointBasedHeap

protected class PointBasedHeap.Rewriter
extends BaseHeapDomain.Rewriter

A BaseHeapDomain.Rewriter for the PointBasedHeap domain.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Rewriter()

Method Summary

Modifier and Type	Method	Description
ExpressionSet<ValueExpression>	visit(AccessChild expression, ExpressionSet<ValueExpression> receiver, ExpressionSet<ValueExpression> child, java.lang.Object... params)	Visits an AccessChild.
ExpressionSet<ValueExpression>	visit(HeapAllocation expression, java.lang.Object... params)	Visits a HeapAllocation.
ExpressionSet<ValueExpression>	visit(HeapDereference expression, ExpressionSet<ValueExpression> ref, java.lang.Object... params)	Visits a HeapDereference.
ExpressionSet<ValueExpression>	visit(HeapReference expression, ExpressionSet<ValueExpression> loc, java.lang.Object... params)	Visits a HeapReference.
ExpressionSet<ValueExpression>	visit(Identifier expression, java.lang.Object... params)	Visits an Identifier.

Methods inherited from class it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter

visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Rewriter

protected Rewriter()

Method Detail

visit

public ExpressionSet<ValueExpression> visit(AccessChild expression,
                                            ExpressionSet<ValueExpression> receiver,
                                            ExpressionSet<ValueExpression> child,
                                            java.lang.Object... params)
                                     throws SemanticException

Description copied from interface: ExpressionVisitor

Visits an AccessChild. This callback is invoked after the inner expressions have been visited, and their produced value is passed as argument.

Parameters:

expression - the expression

receiver - the value produced by visiting the receiver (AccessChild.getContainer()) of the access

child - the value produced by visiting the child (AccessChild.getChild()) of the access

params - the additional parameters provided to SymbolicExpression.accept(ExpressionVisitor, Object...), if any

Returns:

the value produced by visiting the expression

Throws:

SemanticException - if an error occurs during the visit operation

visit

public ExpressionSet<ValueExpression> visit(HeapAllocation expression,
                                            java.lang.Object... params)
                                     throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a HeapAllocation.

Parameters:

expression - the allocation

params - the additional parameters provided to SymbolicExpression.accept(ExpressionVisitor, Object...), if any

Returns:

the value produced by visiting the allocation

Throws:

SemanticException - if an error occurs during the visit operation

visit

public ExpressionSet<ValueExpression> visit(HeapReference expression,
                                            ExpressionSet<ValueExpression> loc,
                                            java.lang.Object... params)
                                     throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a HeapReference.

Parameters:

expression - the heap reference

loc - the value produced by visiting the argument of the expression

params - the additional parameters provided to SymbolicExpression.accept(ExpressionVisitor, Object...), if any

Returns:

the value produced by visiting the heap reference

Throws:

SemanticException - if an error occurs during the visit operation

visit

public ExpressionSet<ValueExpression> visit(HeapDereference expression,
                                            ExpressionSet<ValueExpression> ref,
                                            java.lang.Object... params)
                                     throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a HeapDereference.

Parameters:

expression - the heap dereference

ref - the value produced by visiting the argument of the expression

params - the additional parameters provided to SymbolicExpression.accept(ExpressionVisitor, Object...), if any

Returns:

the value produced by visiting the heap dereference

Throws:

SemanticException - if an error occurs during the visit operation

visit

public final ExpressionSet<ValueExpression> visit(Identifier expression,
                                                  java.lang.Object... params)
                                           throws SemanticException

Description copied from interface: ExpressionVisitor

Visits an Identifier.

Specified by:

visit in interface ExpressionVisitor<ExpressionSet<ValueExpression>>

Overrides:

visit in class BaseHeapDomain.Rewriter

Parameters:

expression - the identifier

params - the additional parameters provided to SymbolicExpression.accept(ExpressionVisitor, Object...), if any

Returns:

the value produced by visiting the identifier

Throws:

SemanticException - if an error occurs during the visit operation