parser
Class Verifier

java.lang.Object
  extended byparser.Verifier
All Implemented Interfaces:
VerifierConstants, VerifierTreeConstants

public class Verifier
extends java.lang.Object
implements VerifierTreeConstants, VerifierConstants


Nested Class Summary
(package private) static class Verifier.JJCalls
           
 
Field Summary
(package private) static SimpleCharStream jj_input_stream
           
static Token jj_nt
           
static JJTVerifierState jjtree
           
static boolean lookingAhead
           
static Token token
           
static VerifierTokenManager token_source
           
 
Fields inherited from interface parser.VerifierTreeConstants
JJTADD, JJTAND, JJTASSIGN, JJTBOOLFUNC, JJTCOND, JJTCONST, JJTDIV, JJTEMPTY, JJTEQ, JJTFALSE, JJTGE, JJTGT, JJTID, JJTIF, JJTINTFUNC, JJTLE, JJTLT, JJTMOD, JJTMULT, JJTNE, JJTNEG, jjtNodeName, JJTNOT, JJTNUM, JJTOR, JJTPROG, JJTSTATEMENTS, JJTSUB, JJTTRUE, JJTVOID, JJTWHILE
 
Fields inherited from interface parser.VerifierConstants
AND, ASSIGN, COMMA, CONST, DEC, DEFAULT, DELIMCOND, DIV, DIVASSIGN, ELSE, EOF, EQ, FALSE, GE, GT, ID, IF, IN_JAVADOC_COMMENT, IN_MULTI_LINE_COMMENT, IN_SINGLE_LINE_COMMENT, INC, JavadocComment, LBRACE, LE, LETTER, LPAREN, LT, MINUS, MINUSASSIGN, MOD, MULT, MULTASSIGN, MultiLineComment, NE, NOT, NUM, OR, PLUS, PLUSASSIGN, RBRACE, RETURN, RPAREN, SEMICOLON, SHORT_AND, SHORT_OR, SingleLineComment, tokenImage, TRUE, WHILE
 
Constructor Summary
Verifier(java.io.InputStream stream)
           
Verifier(java.io.Reader stream)
           
Verifier(VerifierTokenManager tm)
           
 
Method Summary
static void ArithExpr()
           
static void AssignExpr()
           
static void AssignStatement()
           
static void Block()
           
static void BoolExpr()
           
static void boolFunc()
           
static void BoolProduct()
           
static void BoolTerm()
           
static void CompareExpr()
           
static void Condition()
           
static void disable_tracing()
           
static void EmptyStatement()
           
static void enable_tracing()
           
static ParseException generateParseException()
           
static Token getNextToken()
           
static Token getToken(int index)
           
static void IfStatement()
           
static void intFunc()
           
 void parseVerifier()
          Hier beginnt die Definition der Grammatik *
static void Product()
           
static void Prog()
           
static void ReInit(java.io.InputStream stream)
           
static void ReInit(java.io.Reader stream)
           
 void ReInit(VerifierTokenManager tm)
           
static void Statement()
           
static void Statements()
           
static void Term()
           
static void WhileStatement()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

jjtree

public static JJTVerifierState jjtree

token_source

public static VerifierTokenManager token_source

jj_input_stream

static SimpleCharStream jj_input_stream

token

public static Token token

jj_nt

public static Token jj_nt

lookingAhead

public static boolean lookingAhead
Constructor Detail

Verifier

public Verifier(java.io.InputStream stream)

Verifier

public Verifier(java.io.Reader stream)

Verifier

public Verifier(VerifierTokenManager tm)
Method Detail

parseVerifier

public final void parseVerifier()
                         throws ParseException
Hier beginnt die Definition der Grammatik *

Throws:
ParseException

Prog

public static final void Prog()
                       throws ParseException
Throws:
ParseException

Block

public static final void Block()
                        throws ParseException
Throws:
ParseException

Condition

public static final void Condition()
                            throws ParseException
Throws:
ParseException

Statements

public static final void Statements()
                             throws ParseException
Throws:
ParseException

Statement

public static final void Statement()
                            throws ParseException
Throws:
ParseException

EmptyStatement

public static final void EmptyStatement()
                                 throws ParseException
Throws:
ParseException

AssignExpr

public static final void AssignExpr()
                             throws ParseException
Throws:
ParseException

AssignStatement

public static final void AssignStatement()
                                  throws ParseException
Throws:
ParseException

WhileStatement

public static final void WhileStatement()
                                 throws ParseException
Throws:
ParseException

IfStatement

public static final void IfStatement()
                              throws ParseException
Throws:
ParseException

ArithExpr

public static final void ArithExpr()
                            throws ParseException
Throws:
ParseException

Product

public static final void Product()
                          throws ParseException
Throws:
ParseException

Term

public static final void Term()
                       throws ParseException
Throws:
ParseException

BoolExpr

public static final void BoolExpr()
                           throws ParseException
Throws:
ParseException

BoolProduct

public static final void BoolProduct()
                              throws ParseException
Throws:
ParseException

CompareExpr

public static final void CompareExpr()
                              throws ParseException
Throws:
ParseException

BoolTerm

public static final void BoolTerm()
                           throws ParseException
Throws:
ParseException

intFunc

public static final void intFunc()
                          throws ParseException
Throws:
ParseException

boolFunc

public static final void boolFunc()
                           throws ParseException
Throws:
ParseException

ReInit

public static void ReInit(java.io.InputStream stream)

ReInit

public static void ReInit(java.io.Reader stream)

ReInit

public void ReInit(VerifierTokenManager tm)

getNextToken

public static final Token getNextToken()

getToken

public static final Token getToken(int index)

generateParseException

public static ParseException generateParseException()

enable_tracing

public static final void enable_tracing()

disable_tracing

public static final void disable_tracing()