java.lang.Object | +----Parser
public static String space[]
public static ParserTokenManager token_source
public static Token token
public static Token jj_nt
public static boolean lookingAhead
public Parser(InputStream stream)
public Parser(ParserTokenManager tm)
public static Parser create(InputStream is)
public static Parser create(String s)
public static void initSpaces(int max)
public static final BaseObject root() throws ParseException
public static final BaseObject baseObject() throws ParseException
public static final BaseObject commaBaseObject() throws ParseException
public static final BaseObject lambdaBaseObject() throws ParseException
public static final BaseObject functionBaseObject() throws ParseException
public static final Vector functionBaseObjectVector() throws ParseException
public static final BaseObject highestBaseObject() throws ParseException
public static final TypeFamily typeFamily() throws ParseException
public static final Vector typeFamilyVector() throws ParseException
public static final Type type() throws ParseException
public static final Type functionType() throws ParseException
public static final Type leftFunctionType() throws ParseException
public static final Vector leftFunctionTypeVector() throws ParseException
public static final Type rightFunctionType() throws ParseException
public static final Type withType() throws ParseException
public static final Type highestType() throws ParseException
public static final Variable variable() throws ParseException
public static final BaseObject baseObject2() throws ParseException
public static final BaseObject commaBaseObject2() throws ParseException
public static final BaseObject lambdaBaseObject2() throws ParseException
public static final BaseObject highestBaseObject2() throws ParseException
public static void ReInit(InputStream stream)
public void ReInit(ParserTokenManager tm)
public static final Token getNextToken()
public static final Token getToken(int index)
public static final ParseException generateParseException()
public static final void enable_tracing()
public static final void disable_tracing()