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

Interface Summary

Interface	Description
NonRelationalTypeDomain<T extends NonRelationalTypeDomain<T>>	A non-relational type domain, that is able to compute the types of a ValueExpression by knowing the types of all program variables.
NonRelationalValueDomain<T extends NonRelationalValueDomain<T>>	A non-relational value domain, that is able to compute the value of a ValueExpression by knowing the values of all program variables.

Class Summary

Class	Description
BaseNonRelationalTypeDomain<T extends BaseNonRelationalTypeDomain<T>>	Base implementation for NonRelationalTypeDomains.
BaseNonRelationalValueDomain<T extends BaseNonRelationalValueDomain<T>>	Base implementation for NonRelationalValueDomains.
TypeEnvironment<T extends NonRelationalTypeDomain<T>>	An environment for a NonRelationalTypeDomain, that maps Identifiers to instances of such domain.
ValueEnvironment<T extends NonRelationalValueDomain<T>>	An environment for a NonRelationalValueDomain, that maps Identifiers to instances of such domain.