Package it.unive.lisa.analysis.nonrelational.value

Class BaseNonRelationalValueDomain.EvaluationVisitor

java.lang.Object

it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain.EvaluationVisitor

All Implemented Interfaces:

ExpressionVisitor<T>

Enclosing class:

BaseNonRelationalValueDomain<T extends BaseNonRelationalValueDomain<T>>

public class BaseNonRelationalValueDomain.EvaluationVisitor
extends java.lang.Object
implements ExpressionVisitor<T>

A ExpressionVisitor for BaseNonRelationalValueDomain instances.

Constructor Summary

Constructors

Constructor	Description
EvaluationVisitor()

Method Summary

Modifier and Type	Method	Description
T	visit(AccessChild expression, T receiver, T child, java.lang.Object... params)	Visits an AccessChild.
T	visit(HeapAllocation expression, java.lang.Object... params)	Visits a HeapAllocation.
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(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(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.

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

Description copied from interface: ExpressionVisitor

Visits a HeapAllocation.

Specified by:

visit in interface ExpressionVisitor<T extends BaseNonRelationalValueDomain<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 T visit(HeapReference expression,
               T arg,
               java.lang.Object... params)
        throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a HeapReference.

Specified by:

visit in interface ExpressionVisitor<T extends BaseNonRelationalValueDomain<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 T visit(HeapDereference expression,
               T arg,
               java.lang.Object... params)
        throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a HeapDereference.

Specified by:

visit in interface ExpressionVisitor<T extends BaseNonRelationalValueDomain<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 T visit(UnaryExpression expression,
               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 BaseNonRelationalValueDomain<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 T visit(BinaryExpression expression,
               T left,
               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 BaseNonRelationalValueDomain<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 T visit(TernaryExpression expression,
               T left,
               T middle,
               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 BaseNonRelationalValueDomain<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 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 BaseNonRelationalValueDomain<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 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 BaseNonRelationalValueDomain<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 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 BaseNonRelationalValueDomain<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 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 BaseNonRelationalValueDomain<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