Package | Description |
---|---|
com.google.javascript.jscomp.type |
Provides type-checking data structures and algorithms.
|
com.google.javascript.rhino.jstype |
Provides abstractions to represent types in JavaScript.
|
Modifier and Type | Field and Description |
---|---|
private static com.google.common.base.Function<JSType.TypePair,JSType.TypePair> |
SemanticReverseAbstractInterpreter.EQ
Merging function for equality between types.
|
private static com.google.common.base.Function<JSType.TypePair,JSType.TypePair> |
SemanticReverseAbstractInterpreter.EQ
Merging function for equality between types.
|
private com.google.common.base.Function<JSType.TypePair,JSType.TypePair> |
SemanticReverseAbstractInterpreter.ineq
Merging function for inequality comparisons between types.
|
private com.google.common.base.Function<JSType.TypePair,JSType.TypePair> |
SemanticReverseAbstractInterpreter.ineq
Merging function for inequality comparisons between types.
|
private static com.google.common.base.Function<JSType.TypePair,JSType.TypePair> |
SemanticReverseAbstractInterpreter.NE
Merging function for non-equality between types.
|
private static com.google.common.base.Function<JSType.TypePair,JSType.TypePair> |
SemanticReverseAbstractInterpreter.NE
Merging function for non-equality between types.
|
private static com.google.common.base.Function<JSType.TypePair,JSType.TypePair> |
SemanticReverseAbstractInterpreter.SHEQ
Merging function for strict equality between types.
|
private static com.google.common.base.Function<JSType.TypePair,JSType.TypePair> |
SemanticReverseAbstractInterpreter.SHEQ
Merging function for strict equality between types.
|
private static com.google.common.base.Function<JSType.TypePair,JSType.TypePair> |
SemanticReverseAbstractInterpreter.SHNE
Merging function for strict non-equality between types.
|
private static com.google.common.base.Function<JSType.TypePair,JSType.TypePair> |
SemanticReverseAbstractInterpreter.SHNE
Merging function for strict non-equality between types.
|
Modifier and Type | Method and Description |
---|---|
private FlowScope |
SemanticReverseAbstractInterpreter.caseEquality(Node condition,
FlowScope blindScope,
com.google.common.base.Function<JSType.TypePair,JSType.TypePair> merging) |
private FlowScope |
SemanticReverseAbstractInterpreter.caseEquality(Node condition,
FlowScope blindScope,
com.google.common.base.Function<JSType.TypePair,JSType.TypePair> merging) |
private FlowScope |
SemanticReverseAbstractInterpreter.caseEquality(Node left,
Node right,
FlowScope blindScope,
com.google.common.base.Function<JSType.TypePair,JSType.TypePair> merging) |
private FlowScope |
SemanticReverseAbstractInterpreter.caseEquality(Node left,
Node right,
FlowScope blindScope,
com.google.common.base.Function<JSType.TypePair,JSType.TypePair> merging) |
Modifier and Type | Method and Description |
---|---|
JSType.TypePair |
JSType.getTypesUnderEquality(JSType that)
Computes the subset of
this and that types if equality
is observed. |
JSType.TypePair |
UnionType.getTypesUnderEquality(JSType that) |
JSType.TypePair |
JSType.getTypesUnderInequality(JSType that)
Computes the subset of
this and that types if inequality
is observed. |
JSType.TypePair |
UnionType.getTypesUnderInequality(JSType that) |
JSType.TypePair |
JSType.getTypesUnderShallowEquality(JSType that)
Computes the subset of
this and that types under shallow
equality. |
JSType.TypePair |
JSType.getTypesUnderShallowInequality(JSType that)
Computes the subset of
this and that types under
shallow inequality. |
JSType.TypePair |
UnionType.getTypesUnderShallowInequality(JSType that) |