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()