TheoInf3-Lexer/Taschenrechner/skeleton.jaooy

#	jay skeleton

#	character in column 1 determines outcome...
#		# is a comment
#		. is copied
#		t is copied as //t if -t is set
#	other lines are interpreted to call jay procedures

.// created by jay 0.8 (c) 1998 Axel.Schreiner@informatik.uni-osnabrueck.de
.

 prolog		## %{ ... %} prior to the first %%

. yyError yytemperror = new yyError();
. public final int yyErrorCode = yytemperror.tokennr; 
.
.  /** thrown for irrecoverable syntax errors and stack overflow.
.    */
.  public static class yyException extends java.lang.Exception {
.    public yyException (String message) {
.      super(message);
.    }
.  }
.
.  /** must be implemented by a scanner object to supply input to the parser.
.    */
.  public interface yyInput {
.    /** move on to next token.
.        @return false if positioned beyond tokens.
.        @throws IOException on input error.
.      */
.  /** modified by diho, 10.04.2004 */
.    yyTokenclass advance () throws java.io.IOException;
.    /** classifies current token.
.        Should not be called if advance() returned false.
.        @return current %token or single character.
.      */
.	/** modified by diho, 10.04.2004 token () is not longer necessary,
.		advance () supplies token or null
.    int token (); */
.
.	
.    /** associated with current token.
.        Should not be called if advance() returned false.
.        @return value for token().
.      */
.    /** modified by diho, 10.04.2004 value () is not longer necessary,
.		Token value can be retrieved from Token itself.
.    Object value ();*/
.  }
.
.  /** simplified error message.
.      @see <a href="#yyerror(java.lang.String, java.lang.String[])">yyerror</a>
.    */
.  public void yyerror (String message) {
.    yyerror(message, null);
.  }
.
.  /** (syntax) error message.
.      Can be overwritten to control message format.
.      @param message text to be displayed.
.      @param expected vector of acceptable tokens, if available.
.    */
.  public void yyerror (String message, String[] expected) {
.    if (expected != null && expected.length > 0) {
.      System.err.print(message+", expecting");
.      for (int n = 0; n < expected.length; ++ n)
.        System.err.print(" "+expected[n]);
.      System.err.println();
.    } else
.      System.err.println(message);
.  }
.
.  /** debugging support, requires the package jay.yydebug.
.      Set to null to suppress debugging messages.
.    */
t  protected jay.yydebug.yyDebug yydebug;
.
 final_rule             ## constant storing final rule
.
.  /** index-checked interface to yyName[].
.      @param token single character or %token value.
.      @return token name or [illegal] or [unknown].
.    */
t  public static final String yyname (int token) {
t    if (token < 0 || token > YyNameClass.yyName.length) return "[illegal]";
t    String name;
t    if ((name = YyNameClass.yyName[token]) != null) return name;
t    return "[unknown]";
t  }
.
.  /** computes list of expected tokens on error by tracing the tables.
.      @param state for which to compute the list.
.      @return list of token names.
.    */
.  protected String[] yyExpecting (int state) {
.    int token, n, len = 0;
.    boolean[] ok = new boolean[YyNameClass.yyName.length];
.
.    if ((n = YySindexClass.yySindex[state]) != 0)
.      for (token = n < 0 ? -n : 0;
.           token < YyNameClass.yyName.length && n+token < YyTableClass.yyTable.length; ++ token)
.        if (YyCheckClass.yyCheck[n+token] == token && !ok[token] && YyNameClass.yyName[token] != null) {
.          ++ len;
.          ok[token] = true;
.        }
.    if ((n = YyRindexClass.yyRindex[state]) != 0)
.      for (token = n < 0 ? -n : 0;
.           token < YyNameClass.yyName.length && n+token < YyTableClass.yyTable.length; ++ token)
.        if (YyCheckClass.yyCheck[n+token] == token && !ok[token] && YyNameClass.yyName[token] != null) {
.          ++ len;
.          ok[token] = true;
.        }
.
.    String result[] = new String[len];
.    for (n = token = 0; n < len;  ++ token)
.      if (ok[token]) result[n++] = YyNameClass.yyName[token];
.    return result;
.  }
.
.  /** the generated parser, with debugging messages.
.      Maintains a state and a value stack, currently with fixed maximum size.
.      @param yyLex scanner.
.      @param yydebug debug message writer implementing yyDebug, or null.
.      @return result of the last reduction, if any.
.      @throws yyException on irrecoverable parse error.
.    */
.  public Object yyparse (yyInput yyLex, Object yydebug)
.				throws java.io.IOException, yyException {
t    this.yydebug = (jay.yydebug.yyDebug)yydebug;
.    return yyparse(yyLex);
.  }
.
.  /** initial size and increment of the state/value stack [default 256].
.      This is not final so that it can be overwritten outside of invocations
.      of yyparse().
.    */
.  protected int yyMax;
.
.  /** executed at the beginning of a reduce action.
.      Used as $$ = yyDefault($1), prior to the user-specified action, if any.
.      Can be overwritten to provide deep copy, etc.
.      @param first value for $1, or null.
.      @return first.
.    */
.  protected Object yyDefault (Object first) {
.    return first;
.  }
.
.  /** the generated parser.
.      Maintains a state and a value stack, currently with fixed maximum size.
.      @param yyLex scanner.
.      @return result of the last reduction, if any.
.      @throws yyException on irrecoverable parse error.
.    */
.  public Object yyparse (yyInput yyLex)
.				throws java.io.IOException, yyException {
.    YyCheckClass.yyCheckInit();                         // initial yyCheck eingefuegt PL 05-03-08
.    YyTableClass.yyTableInit();                         // initial yyCheck eingefuegt PL 05-03-08
.    if (yyMax <= 0) yyMax = 256;			// initial size
.    int yyState = 0, yyStates[] = new int[yyMax];	// state stack
.    Object yyVal = null, yyVals[] = new Object[yyMax];	// value stack
.    /*modified by diho, 14.04.2004
.      orig: int yyToken = -1 was replaced by "empty Token"*/
.    yyTokenclass yyToken = new yyTokenclass();		// current input
.    int yyErrorFlag = 0;				// #tks to shift
.
 local		## %{ ... %} after the first %%

.    yyLoop: for (int yyTop = 0;; ++ yyTop) {
.      if (yyTop >= yyStates.length) {			// dynamically increase
.        int[] i = new int[yyStates.length+yyMax];
.        System.arraycopy(yyStates, 0, i, 0, yyStates.length);
.        yyStates = i;
.        Object[] o = new Object[yyVals.length+yyMax];
.        System.arraycopy(yyVals, 0, o, 0, yyVals.length);
.        yyVals = o;
.      }
.      yyStates[yyTop] = yyState;
.      yyVals[yyTop] = yyVal;
t      if (yydebug != null) yydebug.push(yyState, yyVal);
.
.      yyDiscarded: for (;;) {	// discarding a token does not change stack
.        int yyN;
.        if ((yyN = YyDefRedClass.yyDefRed[yyState]) == 0) {	// else [default] reduce (yyN)
.          /* modified by diho, 14.04.2004
.             if "empty token", get next token */
.          if (yyToken.tokennr <0) {
.          /* modified by diho, 10.04.2004 
.          call yyLex.advance in any case, check if yyToken is EOF */
.            yyToken = yyLex.advance(); /*? yyLex.token() : 0;*/
.           /* modified by diho, 27.04.2004
.             if "null", create EOF token */
.            if (yyToken == null) {yyToken = new EOF();}
.
t            if (yydebug != null)
t          /* modified by diho, 14.04.2004
t             orig.: yydebug.lex(yyState, yyToken, yyname(yyToken), yyLex.value()); */
t              yydebug.lex(yyState, yyToken.tokennr, yyname(yyToken.tokennr), yyToken.value);
.          }
.          /* modified by diho, 14.04.2004 
.             replaced yyToken by yyToken.tokennr*/
.          if ((yyN = YySindexClass.yySindex[yyState]) != 0 && (yyN += yyToken.tokennr) >= 0
.          /* modified by diho, 14.04.2004 
.             replaced yyToken by yyToken.tokennr*/
.              && yyN < YyTableClass.yyTable.length && YyCheckClass.yyCheck[yyN] == yyToken.tokennr) {
t            if (yydebug != null)
t              yydebug.shift(yyState, YyTableClass.yyTable[yyN], yyErrorFlag-1);
.            yyState = YyTableClass.yyTable[yyN];		// shift to yyN
.          /* modified by diho, 14.04.2004 
.             replaced yyLex.value() by yyToken.value*/
.            yyVal = yyToken.value;
.          /* modified by diho, 14.04.2004 
.             orig:  yyToken = -1 */
.            yyToken = new yyTokenclass();
.            if (yyErrorFlag > 0) -- yyErrorFlag;
.            continue yyLoop;
.          }
.          /* modified by diho, 14.04.2004 
.             replaced yyToken by yyToken.tokennr*/
.          if ((yyN = YyRindexClass.yyRindex[yyState]) != 0 && (yyN += yyToken.tokennr) >= 0
.          /* modified by diho, 14.04.2004 
.             replaced yyToken by yyToken.tokennr*/
.              && yyN < YyTableClass.yyTable.length && YyCheckClass.yyCheck[yyN] == yyToken.tokennr)
.            yyN = YyTableClass.yyTable[yyN];			// reduce (yyN)
.          else
.            switch (yyErrorFlag) {
.  
.            case 0:
.              yyerror("syntax error", yyExpecting(yyState));
t              if (yydebug != null) yydebug.error("syntax error");
.  
.            case 1: case 2:
.              yyErrorFlag = 3;
.              do {
.                if ((yyN = YySindexClass.yySindex[yyStates[yyTop]]) != 0
.                    && (yyN += yyErrorCode) >= 0 && yyN < YyTableClass.yyTable.length
.                    && YyCheckClass.yyCheck[yyN] == yyErrorCode) {
t                  if (yydebug != null)
t                    yydebug.shift(yyStates[yyTop], YyTableClass.yyTable[yyN], 3);
.                  yyState = YyTableClass.yyTable[yyN];
.          /* modified by diho, 14.04.2004 
.             replaced yyLex.value by yyToken.value*/
.                  yyVal = yyToken.value;
.                  continue yyLoop;
.                }
t                if (yydebug != null) yydebug.pop(yyStates[yyTop]);
.              } while (-- yyTop >= 0);
t              if (yydebug != null) yydebug.reject();
.              throw new yyException("irrecoverable syntax error");
.  
.            case 3:
.          /* modified by diho, 14.04.2004 
.             orig.: if (yyToken == 0)*/
.              if (yyToken == null) {
t                if (yydebug != null) yydebug.reject();
.                throw new yyException("irrecoverable syntax error at end-of-file");
.              }
t              if (yydebug != null)
.          /* modified by diho, 14.04.2004 
.             replaced yyToken by yyToken.tokennr, yyLex.value by yyToken.value*/
t                yydebug.discard(yyState, yyToken.tokennr, yyname(yyToken.tokennr),
t  							yyToken.value);
.          /* modified by diho, 14.04.2004 
.             orig: yyToken = -1*/
.              yyToken = new yyTokenclass();
.              continue yyDiscarded;		// leave stack alone
.            }
.        }
.        int yyV = yyTop + 1-YyLenClass.yyLen[yyN];
t        if (yydebug != null)
t          yydebug.reduce(yyState, yyStates[yyV-1], yyN, YyRuleClass.yyRule[yyN], YyLenClass.yyLen[yyN]);
.        yyVal = yyDefault(yyV > yyTop ? null : yyVals[yyV]);
.        switch (yyN) {

 actions		## code from the actions within the grammar

.        }
.        yyTop -= YyLenClass.yyLen[yyN];
.        yyState = yyStates[yyTop];
.        int yyM = YyLhsClass.yyLhs[yyN];
.        if (yyState == 0 && yyM == 0) {
t          if (yydebug != null) yydebug.shift(0, yyFinal);
.          yyState = yyFinal;
.          /* modified by diho, 14.04.2004 
.             replaced yyToken by yyToken.tokennr*/
.          if (yyToken.tokennr < 0) {
.          /** modified by diho, 10.04.2004
.          */
.            yyToken = yyLex.advance(); /* ? yyLex.token() : 0;*/
.          /* modified by diho, 14.04.2004
.             if "empty token", get next token */
.            if (yyToken == null) {yyToken = new EOF();}
t            if (yydebug != null)
.          /* modified by diho, 14.04.2004 
.             replaced yyToken by yyToken.tokennr, yyLex.value() by yyToken.value*/
t               yydebug.lex(yyState, yyToken.tokennr,yyname(yyToken.tokennr), yyToken.value);
.          }
.          /* modified by diho, 14.04.2004 
.             orig.: if (yyToken == 0) */
.          if (yyToken.tokennr == 0) {
t            if (yydebug != null) yydebug.accept(yyVal);
.            return yyVal;
.          }
.          continue yyLoop;
.        }
.        if ((yyN = YyGindexClass.yyGindex[yyM]) != 0 && (yyN += yyState) >= 0
.            && yyN < YyTableClass.yyTable.length && YyCheckClass.yyCheck[yyN] == yyState)
.          yyState = YyTableClass.yyTable[yyN];
.        else
.          yyState = YyDgotoClass.yyDgoto[yyM];
t        if (yydebug != null) yydebug.shift(yyStates[yyTop], yyState);
.	 continue yyLoop;
.      }
.    }
.  }
.
 tables			## tables for rules, default reduction, and action calls
.
 debug			## tables for debugging support
.
 epilog			## text following second %%
 
# modified by diho, 11.02.2004
.class yyTokenclass {	
.   public int tokennr;	
.   public Object value;
.
.   yyTokenclass () {
.      this.tokennr=-1;
.   }
.   yyTokenclass (Object o) {
.      this.value = o;
.   }
.}
.class EOF extends yyTokenclass {	
.
.   EOF () {
.      super();
.      this.tokennr=0;
.   }
.}


# end of modification
.// %token constants
.
# modified by diho, 11.02.2004
 tokens final class
# end of modification