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

Class BaseInferredValue.EvaluationVisitor

java.lang.Object

it.unive.lisa.analysis.nonrelational.inference.BaseInferredValue.EvaluationVisitor

All Implemented Interfaces:

ExpressionVisitor<InferredValue.InferredPair<T>>

Enclosing class:

BaseInferredValue<T extends BaseInferredValue<T>>

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

A ExpressionVisitor for BaseInferredValue instances.

Constructor Summary

Constructors

Constructor	Description
EvaluationVisitor()

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(HeapAllocation expression, java.lang.Object... params)	Visits a HeapAllocation.
InferredValue.InferredPair<T>	visit(HeapDereference expression, InferredValue.InferredPair<T> arg, java.lang.Object... params)	Visits a HeapDereference.
InferredValue.InferredPair<T>	visit(HeapReference expression, InferredValue.InferredPair<T> arg, java.lang.Object... params)	Visits a HeapReference.
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(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.

Methods inherited from class java.lang.Object

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

Constructor Detail

EvaluationVisitor

public EvaluationVisitor()

Method Detail

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

Description copied from interface: ExpressionVisitor

Visits a HeapAllocation.

Specified by:

visit in interface ExpressionVisitor<InferredValue.InferredPair<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<InferredValue.InferredPair<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<InferredValue.InferredPair<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<InferredValue.InferredPair<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<InferredValue.InferredPair<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<InferredValue.InferredPair<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<InferredValue.InferredPair<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<InferredValue.InferredPair<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(Constant expression,
                                           java.lang.Object... params)
                                    throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a Constant.

Specified by:

visit in interface ExpressionVisitor<InferredValue.InferredPair<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<InferredValue.InferredPair<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