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

Interface NonRelationalValueDomain<T extends NonRelationalValueDomain<T>>

Type Parameters:

T - the concrete type of the domain

All Superinterfaces:

Lattice<T>, NonRelationalDomain<T,ValueExpression,ValueEnvironment<T>>, NonRelationalElement<T,ValueExpression,ValueEnvironment<T>>, SemanticEvaluator, StructuredObject

All Known Subinterfaces:

BaseNonRelationalValueDomain<T>

public interface NonRelationalValueDomain<T extends NonRelationalValueDomain<T>>
extends NonRelationalDomain<T,ValueExpression,ValueEnvironment<T>>

A non-relational value domain, that is able to compute the value of a ValueExpression by knowing the values of all program variables. Instances of this class can be wrapped inside an ValueEnvironment to represent abstract values of individual Identifiers.

Field Summary

Fields inherited from interface it.unive.lisa.analysis.Lattice

BOTTOM_STRING, TOP_STRING

Method Summary

Methods inherited from interface it.unive.lisa.analysis.Lattice

bottom, glb, isBottom, isTop, lessOrEqual, lub, narrowing, top, widening

Methods inherited from interface it.unive.lisa.analysis.nonrelational.NonRelationalDomain

eval

Methods inherited from interface it.unive.lisa.analysis.nonrelational.NonRelationalElement

assume, fixedVariable, satisfies, unknownVariable

Methods inherited from interface it.unive.lisa.analysis.SemanticEvaluator

canProcess

Methods inherited from interface it.unive.lisa.util.representation.StructuredObject

representation