parser.java

tinyos最新版

//----------------------------------------------------
// The following code was generated by CUP v0.10j
// Mon Apr 25 15:22:41 CST 2005
//----------------------------------------------------

package net.tinyos.script;

import java_cup.runtime.*;
import java.util.*;
import java.io.*;
import javax.swing.*;
import net.tinyos.script.tree.*;

/** CUP v0.10j generated parser.
  * @version Mon Apr 25 15:22:41 CST 2005
  */
public class Parser extends java_cup.runtime.lr_parser {

  /** Default constructor. */
  public Parser() {super();}

  /** Constructor which sets the default scanner. */
  public Parser(java_cup.runtime.Scanner s) {super(s);}

  /** Production table. */
  protected static final short _production_table[][] = 
    unpackFromStrings(new String[] {
    "\000\116\000\002\002\004\000\002\044\002\000\002\003" +
    "\005\000\002\045\002\000\002\004\005\000\002\004\002" +
    "\000\002\005\003\000\002\005\003\000\002\005\003\000" +
    "\002\046\002\000\002\006\006\000\002\047\002\000\002" +
    "\007\006\000\002\050\002\000\002\010\006\000\002\011" +
    "\004\000\002\011\002\000\002\012\003\000\002\012\003" +
    "\000\002\012\003\000\002\036\010\000\002\036\014\000" +
    "\002\036\013\000\002\042\004\000\002\042\002\000\002" +
    "\043\004\000\002\043\004\000\002\037\003\000\002\037" +
    "\005\000\002\016\006\000\002\013\003\000\002\013\003" +
    "\000\002\020\003\000\002\021\005\000\002\021\006\000" +
    "\002\014\003\000\002\015\003\000\002\015\003\000\002" +
    "\015\003\000\002\015\003\000\002\015\003\000\002\015" +
    "\003\000\002\015\003\000\002\031\003\000\002\031\003" +
    "\000\002\027\003\000\002\030\005\000\002\030\006\000" +
    "\002\024\003\000\002\025\005\000\002\023\005\000\002" +
    "\023\005\000\002\023\005\000\002\023\005\000\002\023" +
    "\005\000\002\023\005\000\002\023\005\000\002\023\005" +
    "\000\002\023\005\000\002\023\005\000\002\023\005\000" +
    "\002\023\005\000\002\023\005\000\002\022\004\000\002" +
    "\022\004\000\002\017\004\000\002\032\007\000\002\035" +
    "\004\000\002\035\002\000\002\034\005\000\002\034\002" +
    "\000\002\033\003\000\002\040\005\000\002\040\005\000" +
    "\002\040\005\000\002\040\005\000\002\040\005\000\002" +
    "\040\005" });

  /** Access to production table. */
  public short[][] production_table() {return _production_table;}

  /** Parse-action table. */
  protected static final short[][] _action_table = 
    unpackFromStrings(new String[] {
    "\000\222\000\022\002\000\004\000\024\000\030\000\045" +
    "\000\046\000\047\000\052\000\001\002\000\004\002\224" +
    "\001\002\000\022\002\ufffc\004\ufffc\024\ufffc\030\ufffc\045" +
    "\014\046\015\047\012\052\ufffc\001\002\000\022\002\ufffe" +
    "\004\ufffe\024\ufffe\030\ufffe\045\ufffe\046\ufffe\047\ufffe\052" +
    "\ufffe\001\002\000\022\002\ufff9\004\ufff9\024\ufff9\030\ufff9" +
    "\045\ufff9\046\ufff9\047\ufff9\052\ufff9\001\002\000\022\002" +
    "\ufffb\004\ufffb\024\ufffb\030\ufffb\045\ufffb\046\ufffb\047\ufffb" +
    "\052\ufffb\001\002\000\022\002\ufffa\004\ufffa\024\ufffa\030" +
    "\ufffa\045\ufffa\046\ufffa\047\ufffa\052\ufffa\001\002\000\004" +
    "\004\217\001\002\000\014\002\ufff1\004\037\024\032\030" +
    "\026\052\036\001\002\000\004\004\021\001\002\000\004" +
    "\004\016\001\002\000\004\011\ufff8\001\002\000\004\011" +
    "\020\001\002\000\022\002\ufff7\004\ufff7\024\ufff7\030\ufff7" +
    "\045\ufff7\046\ufff7\047\ufff7\052\ufff7\001\002\000\004\011" +
    "\ufff4\001\002\000\004\011\023\001\002\000\022\002\ufff3" +
    "\004\ufff3\024\ufff3\030\ufff3\045\ufff3\046\ufff3\047\ufff3\052" +
    "\ufff3\001\002\000\022\002\uffee\004\uffee\024\uffee\026\uffee" +
    "\027\uffee\030\uffee\031\uffee\052\uffee\001\002\000\022\002" +
    "\ufff0\004\ufff0\024\ufff0\026\ufff0\027\ufff0\030\ufff0\031\ufff0" +
    "\052\ufff0\001\002\000\004\004\172\001\002\000\004\020" +
    "\uffe2\001\002\000\004\020\uffe3\001\002\000\022\002\uffef" +
    "\004\uffef\024\uffef\026\uffef\027\uffef\030\uffef\031\uffef\052" +
    "\uffef\001\002\000\016\004\061\006\060\036\044\040\043" +
    "\052\036\060\056\001\002\000\022\002\ufff1\004\037\024" +
    "\032\026\ufff1\027\ufff1\030\026\031\ufff1\052\036\001\002" +
    "\000\004\020\154\001\002\000\004\002\uffff\001\002\000" +
    "\004\004\142\001\002\000\006\020\uffe1\050\042\001\002" +
    "\000\004\011\041\001\002\000\022\002\uffc0\004\uffc0\024" +
    "\uffc0\026\uffc0\027\uffc0\030\uffc0\031\uffc0\052\uffc0\001\002" +
    "\000\020\004\061\006\060\036\044\040\043\051\053\052" +
    "\036\060\056\001\002\000\016\004\061\006\060\036\044" +
    "\040\043\052\036\060\056\001\002\000\104\004\uffd1\005" +
    "\uffd1\010\uffd1\011\uffd1\012\uffd1\013\uffd1\014\uffd1\015\uffd1" +
    "\016\uffd1\017\uffd1\020\uffd1\021\uffd1\022\uffd1\023\uffd1\024" +
    "\uffd1\025\uffd1\030\uffd1\031\uffd1\032\uffd1\033\uffd1\034\uffd1" +
    "\035\uffd1\037\uffd1\041\uffd1\042\uffd1\043\uffd1\044\uffd1\051" +
    "\uffd1\052\uffd1\053\uffd1\054\uffd1\056\uffd1\057\uffd1\001\002" +
    "\000\076\004\uffda\005\uffda\010\uffda\011\uffda\012\uffda\013" +
    "\uffda\014\uffda\015\uffda\016\uffda\017\uffda\020\uffda\021\uffda" +
    "\022\uffda\023\uffda\024\uffda\025\uffda\030\uffda\031\uffda\035" +
    "\uffda\037\uffda\041\uffda\042\uffda\043\uffda\044\uffda\051\uffda" +
    "\052\uffda\053\uffda\054\uffda\056\uffda\057\uffda\001\002\000" +
    "\076\004\uffdc\005\uffdc\010\uffdc\011\uffdc\012\uffdc\013\uffdc" +
    "\014\uffdc\015\uffdc\016\uffdc\017\uffdc\020\uffdc\021\uffdc\022" +
    "\uffdc\023\uffdc\024\uffdc\025\uffdc\030\uffdc\031\uffdc\035\uffdc" +
    "\037\uffdc\041\uffdc\042\uffdc\043\uffdc\044\uffdc\051\uffdc\052" +
    "\uffdc\053\uffdc\054\uffdc\056\uffdc\057\uffdc\001\002\000\076" +
    "\004\uffd7\005\uffd7\010\uffd7\011\uffd7\012\uffd7\013\uffd7\014" +
    "\uffd7\015\uffd7\016\uffd7\017\uffd7\020\uffd7\021\uffd7\022\uffd7" +
    "\023\uffd7\024\uffd7\025\uffd7\030\uffd7\031\uffd7\035\uffd7\037" +
    "\uffd7\041\uffd7\042\uffd7\043\uffd7\044\uffd7\051\uffd7\052\uffd7" +
    "\053\uffd7\054\uffd7\056\uffd7\057\uffd7\001\002\000\076\004" +
    "\uffd9\005\uffd9\010\uffd9\011\uffd9\012\uffd9\013\uffd9\014\uffd9" +
    "\015\uffd9\016\uffd9\017\uffd9\020\uffd9\021\uffd9\022\uffd9\023" +
    "\uffd9\024\uffd9\025\uffd9\030\uffd9\031\uffd9\035\uffd9\037\uffd9" +
    "\041\uffd9\042\uffd9\043\uffd9\044\uffd9\051\uffd9\052\uffd9\053" +
    "\uffd9\054\uffd9\056\uffd9\057\uffd9\001\002\000\076\004\uffd6" +
    "\005\uffd6\010\uffd6\011\uffd6\012\uffd6\013\uffd6\014\uffd6\015" +
    "\uffd6\016\uffd6\017\uffd6\020\uffd6\021\uffd6\022\uffd6\023\uffd6" +
    "\024\uffd6\025\uffd6\030\uffd6\031\uffd6\035\uffd6\037\uffd6\041" +
    "\uffd6\042\uffd6\043\uffd6\044\uffd6\051\uffd6\052\uffd6\053\uffd6" +
    "\054\uffd6\056\uffd6\057\uffd6\001\002\000\076\004\uffdb\005" +
    "\uffdb\010\uffdb\011\uffdb\012\uffdb\013\uffdb\014\uffdb\015\uffdb" +
    "\016\uffdb\017\uffdb\020\uffdb\021\uffdb\022\uffdb\023\uffdb\024" +
    "\uffdb\025\uffdb\030\uffdb\031\uffdb\035\uffdb\037\uffdb\041\uffdb" +
    "\042\uffdb\043\uffdb\044\uffdb\051\uffdb\052\uffdb\053\uffdb\054" +
    "\uffdb\056\uffdb\057\uffdb\001\002\000\004\020\uffe0\001\002" +
    "\000\052\012\066\013\071\014\106\015\107\016\074\017" +
    "\105\020\073\021\077\022\072\023\100\037\102\041\067" +
    "\042\104\043\075\044\076\051\140\053\101\054\111\056" +
    "\070\057\110\001\002\000\076\004\uffd5\005\uffd5\010\uffd5" +
    "\011\uffd5\012\uffd5\013\uffd5\014\uffd5\015\uffd5\016\uffd5\017" +
    "\uffd5\020\uffd5\021\uffd5\022\uffd5\023\uffd5\024\uffd5\025\uffd5" +
    "\030\uffd5\031\uffd5\035\uffd5\037\uffd5\041\uffd5\042\uffd5\043" +
    "\uffd5\044\uffd5\051\uffd5\052\uffd5\053\uffd5\054\uffd5\056\uffd5" +
    "\057\uffd5\001\002\000\016\004\061\006\060\036\044\040" +
    "\043\052\036\060\056\001\002\000\076\004\uffdd\005\uffdd" +
    "\010\uffdd\011\uffdd\012\uffdd\013\uffdd\014\uffdd\015\uffdd\016" +
    "\uffdd\017\uffdd\020\uffdd\021\uffdd\022\uffdd\023\uffdd\024\uffdd" +
    "\025\uffdd\030\uffdd\031\uffdd\035\uffdd\037\uffdd\041\uffdd\042" +
    "\uffdd\043\uffdd\044\uffdd\051\uffdd\052\uffdd\053\uffdd\054\uffdd" +
    "\056\uffdd\057\uffdd\001\002\000\016\004\061\006\060\036" +
    "\044\040\043\052\036\060\056\001\002\000\100\004\uffd4" +
    "\005\uffd4\010\uffd4\011\uffd4\012\uffd4\013\uffd4\014\uffd4\015" +
    "\uffd4\016\uffd4\017\uffd4\020\uffd4\021\uffd4\022\uffd4\023\uffd4" +
    "\024\uffd4\025\uffd4\030\uffd4\031\uffd4\035\uffd4\037\uffd4\041" +
    "\uffd4\042\uffd4\043\uffd4\044\uffd4\050\063\051\uffd4\052\uffd4" +
    "\053\uffd4\054\uffd4\056\uffd4\057\uffd4\001\002\000\076\004" +
    "\uffd8\005\uffd8\010\uffd8\011\uffd8\012\uffd8\013\uffd8\014\uffd8" +
    "\015\uffd8\016\uffd8\017\uffd8\020\uffd8\021\uffd8\022\uffd8\023" +
    "\uffd8\024\uffd8\025\uffd8\030\uffd8\031\uffd8\035\uffd8\037\uffd8" +
    "\041\uffd8\042\uffd8\043\uffd8\044\uffd8\051\uffd8\052\uffd8\053" +
    "\uffd8\054\uffd8\056\uffd8\057\uffd8\001\002\000\020\004\061" +
    "\006\060\036\044\040\043\051\064\052\036\060\056\001" +
    "\002\000\076\004\uffd3\005\uffd3\010\uffd3\011\uffd3\012\uffd3" +
    "\013\uffd3\014\uffd3\015\uffd3\016\uffd3\017\uffd3\020\uffd3\021" +
    "\uffd3\022\uffd3\023\uffd3\024\uffd3\025\uffd3\030\uffd3\031\uffd3" +
    "\035\uffd3\037\uffd3\041\uffd3\042\uffd3\043\uffd3\044\uffd3\051" +
    "\uffd3\052\uffd3\053\uffd3\054\uffd3\056\uffd3\057\uffd3\001\002" +
    "\000\052\012\066\013\071\014\106\015\107\016\074\017" +
    "\105\020\073\021\077\022\072\023\100\037\102\041\067" +
    "\042\104\043\075\044\076\051\103\053\101\054\111\056" +
    "\070\057\110\001\002\000\016\004\061\006\060\036\044" +
    "\040\043\052\036\060\056\001\002\000\016\004\061\006" +
    "\060\036\044\040\043\052\036\060\056\001\002\000\016" +
    "\004\061\006\060\036\044\040\043\052\036\060\056\001" +
    "\002\000\016\004\061\006\060\036\044\040\043\052\036" +
    "\060\056\001\002\000\016\004\061\006\060\036\044\040" +
    "\043\052\036\060\056\001\002\000\016\004\061\006\060" +
    "\036\044\040\043\052\036\060\056\001\002\000\016\004" +
    "\061\006\060\036\044\040\043\052\036\060\056\001\002" +
    "\000\016\004\061\006\060\036\044\040\043\052\036\060" +
    "\056\001\002\000\016\004\061\006\060\036\044\040\043" +
    "\052\036\060\056\001\002\000\016\004\061\006\060\036" +
    "\044\040\043\052\036\060\056\001\002\000\016\004\061" +
    "\006\060\036\044\040\043\052\036\060\056\001\002\000" +
    "\016\004\061\006\060\036\044\040\043\052\036\060\056" +
    "\001\002\000\016\004\061\006\060\036\044\040\043\052" +
    "\036\060\056\001\002\000\076\004\uffd2\005\uffd2\010\uffd2" +
    "\011\uffd2\012\uffd2\013\uffd2\014\uffd2\015\uffd2\016\uffd2\017" +
    "\uffd2\020\uffd2\021\uffd2\022\uffd2\023\uffd2\024\uffd2\025\uffd2" +
    "\030\uffd2\031\uffd2\035\uffd2\037\uffd2\041\uffd2\042\uffd2\043" +
    "\uffd2\044\uffd2\051\uffd2\052\uffd2\053\uffd2\054\uffd2\056\uffd2" +
    "\057\uffd2\001\002\000\016\004\061\006\060\036\044\040" +
    "\043\052\036\060\056\001\002\000\016\004\061\006\060" +
    "\036\044\040\043\052\036\060\056\001\002\000\016\004" +
    "\061\006\060\036\044\040\043\052\036\060\056\001\002" +
    "\000\016\004\061\006\060\036\044\040\043\052\036\060" +
    "\056\001\002\000\016\004\061\006\060\036\044\040\043" +
    "\052\036\060\056\001\002\000\016\004\061\006\060\036" +
    "\044\040\043\052\036\060\056\001\002\000\076\004\uffc9" +
    "\005\uffc9\010\uffc9\011\uffc9\012\uffc9\013\uffc9\014\uffc9\015" +
    "\uffc9\016\uffc9\017\uffc9\020\uffc9\021\uffc9\022\uffc9\023\uffc9" +
    "\024\uffc9\025\uffc9\030\uffc9\031\uffc9\035\uffc9\037\102\041" +
    "\067\042\104\043\075\044\076\051\uffc9\052\uffc9\053\101" +
    "\054\uffc9\056\uffc9\057\uffc9\001\002\000\076\004\uffc4\005" +
    "\uffc4\010\uffc4\011\uffc4\012\066\013\071\014\106\015\107" +
    "\016\074\017\105\020\073\021\077\022\072\023\100\024" +
    "\uffc4\025\uffc4\030\uffc4\031\uffc4\035\uffc4\037\102\041\067" +
    "\042\104\043\075\044\076\051\uffc4\052\uffc4\053\101\054" +
    "\111\056\070\057\uffc4\001\002\000\076\004\uffc3\005\uffc3" +
    "\010\uffc3\011\uffc3\012\066\013\071\014\106\015\uffc3\016" +
    "\074\017\105\020\073\021\077\022\072\023\100\024\uffc3" +
    "\025\uffc3\030\uffc3\031\uffc3\035\uffc3\037\102\041\067\042" +
    "\104\043\075\044\076\051\uffc3\052\uffc3\053\101\054\111" +