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

Class BaseNonRelationalValueDomain.EvaluationVisitor<T extends BaseNonRelationalValueDomain<T>>

java.lang.Object

it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain.EvaluationVisitor<T>

Type Parameters:

T - the concrete type of the domain using this visitor

All Implemented Interfaces:

ExpressionVisitor<T>

Enclosing interface:

BaseNonRelationalValueDomain<T extends BaseNonRelationalValueDomain<T>>

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

A ExpressionVisitor for BaseNonRelationalValueDomain instances.

Constructor Summary

Constructors

Constructor	Description
EvaluationVisitor(T singleton)	Builds the visitor.

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(HeapExpression expression, T[] subExpressions, java.lang.Object... params)	Visits a generic HeapExpression.
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.
T	visit(ValueExpression expression, 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 T visit(HeapExpression expression,
               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 BaseNonRelationalValueDomain<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 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(MemoryAllocation expression,
               java.lang.Object... params)
        throws SemanticException

Description copied from interface: ExpressionVisitor

Visits a MemoryAllocation.

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

Description copied from interface: ExpressionVisitor

Visits a PushInv.

Specified by:

visit in interface ExpressionVisitor<T extends BaseNonRelationalValueDomain<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 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

visit

public T visit(ValueExpression expression,
               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 BaseNonRelationalValueDomain<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