edu.rice.cs.dynamicjava.symbol
Class StandardTypeSystem.SubstitutionMap

java.lang.Object
  edu.rice.cs.dynamicjava.symbol.StandardTypeSystem.SubstitutionMap

Enclosing class:

StandardTypeSystem

protected static class StandardTypeSystem.SubstitutionMap
extends java.lang.Object

Field Summary

static StandardTypeSystem.SubstitutionMap

EMPTY

Constructor Summary

StandardTypeSystem.SubstitutionMap(java.lang.Iterable<? extends VariableType> vars, java.lang.Iterable<? extends Type> values)

StandardTypeSystem.SubstitutionMap(java.util.Map<? extends VariableType,? extends Type> map)

Method Summary

Type	get(VariableType v)
boolean	isEmpty()

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY

public static final StandardTypeSystem.SubstitutionMap EMPTY

Constructor Detail

StandardTypeSystem.SubstitutionMap

public StandardTypeSystem.SubstitutionMap(java.lang.Iterable<? extends VariableType> vars,
                                          java.lang.Iterable<? extends Type> values)

StandardTypeSystem.SubstitutionMap

public StandardTypeSystem.SubstitutionMap(java.util.Map<? extends VariableType,? extends Type> map)

Method Detail

isEmpty

public boolean isEmpty()

get

public Type get(VariableType v)