Package it.unive.lisa.analysis.nonrelational.inference

Class BaseInferredValue.EvaluationVisitor<T extends BaseInferredValue<T>>

java.lang.Object

it.unive.lisa.analysis.nonrelational.inference.BaseInferredValue.EvaluationVisitor<T>

Type Parameters:

T - the concrete type of the domain using this visitor

All Implemented Interfaces:

ExpressionVisitor<InferredValue.InferredPair<T>>

Enclosing interface:

BaseInferredValue<T extends BaseInferredValue<T>>

public static class BaseInferredValue.EvaluationVisitor<T extends BaseInferredValue<T>>
extends java.lang.Object
implements ExpressionVisitor<InferredValue.InferredPair<T>>

A ExpressionVisitor for BaseInferredValue instances.

Constructor Summary

Constructors

Constructor	Description
EvaluationVisitor(T singleton)	Builds the visitor.

Method Summary

Modifier and Type	Method	Description
InferredValue.InferredPair<T>	visit(AccessChild expression, InferredValue.InferredPair<T> receiver, InferredValue.InferredPair<T> child, java.lang.Object... params)	Visits an AccessChild.
InferredValue.InferredPair<T>	visit(HeapDereference expression, InferredValue.InferredPair<T> arg, java.lang.Object... params)	Visits a HeapDereference.
InferredValue.InferredPair<T>	visit(HeapExpression expression, InferredValue.InferredPair<T>[] subExpressions, java.lang.Object... params)	Visits a generic HeapExpression.
InferredValue.InferredPair<T>	visit(HeapReference expression, InferredValue.InferredPair<T> arg, java.lang.Object... params)	Visits a HeapReference.
InferredValue.InferredPair<T>	visit(MemoryAllocation expression, java.lang.Object... params)	Visits a MemoryAllocation.
InferredValue.InferredPair<T>	visit(BinaryExpression expression, InferredValue.InferredPair<T> left, InferredValue.InferredPair<T> right, java.lang.Object... params)	Visits a BinaryExpression.
InferredValue.InferredPair<T>	visit(Constant expression, java.lang.Object... params)	Visits a Constant.
InferredValue.InferredPair<T>	visit(Identifier expression, java.lang.Object... params)	Visits an Identifier.
InferredValue.InferredPair<T>	visit(PushAny expression, java.lang.Object... params)	Visits a PushAny.
InferredValue.InferredPair<T>	visit(PushInv expression, java.lang.Object... params)	Visits a PushInv.
InferredValue.InferredPair<T>	visit(Skip expression, java.lang.Object... params)	Visits a Skip.
InferredValue.InferredPair<T>	visit(TernaryExpression expression, InferredValue.InferredPair<T> left, InferredValue.InferredPair<T> middle, InferredValue.InferredPair<T> right, java.lang.Object... params)	Visits a TernaryExpression.
InferredValue.InferredPair<T>	visit(UnaryExpression expression, InferredValue.InferredPair<T> arg, java.lang.Object... params)	Visits a UnaryExpression.
InferredValue.InferredPair<T>	visit(ValueExpression expression, InferredValue.InferredPair<T>[] subExpressions, java.lang.Object... params)	Visits a generic ValueExpression.

Methods inherited from class java.lang.Object

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

Constructor Detail

EvaluationVisitor

public EvaluationVisitor(T singleton)

Builds the visitor.

Parameters:

singleton - an instance of the domain using this visitor

Method Detail

visit

public InferredValue.InferredPair<T> visit(HeapExpression expression,
                                           InferredValue.InferredPair<T>[] subExpressions,
                                           java.lang.Object... params)
                                    throws SemanticException

Description copied from interface: ExpressionVisitor

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

This overload allows visiting frontend-defined expressions. For all standard expressions defined within LiSA, the corresponding overload will be invoked instead.

Specified by:

visit in interface ExpressionVisitor<T extends BaseInferredValue<T>>

Parameters:

expression - the expression

subExpressions - the values produced by visiting the sub-expressions, if any; if there are no sub-expressions, this parameter can be null or empty

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 InferredValue.InferredPair<T> visit(AccessChild expression,
                                           InferredValue.InferredPair<T> receiver,
                                           InferredValue.InferredPair<T> child,
                                           java.lang.Object... params)
                                    throws SemanticException

Description copied from interface: ExpressionVisitor

Visits an AccessChild. 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<T extends BaseInferredValue<T>>

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

public InferredValue.InferredPair<T> visit(MemoryAllocation expression,
                                           java.lang.Object... params)
                                    throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a MemoryAllocation.

Specified by:

visit in interface ExpressionVisitor<T extends BaseInferredValue<T>>

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

public InferredValue.InferredPair<T> visit(HeapReference expression,
                                           InferredValue.InferredPair<T> arg,
                                           java.lang.Object... params)
                                    throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a HeapReference.

Specified by:

visit in interface ExpressionVisitor<T extends BaseInferredValue<T>>

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

public InferredValue.InferredPair<T> visit(HeapDereference expression,
                                           InferredValue.InferredPair<T> arg,
                                           java.lang.Object... params)
                                    throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a HeapDereference.

Specified by:

visit in interface ExpressionVisitor<T extends BaseInferredValue<T>>

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

public InferredValue.InferredPair<T> visit(UnaryExpression expression,
                                           InferredValue.InferredPair<T> 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<T extends BaseInferredValue<T>>

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 InferredValue.InferredPair<T> visit(BinaryExpression expression,
                                           InferredValue.InferredPair<T> left,
                                           InferredValue.InferredPair<T> 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<T extends BaseInferredValue<T>>

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 InferredValue.InferredPair<T> visit(TernaryExpression expression,
                                           InferredValue.InferredPair<T> left,
                                           InferredValue.InferredPair<T> middle,
                                           InferredValue.InferredPair<T> 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<T extends BaseInferredValue<T>>

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

Description copied from interface: ExpressionVisitor

Visits a Skip.

Specified by:

visit in interface ExpressionVisitor<T extends BaseInferredValue<T>>

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 InferredValue.InferredPair<T> visit(PushAny expression,
                                           java.lang.Object... params)
                                    throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a PushAny.

Specified by:

visit in interface ExpressionVisitor<T extends BaseInferredValue<T>>

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 InferredValue.InferredPair<T> visit(PushInv expression,
                                           java.lang.Object... params)
                                    throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a PushInv.

Specified by:

visit in interface ExpressionVisitor<T extends BaseInferredValue<T>>

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

public InferredValue.InferredPair<T> visit(Constant expression,
                                           java.lang.Object... params)
                                    throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a Constant.

Specified by:

visit in interface ExpressionVisitor<T extends BaseInferredValue<T>>

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 InferredValue.InferredPair<T> visit(Identifier expression,
                                           java.lang.Object... params)
                                    throws SemanticException

Description copied from interface: ExpressionVisitor

Visits an Identifier.

Specified by:

visit in interface ExpressionVisitor<T extends BaseInferredValue<T>>

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

visit

public InferredValue.InferredPair<T> visit(ValueExpression expression,
                                           InferredValue.InferredPair<T>[] subExpressions,
                                           java.lang.Object... params)
                                    throws SemanticException

Description copied from interface: ExpressionVisitor

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

This overload allows visiting frontend-defined expressions. For all standard expressions defined within LiSA, the corresponding overload will be invoked instead.

Specified by:

visit in interface ExpressionVisitor<T extends BaseInferredValue<T>>

Parameters:

expression - the expression

subExpressions - the values produced by visiting the sub-expressions, if any; if there are no sub-expressions, this parameter can be null or empty

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