OpenCallPolicy (lisa-sdk 0.1b9 API)

All Known Implementing Classes:

ReturnTopPolicy, WorstCasePolicy
```
public interface OpenCallPolicy
```
Policy that determines what happens to the AnalysisState when an OpenCall is encountered during the fixpoint. The state is directly transformed by this policy.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`<A extends AbstractState<A>> AnalysisState<A>`	`apply(OpenCall call, AnalysisState<A> entryState, ExpressionSet[] params)`	Applies the policy to the given open call.

- Method Detail
  - apply
```
<A extends AbstractState<A>> AnalysisState<A> apply(OpenCall call,
                                                    AnalysisState<A> entryState,
                                                    ExpressionSet[] params)
                                             throws SemanticException
```
    Applies the policy to the given open call.
    
    Type Parameters:
    
    A - the type of AbstractState contained into the analysis state
    
    Parameters:
    
    call - the OpenCall under evaluation
    
    entryState - the state when the call is executed
    
    params - the symbolic expressions representing the computed values of the parameters of the call
    
    Returns:
    
    the AnalysisState representing the abstract result of the execution of this call
    
    Throws:
    
    SemanticException - if something goes wrong during the computation