Package it.unive.lisa.analysis.representation

Class Summary

Class	Description
DomainRepresentation	A structured representation of the abstract information present in a single instance of SemanticDomain, NonRelationalDomain, DataflowElement or other types of domains.
ListRepresentation	A DomainRepresentation in the form of a list of values.
MapRepresentation	A DomainRepresentation in the form of a key-value mapping.
ObjectRepresentation	A DomainRepresentation in the form of a complex object with fields.
SetRepresentation	A DomainRepresentation in the form of a set of values.
StringRepresentation	A DomainRepresentation in the form of a single string element.