Package | Description |
---|---|
com.google.javascript.jscomp |
Provides the core compiler and its public API.
|
com.google.javascript.jscomp.type |
Provides type-checking data structures and algorithms.
|
Modifier and Type | Class and Description |
---|---|
(package private) class |
DataFlowAnalysis<N,L extends LatticeElement>
A framework to help writing static program analysis.
|
(package private) static class |
DataFlowAnalysis.BranchedFlowState<L extends LatticeElement>
The in and out states of a node.
|
(package private) static class |
DataFlowAnalysis.BranchedForwardDataFlowAnalysis<N,L extends LatticeElement> |
(package private) static class |
DataFlowAnalysis.FlowState<L extends LatticeElement>
The in and out states of a node.
|
(package private) interface |
JoinOp<L extends LatticeElement>
Defines a way join a list of LatticeElements.
|
static class |
JoinOp.BinaryJoinOp<L extends LatticeElement>
An implementation of
JoinOp that makes it easy to join to
lattice elements at a time. |
Modifier and Type | Class and Description |
---|---|
(package private) class |
LinkedFlowScope
A flow scope that tries to store as little symbol information as possible,
instead delegating to its parents.
|
(package private) static class |
LiveVariablesAnalysis.LiveVariableLattice
The lattice that stores the liveness of all local variables at a given
point in the program.
|
(package private) static class |
MaybeReachingVariableUse.ReachingUses
May use definition lattice representation.
|
(package private) static class |
MustBeReachingVariableDef.MustDef
Must reaching definition lattice representation.
|
Modifier and Type | Field and Description |
---|---|
private L |
DataFlowAnalysis.FlowState.in |
private L |
DataFlowAnalysis.BranchedFlowState.in |
private L |
DataFlowAnalysis.FlowState.out |
Modifier and Type | Interface and Description |
---|---|
interface |
FlowScope
A symbol table for inferring types during data flow analysis.
|