polyglot.ext.covpolyj
Class CovPolyJTypeSystem

java.lang.Object
  extended bypolyglot.ext.jl.types.TypeSystem_c
      extended bypolyglot.ext.polyj.types.PolyJTypeSystem_c
          extended bypolyglot.ext.covpolyj.CovPolyJTypeSystem
All Implemented Interfaces:
PolyJTypeSystem, TypeSystem

public class CovPolyJTypeSystem
extends PolyJTypeSystem_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.polyj.types.PolyJTypeSystem_c
BOOLEAN_PROXY, BYTE_PROXY, CHAR_PROXY, DOUBLE_PROXY, dumped_tables, FLOAT_PROXY, INT_PROXY, LONG_PROXY, SHORT_PROXY, translationHelper
 
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
CovPolyJTypeSystem()
           
 
Method Summary
 MethodInstance methodInstance(Position pos, ReferenceType container, Flags flags, Type returnType, java.lang.String name, java.util.List formals, java.util.List throwTypes)
          Create a method instance.
 
Methods inherited from class polyglot.ext.polyj.types.PolyJTypeSystem_c
AdapterBinding, addAssistedInstantiation, addInstantiation, addInstantiations, addNewArrayMethod, allParamsInst, allTypeArgs, allTypeParams, ArrayAccessBinding, arrayType, checkConstraints, checkInstArgs, correspondingMethod, createClassType, createContext, debug_dumpTranslationTable, DefaultBinding, equalsImpl, findConstructor, findMemberClasses, getTypeEncoderRootSet, hasOuterWhereObject, hasSameImplArguments, inheritsWhereObject, instantiate, instantiate, InstantiationBinding, instantiationProxyType, instantiationProxyType, isAccessible, isCastValid, isFullyInst, isImplicitCastValid, isInstantiated, isInstantiationOf, isParameter, isPolymorphicClass, isProxyAndPrimitive, isSameInst, isSameMethod, isSubtype, needsAdapterClass, needsWhereObject, NewArrayBinding, nullInstantiate, originalConstructor, originalField, originalMethod, ParamSigBinding, ParamType, primitiveTypeWrapperName, StaticFieldBinding, staticTarget, translationTable, uncheckedInstantiate, uncheckedInstantiate, uncheckedNullInstantiate, uninstantiate, WhereBinding, WrappedClassType, Wrapper, wrapperTypeString
 
Methods inherited from class polyglot.ext.jl.types.TypeSystem_c
Abstract, abstractSuperInterfaces, accessibleFromPackage, ArithmeticException, arrayOf, arrayOf, arrayOf, arrayOf, ArrayStoreException, assert_, assert_, Boolean, Byte, callValid, canCoerceToString, canOverride, Char, checkAccessFlags, checkClassConformance, checkConstructorFlags, checkCycles, checkCycles, checkFieldFlags, checkInitializerFlags, checkLocalClassFlags, checkLocalFlags, checkMemberClassFlags, checkMethodFlags, checkOverride, checkTopLevelClassFlags, Class, classAccessible, classAccessible, classAccessibleFromPackage, ClassCastException, classContextResolver, Cloneable, constructorInstance, createClassType, createClassType, createClassType, createNewFlag, createNull, createPackage, createPackage, createPrimitive, defaultClassInitializer, defaultConstructor, defaultPackageImports, descendsFrom, Double, equals, Error, Exception, fieldInstance, Final, findAcceptableConstructors, findAcceptableMethods, findConstructor, findField, findField, findField, findFields, findMemberClass, findMemberClass, findMemberClass, findMethod, findMethod, findProcedure, flagsForBits, flagsForName, Float, forName, getTransformedClassName, hasEnclosingInstance, hasFormals, hasMethod, hasMethodNamed, implemented, importTable, importTable, initFlags, initialize, initializerInstance, initTypes, Int, Interface, interfaces, isAccessible, isCanonical, isEnclosed, isThrowable, isUncheckedException, leastCommonAncestor, listToString, load, loadedResolver, localInstance, Long, methodCallValid, moreSpecific, Native, NoFlags, Null, NullPointerException, numericConversionValid, numericConversionValid, Object, OutOfBoundsException, overrides, packageContextResolver, packageExists, packageForName, packageForName, parsedResolver, placeHolder, placeHolder, primitiveForName, Private, promote, promote, promoteNumeric, promoteNumeric, Protected, Public, RuntimeException, Serializable, Short, Static, StrictFP, String, superType, Synchronized, systemResolver, Throwable, throwsSubset, toString, Transient, translateArray, translateClass, translatePackage, translatePrimitive, typeForClass, typeForName, uncheckedExceptions, unknownPackage, unknownQualifier, unknownType, Void, Volatile
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface polyglot.ext.polyj.types.PolyJTypeSystem
translateArray
 
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, createNewFlag, createPackage, createPackage, defaultClassInitializer, defaultConstructor, defaultPackageImports, descendsFrom, Double, equals, Error, Exception, fieldInstance, Final, findConstructor, findField, findField, findField, findMemberClass, findMemberClass, findMemberClass, findMethod, findMethod, flagsForBits, Float, forName, getTransformedClassName, hasEnclosingInstance, hasFormals, hasMethod, hasMethodNamed, implemented, importTable, importTable, initialize, initializerInstance, Int, Interface, interfaces, isCanonical, isEnclosed, isThrowable, isUncheckedException, leastCommonAncestor, loadedResolver, localInstance, Long, methodCallValid, 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, StrictFP, String, superType, Synchronized, systemResolver, Throwable, throwsSubset, Transient, translateClass, translatePackage, translatePrimitive, typeForName, uncheckedExceptions, unknownPackage, unknownQualifier, unknownType, Void, Volatile
 

Constructor Detail

CovPolyJTypeSystem

public CovPolyJTypeSystem()
Method Detail

methodInstance

public MethodInstance methodInstance(Position pos,
                                     ReferenceType container,
                                     Flags flags,
                                     Type returnType,
                                     java.lang.String name,
                                     java.util.List formals,
                                     java.util.List throwTypes)
Description copied from interface: TypeSystem
Create a method instance.

Specified by:
methodInstance in interface TypeSystem
Overrides:
methodInstance in class TypeSystem_c