Uses of Interface
com.google.javascript.jscomp.type.FlowScope

Packages that use FlowScope

Package	Description
com.google.javascript.jscomp.type	Provides type-checking data structures and algorithms.

Uses of FlowScope in com.google.javascript.jscomp.type

Methods in com.google.javascript.jscomp.type that return FlowScope

Modifier and Type	Method and Description
protected FlowScope	ChainableReverseAbstractInterpreter.declareNameInScope(FlowScope scope, Node node, JSType type) Declares a refined type in scope for the name represented by node.
protected FlowScope	ChainableReverseAbstractInterpreter.firstPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, Outcome outcome) Calculates the preciser scope starting with the first link.
FlowScope	ReverseAbstractInterpreter.getPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, Outcome outcome) Calculates a precise version of the scope knowing the outcome of the condition.
FlowScope	ClosureReverseAbstractInterpreter.getPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, Outcome outcome)
FlowScope	SemanticReverseAbstractInterpreter.getPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, Outcome outcome)
FlowScope	FlowScope.inferQualifiedSlot(Node node, java.lang.String symbol, JSType bottomType, JSType inferredType, boolean declare) Returns a flow scope with the type of the given symbol updated to inferredType.
FlowScope	FlowScope.inferSlotType(java.lang.String symbol, JSType type) Returns a flow scope with the type of the given symbol updated to type.
protected FlowScope	ChainableReverseAbstractInterpreter.nextPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, Outcome outcome) Delegates the calculation of the preciser scope to the next link.
FlowScope	FlowScope.withSyntacticScope(StaticTypedScope scope) Returns a flow scope with the given syntactic scope, which may be required to be a specific subclass, such as TypedScope.

Methods in com.google.javascript.jscomp.type with parameters of type FlowScope

Modifier and Type	Method and Description
protected FlowScope	ChainableReverseAbstractInterpreter.declareNameInScope(FlowScope scope, Node node, JSType type) Declares a refined type in scope for the name represented by node.
protected FlowScope	ChainableReverseAbstractInterpreter.firstPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, Outcome outcome) Calculates the preciser scope starting with the first link.
FlowScope	ReverseAbstractInterpreter.getPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, Outcome outcome) Calculates a precise version of the scope knowing the outcome of the condition.
FlowScope	ClosureReverseAbstractInterpreter.getPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, Outcome outcome)
FlowScope	SemanticReverseAbstractInterpreter.getPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, Outcome outcome)
protected JSType	ChainableReverseAbstractInterpreter.getTypeIfRefinable(Node node, FlowScope scope) Returns the type of a node in the given scope if the node corresponds to a name whose type is capable of being refined.
protected FlowScope	ChainableReverseAbstractInterpreter.nextPreciserScopeKnowingConditionOutcome(Node condition, FlowScope blindScope, Outcome outcome) Delegates the calculation of the preciser scope to the next link.