SemanticEvaluator (lisa-sdk 0.1 API)

All Known Subinterfaces:

BaseInferredValue<T>, BaseNonRelationalTypeDomain<T>, BaseNonRelationalValueDomain<T>, DataflowElement<D,E>, InferredValue<T>, NonRelationalDomain<T,E,F>, NonRelationalElement<T,E,F>, NonRelationalHeapDomain<T>, NonRelationalTypeDomain<T>, NonRelationalValueDomain<T>
```
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, ProgramPoint pp, SemanticOracle oracle)`	Yields `true` if the domain can process `expression`, `false` otherwise.

- Method Detail
  - canProcess
```
boolean canProcess(SymbolicExpression expression,
                   ProgramPoint pp,
                   SemanticOracle oracle)
```
    Yields true if the domain can process expression, false otherwise.
    
    Parameters:
    
    expression - the expression
    
    pp - the program point where this method is queried
    
    oracle - the oracle for inter-domain communication
    
    Returns:
    
    true if the domain can process expression, false otherwise.