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, 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

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

paramKey

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

unknownKey

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

throwConstraint

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

emptyKeySet

KeySet emptyKeySet(Position pos)

cofferMethodInstance

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

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