polyglot.ext.coffer.types
Interface CofferTypeSystem

All Superinterfaces:
ParamTypeSystem, TypeSystem
All Known Implementing Classes:
CofferTypeSystem_c

public interface CofferTypeSystem
extends ParamTypeSystem


Method Summary
 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)
           
 KeySet emptyKeySet(Position pos)
           
 InstKey instKey(Position pos, java.lang.String name)
           
 ParamKey paramKey(Position pos, java.lang.String name)
           
 ThrowConstraint throwConstraint(Position pos, Type type, KeySet keys)
           
 UnknownKey unknownKey(Position pos, java.lang.String name)
           
 
Methods inherited from interface polyglot.ext.param.types.ParamTypeSystem
instantiate, mutablePClass, nullInstantiate, nullInstantiate, subst, subst, subst
 
Methods inherited from interface polyglot.types.TypeSystem
Abstract, ArithmeticException, arrayOf, arrayOf, arrayOf, arrayOf, ArrayStoreException, Boolean, Byte, callValid, canCoerceToString, canOverride, Char, checkAccessFlags, checkClassConformance, checkConstructorFlags, checkCycles, checkFieldFlags, checkInitializerFlags, checkLocalClassFlags, checkLocalFlags, checkMemberClassFlags, checkMethodFlags, checkOverride, checkTopLevelClassFlags, Class, classAccessible, classAccessibleFromPackage, ClassCastException, classContextResolver, Cloneable, constructorInstance, createClassType, createClassType, createClassType, createClassType, createContext, createNewFlag, createPackage, createPackage, defaultClassInitializer, defaultConstructor, defaultPackageImports, descendsFrom, Double, equals, Error, Exception, fieldInstance, Final, findConstructor, findConstructor, findField, findField, findField, findMemberClass, findMemberClass, findMemberClass, findMethod, findMethod, flagsForBits, Float, forName, getTransformedClassName, getTypeEncoderRootSet, hasEnclosingInstance, hasFormals, hasMethod, hasMethodNamed, implemented, importTable, importTable, initialize, initializerInstance, Int, Interface, interfaces, isAccessible, isCanonical, isCastValid, isEnclosed, isImplicitCastValid, isSameMethod, isSubtype, isThrowable, isUncheckedException, leastCommonAncestor, loadedResolver, localInstance, Long, methodCallValid, methodInstance, moreSpecific, Native, NoFlags, Null, NullPointerException, numericConversionValid, numericConversionValid, Object, OutOfBoundsException, overrides, packageContextResolver, packageExists, packageForName, packageForName, parsedResolver, placeHolder, placeHolder, primitiveForName, Private, promote, promote, Protected, Public, RuntimeException, Serializable, Short, Static, staticTarget, StrictFP, String, superType, Synchronized, systemResolver, Throwable, throwsSubset, Transient, translateArray, translateClass, translatePackage, translatePrimitive, typeForName, uncheckedExceptions, unknownPackage, unknownQualifier, unknownType, Void, Volatile, wrapperTypeString
 

Method Detail

instKey

public InstKey instKey(Position pos,
                       java.lang.String name)

paramKey

public ParamKey paramKey(Position pos,
                         java.lang.String name)

unknownKey

public UnknownKey unknownKey(Position pos,
                             java.lang.String name)

throwConstraint

public ThrowConstraint throwConstraint(Position pos,
                                       Type type,
                                       KeySet keys)

emptyKeySet

public KeySet emptyKeySet(Position pos)

cofferMethodInstance

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)

cofferConstructorInstance

public CofferConstructorInstance cofferConstructorInstance(Position pos,
                                                           ClassType container,
                                                           Flags flags,
                                                           java.util.List argTypes,
                                                           KeySet entryKeys,
                                                           KeySet returnKeys,
                                                           java.util.List throwConstraints)