Package com.google.javascript.jscomp.type

Interface Summary

Interface	Description
FlowScope	A symbol table for inferring types during data flow analysis.
ReverseAbstractInterpreter	This interface defines what reversed abstract interpreters provide.

Class Summary

Class	Description
ChainableReverseAbstractInterpreter	Chainable reverse abstract interpreter providing basic functionality.
ClosureReverseAbstractInterpreter	A reverse abstract interpreter (RAI) for specific closure patterns such as goog.isObject.
SemanticReverseAbstractInterpreter	A reverse abstract interpreter using the semantics of the JavaScript language as a means to reverse interpret computations.

Enum Summary

Enum	Description
Outcome	An enum for representing boolean outcomes.