Package it.unive.lisa.symbolic

Interface ExpressionVisitor<T>

Type Parameters:

T - the return type of the visiting callbacks

All Known Implementing Classes:

BaseHeapDomain.Rewriter, BaseInferredValue.EvaluationVisitor, BaseNonRelationalTypeDomain.EvaluationVisitor, BaseNonRelationalValueDomain.EvaluationVisitor

public interface ExpressionVisitor<T>

A visitor for SymbolicExpressions, to be used as parameter to SymbolicExpression.accept(ExpressionVisitor, Object...). The expression will invoke the callbacks provided by this interface while traversing its structure.

Method Summary

Modifier and Type	Method	Description
T	visit(AccessChild expression, T receiver, T child, java.lang.Object... params)	Visits an AccessChild.
T	visit(HeapDereference expression, T arg, java.lang.Object... params)	Visits a HeapDereference.
T	visit(HeapReference expression, T arg, java.lang.Object... params)	Visits a HeapReference.
T	visit(MemoryAllocation expression, java.lang.Object... params)	Visits a MemoryAllocation.
T	visit(BinaryExpression expression, T left, T right, java.lang.Object... params)	Visits a BinaryExpression.
T	visit(Constant expression, java.lang.Object... params)	Visits a Constant.
T	visit(Identifier expression, java.lang.Object... params)	Visits an Identifier.
T	visit(PushAny expression, java.lang.Object... params)	Visits a PushAny.
T	visit(PushInv expression, java.lang.Object... params)	Visits a PushInv.
T	visit(Skip expression, java.lang.Object... params)	Visits a Skip.
T	visit(TernaryExpression expression, T left, T middle, T right, java.lang.Object... params)	Visits a TernaryExpression.
T	visit(UnaryExpression expression, T arg, java.lang.Object... params)	Visits a UnaryExpression.

Method Detail

visit

T visit(AccessChild expression,
        T receiver,
        T child,
        java.lang.Object... params)
 throws SemanticException

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

T visit(MemoryAllocation expression,
        java.lang.Object... params)
 throws SemanticException

Visits a MemoryAllocation.

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

T visit(HeapReference expression,
        T arg,
        java.lang.Object... params)
 throws SemanticException

Visits a HeapReference.

Parameters:

expression - the heap reference

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 heap reference

Throws:

SemanticException - if an error occurs during the visit operation

visit

T visit(HeapDereference expression,
        T arg,
        java.lang.Object... params)
 throws SemanticException

Visits a HeapDereference.

Parameters:

expression - the heap dereference

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 heap dereference

Throws:

SemanticException - if an error occurs during the visit operation

visit

T visit(UnaryExpression expression,
        T arg,
        java.lang.Object... params)
 throws SemanticException

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

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

T visit(BinaryExpression expression,
        T left,
        T right,
        java.lang.Object... params)
 throws SemanticException

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

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

T visit(TernaryExpression expression,
        T left,
        T middle,
        T right,
        java.lang.Object... params)
 throws SemanticException

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

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

T visit(Skip expression,
        java.lang.Object... params)
 throws SemanticException

Visits a Skip.

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

T visit(PushAny expression,
        java.lang.Object... params)
 throws SemanticException

Visits a PushAny.

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

T visit(PushInv expression,
        java.lang.Object... params)
 throws SemanticException

Visits a PushInv.

Parameters:

expression - the pushinv

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

Returns:

the value produced by visiting the pushinv

Throws:

SemanticException - if an error occurs during the visit operation

visit

T visit(Constant expression,
        java.lang.Object... params)
 throws SemanticException

Visits a Constant.

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

T visit(Identifier expression,
        java.lang.Object... params)
 throws SemanticException

Visits an Identifier.

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