SemanticEvaluator (lisa 0.1b1 API)

All Known Subinterfaces:

DataflowElement<D,E>, InferredValue<T>, NonRelationalDomain<T,E,F>, NonRelationalElement<T,E,F>, NonRelationalHeapDomain<T>, NonRelationalValueDomain<T>

All Known Implementing Classes:

AllocationSites, AvailableExpressions, BaseInferredValue, BaseNonRelationalValueDomain, ConstantPropagation, InferredTypes, IntegerConstantPropagation, Interval, NonInterference, Parity, ReachingDefinitions, Sign
```
public interface SemanticEvaluator
```
An entity that can perform semantic evaluations that is not a SemanticDomain.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`boolean`	`canProcess(SymbolicExpression expression)`	Yields `true` if the domain can process `expression`, `false` otherwise.
`boolean`	`tracksIdentifiers(Identifier id)`	Yields `true` if the domain tracks information on the identifier `id`, `false` otherwise.

- Method Detail
  - tracksIdentifiers
```
boolean tracksIdentifiers(Identifier id)
```
    Yields true if the domain tracks information on the identifier id, false otherwise.
    
    Parameters:
    
    id - the identifier
    
    Returns:
    
    true if the domain tracks information on the identifier id, false otherwise
  - canProcess
```
boolean canProcess(SymbolicExpression expression)
```
    Yields true if the domain can process expression, false otherwise.
    
    Parameters:
    
    expression - the expression
    
    Returns:
    
    true if the domain can process expression, false otherwise.