public final class TypeEnv
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private PersistentSet<java.lang.String> |
changedVars |
private static int |
SIZE_THRESHOLD |
private PersistentMap<java.lang.String,JSType> |
typeMap |
Modifier | Constructor and Description |
---|---|
|
TypeEnv() |
private |
TypeEnv(PersistentMap<java.lang.String,JSType> typeMap) |
private |
TypeEnv(PersistentMap<java.lang.String,JSType> typeMap,
PersistentSet<java.lang.String> changedVars) |
Modifier and Type | Method and Description |
---|---|
TypeEnv |
clearChangeLog() |
JSType |
getType(java.lang.String n) |
static TypeEnv |
join(java.util.Collection<TypeEnv> envs) |
static TypeEnv |
join(TypeEnv e1,
TypeEnv e2) |
TypeEnv |
putType(java.lang.String n,
JSType t) |
java.lang.String |
toString() |
private final PersistentMap<java.lang.String,JSType> typeMap
private static final int SIZE_THRESHOLD
private PersistentSet<java.lang.String> changedVars
public TypeEnv()
private TypeEnv(PersistentMap<java.lang.String,JSType> typeMap)
private TypeEnv(PersistentMap<java.lang.String,JSType> typeMap, PersistentSet<java.lang.String> changedVars)