polyglot.ext.ibex.types
Interface IbexTypeSystem

All Superinterfaces:
TypeSystem
All Known Implementing Classes:
IbexTypeSystem_c

public interface IbexTypeSystem
extends TypeSystem


Method Summary
 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 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

nonterminal

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

rhsCase

public RhsCase rhsCase(Position pos,
                       java.util.List elements,
                       java.util.List tags)

rhsMerge

public RhsMerge rhsMerge(Position pos,
                         RhsCase rhs1,
                         RhsCase rhs2)

terminal

public Terminal terminal(Position pos,
                         ParserType container,
                         Flags flags,
                         Type type,
                         java.lang.String name)

findSymbol

public Symbol findSymbol(ParserType container,
                         java.lang.String name)
                  throws SemanticException
Throws:
SemanticException

runtimeMergeableType

public ClassType runtimeMergeableType()

runtimeParserType

public ClassType runtimeParserType()

runtimeParserImplType

public ClassType runtimeParserImplType()

runtimeGLRParserType

public ClassType runtimeGLRParserType()

runtimeTerminalType

public ClassType runtimeTerminalType()