Package it.unive.lisa.analysis.heap

Class MonolithicHeap.Rewriter

java.lang.Object

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

it.unive.lisa.analysis.heap.MonolithicHeap.Rewriter

All Implemented Interfaces:

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

Enclosing class:

MonolithicHeap

public static class MonolithicHeap.Rewriter
extends it.unive.lisa.analysis.heap.BaseHeapDomain.Rewriter

A BaseHeapDomain.Rewriter for the MonolithicHeap domain.

Field Summary

Fields

Modifier and Type	Field	Description
static MonolithicHeap.Rewriter	SINGLETON	The singleton instance of this rewriter.

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 deref, java.lang.Object... params)
it.unive.lisa.analysis.lattices.ExpressionSet	visit(it.unive.lisa.symbolic.heap.HeapReference expression, it.unive.lisa.analysis.lattices.ExpressionSet ref, java.lang.Object... params)
it.unive.lisa.analysis.lattices.ExpressionSet	visit(it.unive.lisa.symbolic.heap.MemoryAllocation 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, visit, visit

Methods inherited from class java.lang.Object

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

Field Detail

SINGLETON

public static final MonolithicHeap.Rewriter SINGLETON

The singleton instance of this rewriter.

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 ref,
                                                           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 deref,
                                                           java.lang.Object... params)
                                                    throws it.unive.lisa.analysis.SemanticException

Throws:

it.unive.lisa.analysis.SemanticException