polyglot.ext.pao.types
Class PaoTypeSystem_c

java.lang.Object
  extended bypolyglot.ext.jl.types.TypeSystem_c
      extended bypolyglot.ext.pao.types.PaoTypeSystem_c
All Implemented Interfaces:
PaoTypeSystem, TypeSystem
Direct Known Subclasses:
CovopTypeSystem

public class PaoTypeSystem_c
extends TypeSystem_c
implements PaoTypeSystem

PAO type system.


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, unknownQualifier, unknownType, VOID_
 
Constructor Summary
PaoTypeSystem_c()
           
 
Method Summary
 Type boxedType(PrimitiveType t)
          Return boxed type runtime.T for primitive t.
 ParsedClassType createClassType(LazyClassInitializer init, Source fromSource)
          Create a new empty class.
 PrimitiveType createPrimitive(PrimitiveType.Kind kind)
           
 MethodInstance getter(PrimitiveType t)
          Return the method instance for runtime.T.tValue()
 MethodInstance primitiveEquals()
          Return the method instance for runtime.Primitive.equals
 ConstructorInstance wrapper(PrimitiveType t)
          Return the constructor instance for runtime.T.T(t)
 
Methods inherited from class polyglot.ext.jl.types.TypeSystem_c
Abstract, abstractSuperInterfaces, accessibleFromPackage, ArithmeticException, arrayOf, arrayOf, arrayOf, arrayOf, ArrayStoreException, arrayType, 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, createContext, createNewFlag, createNull, defaultClassInitializer, defaultConstructor, defaultPackageImports, descendsFrom, Double, equals, Error, Exception, fieldInstance, Final, findAcceptableConstructors, findAcceptableMethods, findConstructor, findConstructor, findField, findField, findField, findFields, findMemberClass, findMemberClass, findMemberClass, findMemberClasses, findMethod, findMethod, findProcedure, flagsForBits, flagsForName, Float, getTransformedClassName, getTypeEncoderRootSet, hasEnclosingInstance, hasFormals, hasMethod, implemented, importTable, importTable, initFlags, initialize, initializerInstance, initTypes, Int, Interface, interfaces, isAccessible, isAccessible, isCanonical, isCastValid, isEnclosed, isImplicitCastValid, isSameMethod, isSubtype, isThrowable, isUncheckedException, leastCommonAncestor, listToString, load, 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, promoteNumeric, promoteNumeric, Protected, Public, RuntimeException, Serializable, Short, Static, staticTarget, StrictFP, String, superType, Synchronized, systemResolver, Throwable, throwsSubset, toString, Transient, translateArray, translateClass, translatePackage, translatePrimitive, typeForClass, typeForName, uncheckedExceptions, unknownQualifier, unknownType, Void, Volatile, wrapperTypeString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
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, createContext, createNewFlag, defaultClassInitializer, defaultConstructor, defaultPackageImports, descendsFrom, Double, equals, Error, Exception, fieldInstance, Final, findConstructor, findConstructor, findField, findField, findField, findMemberClass, findMemberClass, findMemberClass, findMethod, findMethod, flagsForBits, Float, getTransformedClassName, getTypeEncoderRootSet, hasEnclosingInstance, hasFormals, hasMethod, 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, unknownQualifier, unknownType, Void, Volatile, wrapperTypeString
 

Constructor Detail

PaoTypeSystem_c

public PaoTypeSystem_c()
Method Detail

createPrimitive

public PrimitiveType createPrimitive(PrimitiveType.Kind kind)
Overrides:
createPrimitive in class TypeSystem_c

createClassType

public ParsedClassType createClassType(LazyClassInitializer init,
                                       Source fromSource)
Description copied from interface: TypeSystem
Create a new empty class.

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

primitiveEquals

public MethodInstance primitiveEquals()
Description copied from interface: PaoTypeSystem
Return the method instance for runtime.Primitive.equals

Specified by:
primitiveEquals in interface PaoTypeSystem

getter

public MethodInstance getter(PrimitiveType t)
Description copied from interface: PaoTypeSystem
Return the method instance for runtime.T.tValue()

Specified by:
getter in interface PaoTypeSystem

boxedType

public Type boxedType(PrimitiveType t)
Description copied from interface: PaoTypeSystem
Return boxed type runtime.T for primitive t.

Specified by:
boxedType in interface PaoTypeSystem

wrapper

public ConstructorInstance wrapper(PrimitiveType t)
Description copied from interface: PaoTypeSystem
Return the constructor instance for runtime.T.T(t)

Specified by:
wrapper in interface PaoTypeSystem