(package private) static NewTypeInference.EnvTypePair |
NewTypeInference.EnvTypePair.addBinding(TypeEnv env,
java.lang.String varName,
JSType type) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeAddBwd(Node expr,
TypeEnv outEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeAddFwd(Node expr,
TypeEnv inEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeArrayLitBwd(Node expr,
TypeEnv outEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeArrayLitFwd(Node expr,
TypeEnv inEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeAssertionCall(Node callNode,
TypeEnv env,
CodingConvention.AssertionFunctionSpec assertionFunctionSpec) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeAssignAddBwd(Node expr,
TypeEnv outEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeAssignAddFwd(Node expr,
TypeEnv inEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeAssignBwd(Node expr,
TypeEnv outEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeAssignFwd(Node expr,
TypeEnv inEnv,
JSType requiredType,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeAssignNumericOpBwd(Node expr,
TypeEnv outEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeAssignNumericOpFwd(Node expr,
TypeEnv inEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeBinaryNumericOpBwd(Node expr,
TypeEnv outEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeBinaryNumericOpFwd(Node expr,
TypeEnv inEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeCallNewBwd(Node expr,
TypeEnv outEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeCallNewFwd(Node expr,
TypeEnv inEnv,
JSType requiredType,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeCallNodeArgsFwdWhenError(Node callNode,
TypeEnv inEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeCallNodeArgumentsBwd(Node callNode,
TypeEnv outEnv) |
private TypeEnv |
NewTypeInference.analyzeCallNodeArgumentsFwd(Node call,
Node firstArg,
FunctionType funType,
java.util.List<JSType> argTypesForDeferredCheck,
TypeEnv inEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeCastFwd(Node expr,
TypeEnv inEnv) |
private void |
NewTypeInference.analyzeConditionalStmFwd(DiGraph.DiGraphNode<Node,ControlFlowGraph.Branch> stm,
Node cond,
TypeEnv inEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeEnumObjLitBwd(Node objLit,
TypeEnv outEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeEnumObjLitFwd(Node objLit,
TypeEnv inEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeEqNeBwd(Node expr,
TypeEnv outEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeExprBwd(Node expr,
TypeEnv outEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeExprBwd(Node expr,
TypeEnv outEnv,
JSType requiredType)
For now, we won't emit any warnings bwd.
|
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeExprFwd(Node expr,
TypeEnv inEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeExprFwd(Node expr,
TypeEnv inEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeExprFwd(Node expr,
TypeEnv inEnv,
JSType requiredType,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeFunctionBindFwd(Node call,
TypeEnv inEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeGetElemBwd(Node expr,
TypeEnv outEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeGetElemFwd(Node expr,
TypeEnv inEnv,
JSType requiredType,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeGoogTypeof(Node typeof,
Node typeString,
TypeEnv inEnv,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeHookBwd(Node expr,
TypeEnv outEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeHookFwd(Node expr,
TypeEnv inEnv,
JSType requiredType,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeInBwd(Node expr,
TypeEnv outEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeIncDecFwd(Node expr,
TypeEnv inEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeInFwd(Node expr,
TypeEnv inEnv,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeInstanceofFwd(Node expr,
TypeEnv inEnv,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeLogicalOpBwd(Node expr,
TypeEnv outEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeLogicalOpFwd(Node expr,
TypeEnv inEnv,
JSType requiredType,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeLooseCallNodeBwd(Node callNode,
TypeEnv outEnv,
JSType retType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeLooseCallNodeFwd(Node callNode,
TypeEnv inEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeLtGtBwd(Node expr,
TypeEnv outEnv) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeLtGtFwd(Node expr,
TypeEnv inEnv) |
private NewTypeInference.LValueResultBwd |
NewTypeInference.analyzeLValueBwd(Node expr,
TypeEnv outEnv,
JSType type,
boolean doSlicing) |
private NewTypeInference.LValueResultBwd |
NewTypeInference.analyzeLValueBwd(Node expr,
TypeEnv outEnv,
JSType type,
boolean doSlicing,
boolean insideQualifiedName)
When doSlicing is set, remove the lvalue from the returned env
|
private NewTypeInference.LValueResultFwd |
NewTypeInference.analyzeLValueFwd(Node expr,
TypeEnv inEnv,
JSType type) |
private NewTypeInference.LValueResultFwd |
NewTypeInference.analyzeLValueFwd(Node expr,
TypeEnv inEnv,
JSType type,
boolean insideQualifiedName) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeNameBwd(Node expr,
TypeEnv outEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeNameFwd(Node expr,
TypeEnv inEnv,
JSType requiredType,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeNonStrictComparisonFwd(Node expr,
TypeEnv inEnv,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeObjLitBwd(Node objLit,
TypeEnv outEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeObjLitFwd(Node objLit,
TypeEnv inEnv,
JSType requiredType,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzePropAccessBwd(Node receiver,
java.lang.String pname,
TypeEnv outEnv,
JSType requiredType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzePropAccessFwd(Node receiver,
java.lang.String pname,
TypeEnv inEnv,
JSType requiredType,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzePropertyTestCallFwd(Node call,
TypeEnv inEnv,
JSType specializedType) |
private NewTypeInference.LValueResultBwd |
NewTypeInference.analyzePropLValBwd(Node obj,
QualifiedName pname,
TypeEnv outEnv,
JSType type,
boolean doSlicing) |
private NewTypeInference.LValueResultFwd |
NewTypeInference.analyzeReceiverLvalFwd(Node obj,
QualifiedName pname,
TypeEnv inEnv,
JSType propType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeSpecializedTypeof(Node typeof,
Node typeString,
int comparisonOp,
TypeEnv inEnv,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeStrictComparisonFwd(int comparisonOp,
Node lhs,
Node rhs,
TypeEnv inEnv,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeTypePredicate(Node call,
java.lang.String typeHint,
TypeEnv inEnv,
JSType specializedType) |
private NewTypeInference.EnvTypePair |
NewTypeInference.analyzeUnaryNumFwd(Node expr,
TypeEnv inEnv) |
private com.google.common.collect.ImmutableMap<java.lang.String,JSType> |
NewTypeInference.calcTypeInstantiation(Node callNode,
Node receiver,
Node firstArg,
FunctionType funType,
TypeEnv typeEnv,
boolean isFwd)
We don't use the requiredType of the context to unify with the return
type.
|
private java.util.Map<java.lang.String,JSType> |
NewTypeInference.calcTypeInstantiationBwd(Node callNode,
FunctionType funType,
TypeEnv typeEnv) |
private java.util.Map<java.lang.String,JSType> |
NewTypeInference.calcTypeInstantiationFwd(Node callNode,
Node receiver,
Node firstArg,
FunctionType funType,
TypeEnv typeEnv) |
private TypeEnv |
NewTypeInference.collectTypesForFreeVarsFwd(Node n,
TypeEnv env) |
private static JSType |
NewTypeInference.envGetType(TypeEnv env,
java.lang.String pname) |
private static TypeEnv |
NewTypeInference.envPutType(TypeEnv env,
java.lang.String varName,
JSType type) |
private JSType |
NewTypeInference.getTypeAfterFwd(java.lang.String varName,
TypeEnv entryEnv,
TypeEnv exitEnv) |
private void |
NewTypeInference.initEdgeEnvsFwd(TypeEnv entryEnv) |
private boolean |
NewTypeInference.isFunctionBind(Node expr,
TypeEnv env,
boolean isFwd) |
private JSType |
NewTypeInference.markAndGetTypeOfPreanalyzedNode(Node qnameNode,
TypeEnv env,
boolean isFwd) |
private boolean |
NewTypeInference.mayWarnAboutInexistentProp(Node propAccessNode,
JSType recvType,
QualifiedName propQname,
TypeEnv env) |
private NewTypeInference.EnvTypePair |
NewTypeInference.mayWarnAboutNullableReferenceAndTighten(Node obj,
JSType recvType,
JSType maybeSpecType,
TypeEnv inEnv) |
private TypeEnv |
NewTypeInference.processVarDeclaration(Node nameNode,
TypeEnv inEnv)
Processes a single variable declaration in a VAR statement.
|
private TypeEnv |
NewTypeInference.setOutEnv(DiGraph.DiGraphNode<Node,ControlFlowGraph.Branch> dn,
TypeEnv e) |
private TypeEnv |
NewTypeInference.updateLvalueTypeInEnv(TypeEnv env,
Node lvalue,
QualifiedName qname,
JSType type) |