parser.java Source File

00001 package edu.ksu.cis.bandera.specification.nnf.ltl;
00002 
00003 
00004 //----------------------------------------------------
00005 // The following code was generated by CUP v0.10k
00006 // Tue Jul 17 20:49:43 CDT 2001
00007 //----------------------------------------------------
00008 
00009 import java_cup.runtime.*;
00010 import java.io.*;
00011 import java.util.*;
00012 
00013 /** CUP v0.10k generated parser.
00014   * @version Tue Jul 17 20:49:43 CDT 2001
00015   */
00016 public class parser extends java_cup.runtime.lr_parser {
00017 
00018   /** Production table. */
00019   protected static final short _production_table[][] = 
00020     unpackFromStrings(new String[] {
00021     "\000\014\000\002\003\003\000\002\002\004\000\002\004" +
00022     "\003\000\002\004\005\000\002\004\005\000\002\004\005" +
00023     "\000\002\004\005\000\002\004\004\000\002\004\004\000" +
00024     "\002\004\004\000\002\004\004\000\002\004\005" });
00025 
00026   /** Parse-action table. */
00027   protected static final short[][] _action_table = 
00028     unpackFromStrings(new String[] {
00029     "\000\030\000\016\004\012\005\011\006\013\010\010\015" +
00030     "\007\022\004\001\002\000\016\002\uffff\007\uffff\011\uffff" +
00031     "\012\uffff\013\uffff\014\uffff\001\002\000\014\002\001\007" +
00032     "\017\012\015\013\020\014\016\001\002\000\004\002\032" +
00033     "\001\002\000\016\004\012\005\011\006\013\010\010\015" +
00034     "\007\022\004\001\002\000\016\004\012\005\011\006\013" +
00035     "\010\010\015\007\022\004\001\002\000\016\004\012\005" +
00036     "\011\006\013\010\010\015\007\022\004\001\002\000\016" +
00037     "\004\012\005\011\006\013\010\010\015\007\022\004\001" +
00038     "\002\000\016\004\012\005\011\006\013\010\010\015\007" +
00039     "\022\004\001\002\000\016\002\ufff8\007\ufff8\011\ufff8\012" +
00040     "\ufff8\013\ufff8\014\ufff8\001\002\000\016\004\012\005\011" +
00041     "\006\013\010\010\015\007\022\004\001\002\000\016\004" +
00042     "\012\005\011\006\013\010\010\015\007\022\004\001\002" +
00043     "\000\016\004\012\005\011\006\013\010\010\015\007\022" +
00044     "\004\001\002\000\016\004\012\005\011\006\013\010\010" +
00045     "\015\007\022\004\001\002\000\016\002\ufffc\007\017\011" +
00046     "\ufffc\012\ufffc\013\ufffc\014\016\001\002\000\016\002\ufff6" +
00047     "\007\ufff6\011\ufff6\012\ufff6\013\ufff6\014\ufff6\001\002\000" +
00048     "\016\002\ufffb\007\017\011\ufffb\012\ufffb\013\ufffb\014\ufffb" +
00049     "\001\002\000\016\002\ufffd\007\017\011\ufffd\012\ufffd\013" +
00050     "\020\014\016\001\002\000\016\002\ufff9\007\ufff9\011\ufff9" +
00051     "\012\ufff9\013\ufff9\014\ufff9\001\002\000\016\002\ufff7\007" +
00052     "\ufff7\011\ufff7\012\ufff7\013\ufff7\014\ufff7\001\002\000\014" +
00053     "\007\017\011\030\012\015\013\020\014\016\001\002\000" +
00054     "\016\002\ufffe\007\ufffe\011\ufffe\012\ufffe\013\ufffe\014\ufffe" +
00055     "\001\002\000\016\002\ufffa\007\017\011\ufffa\012\ufffa\013" +
00056     "\ufffa\014\ufffa\001\002\000\004\002\000\001\002" });
00057 
00058   /** <code>reduce_goto</code> table. */
00059   protected static final short[][] _reduce_table = 
00060     unpackFromStrings(new String[] {
00061     "\000\030\000\006\003\005\004\004\001\001\000\002\001" +
00062     "\001\000\002\001\001\000\002\001\001\000\004\004\030" +
00063     "\001\001\000\004\004\026\001\001\000\004\004\025\001" +
00064     "\001\000\004\004\024\001\001\000\004\004\013\001\001" +
00065     "\000\002\001\001\000\004\004\023\001\001\000\004\004" +
00066     "\022\001\001\000\004\004\021\001\001\000\004\004\020" +
00067     "\001\001\000\002\001\001\000\002\001\001\000\002\001" +
00068     "\001\000\002\001\001\000\002\001\001\000\002\001\001" +
00069     "\000\002\001\001\000\002\001\001\000\002\001\001\000" +
00070     "\002\001\001" });
00071 
00072   /** Instance of action encapsulation class. */
00073   protected CUP$parser$actions action_obj;
00074 
00075         public static Node tree;
00076 
00077   /** Default constructor. */
00078   public parser() {super();}  
00079   /** Constructor which sets the default scanner. */
00080   public parser(java_cup.runtime.Scanner s) {super(s);}  
00081   /** Access to parse-action table. */
00082   public short[][] action_table() {return _action_table;}  
00083   /** Invoke a user supplied parse action. */
00084   public java_cup.runtime.Symbol do_action(
00085     int                        act_num,
00086     java_cup.runtime.lr_parser parser,
00087     java.util.Stack            stack,
00088     int                        top)
00089     throws java.lang.Exception
00090   {
00091     /* call code in generated class */
00092     return action_obj.CUP$parser$do_action(act_num, parser, stack, top);
00093   }  
00094   /** <code>EOF</code> Symbol index. */
00095   public int EOF_sym() {return 0;}  
00096   /** <code>error</code> Symbol index. */
00097   public int error_sym() {return 1;}  
00098   /** Action encapsulation object initializer. */
00099   protected void init_actions()
00100     {
00101       action_obj = new CUP$parser$actions(this);
00102     }
00103   /** Access to production table. */
00104   public short[][] production_table() {return _production_table;}  
00105   /** Access to <code>reduce_goto</code> table. */
00106   public short[][] reduce_table() {return _reduce_table;}  
00107         public void report_error(String message, Object info)
00108                 {       System.err.print("Line: "+
00109                                 ((Yylex) getScanner()).line() +" ");
00110                         System.err.print(message);
00111                         System.err.println("");
00112                 }
00113   /** Indicates start production. */
00114   public int start_production() {return 1;}  
00115   /** Indicates start state. */
00116   public int start_state() {return 0;}  
00117 }