NonRelationalDomain (lisa 0.1b1 API)

Type Parameters:

T - the concrete type of the domain

E - the type of expressions that this domain can evaluate

F - the type of functional lattice that is used in conjunction with this domain

All Superinterfaces:

Lattice<T>, NonRelationalElement<T,E,F>, SemanticEvaluator

All Known Subinterfaces:

NonRelationalHeapDomain<T>, NonRelationalValueDomain<T>

All Known Implementing Classes:

AllocationSites, BaseNonRelationalValueDomain, IntegerConstantPropagation, Interval, Parity, Sign
```
public interface NonRelationalDomain<T extends NonRelationalDomain<T,E,F>,E extends SymbolicExpression,F extends FunctionalLattice<F,Identifier,T>>
extends NonRelationalElement<T,E,F>
```
A NonRelationalElement that models the standard concept of non-relational abstract domain, and that is able to compute the value of a SymbolicExpressions of type E by knowing the values of all program variables. Instances of this class can be wrapped inside an FunctionalLattice to represent abstract values of individual Identifiers.

Field Summary
- Fields inherited from interface it.unive.lisa.analysis.Lattice
  BOTTOM_REPR, BOTTOM_STRING, TOP_REPR, TOP_STRING

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`T`	`eval(E expression, F environment, ProgramPoint pp)`	Evaluates a `SymbolicExpression`, assuming that the values of program variables are the ones stored in `environment`.

Methods inherited from interface it.unive.lisa.analysis.Lattice
bottom, isBottom, isTop, lessOrEqual, lub, top, widening

Methods inherited from interface it.unive.lisa.analysis.nonrelational.NonRelationalElement
assume, glb, representation, satisfies, variable

Methods inherited from interface it.unive.lisa.analysis.SemanticEvaluator
canProcess, tracksIdentifiers

- Method Detail
  - eval
```
T eval(E expression,
       F environment,
       ProgramPoint pp)
throws SemanticException
```
    Evaluates a SymbolicExpression, assuming that the values of program variables are the ones stored in environment.
    
    Parameters:
    
    expression - the expression to evaluate
    
    environment - the environment containing the values of program variables for the evaluation
    
    pp - the program point that where this operation is being evaluated
    
    Returns:
    
    an new instance of this domain, representing the abstract result of expression when evaluated on environment
    
    Throws:
    
    SemanticException - if something goes wrong during the computation