polyglot.ext.coffer.types
Class CofferSubst_c

java.lang.Object
  polyglot.ext.param.types.Subst_c
      polyglot.ext.coffer.types.CofferSubst_c

All Implemented Interfaces:

java.io.Serializable, CofferSubst, Subst

public class CofferSubst_c
extends Subst_c
implements CofferSubst

See Also:

Serialized Form

Nested Class Summary

class

CofferSubst_c.ConstraintXform

Nested classes/interfaces inherited from class polyglot.ext.param.types.Subst_c

Subst_c.ConstructorXform, Subst_c.FieldXform, Subst_c.MethodXform, Subst_c.TypeXform

Field Summary

Fields inherited from class polyglot.ext.param.types.Subst_c

cache, subst, ts

Constructor Summary

CofferSubst_c(CofferTypeSystem ts, java.util.Map subst, java.util.Map cache)

Method Summary

Key	get(Key formal)
void	put(Key formal, Key actual)
ClassType	substClassType(ClassType t) Perform substitutions on a class type.
ConstructorInstance	substConstructor(ConstructorInstance ci) Perform substitutions on a constructor.
Key	substKey(Key key)
KeySet	substKeySet(KeySet keys)
MethodInstance	substMethod(MethodInstance mi) Perform substitutions on a method.
ThrowConstraint	substThrowConstraint(ThrowConstraint c)
java.util.List	substThrowConstraintList(java.util.List l)

Methods inherited from class polyglot.ext.param.types.Subst_c

entries, equals, hashCode, substConstructorList, substField, substFieldList, substitutions, substMethodList, substPClass, substSubstValue, substType, substTypeList, toString, typeSystem, uncachedSubstType

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface polyglot.ext.param.types.Subst

entries, substConstructorList, substField, substFieldList, substitutions, substMethodList, substPClass, substType, substTypeList, typeSystem

Constructor Detail

CofferSubst_c

public CofferSubst_c(CofferTypeSystem ts,
                     java.util.Map subst,
                     java.util.Map cache)

Method Detail

get

public Key get(Key formal)

Specified by:

get in interface CofferSubst

put

public void put(Key formal,
                Key actual)

Specified by:

put in interface CofferSubst

substClassType

public ClassType substClassType(ClassType t)

Description copied from class: Subst_c

Perform substitutions on a class type. Substitutions are performed lazily.

Overrides:

substClassType in class Subst_c

substMethod

public MethodInstance substMethod(MethodInstance mi)

Description copied from class: Subst_c

Perform substitutions on a method.

Specified by:

substMethod in interface Subst

Overrides:

substMethod in class Subst_c

substConstructor

public ConstructorInstance substConstructor(ConstructorInstance ci)

Description copied from class: Subst_c

Perform substitutions on a constructor.

Specified by:

substConstructor in interface Subst

Overrides:

substConstructor in class Subst_c

substThrowConstraintList

public java.util.List substThrowConstraintList(java.util.List l)

Specified by:

substThrowConstraintList in interface CofferSubst

substThrowConstraint

public ThrowConstraint substThrowConstraint(ThrowConstraint c)

Specified by:

substThrowConstraint in interface CofferSubst

substKeySet

public KeySet substKeySet(KeySet keys)

Specified by:

substKeySet in interface CofferSubst

substKey

public Key substKey(Key key)

Specified by:

substKey in interface CofferSubst