com.google.javascript.jscomp.newtypes

Class TypeEnv

java.lang.Object

com.google.javascript.jscomp.newtypes.TypeEnv

public class TypeEnv
extends 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
com.google.common.collect.Multimap<String,String>	getTaints()
JSType	getType(String n)
static TypeEnv	join(Collection<TypeEnv> envs)
static TypeEnv	join(TypeEnv e1, TypeEnv e2)
TypeEnv	putType(String n, JSType t)
TypeEnv	split()
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(String n)

putType

public TypeEnv putType(String n,
                       JSType t)

split

public TypeEnv split()

join

public static TypeEnv join(TypeEnv e1,
                           TypeEnv e2)

join

public static TypeEnv join(Collection<TypeEnv> envs)

getTaints

public com.google.common.collect.Multimap<String,String> getTaints()

toString

public String toString()

Overrides:

toString in class Object