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

Methods

Modifier and Type	Method and Description
boolean	equals(Object o)
com.google.common.collect.Multimap<String,String>	getTaints()
JSType	getType(String n)
int	hashCode()
static TypeEnv	join(TypeEnv e1, TypeEnv e2)
TypeEnv	putType(String n, JSType t)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, 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)

join

public static TypeEnv join(TypeEnv e1,
           TypeEnv e2)

getTaints

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

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object