mcs/jay/skeleton.cs

   1 #       jay skeleton
   2
   3 #       character in column 1 determines outcome...
   4 #               # is a comment
   5 #               . is copied
   6 #               t is copied as //t if -t is set
   7 #       other lines are interpreted to call jay procedures
   8
   9 .// created by jay 0.7 (c) 1998 Axel.Schreiner@informatik.uni-osnabrueck.de
  10 .
  11  prolog         ## %{ ... %} prior to the first %%
  12
  13 .
  14 .  /** simplified error message.
  15 .      @see <a href="#yyerror(java.lang.String, java.lang.String[])">yyerror</a>
  16 .    */
  17 .  public void yyerror (string message) {
  18 .    yyerror(message, null);
  19 .  }
  20 .
  21 .  /** (syntax) error message.
  22 .      Can be overwritten to control message format.
  23 .      @param message text to be displayed.
  24 .      @param expected vector of acceptable tokens, if available.
  25 .    */
  26 .  public void yyerror (string message, string[] expected) {
  27 .    if ((expected != null) && (expected.Length  > 0)) {
  28 .      System.Console.Write (message+", expecting");
  29 .      for (int n = 0; n < expected.Length; ++ n)
  30 .        System.Console.Write (" "+expected[n]);
  31 .        System.Console.WriteLine ();
  32 .    } else
  33 .      System.Console.WriteLine (message);
  34 .  }
  35 .
  36 .  /** debugging support, requires the package jay.yydebug.
  37 .      Set to null to suppress debugging messages.
  38 .    */
  39 t  protected yydebug.yyDebug yydebug;
  40 .
  41  debug                  ## tables for debugging support
  42 .
  43 .  /** index-checked interface to yyName[].
  44 .      @param token single character or %token value.
  45 .      @return token name or [illegal] or [unknown].
  46 .    */
  47 t  public static string yyname (int token) {
  48 t    if ((token < 0) || (token > yyName.Length)) return "[illegal]";
  49 t    string name;
  50 t    if ((name = yyName[token]) != null) return name;
  51 t    return "[unknown]";
  52 t  }
  53 .
  54 .  /** computes list of expected tokens on error by tracing the tables.
  55 .      @param state for which to compute the list.
  56 .      @return list of token names.
  57 .    */
  58 .  protected string[] yyExpecting (int state) {
  59 .    int token, n, len = 0;
  60 .    bool[] ok = new bool[yyName.Length];
  61 .
  62 .    if ((n = yySindex[state]) != 0)
  63 .      for (token = n < 0 ? -n : 0;
  64 .           (token < yyName.Length) && (n+token < yyTable.Length); ++ token)
  65 .        if (yyCheck[n+token] == token && !ok[token] && yyName[token] != null) {
  66 .          ++ len;
  67 .          ok[token] = true;
  68 .        }
  69 .    if ((n = yyRindex[state]) != 0)
  70 .      for (token = n < 0 ? -n : 0;
  71 .           (token < yyName.Length) && (n+token < yyTable.Length); ++ token)
  72 .        if (yyCheck[n+token] == token && !ok[token] && yyName[token] != null) {
  73 .          ++ len;
  74 .          ok[token] = true;
  75 .        }
  76 .
  77 .    string [] result = new string[len];
  78 .    for (n = token = 0; n < len;  ++ token)
  79 .      if (ok[token]) result[n++] = yyName[token];
  80 .    return result;
  81 .  }
  82 .
  83 .  /** the generated parser, with debugging messages.
  84 .      Maintains a state and a value stack, currently with fixed maximum size.
  85 .      @param yyLex scanner.
  86 .      @param yydebug debug message writer implementing yyDebug, or null.
  87 .      @return result of the last reduction, if any.
  88 .      @throws yyException on irrecoverable parse error.
  89 .    */
  90 .  public Object yyparse (yyParser.yyInput yyLex, Object yydebug)
  91 .                                {
  92 t    this.yydebug = (yydebug.yyDebug)yydebug;
  93 .    return yyparse(yyLex);
  94 .  }
  95 .
  96 .  /** initial size and increment of the state/value stack [default 256].
  97 .      This is not final so that it can be overwritten outside of invocations
  98 .      of yyparse().
  99 .    */
 100 .  protected int yyMax;
 101 .
 102 .  /** executed at the beginning of a reduce action.
 103 .      Used as $$ = yyDefault($1), prior to the user-specified action, if any.
 104 .      Can be overwritten to provide deep copy, etc.
 105 .      @param first value for $1, or null.
 106 .      @return first.
 107 .    */
 108 .  protected Object yyDefault (Object first) {
 109 .    return first;
 110 .  }
 111 .
 112 .  /** the generated parser.
 113 .      Maintains a state and a value stack, currently with fixed maximum size.
 114 .      @param yyLex scanner.
 115 .      @return result of the last reduction, if any.
 116 .      @throws yyException on irrecoverable parse error.
 117 .    */
 118 .  public Object yyparse (yyParser.yyInput yyLex)
 119 .                               {
 120 .    if (yyMax <= 0) yyMax = 256;                       // initial size
 121 .    int yyState = 0;                                   // state stack ptr
 122 .    int [] yyStates = new int[yyMax];                  // state stack
 123 .    Object yyVal = null;                               // value stack ptr
 124 .    Object [] yyVals = new Object[yyMax];              // value stack
 125 .    int yyToken = -1;                                  // current input
 126 .    int yyErrorFlag = 0;                               // #tks to shift
 127 .
 128  local          ## %{ ... %} after the first %%
 129
 130 .    int yyTop = 0;
 131 .    goto skip;
 132 .    yyLoop:
 133 .    yyTop++;
 134 .    skip:
 135 .    for (;; ++ yyTop) {
 136 .      if (yyTop >= yyStates.Length) {                  // dynamically increase
 137 .        int[] i = new int[yyStates.Length+yyMax];
 138 .        System.Array.Copy(yyStates, i, 0);
 139 .        yyStates = i;
 140 .        Object[] o = new Object[yyVals.Length+yyMax];
 141 .        System.Array.Copy(yyVals, o, 0);
 142 .        yyVals = o;
 143 .      }
 144 .      yyStates[yyTop] = yyState;
 145 .      yyVals[yyTop] = yyVal;
 146 t      if (yydebug != null) yydebug.push(yyState, yyVal);
 147 .
 148 .      yyDiscarded: for (;;) {  // discarding a token does not change stack
 149 .        int yyN;
 150 .        if ((yyN = yyDefRed[yyState]) == 0) {  // else [default] reduce (yyN)
 151 .          if (yyToken < 0) {
 152 .            yyToken = yyLex.advance() ? yyLex.token() : 0;
 153 t            if (yydebug != null)
 154 t              yydebug.lex(yyState, yyToken, yyname(yyToken), yyLex.value());
 155 .          }
 156 .          if ((yyN = yySindex[yyState]) != 0 && ((yyN += yyToken) >= 0)
 157 .              && (yyN < yyTable.Length) && (yyCheck[yyN] == yyToken)) {
 158 t            if (yydebug != null)
 159 t              yydebug.shift(yyState, yyTable[yyN], yyErrorFlag-1);
 160 .            yyState = yyTable[yyN];            // shift to yyN
 161 .            yyVal = yyLex.value();
 162 .            yyToken = -1;
 163 .            if (yyErrorFlag > 0) -- yyErrorFlag;
 164 .            goto yyLoop;
 165 .          }
 166 .          if ((yyN = yyRindex[yyState]) != 0 && (yyN += yyToken) >= 0
 167 .              && yyN < yyTable.Length && yyCheck[yyN] == yyToken)
 168 .            yyN = yyTable[yyN];                        // reduce (yyN)
 169 .          else
 170 .            switch (yyErrorFlag) {
 171 .
 172 .            case 0:
 173 .              yyerror("syntax error", yyExpecting(yyState));
 174 t              if (yydebug != null) yydebug.error("syntax error");
 175 .              goto case 1;
 176 .            case 1: case 2:
 177 .              yyErrorFlag = 3;
 178 .              do {
 179 .                if ((yyN = yySindex[yyStates[yyTop]]) != 0
 180 .                    && (yyN += Token.yyErrorCode) >= 0 && yyN < yyTable.Length
 181 .                    && yyCheck[yyN] == Token.yyErrorCode) {
 182 t                  if (yydebug != null)
 183 t                    yydebug.shift(yyStates[yyTop], yyTable[yyN], 3);
 184 .                  yyState = yyTable[yyN];
 185 .                  yyVal = yyLex.value();
 186 .                  goto yyLoop;
 187 .                }
 188 t                if (yydebug != null) yydebug.pop(yyStates[yyTop]);
 189 .              } while (-- yyTop >= 0);
 190 t              if (yydebug != null) yydebug.reject();
 191 .              throw new yyParser.yyException("irrecoverable syntax error");
 192 .
 193 .            case 3:
 194 .              if (yyToken == 0) {
 195 t                if (yydebug != null) yydebug.reject();
 196 .                throw new yyParser.yyException("irrecoverable syntax error at end-of-file");
 197 .              }
 198 t              if (yydebug != null)
 199 t                yydebug.discard(yyState, yyToken, yyname(yyToken),
 200 t                                                       yyLex.value());
 201 .              yyToken = -1;
 202 .              goto yyDiscarded;                // leave stack alone
 203 .            }
 204 .        }
 205 .        int yyV = yyTop + 1-yyLen[yyN];
 206 t        if (yydebug != null)
 207 t          yydebug.reduce(yyState, yyStates[yyV-1], yyN, yyRule[yyN], yyLen[yyN]);
 208 .        yyVal = yyDefault(yyV > yyTop ? null : yyVals[yyV]);
 209 .        switch (yyN) {
 210
 211  actions                ## code from the actions within the grammar
 212
 213 .        }
 214 .        yyTop -= yyLen[yyN];
 215 .        yyState = yyStates[yyTop];
 216 .        int yyM = yyLhs[yyN];
 217 .        if (yyState == 0 && yyM == 0) {
 218 t          if (yydebug != null) yydebug.shift(0, yyFinal);
 219 .          yyState = yyFinal;
 220 .          if (yyToken < 0) {
 221 .            yyToken = yyLex.advance() ? yyLex.token() : 0;
 222 t            if (yydebug != null)
 223 t               yydebug.lex(yyState, yyToken,yyname(yyToken), yyLex.value());
 224 .          }
 225 .          if (yyToken == 0) {
 226 t            if (yydebug != null) yydebug.accept(yyVal);
 227 .            return yyVal;
 228 .          }
 229 .          goto yyLoop;
 230 .        }
 231 .        if (((yyN = yyGindex[yyM]) != 0) && ((yyN += yyState) >= 0)
 232 .            && (yyN < yyTable.Length) && (yyCheck[yyN] == yyState))
 233 .          yyState = yyTable[yyN];
 234 .        else
 235 .          yyState = yyDgoto[yyM];
 236 t        if (yydebug != null) yydebug.shift(yyStates[yyTop], yyState);
 237 .        goto yyLoop;
 238 .      }
 239 .    }
 240 .  }
 241 .
 242  tables                 ## tables for rules, default reduction, and action calls
 243 .
 244  epilog                 ## text following second %%
 245 .namespace yydebug {
 246 .        using System;
 247 .        public interface yyDebug {
 248 .                void push (int state, Object value);
 249 .                void lex (int state, int token, string name, Object value);
 250 .                void shift (int from, int to, int errorFlag);
 251 .                void pop (int state);
 252 .                void discard (int state, int token, string name, Object value);
 253 .                void reduce (int from, int to, int rule, string text, int len);
 254 .                void shift (int from, int to);
 255 .                void accept (Object value);
 256 .                void error (string message);
 257 .                void reject ();
 258 .        }
 259 .
 260 .        class yyDebugSimple : yyDebug {
 261 .                void println (string s){
 262 .                        Console.WriteLine (s);
 263 .                }
 264 .
 265 .                public void push (int state, Object value) {
 266 .                        println ("push\tstate "+state+"\tvalue "+value);
 267 .                }
 268 .
 269 .                public void lex (int state, int token, string name, Object value) {
 270 .                        println("lex\tstate "+state+"\treading "+name+"\tvalue "+value);
 271 .                }
 272 .
 273 .                public void shift (int from, int to, int errorFlag) {
 274 .                        switch (errorFlag) {
 275 .                        default:                               // normally
 276 .                                println("shift\tfrom state "+from+" to "+to);
 277 .                                break;
 278 .                        case 0: case 1: case 2:                // in error recovery
 279 .                                println("shift\tfrom state "+from+" to "+to
 280 .                                            +"\t"+errorFlag+" left to recover");
 281 .                                break;
 282 .                        case 3:                                // normally
 283 .                                println("shift\tfrom state "+from+" to "+to+"\ton error");
 284 .                                break;
 285 .                        }
 286 .                }
 287 .
 288 .                public void pop (int state) {
 289 .                        println("pop\tstate "+state+"\ton error");
 290 .                }
 291 .
 292 .                public void discard (int state, int token, string name, Object value) {
 293 .                        println("discard\tstate "+state+"\ttoken "+name+"\tvalue "+value);
 294 .                }
 295 .
 296 .                public void reduce (int from, int to, int rule, string text, int len) {
 297 .                        println("reduce\tstate "+from+"\tuncover "+to
 298 .                                    +"\trule ("+rule+") "+text);
 299 .                }
 300 .
 301 .                public void shift (int from, int to) {
 302 .                        println("goto\tfrom state "+from+" to "+to);
 303 .                }
 304 .
 305 .                public void accept (Object value) {
 306 .                        println("accept\tvalue "+value);
 307 .                }
 308 .
 309 .                public void error (string message) {
 310 .                        println("error\t"+message);
 311 .                }
 312 .
 313 .                public void reject () {
 314 .                        println("reject");
 315 .                }
 316 .
 317 .        }
 318 .}
 319 .// %token constants
 320 . class Token {
 321  tokens public const int
 322 . }
 323 . namespace yyParser {
 324 .  using System;
 325 .  /** thrown for irrecoverable syntax errors and stack overflow.
 326 .    */
 327 .  public class yyException : System.Exception {
 328 .    public yyException (string message) : base (message) {
 329 .    }
 330 .  }
 331 .
 332 .  /** must be implemented by a scanner object to supply input to the parser.
 333 .    */
 334 .  public interface yyInput {
 335 .    /** move on to next token.
 336 .        @return false if positioned beyond tokens.
 337 .        @throws IOException on input error.
 338 .      */
 339 .    bool advance (); // throws java.io.IOException;
 340 .    /** classifies current token.
 341 .        Should not be called if advance() returned false.
 342 .        @return current %token or single character.
 343 .      */
 344 .    int token ();
 345 .    /** associated with current token.
 346 .        Should not be called if advance() returned false.
 347 .        @return value for token().
 348 .      */
 349 .    Object value ();
 350 .  }
 351 . }