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

Class FieldSensitivePointBasedHeap.Rewriter

java.lang.Object

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

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

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

All Implemented Interfaces:

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

Enclosing class:

FieldSensitivePointBasedHeap

public class FieldSensitivePointBasedHeap.Rewriter
extends PointBasedHeap.Rewriter

A BaseHeapDomain.Rewriter for the FieldSensitivePointBasedHeap domain.

Constructor Summary

Constructors

Constructor	Description
Rewriter()

Method Summary

Modifier and Type	Method	Description
it.unive.lisa.analysis.lattices.ExpressionSet<it.unive.lisa.symbolic.value.ValueExpression>	visit(it.unive.lisa.symbolic.heap.AccessChild expression, it.unive.lisa.analysis.lattices.ExpressionSet<it.unive.lisa.symbolic.value.ValueExpression> receiver, it.unive.lisa.analysis.lattices.ExpressionSet<it.unive.lisa.symbolic.value.ValueExpression> child, java.lang.Object... params)
it.unive.lisa.analysis.lattices.ExpressionSet<it.unive.lisa.symbolic.value.ValueExpression>	visit(it.unive.lisa.symbolic.heap.HeapAllocation expression, java.lang.Object... params)

Methods inherited from class it.unive.lisa.analysis.heap.pointbased.PointBasedHeap.Rewriter

visit, visit, visit, visit

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

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<it.unive.lisa.symbolic.value.ValueExpression> visit(it.unive.lisa.symbolic.heap.AccessChild expression,
                                                                                                         it.unive.lisa.analysis.lattices.ExpressionSet<it.unive.lisa.symbolic.value.ValueExpression> receiver,
                                                                                                         it.unive.lisa.analysis.lattices.ExpressionSet<it.unive.lisa.symbolic.value.ValueExpression> child,
                                                                                                         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<it.unive.lisa.symbolic.value.ValueExpression>>

Overrides:

visit in class PointBasedHeap.Rewriter

Throws:

it.unive.lisa.analysis.SemanticException

visit

public it.unive.lisa.analysis.lattices.ExpressionSet<it.unive.lisa.symbolic.value.ValueExpression> visit(it.unive.lisa.symbolic.heap.HeapAllocation 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<it.unive.lisa.symbolic.value.ValueExpression>>

Overrides:

visit in class PointBasedHeap.Rewriter

Throws:

it.unive.lisa.analysis.SemanticException