com.google.javascript.jscomp.newtypes

Class TypeEnv

java.lang.Object

com.google.javascript.jscomp.newtypes.TypeEnv

public final class TypeEnv
extends java.lang.Object

A persistent map from variables to abstract values (types)

Author:

blickly@google.com (Ben Lickly), dimvar@google.com (Dimitris Vardoulakis)

Constructor Summary

Constructors

Constructor and Description
TypeEnv()

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TypeEnv

public TypeEnv()

Method Detail

getType

public JSType getType(java.lang.String n)

putType

public TypeEnv putType(java.lang.String n,
                       JSType t)

clearChangeLog

public TypeEnv clearChangeLog()

join

public static TypeEnv join(TypeEnv e1,
                           TypeEnv e2)

join

public static TypeEnv join(java.util.Collection<TypeEnv> envs)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object