SemanticEvaluator (lisa-sdk 0.1b6 API)

All Known Subinterfaces:

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

All Known Implementing Classes:

BaseInferredValue, BaseNonRelationalTypeDomain, BaseNonRelationalValueDomain
```
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.