|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectpolyglot.ext.jl.types.TypeSystem_c
polyglot.ext.param.types.ParamTypeSystem_c
polyglot.ext.coffer.types.CofferTypeSystem_c
| Nested Class Summary |
| Nested classes inherited from class polyglot.ext.jl.types.TypeSystem_c |
TypeSystem_c.MostSpecificComparator |
| Field Summary |
| Fields inherited from class polyglot.ext.jl.types.TypeSystem_c |
ACCESS_FLAGS, BOOLEAN_, BYTE_, CHAR_, CLASS_, CONSTRUCTOR_FLAGS, defaultClassInit, DOUBLE_, FIELD_FLAGS, flagsForName, FLOAT_, INITIALIZER_FLAGS, INT_, loadedResolver, LOCAL_CLASS_FLAGS, LOCAL_FLAGS, LONG_, MEMBER_CLASS_FLAGS, METHOD_FLAGS, NULL_, OBJECT_, parsedResolver, SHORT_, STRING_, systemResolver, THROWABLE_, TOP_LEVEL_CLASS_FLAGS, unknownPackage, unknownQualifier, unknownType, VOID_ |
| Constructor Summary | |
CofferTypeSystem_c()
|
|
| Method Summary | |
boolean |
canOverride(MethodInstance mi,
MethodInstance mj)
Return true if mi can override mj. |
CofferConstructorInstance |
cofferConstructorInstance(Position pos,
ClassType container,
Flags flags,
java.util.List argTypes,
KeySet entryKeys,
KeySet returnKeys,
java.util.List throwConstraints)
|
CofferMethodInstance |
cofferMethodInstance(Position pos,
ReferenceType container,
Flags flags,
Type returnType,
java.lang.String name,
java.util.List argTypes,
KeySet entryKeys,
KeySet returnKeys,
java.util.List throwConstraints)
|
ConstructorInstance |
constructorInstance(Position pos,
ClassType container,
Flags flags,
java.util.List argTypes,
java.util.List excTypes)
Create a constructor instance. |
ParsedClassType |
createClassType(LazyClassInitializer init,
Source fromSource)
Create a new empty class. |
Context |
createContext()
Create a new context object for looking up variables, types, etc. |
KeySet |
emptyKeySet(Position pos)
|
protected void |
initTypes()
|
InstKey |
instKey(Position pos,
java.lang.String name)
|
MethodInstance |
methodInstance(Position pos,
ReferenceType container,
Flags flags,
Type returnType,
java.lang.String name,
java.util.List argTypes,
java.util.List excTypes)
Create a method instance. |
ParamKey |
paramKey(Position pos,
java.lang.String name)
|
Subst |
subst(java.util.Map substMap,
java.util.Map cache)
Create a substitutor. |
ThrowConstraint |
throwConstraint(Position pos,
Type type,
KeySet keys)
|
java.util.Collection |
uncheckedExceptions()
Returns a collection of the Throwable types that need not be declared in method and constructor signatures. |
UnknownKey |
unknownKey(Position pos,
java.lang.String name)
|
| Methods inherited from class polyglot.ext.param.types.ParamTypeSystem_c |
checkInstantiation, instantiate, mutablePClass, subst, subst, uncheckedInstantiate |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface polyglot.ext.param.types.ParamTypeSystem |
instantiate, mutablePClass, subst, subst |
| Constructor Detail |
public CofferTypeSystem_c()
| Method Detail |
protected void initTypes()
initTypes in class TypeSystem_c
public ParsedClassType createClassType(LazyClassInitializer init,
Source fromSource)
TypeSystem
createClassType in interface TypeSystemcreateClassType in class TypeSystem_c
public MethodInstance methodInstance(Position pos,
ReferenceType container,
Flags flags,
Type returnType,
java.lang.String name,
java.util.List argTypes,
java.util.List excTypes)
TypeSystem
methodInstance in interface TypeSystemmethodInstance in class TypeSystem_c
public CofferMethodInstance cofferMethodInstance(Position pos,
ReferenceType container,
Flags flags,
Type returnType,
java.lang.String name,
java.util.List argTypes,
KeySet entryKeys,
KeySet returnKeys,
java.util.List throwConstraints)
cofferMethodInstance in interface CofferTypeSystem
public ConstructorInstance constructorInstance(Position pos,
ClassType container,
Flags flags,
java.util.List argTypes,
java.util.List excTypes)
TypeSystem
constructorInstance in interface TypeSystemconstructorInstance in class TypeSystem_c
public CofferConstructorInstance cofferConstructorInstance(Position pos,
ClassType container,
Flags flags,
java.util.List argTypes,
KeySet entryKeys,
KeySet returnKeys,
java.util.List throwConstraints)
cofferConstructorInstance in interface CofferTypeSystem
public boolean canOverride(MethodInstance mi,
MethodInstance mj)
TypeSystemmi can override mj.
canOverride in interface TypeSystemcanOverride in class TypeSystem_cpublic KeySet emptyKeySet(Position pos)
emptyKeySet in interface CofferTypeSystem
public InstKey instKey(Position pos,
java.lang.String name)
instKey in interface CofferTypeSystem
public UnknownKey unknownKey(Position pos,
java.lang.String name)
unknownKey in interface CofferTypeSystem
public ParamKey paramKey(Position pos,
java.lang.String name)
paramKey in interface CofferTypeSystem
public Subst subst(java.util.Map substMap,
java.util.Map cache)
ParamTypeSystem
subst in interface ParamTypeSystemsubst in class ParamTypeSystem_csubstMap - Map from formal parameters to actuals; the formals are
not necessarily formals of t.cache - Cache of substitutions performed, implemented as a map from
type to substituted type. This is passed in to ensure pointers to
outer classes are substituted correctly.
public ThrowConstraint throwConstraint(Position pos,
Type type,
KeySet keys)
throwConstraint in interface CofferTypeSystempublic Context createContext()
TypeSystem
createContext in interface TypeSystemcreateContext in class TypeSystem_cpublic java.util.Collection uncheckedExceptions()
TypeSystem
uncheckedExceptions in interface TypeSystemuncheckedExceptions in class TypeSystem_c
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||