public final class TypeEnv extends Object
Constructor and Description |
---|
TypeEnv() |
Modifier and Type | Method and Description |
---|---|
TypeEnv |
clearChangeLog() |
JSType |
getType(String n) |
static TypeEnv |
join(Collection<TypeEnv> envs) |
static TypeEnv |
join(TypeEnv e1,
TypeEnv e2) |
TypeEnv |
putType(String n,
JSType t) |
String |
toString() |
public TypeEnv clearChangeLog()
public static TypeEnv join(Collection<TypeEnv> envs)
Copyright © 2009–2023 Google. All rights reserved.