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

Class AllocationSiteBasedAnalysis.Rewriter

java.lang.Object

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

it.unive.lisa.analysis.heap.pointbased.AllocationSiteBasedAnalysis.Rewriter

All Implemented Interfaces:

it.unive.lisa.symbolic.ExpressionVisitor<it.unive.lisa.analysis.lattices.ExpressionSet>

Direct Known Subclasses:

FieldSensitivePointBasedHeap.Rewriter

Enclosing class:

AllocationSiteBasedAnalysis<A extends AllocationSiteBasedAnalysis<A>>

public class AllocationSiteBasedAnalysis.Rewriter
extends it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter

A BaseHeapDomain.Rewriter for the AllocationSiteBasedAnalysis domain.

Constructor Summary

Constructors

Constructor	Description
Rewriter()

Method Summary

Modifier and Type	Method	Description
it.unive.lisa.analysis.lattices.ExpressionSet	visit(it.unive.lisa.symbolic.heap.AccessChild expression, it.unive.lisa.analysis.lattices.ExpressionSet receiver, it.unive.lisa.analysis.lattices.ExpressionSet child, java.lang.Object... params)
it.unive.lisa.analysis.lattices.ExpressionSet	visit(it.unive.lisa.symbolic.heap.HeapDereference expression, it.unive.lisa.analysis.lattices.ExpressionSet arg, java.lang.Object... params)
it.unive.lisa.analysis.lattices.ExpressionSet	visit(it.unive.lisa.symbolic.heap.HeapReference expression, it.unive.lisa.analysis.lattices.ExpressionSet arg, java.lang.Object... params)
it.unive.lisa.analysis.lattices.ExpressionSet	visit(it.unive.lisa.symbolic.heap.MemoryAllocation expression, java.lang.Object... params)
it.unive.lisa.analysis.lattices.ExpressionSet	visit(it.unive.lisa.symbolic.value.Identifier expression, java.lang.Object... params)
it.unive.lisa.analysis.lattices.ExpressionSet	visit(it.unive.lisa.symbolic.value.PushAny expression, java.lang.Object... params)

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

removeTypingExpressions, visit, visit, 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

public Rewriter()

Method Detail

visit

public it.unive.lisa.analysis.lattices.ExpressionSet visit(it.unive.lisa.symbolic.heap.AccessChild expression,
                                                           it.unive.lisa.analysis.lattices.ExpressionSet receiver,
                                                           it.unive.lisa.analysis.lattices.ExpressionSet child,
                                                           java.lang.Object... params)
                                                    throws it.unive.lisa.analysis.SemanticException

Throws:

it.unive.lisa.analysis.SemanticException

visit

public it.unive.lisa.analysis.lattices.ExpressionSet visit(it.unive.lisa.symbolic.heap.MemoryAllocation expression,
                                                           java.lang.Object... params)
                                                    throws it.unive.lisa.analysis.SemanticException

Throws:

it.unive.lisa.analysis.SemanticException

visit

public it.unive.lisa.analysis.lattices.ExpressionSet visit(it.unive.lisa.symbolic.heap.HeapReference expression,
                                                           it.unive.lisa.analysis.lattices.ExpressionSet arg,
                                                           java.lang.Object... params)
                                                    throws it.unive.lisa.analysis.SemanticException

Throws:

it.unive.lisa.analysis.SemanticException

visit

public it.unive.lisa.analysis.lattices.ExpressionSet visit(it.unive.lisa.symbolic.heap.HeapDereference expression,
                                                           it.unive.lisa.analysis.lattices.ExpressionSet arg,
                                                           java.lang.Object... params)
                                                    throws it.unive.lisa.analysis.SemanticException

Throws:

it.unive.lisa.analysis.SemanticException

visit

public it.unive.lisa.analysis.lattices.ExpressionSet visit(it.unive.lisa.symbolic.value.Identifier expression,
                                                           java.lang.Object... params)
                                                    throws it.unive.lisa.analysis.SemanticException

Specified by:

visit in interface it.unive.lisa.symbolic.ExpressionVisitor<it.unive.lisa.analysis.lattices.ExpressionSet>

Overrides:

visit in class it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter

Throws:

it.unive.lisa.analysis.SemanticException

visit

public it.unive.lisa.analysis.lattices.ExpressionSet visit(it.unive.lisa.symbolic.value.PushAny expression,
                                                           java.lang.Object... params)
                                                    throws it.unive.lisa.analysis.SemanticException

Specified by:

visit in interface it.unive.lisa.symbolic.ExpressionVisitor<it.unive.lisa.analysis.lattices.ExpressionSet>

Overrides:

visit in class it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter

Throws:

it.unive.lisa.analysis.SemanticException