Exemple #1
0
        /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
        /// <summary>Fill in the parse table entries for this state.  There are two 
        /// parse tables that encode the viable prefix recognition machine, an 
        /// action table and a reduce-goto table.  The rows in each table 
        /// correspond to states of the machine.  The columns of the action table
        /// are indexed by terminal symbols and correspond to either transitions 
        /// out of the state (shift entries) or reductions from the state to some
        /// previous state saved on the stack (reduce entries).  All entries in the
        /// action table that are not shifts or reduces, represent errors.    The
        /// reduce-goto table is indexed by non terminals and represents transitions 
        /// out of a state on that non-terminal.<p>
        /// Conflicts occur if more than one action needs to go in one entry of the
        /// action table (this cannot happen with the reduce-goto table).  Conflicts
        /// are resolved by always shifting for shift/reduce conflicts and choosing
        /// the lowest numbered production (hence the one that appeared first in
        /// the specification) in reduce/reduce conflicts.  All conflicts are 
        /// reported and if more conflicts are detected than were declared by the
        /// user, code generation is aborted.
        /// *
        /// </summary>
        /// <param name="act_table">   the action table to put entries in.
        /// </param>
        /// <param name="reduce_table">the reduce-goto table to put entries in.
        /// 
        /// </param>
        public virtual void build_table_entries(parse_action_table act_table, parse_reduce_table reduce_table)
        {
            parse_action_row our_act_row;
            parse_reduce_row our_red_row;
            lalr_item itm;
            parse_action act, other_act;
            symbol sym;
            terminal_set conflict_set = new terminal_set();

            /* pull out our rows from the tables */
            our_act_row = act_table.under_state[index()];
            our_red_row = reduce_table.under_state[index()];

            /* consider each item in our state */
            //UPGRADE_TODO: method 'java.util.Enumeration.hasMoreElements' was converted to ' ' which has a different behavior. 'ms-help://MS.VSCC/commoner/redir/redirect.htm?keyword="jlca1073_javautilEnumerationhasMoreElements"'
             for (System.Collections.IEnumerator i = items().all(); i.MoveNext(); )
            {
                //UPGRADE_TODO: method 'java.util.Enumeration.nextElement' was converted to ' ' which has a different behavior. 'ms-help://MS.VSCC/commoner/redir/redirect.htm?keyword="jlca1073_javautilEnumerationnextElement"'
                itm = (lalr_item) i.Current;

                /* if its completed (dot at end) then reduce under the lookahead */
                if (itm.dot_at_end())
                {
                    act = new reduce_action(itm.the_production());

                    /* consider each lookahead symbol */
                     for (int t = 0; t < terminal.number(); t++)
                    {
                        /* skip over the ones not in the lookahead */
                        if (!itm.lookahead().contains(t))
                            continue;

                        /* if we don't already have an action put this one in */
                        if (our_act_row.under_term[t].kind() == parse_action.ERROR)
                        {
                            our_act_row.under_term[t] = act;
                        }
                        else
                        {
                            /* we now have at least one conflict */
                            terminal term = terminal.find(t);
                            other_act = our_act_row.under_term[t];

                            /* if the other act was not a shift */
                            if ((other_act.kind() != parse_action.SHIFT) && (other_act.kind() != parse_action.NONASSOC))
                            {
                                /* if we have lower index hence priority, replace it*/
                                if (itm.the_production().index() < ((reduce_action) other_act).reduce_with().index())
                                {
                                    /* replace the action */
                                    our_act_row.under_term[t] = act;
                                }
                            }
                            else
                            {
                                /*  Check precedences,see if problem is correctable */
                                if (fix_with_precedence(itm.the_production(), t, our_act_row, act))
                                {
                                    term = null;
                                }
                            }
                            if (term != null)
                            {

                                conflict_set.add(term);
                            }
                        }
                    }
                }
            }

            /* consider each outgoing transition */
             for (lalr_transition trans = transitions(); trans != null; trans = trans.next())
            {
                /* if its on an terminal add a shift entry */
                sym = trans.on_symbol();
                if (!sym.is_non_term())
                {
                    act = new shift_action(trans.to_state());

                    /* if we don't already have an action put this one in */
                    if (our_act_row.under_term[sym.index()].kind() == parse_action.ERROR)
                    {
                        our_act_row.under_term[sym.index()] = act;
                    }
                    else
                    {
                        /* we now have at least one conflict */
                        production p = ((reduce_action) our_act_row.under_term[sym.index()]).reduce_with();

                        /* shift always wins */
                        if (!fix_with_precedence(p, sym.index(), our_act_row, act))
                        {
                            our_act_row.under_term[sym.index()] = act;
                            conflict_set.add(terminal.find(sym.index()));
                        }
                    }
                }
                else
                {
                    /* for non terminals add an entry to the reduce-goto table */
                    our_red_row.under_non_term[sym.index()] = trans.to_state();
                }
            }

            /* if we end up with conflict(s), report them */
            if (!conflict_set.empty())
                report_conflicts(conflict_set);
        }
Exemple #2
0
        /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/

        /// <summary>Emit the parser subclass with embedded tables.
        /// </summary>
        /// <param name="out">            stream to produce output on.
        /// </param>
        /// <param name="action_table">   internal representation of the action table.
        /// </param>
        /// <param name="reduce_table">   internal representation of the reduce-goto table.
        /// </param>
        /// <param name="start_st">       start state of the parse machine.
        /// </param>
        /// <param name="start_prod">     start production of the grammar.
        /// </param>
        /// <param name="compact_reduces">do we use most frequent reduce as default?
        /// </param>
        /// <param name="suppress_scanner">should scanner be suppressed for compatibility?
        ///
        /// </param>
        public static void  parser(System.IO.StreamWriter out_Renamed, parse_action_table action_table, parse_reduce_table reduce_table, int start_st, production start_prod, bool compact_reduces, bool suppress_scanner)
        {
            long start_time = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* top of file */
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("//----------------------------------------------------");
            out_Renamed.WriteLine("// The following code was generated by " + version.title_str);
            out_Renamed.WriteLine("// " + System.DateTime.Now);
            out_Renamed.WriteLine("//----------------------------------------------------");
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("using System;");
            emit_package(out_Renamed);

            /* user supplied imports */
            for (int i = 0; i < import_list.Count; i++)
            {
                out_Renamed.WriteLine("using " + import_list.Peek(import_list.Count - (i + 1)) + ";");
            }

            /* class header */
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("///<summary>" + version.title_str + " generated parser." + "</summary>");
            out_Renamed.WriteLine("///<version>" + System.DateTime.Now + "</version>");
            out_Renamed.WriteLine("///");
            out_Renamed.WriteLine("public class " + parser_class_name + " : CUP.runtime.lr_parser {");

            /* constructors [CSA/davidm, 24-jul-99] */
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("  /** Default constructor. */");
            out_Renamed.WriteLine("  public " + parser_class_name + "() : base() {}");
            if (!suppress_scanner)
            {
                out_Renamed.WriteLine();
                out_Renamed.WriteLine("  /** Constructor which sets the default scanner. */");
                out_Renamed.WriteLine("  public " + parser_class_name + "(CUP.runtime.Scanner s) : base(s) {}");
            }

            /* emit the various tables */
            emit_production_table(out_Renamed);
            do_action_table(out_Renamed, action_table, compact_reduces);
            do_reduce_table(out_Renamed, reduce_table);

            /* instance of the action encapsulation class */
            out_Renamed.WriteLine("  /** Instance of action encapsulation class. */");
            out_Renamed.WriteLine("  protected " + pre("actions") + " action_obj;");
            out_Renamed.WriteLine();

            /* action object initializer */
            out_Renamed.WriteLine("  /** Action encapsulation object initializer. */");
            out_Renamed.WriteLine("  protected override void init_actions()");
            out_Renamed.WriteLine("    {");
            out_Renamed.WriteLine("      action_obj = new " + pre("actions") + "(this);");
            out_Renamed.WriteLine("    }");
            out_Renamed.WriteLine();

            /* access to action code */
            out_Renamed.WriteLine("  /** Invoke a user supplied parse action. */");
            out_Renamed.WriteLine("  public override CUP.runtime.Symbol do_action(");
            out_Renamed.WriteLine("    int                        act_num,");
            out_Renamed.WriteLine("    CUP.runtime.lr_parser parser,");
            out_Renamed.WriteLine("    CUP.runtime.SymbolStack   stack,");
            out_Renamed.WriteLine("    int                        top)");
            out_Renamed.WriteLine("  {");
            out_Renamed.WriteLine("    /* call code in generated class */");
            out_Renamed.WriteLine("    return action_obj." + pre("do_action(") + "act_num, parser, stack, top);");
            out_Renamed.WriteLine("  }");
            out_Renamed.WriteLine("");


            /* method to tell the parser about the start state */
            out_Renamed.WriteLine("  /** Indicates start state. */");
            out_Renamed.WriteLine("  public override int start_state() {return " + start_st + ";}");

            /* method to indicate start production */
            out_Renamed.WriteLine("  /** Indicates start production. */");
            out_Renamed.WriteLine("  public override int start_production() {return " + start_production.index() + ";}");
            out_Renamed.WriteLine();

            /* methods to indicate EOF and error symbol indexes */
            out_Renamed.WriteLine("  /** <code>EOF</code> Symbol index. */");
            out_Renamed.WriteLine("  public override int EOF_sym() {return " + terminal.EOF.index() + ";}");
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("  /** <code>error</code> Symbol index. */");
            out_Renamed.WriteLine("  public override int error_sym() {return " + terminal.error.index() + ";}");
            out_Renamed.WriteLine();

            /* user supplied code for user_init() */
            if (init_code != null)
            {
                out_Renamed.WriteLine();
                out_Renamed.WriteLine("  /** User initialization code. */");
                out_Renamed.WriteLine("  public override void user_init()");
                out_Renamed.WriteLine("    {");
                out_Renamed.WriteLine(init_code);
                out_Renamed.WriteLine("    }");
            }

            /* user supplied code for scan */
            if (scan_code != null)
            {
                out_Renamed.WriteLine();
                out_Renamed.WriteLine("  /** Scan to get the next Symbol. */");
                out_Renamed.WriteLine("  public override CUP.runtime.Symbol scan()");
                out_Renamed.WriteLine("    {");
                out_Renamed.WriteLine(scan_code);
                out_Renamed.WriteLine("    }");
            }

            /* user supplied code */
            if (parser_code != null)
            {
                out_Renamed.WriteLine();
                out_Renamed.WriteLine(parser_code);
            }

            /* end of class */
            out_Renamed.WriteLine("}");

            /* put out the action code class */
            emit_action_code(out_Renamed, start_prod);

            // End of namespace
            out_Renamed.WriteLine("}");

            parser_time = (System.DateTime.Now.Ticks - 621355968000000000) / 10000 - start_time;
        }
Exemple #3
0
        /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
        /// <summary>Build the (internal) parser from the previously parsed specification.
        /// This includes:<ul>
        /// <li> Computing nullability of non-terminals.
        /// <li> Computing first sets of non-terminals and productions.
        /// <li> Building the viable prefix recognizer machine.
        /// <li> Filling in the (internal) parse tables.
        /// <li> Checking for unreduced productions.
        /// </ul>
        /// </summary>
        protected internal static void build_parser()
        {
            /* compute nullability of all non terminals */
            if (opt_do_debug || print_progress)
                System.Console.Error.WriteLine("  Computing non-terminal nullability...");
            non_terminal.compute_nullability();

            nullability_end = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* compute first sets of all non terminals */
            if (opt_do_debug || print_progress)
                System.Console.Error.WriteLine("  Computing first sets...");
            non_terminal.compute_first_sets();

            first_end = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* build the LR viable prefix recognition machine */
            if (opt_do_debug || print_progress)
                System.Console.Error.WriteLine("  Building state machine...");
            start_state = lalr_state.build_machine(emit.start_production);

            machine_end = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* build the LR parser action and reduce-goto tables */
            if (opt_do_debug || print_progress)
                System.Console.Error.WriteLine("  Filling in tables...");
            action_table = new parse_action_table();
            reduce_table = new parse_reduce_table();
             for (System.Collections.IEnumerator st = lalr_state.all(); st.MoveNext(); )
            {
                lalr_state lst = (lalr_state) st.Current;
                lst.build_table_entries(action_table, reduce_table);
            }

            table_end = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* check and warn for non-reduced productions */
            if (opt_do_debug || print_progress)
                System.Console.Error.WriteLine("  Checking for non-reduced productions...");
            action_table.check_reductions();

            reduce_check_end = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* if we have more conflicts than we expected issue a message and die */
            if (emit.num_conflicts > expect_conflicts)
            {
                System.Console.Error.WriteLine("*** More conflicts encountered than expected " + "-- parser generation aborted");
                lexer.error_count++; // indicate the problem.
                // we'll die on return, after clean up.
            }
        }
Exemple #4
0
        /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/

        /// <summary>Emit the action table.
        /// </summary>
        /// <param name="out">            stream to produce output on.
        /// </param>
        /// <param name="act_tab">        the internal representation of the action table.
        /// </param>
        /// <param name="compact_reduces">do we use the most frequent reduce as default?
        ///
        /// </param>
        protected internal static void  do_action_table(System.IO.StreamWriter out_Renamed, parse_action_table act_tab, bool compact_reduces)
        {
            parse_action_row row;
            parse_action     act;
            int red;

            long start_time = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* collect values for the action table */
            short[][] action_table = new short[act_tab.num_states()][];
            /* do each state (row) of the action table */
            for (int i = 0; i < act_tab.num_states(); i++)
            {
                /* get the row */
                row = act_tab.under_state[i];

                /* determine the default for the row */
                if (compact_reduces)
                {
                    row.compute_default();
                }
                else
                {
                    row.default_reduce = -1;
                }

                /* make temporary table for the row. */
                short[] temp_table = new short[2 * CUP.parse_action_row.size()];
                int     nentries   = 0;

                /* do each column */
                for (int j = 0; j < CUP.parse_action_row.size(); j++)
                {
                    /* extract the action from the table */
                    act = row.under_term[j];

                    /* skip error entries these are all defaulted out */
                    if (act.kind() != parse_action.ERROR)
                    {
                        /* first put in the symbol index, then the actual entry */

                        /* shifts get positive entries of state number + 1 */
                        if (act.kind() == parse_action.SHIFT)
                        {
                            /* make entry */
                            temp_table[nentries++] = (short)j;
                            temp_table[nentries++] = (short)(((shift_action)act).shift_to().index() + 1);
                        }
                        else if (act.kind() == parse_action.REDUCE)
                        {
                            /* if its the default entry let it get defaulted out */
                            red = ((reduce_action)act).reduce_with().index();
                            if (red != row.default_reduce)
                            {
                                /* make entry */
                                temp_table[nentries++] = (short)j;
                                temp_table[nentries++] = (short)(-(red + 1));
                            }
                        }
                        else if (act.kind() == parse_action.NONASSOC)
                        {
                            /* do nothing, since we just want a syntax error */
                        }
                        else
                        {
                            throw new internal_error("Unrecognized action code " + act.kind() + " found in parse table");
                        }
                    }
                }

                /* now we know how big to make the row */
                action_table[i] = new short[nentries + 2];
                Array.Copy(temp_table, 0, action_table[i], 0, nentries);

                /* finish off the row with a default entry */
                action_table[i][nentries++] = -1;
                if (row.default_reduce != -1)
                {
                    action_table[i][nentries++] = (short)(-(row.default_reduce + 1));
                }
                else
                {
                    action_table[i][nentries++] = 0;
                }
            }

            /* finish off the init of the table */
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("  /** Parse-action table. */");
            out_Renamed.Write("  private static string[] _strActionTable = ");
            do_table_as_string(out_Renamed, action_table);
            out_Renamed.WriteLine(";");
            out_Renamed.WriteLine("  protected static short[][] _action_table = CUP.runtime.lr_parser.unpackFromStrings(_strActionTable);");
            // out_Renamed.Write("    unpackFromStrings(");
            // do_table_as_string(out_Renamed, action_table);
            // out_Renamed.WriteLine(");");

            /* do the public accessor method */
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("  /** Access to parse-action table. */");
            out_Renamed.WriteLine("  public override short[][] action_table() {return _action_table;}");

            action_table_time = (System.DateTime.Now.Ticks - 621355968000000000) / 10000 - start_time;
        }
Exemple #5
0
        /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/

        /// <summary>Fill in the parse table entries for this state.  There are two
        /// parse tables that encode the viable prefix recognition machine, an
        /// action table and a reduce-goto table.  The rows in each table
        /// correspond to states of the machine.  The columns of the action table
        /// are indexed by terminal symbols and correspond to either transitions
        /// out of the state (shift entries) or reductions from the state to some
        /// previous state saved on the stack (reduce entries).  All entries in the
        /// action table that are not shifts or reduces, represent errors.    The
        /// reduce-goto table is indexed by non terminals and represents transitions
        /// out of a state on that non-terminal.<p>
        /// Conflicts occur if more than one action needs to go in one entry of the
        /// action table (this cannot happen with the reduce-goto table).  Conflicts
        /// are resolved by always shifting for shift/reduce conflicts and choosing
        /// the lowest numbered production (hence the one that appeared first in
        /// the specification) in reduce/reduce conflicts.  All conflicts are
        /// reported and if more conflicts are detected than were declared by the
        /// user, code generation is aborted.
        /// *
        /// </summary>
        /// <param name="act_table">   the action table to put entries in.
        /// </param>
        /// <param name="reduce_table">the reduce-goto table to put entries in.
        ///
        /// </param>
        public virtual void  build_table_entries(parse_action_table act_table, parse_reduce_table reduce_table)
        {
            parse_action_row our_act_row;
            parse_reduce_row our_red_row;
            lalr_item        itm;
            parse_action     act, other_act;
            symbol           sym;
            terminal_set     conflict_set = new terminal_set();

            /* pull out our rows from the tables */
            our_act_row = act_table.under_state[index()];
            our_red_row = reduce_table.under_state[index()];

            /* consider each item in our state */
            //UPGRADE_TODO: method 'java.util.Enumeration.hasMoreElements' was converted to ' ' which has a different behavior. 'ms-help://MS.VSCC/commoner/redir/redirect.htm?keyword="jlca1073_javautilEnumerationhasMoreElements"'
            for (System.Collections.IEnumerator i = items().all(); i.MoveNext();)
            {
                //UPGRADE_TODO: method 'java.util.Enumeration.nextElement' was converted to ' ' which has a different behavior. 'ms-help://MS.VSCC/commoner/redir/redirect.htm?keyword="jlca1073_javautilEnumerationnextElement"'
                itm = (lalr_item)i.Current;


                /* if its completed (dot at end) then reduce under the lookahead */
                if (itm.dot_at_end())
                {
                    act = new reduce_action(itm.the_production());

                    /* consider each lookahead symbol */
                    for (int t = 0; t < terminal.number(); t++)
                    {
                        /* skip over the ones not in the lookahead */
                        if (!itm.lookahead().contains(t))
                        {
                            continue;
                        }

                        /* if we don't already have an action put this one in */
                        if (our_act_row.under_term[t].kind() == parse_action.ERROR)
                        {
                            our_act_row.under_term[t] = act;
                        }
                        else
                        {
                            /* we now have at least one conflict */
                            terminal term = terminal.find(t);
                            other_act = our_act_row.under_term[t];

                            /* if the other act was not a shift */
                            if ((other_act.kind() != parse_action.SHIFT) && (other_act.kind() != parse_action.NONASSOC))
                            {
                                /* if we have lower index hence priority, replace it*/
                                if (itm.the_production().index() < ((reduce_action)other_act).reduce_with().index())
                                {
                                    /* replace the action */
                                    our_act_row.under_term[t] = act;
                                }
                            }
                            else
                            {
                                /*  Check precedences,see if problem is correctable */
                                if (fix_with_precedence(itm.the_production(), t, our_act_row, act))
                                {
                                    term = null;
                                }
                            }
                            if (term != null)
                            {
                                conflict_set.add(term);
                            }
                        }
                    }
                }
            }

            /* consider each outgoing transition */
            for (lalr_transition trans = transitions(); trans != null; trans = trans.next())
            {
                /* if its on an terminal add a shift entry */
                sym = trans.on_symbol();
                if (!sym.is_non_term())
                {
                    act = new shift_action(trans.to_state());

                    /* if we don't already have an action put this one in */
                    if (our_act_row.under_term[sym.index()].kind() == parse_action.ERROR)
                    {
                        our_act_row.under_term[sym.index()] = act;
                    }
                    else
                    {
                        /* we now have at least one conflict */
                        production p = ((reduce_action)our_act_row.under_term[sym.index()]).reduce_with();

                        /* shift always wins */
                        if (!fix_with_precedence(p, sym.index(), our_act_row, act))
                        {
                            our_act_row.under_term[sym.index()] = act;
                            conflict_set.add(terminal.find(sym.index()));
                        }
                    }
                }
                else
                {
                    /* for non terminals add an entry to the reduce-goto table */
                    our_red_row.under_non_term[sym.index()] = trans.to_state();
                }
            }

            /* if we end up with conflict(s), report them */
            if (!conflict_set.empty())
            {
                report_conflicts(conflict_set);
            }
        }
Exemple #6
0
        /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/

        /// <summary>Build the (internal) parser from the previously parsed specification.
        /// This includes:<ul>
        /// <li> Computing nullability of non-terminals.
        /// <li> Computing first sets of non-terminals and productions.
        /// <li> Building the viable prefix recognizer machine.
        /// <li> Filling in the (internal) parse tables.
        /// <li> Checking for unreduced productions.
        /// </ul>
        /// </summary>
        protected internal static void  build_parser()
        {
            /* compute nullability of all non terminals */
            if (opt_do_debug || print_progress)
            {
                System.Console.Error.WriteLine("  Computing non-terminal nullability...");
            }
            non_terminal.compute_nullability();

            nullability_end = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* compute first sets of all non terminals */
            if (opt_do_debug || print_progress)
            {
                System.Console.Error.WriteLine("  Computing first sets...");
            }
            non_terminal.compute_first_sets();

            first_end = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* build the LR viable prefix recognition machine */
            if (opt_do_debug || print_progress)
            {
                System.Console.Error.WriteLine("  Building state machine...");
            }
            start_state = lalr_state.build_machine(emit.start_production);

            machine_end = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* build the LR parser action and reduce-goto tables */
            if (opt_do_debug || print_progress)
            {
                System.Console.Error.WriteLine("  Filling in tables...");
            }
            action_table = new parse_action_table();
            reduce_table = new parse_reduce_table();
            for (System.Collections.IEnumerator st = lalr_state.all(); st.MoveNext();)
            {
                lalr_state lst = (lalr_state)st.Current;
                lst.build_table_entries(action_table, reduce_table);
            }

            table_end = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* check and warn for non-reduced productions */
            if (opt_do_debug || print_progress)
            {
                System.Console.Error.WriteLine("  Checking for non-reduced productions...");
            }
            action_table.check_reductions();

            reduce_check_end = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* if we have more conflicts than we expected issue a message and die */
            if (emit.num_conflicts > expect_conflicts)
            {
                System.Console.Error.WriteLine("*** More conflicts encountered than expected " + "-- parser generation aborted");
                lexer.error_count++;                 // indicate the problem.
                // we'll die on return, after clean up.
            }
        }
Exemple #7
0
        /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
        /// <summary>Emit the action table. 
        /// </summary>
        /// <param name="out">            stream to produce output on.
        /// </param>
        /// <param name="act_tab">        the internal representation of the action table.
        /// </param>
        /// <param name="compact_reduces">do we use the most frequent reduce as default?
        /// 
        /// </param>
        protected internal static void do_action_table(System.IO.StreamWriter out_Renamed, parse_action_table act_tab, bool compact_reduces)
        {
            parse_action_row row;
            parse_action act;
            int red;

            long start_time = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* collect values for the action table */
            short[][] action_table = new short[act_tab.num_states()][];
            /* do each state (row) of the action table */
             for (int i = 0; i < act_tab.num_states(); i++)
            {
                /* get the row */
                row = act_tab.under_state[i];

                /* determine the default for the row */
                if (compact_reduces)
                    row.compute_default();
                else
                    row.default_reduce = - 1;

                /* make temporary table for the row. */
                short[] temp_table = new short[2 * CUP.parse_action_row.size()];
                int nentries = 0;

                /* do each column */
                 for (int j = 0; j < CUP.parse_action_row.size(); j++)
                {
                    /* extract the action from the table */
                    act = row.under_term[j];

                    /* skip error entries these are all defaulted out */
                    if (act.kind() != parse_action.ERROR)
                    {
                        /* first put in the symbol index, then the actual entry */

                        /* shifts get positive entries of state number + 1 */
                        if (act.kind() == parse_action.SHIFT)
                        {
                            /* make entry */
                            temp_table[nentries++] = (short) j;
                            temp_table[nentries++] = (short) (((shift_action) act).shift_to().index() + 1);
                        }
                        else if (act.kind() == parse_action.REDUCE)
                        {
                            /* if its the default entry let it get defaulted out */
                            red = ((reduce_action) act).reduce_with().index();
                            if (red != row.default_reduce)
                            {
                                /* make entry */
                                temp_table[nentries++] = (short) j;
                                temp_table[nentries++] = (short) (- (red + 1));
                            }
                        }
                        else if (act.kind() == parse_action.NONASSOC)
                        {
                            /* do nothing, since we just want a syntax error */
                        }
                        else
                            throw new internal_error("Unrecognized action code " + act.kind() + " found in parse table");
                    }
                }

                /* now we know how big to make the row */
                action_table[i] = new short[nentries + 2];
                Array.Copy(temp_table, 0, action_table[i], 0, nentries);

                /* finish off the row with a default entry */
                action_table[i][nentries++] = - 1;
                if (row.default_reduce != - 1)
                    action_table[i][nentries++] = (short) (- (row.default_reduce + 1));
                else
                    action_table[i][nentries++] = 0;
            }

            /* finish off the init of the table */
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("  /** Parse-action table. */");
            out_Renamed.Write("  private static string[] _strActionTable = ");
            do_table_as_string(out_Renamed, action_table);
            out_Renamed.WriteLine(";");
            out_Renamed.WriteLine("  protected static short[][] _action_table = CUP.runtime.lr_parser.unpackFromStrings(_strActionTable);");
            // out_Renamed.Write("    unpackFromStrings(");
            // do_table_as_string(out_Renamed, action_table);
            // out_Renamed.WriteLine(");");

            /* do the public accessor method */
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("  /** Access to parse-action table. */");
            out_Renamed.WriteLine("  public override short[][] action_table() {return _action_table;}");

            action_table_time = (System.DateTime.Now.Ticks - 621355968000000000) / 10000 - start_time;
        }
Exemple #8
0
        /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
        /// <summary>Emit the parser subclass with embedded tables. 
        /// </summary>
        /// <param name="out">            stream to produce output on.
        /// </param>
        /// <param name="action_table">   internal representation of the action table.
        /// </param>
        /// <param name="reduce_table">   internal representation of the reduce-goto table.
        /// </param>
        /// <param name="start_st">       start state of the parse machine.
        /// </param>
        /// <param name="start_prod">     start production of the grammar.
        /// </param>
        /// <param name="compact_reduces">do we use most frequent reduce as default?
        /// </param>
        /// <param name="suppress_scanner">should scanner be suppressed for compatibility?
        /// 
        /// </param>
        public static void parser(System.IO.StreamWriter out_Renamed, parse_action_table action_table, parse_reduce_table reduce_table, int start_st, production start_prod, bool compact_reduces, bool suppress_scanner)
        {
            long start_time = (System.DateTime.Now.Ticks - 621355968000000000) / 10000;

            /* top of file */
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("//----------------------------------------------------");
            out_Renamed.WriteLine("// The following code was generated by " + version.title_str);
            out_Renamed.WriteLine("// " + System.DateTime.Now);
            out_Renamed.WriteLine("//----------------------------------------------------");
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("using System;");
            emit_package(out_Renamed);

            /* user supplied imports */
            for (int i = 0; i < import_list.Count; i++)
            {
                out_Renamed.WriteLine("using " + import_list.Peek(import_list.Count - (i + 1)) + ";");
            }

            /* class header */
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("///<summary>" + version.title_str + " generated parser." + "</summary>");
            out_Renamed.WriteLine("///<version>" + System.DateTime.Now + "</version>");
            out_Renamed.WriteLine("///");
            out_Renamed.WriteLine("public class " + parser_class_name + " : CUP.runtime.lr_parser {");

            /* constructors [CSA/davidm, 24-jul-99] */
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("  /** Default constructor. */");
            out_Renamed.WriteLine("  public " + parser_class_name + "() : base() {}");
            if (!suppress_scanner)
            {
                out_Renamed.WriteLine();
                out_Renamed.WriteLine("  /** Constructor which sets the default scanner. */");
                out_Renamed.WriteLine("  public " + parser_class_name + "(CUP.runtime.Scanner s) : base(s) {}");
            }

            /* emit the various tables */
            emit_production_table(out_Renamed);
            do_action_table(out_Renamed, action_table, compact_reduces);
            do_reduce_table(out_Renamed, reduce_table);

            /* instance of the action encapsulation class */
            out_Renamed.WriteLine("  /** Instance of action encapsulation class. */");
            out_Renamed.WriteLine("  protected " + pre("actions") + " action_obj;");
            out_Renamed.WriteLine();

            /* action object initializer */
            out_Renamed.WriteLine("  /** Action encapsulation object initializer. */");
            out_Renamed.WriteLine("  protected override void init_actions()");
            out_Renamed.WriteLine("    {");
            out_Renamed.WriteLine("      action_obj = new " + pre("actions") + "(this);");
            out_Renamed.WriteLine("    }");
            out_Renamed.WriteLine();

            /* access to action code */
            out_Renamed.WriteLine("  /** Invoke a user supplied parse action. */");
            out_Renamed.WriteLine("  public override CUP.runtime.Symbol do_action(");
            out_Renamed.WriteLine("    int                        act_num,");
            out_Renamed.WriteLine("    CUP.runtime.lr_parser parser,");
            out_Renamed.WriteLine("    CUP.runtime.SymbolStack   stack,");
            out_Renamed.WriteLine("    int                        top)");
            out_Renamed.WriteLine("  {");
            out_Renamed.WriteLine("    /* call code in generated class */");
            out_Renamed.WriteLine("    return action_obj." + pre("do_action(") + "act_num, parser, stack, top);");
            out_Renamed.WriteLine("  }");
            out_Renamed.WriteLine("");

            /* method to tell the parser about the start state */
            out_Renamed.WriteLine("  /** Indicates start state. */");
            out_Renamed.WriteLine("  public override int start_state() {return " + start_st + ";}");

            /* method to indicate start production */
            out_Renamed.WriteLine("  /** Indicates start production. */");
            out_Renamed.WriteLine("  public override int start_production() {return " + start_production.index() + ";}");
            out_Renamed.WriteLine();

            /* methods to indicate EOF and error symbol indexes */
            out_Renamed.WriteLine("  /** <code>EOF</code> Symbol index. */");
            out_Renamed.WriteLine("  public override int EOF_sym() {return " + terminal.EOF.index() + ";}");
            out_Renamed.WriteLine();
            out_Renamed.WriteLine("  /** <code>error</code> Symbol index. */");
            out_Renamed.WriteLine("  public override int error_sym() {return " + terminal.error.index() + ";}");
            out_Renamed.WriteLine();

            /* user supplied code for user_init() */
            if (init_code != null)
            {
                out_Renamed.WriteLine();
                out_Renamed.WriteLine("  /** User initialization code. */");
                out_Renamed.WriteLine("  public override void user_init()");
                out_Renamed.WriteLine("    {");
                out_Renamed.WriteLine(init_code);
                out_Renamed.WriteLine("    }");
            }

            /* user supplied code for scan */
            if (scan_code != null)
            {
                out_Renamed.WriteLine();
                out_Renamed.WriteLine("  /** Scan to get the next Symbol. */");
                out_Renamed.WriteLine("  public override CUP.runtime.Symbol scan()");
                out_Renamed.WriteLine("    {");
                out_Renamed.WriteLine(scan_code);
                out_Renamed.WriteLine("    }");
            }

            /* user supplied code */
            if (parser_code != null)
            {
                out_Renamed.WriteLine();
                out_Renamed.WriteLine(parser_code);
            }

            /* end of class */
            out_Renamed.WriteLine("}");

            /* put out the action code class */
            emit_action_code(out_Renamed, start_prod);

            // End of namespace
            out_Renamed.WriteLine("}");

            parser_time = (System.DateTime.Now.Ticks - 621355968000000000) / 10000 - start_time;
        }