Package it.unive.lisa.analysis.heap

Class BaseHeapDomain.Rewriter

java.lang.Object

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

All Implemented Interfaces:

ExpressionVisitor<ExpressionSet<ValueExpression>>

Enclosing class:

BaseHeapDomain<H extends BaseHeapDomain<H>>

public abstract static class BaseHeapDomain.Rewriter
extends java.lang.Object
implements ExpressionVisitor<ExpressionSet<ValueExpression>>

An ExpressionVisitor that rewrites SymbolicExpressions to ValueExpressions. The visiting of HeapExpressions is left unimplemented for concrete instances to provide their logic.

Constructor Summary

Constructors

Constructor	Description
Rewriter()

Method Summary

Modifier and Type	Method	Description
ExpressionSet<ValueExpression>	visit(BinaryExpression expression, ExpressionSet<ValueExpression> left, ExpressionSet<ValueExpression> right, java.lang.Object... params)	Visits a BinaryExpression.
ExpressionSet<ValueExpression>	visit(Constant expression, java.lang.Object... params)	Visits a Constant.
ExpressionSet<ValueExpression>	visit(Identifier expression, java.lang.Object... params)	Visits an Identifier.
ExpressionSet<ValueExpression>	visit(PushAny expression, java.lang.Object... params)	Visits a PushAny.
ExpressionSet<ValueExpression>	visit(Skip expression, java.lang.Object... params)	Visits a Skip.
ExpressionSet<ValueExpression>	visit(TernaryExpression expression, ExpressionSet<ValueExpression> left, ExpressionSet<ValueExpression> middle, ExpressionSet<ValueExpression> right, java.lang.Object... params)	Visits a TernaryExpression.
ExpressionSet<ValueExpression>	visit(UnaryExpression expression, ExpressionSet<ValueExpression> arg, java.lang.Object... params)	Visits a UnaryExpression.

Methods inherited from class java.lang.Object

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

Methods inherited from interface it.unive.lisa.symbolic.ExpressionVisitor

visit, visit, visit, visit

Constructor Detail

Rewriter

public Rewriter()

Method Detail

visit

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

Description copied from interface: ExpressionVisitor

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

Specified by:

visit in interface ExpressionVisitor<ExpressionSet<ValueExpression>>

Parameters:

expression - the expression

arg - 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 expression

Throws:

SemanticException - if an error occurs during the visit operation

visit

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

Description copied from interface: ExpressionVisitor

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

Specified by:

visit in interface ExpressionVisitor<ExpressionSet<ValueExpression>>

Parameters:

expression - the expression

left - the value produced by visiting the left-hand side of the expression

right - the value produced by visiting the right-hand side of the expression

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(TernaryExpression expression,
                                            ExpressionSet<ValueExpression> left,
                                            ExpressionSet<ValueExpression> middle,
                                            ExpressionSet<ValueExpression> right,
                                            java.lang.Object... params)
                                     throws SemanticException

Description copied from interface: ExpressionVisitor

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

Specified by:

visit in interface ExpressionVisitor<ExpressionSet<ValueExpression>>

Parameters:

expression - the expression

left - the value produced by visiting the left-hand side of the expression

middle - the value produced by visiting the middle-hand side of the expression

right - the value produced by visiting the right-hand side of the expression

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(Skip expression,
                                            java.lang.Object... params)
                                     throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a Skip.

Specified by:

visit in interface ExpressionVisitor<ExpressionSet<ValueExpression>>

Parameters:

expression - the skip

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

Returns:

the value produced by visiting the skip

Throws:

SemanticException - if an error occurs during the visit operation

visit

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

Description copied from interface: ExpressionVisitor

Visits a PushAny.

Specified by:

visit in interface ExpressionVisitor<ExpressionSet<ValueExpression>>

Parameters:

expression - the pushany

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

Returns:

the value produced by visiting the pushany

Throws:

SemanticException - if an error occurs during the visit operation

visit

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

Description copied from interface: ExpressionVisitor

Visits a Constant.

Specified by:

visit in interface ExpressionVisitor<ExpressionSet<ValueExpression>>

Parameters:

expression - the constant

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

Returns:

the value produced by visiting the constant

Throws:

SemanticException - if an error occurs during the visit operation

visit

public 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>>

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