private static class NewTypeInference.EnvTypePair
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) TypeEnv |
env |
(package private) JSType |
type |
Constructor and Description |
---|
EnvTypePair(TypeEnv env,
JSType type) |
Modifier and Type | Method and Description |
---|---|
(package private) static NewTypeInference.EnvTypePair |
addBinding(TypeEnv env,
java.lang.String varName,
JSType type) |
(package private) static NewTypeInference.EnvTypePair |
join(NewTypeInference.EnvTypePair p1,
NewTypeInference.EnvTypePair p2) |
static NewTypeInference.EnvTypePair addBinding(TypeEnv env, java.lang.String varName, JSType type)
static NewTypeInference.EnvTypePair join(NewTypeInference.EnvTypePair p1, NewTypeInference.EnvTypePair p2)