Class Parser

java.lang.Object
   |
   +----Parser

public class Parser
extends Object
implements ParserConstants
The parser class. Most parsing mechanics will be generated by javacc 0.7.1. This parser uses the official grammar spec as a basis for all constructions. However, MAJOR modifications occured, generally for these reasons. First, JavaCC is a LL(k) parser, not LALR like yacc/bison. Hence, left recursion must be removed. Note that left associative operators introduce left recursion, because the rules essentially tranform into: M ::= [ M ] . Second, precedence is introduced by creating non-terminals for every predecedence level. So, for example, in the grammar, the non-terminal M (Base Object) can be an Additive Pair, or a lamda function. One non-terminal is created for each possibility.


Variable Index

 o jj_nt
 o lookingAhead
 o space
 o token
 o token_source

Constructor Index

 o Parser(InputStream)
 o Parser(ParserTokenManager)

Method Index

 o baseObject()
 o baseObject2()
 o commaBaseObject()
 o commaBaseObject2()
 o create(InputStream)
 o create(String)
 o disable_tracing()
 o enable_tracing()
 o functionBaseObject()
 o functionBaseObjectVector()
 o functionType()
 o generateParseException()
 o getNextToken()
 o getToken(int)
 o highestBaseObject()
 o highestBaseObject2()
 o highestType()
 o initSpaces(int)
 o lambdaBaseObject()
 o lambdaBaseObject2()
 o leftFunctionType()
 o leftFunctionTypeVector()
 o ReInit(InputStream)
 o ReInit(ParserTokenManager)
 o rightFunctionType()
 o root()
 o type()
 o typeFamily()
 o typeFamilyVector()
 o variable()
 o withType()

Variables

 o space
 public static String space[]
 o token_source
 public static ParserTokenManager token_source
 o token
 public static Token token
 o jj_nt
 public static Token jj_nt
 o lookingAhead
 public static boolean lookingAhead

Constructors

 o Parser
 public Parser(InputStream stream)
 o Parser
 public Parser(ParserTokenManager tm)

Methods

 o create
 public static Parser create(InputStream is)
 o create
 public static Parser create(String s)
 o initSpaces
 public static void initSpaces(int max)
 o root
 public static final BaseObject root() throws ParseException
 o baseObject
 public static final BaseObject baseObject() throws ParseException
 o commaBaseObject
 public static final BaseObject commaBaseObject() throws ParseException
 o lambdaBaseObject
 public static final BaseObject lambdaBaseObject() throws ParseException
 o functionBaseObject
 public static final BaseObject functionBaseObject() throws ParseException
 o functionBaseObjectVector
 public static final Vector functionBaseObjectVector() throws ParseException
 o highestBaseObject
 public static final BaseObject highestBaseObject() throws ParseException
 o typeFamily
 public static final TypeFamily typeFamily() throws ParseException
 o typeFamilyVector
 public static final Vector typeFamilyVector() throws ParseException
 o type
 public static final Type type() throws ParseException
 o functionType
 public static final Type functionType() throws ParseException
 o leftFunctionType
 public static final Type leftFunctionType() throws ParseException
 o leftFunctionTypeVector
 public static final Vector leftFunctionTypeVector() throws ParseException
 o rightFunctionType
 public static final Type rightFunctionType() throws ParseException
 o withType
 public static final Type withType() throws ParseException
 o highestType
 public static final Type highestType() throws ParseException
 o variable
 public static final Variable variable() throws ParseException
 o baseObject2
 public static final BaseObject baseObject2() throws ParseException
 o commaBaseObject2
 public static final BaseObject commaBaseObject2() throws ParseException
 o lambdaBaseObject2
 public static final BaseObject lambdaBaseObject2() throws ParseException
 o highestBaseObject2
 public static final BaseObject highestBaseObject2() throws ParseException
 o ReInit
 public static void ReInit(InputStream stream)
 o ReInit
 public void ReInit(ParserTokenManager tm)
 o getNextToken
 public static final Token getNextToken()
 o getToken
 public static final Token getToken(int index)
 o generateParseException
 public static final ParseException generateParseException()
 o enable_tracing
 public static final void enable_tracing()
 o disable_tracing
 public static final void disable_tracing()