|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Interface Summary | |
|---|---|
| FlowScope | A symbol table for inferring types during data flow analysis. |
| ReverseAbstractInterpreter | This interface defines what reversed abstract interpreters provide. |
| Class Summary | |
|---|---|
| ChainableReverseAbstractInterpreter | Chainable reverse abstract interpreter providing basic functionality. |
| ClosureReverseAbstractInterpreter | A reverse abstract interpreter (RAI) for specific closure patterns such as
goog.isDef. |
| SemanticReverseAbstractInterpreter | A reverse abstract interpreter using the semantics of the JavaScript language as a means to reverse interpret computations. |
Provides type-checking data structures and algorithms.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||