polyglot.ext.ibex.types
Class IbexTypeSystem_c

java.lang.Object
  extended bypolyglot.ext.jl.types.TypeSystem_c
      extended bypolyglot.ext.ibex.types.IbexTypeSystem_c
All Implemented Interfaces:
IbexTypeSystem, TypeSystem

public class IbexTypeSystem_c
extends TypeSystem_c
implements IbexTypeSystem


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
IbexTypeSystem_c()
           
 
Method Summary
 ParsedClassType createClassType(LazyClassInitializer init, Source fromSource)
          Create a new empty class.
 Symbol findSymbol(ParserType container, java.lang.String name)
           
 Nonterminal nonterminal(Position pos, ParserType container, Flags flags, Type type, java.lang.String name, java.util.List choices, boolean isStart)
           
 RhsCase rhsCase(Position pos, java.util.List elements, java.util.List tags)
           
 RhsMerge rhsMerge(Position pos, RhsCase rhs1, RhsCase rhs2)
           
 ClassType runtimeGLRParserType()
           
 ClassType runtimeMergeableType()
           
 ClassType runtimeParserImplType()
           
 ClassType runtimeParserType()
           
 ClassType runtimeTerminalType()
           
 Terminal terminal(Position pos, ParserType container, Flags flags, Type type, java.lang.String name)
           
 
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, createPackage, createPackage, createPrimitive, 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, forName, getTransformedClassName, getTypeEncoderRootSet, hasEnclosingInstance, hasFormals, hasMethod, hasMethodNamed, 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, unknownPackage, 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, 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
 

Constructor Detail

IbexTypeSystem_c

public IbexTypeSystem_c()
Method Detail

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

nonterminal

public Nonterminal nonterminal(Position pos,
                               ParserType container,
                               Flags flags,
                               Type type,
                               java.lang.String name,
                               java.util.List choices,
                               boolean isStart)
Specified by:
nonterminal in interface IbexTypeSystem

rhsCase

public RhsCase rhsCase(Position pos,
                       java.util.List elements,
                       java.util.List tags)
Specified by:
rhsCase in interface IbexTypeSystem

rhsMerge

public RhsMerge rhsMerge(Position pos,
                         RhsCase rhs1,
                         RhsCase rhs2)
Specified by:
rhsMerge in interface IbexTypeSystem

terminal

public Terminal terminal(Position pos,
                         ParserType container,
                         Flags flags,
                         Type type,
                         java.lang.String name)
Specified by:
terminal in interface IbexTypeSystem

runtimeMergeableType

public ClassType runtimeMergeableType()
Specified by:
runtimeMergeableType in interface IbexTypeSystem

runtimeParserType

public ClassType runtimeParserType()
Specified by:
runtimeParserType in interface IbexTypeSystem

runtimeGLRParserType

public ClassType runtimeGLRParserType()
Specified by:
runtimeGLRParserType in interface IbexTypeSystem

runtimeParserImplType

public ClassType runtimeParserImplType()
Specified by:
runtimeParserImplType in interface IbexTypeSystem

runtimeTerminalType

public ClassType runtimeTerminalType()
Specified by:
runtimeTerminalType in interface IbexTypeSystem

findSymbol

public Symbol findSymbol(ParserType container,
                         java.lang.String name)
                  throws SemanticException
Specified by:
findSymbol in interface IbexTypeSystem
Throws:
SemanticException