* data/yacc.c: (b4_lex_param): Corrected for the case where
[bison.git] / src / print_graph.c
index 4430f00da8e1ee2bd20f507ea9564073e1e0a789..c92ae3577fdf89cf621484f9f98fc6073f998b2e 100644 (file)
@@ -1,5 +1,6 @@
-/* Output a VCG description on generated parser, for bison,
-   Copyright 1984, 1986, 1989, 2000, 2001 Free Software Foundation, Inc.
+/* Output a VCG description on generated parser, for Bison,
+
+   Copyright (C) 2001, 2002 Free Software Foundation, Inc.
 
    This file is part of Bison, the GNU Compiler Compiler.
 
 
    This file is part of Bison, the GNU Compiler Compiler.
 
    Boston, MA 02111-1307, USA.  */
 
 #include "system.h"
    Boston, MA 02111-1307, USA.  */
 
 #include "system.h"
-#include "xalloc.h"
-#include "files.h"
-#include "gram.h"
+
+#include <obstack.h>
+#include <quotearg.h>
+
 #include "LR0.h"
 #include "LR0.h"
-#include "lalr.h"
-#include "conflicts.h"
+#include "closure.h"
 #include "complain.h"
 #include "complain.h"
+#include "conflicts.h"
+#include "files.h"
 #include "getargs.h"
 #include "getargs.h"
-#include "state.h"
-#include "reader.h"
-#include "obstack.h"
+#include "gram.h"
+#include "lalr.h"
 #include "print_graph.h"
 #include "print_graph.h"
+#include "reader.h"
+#include "state.h"
+#include "symtab.h"
 #include "vcg.h"
 
 #include "vcg.h"
 
-static graph_t graph;
+static graph static_graph;
+static FILE *fgraph = NULL;
+
+
+/*----------------------------.
+| Construct the node labels.  |
+`----------------------------*/
 
 
-/* This part will construct the label of nodes. */
 static void
 static void
-print_core (int state)
+print_core (struct obstack *oout, state *s)
 {
   int i;
 {
   int i;
-  int k;
-  int rule;
-  core *statep;
-  short *sp;
-  short *sp1;
-  
-  statep = state_table[state];
-  k = statep->nitems;
-
-  if (k == 0)
-    return;
-  
-  obstack_sgrow(&graph_obstack, "\t\tlabel:\t\"");
+  item_number *sitems = s->items;
+  int snritems = s->nitems;
+
+  /* Output all the items of a state, not only its kernel.  */
+  if (report_flag & report_itemsets)
+    {
+      closure (sitems, snritems);
+      sitems = itemset;
+      snritems = nritemset;
+    }
 
 
-  for (i = 0; i < k; i++)
+  obstack_fgrow1 (oout, "state %2d\n", s->number);
+  for (i = 0; i < snritems; i++)
     {
     {
-      sp1 = sp = ritem + statep->items[i];
+      item_number *sp;
+      item_number *sp1;
+      rule_number r;
 
 
-      while (*sp > 0)
+      sp1 = sp = ritem + sitems[i];
+
+      while (*sp >= 0)
        sp++;
 
        sp++;
 
-      rule = -(*sp);
+      r = item_number_as_rule_number (*sp);
+
+      if (i)
+       obstack_1grow (oout, '\n');
+      obstack_fgrow1 (oout, " %s -> ",
+                     rules[r].lhs->tag);
 
 
-      obstack_fgrow1(&graph_obstack, _("%d: "), rule);
-      obstack_fgrow1(&graph_obstack, " %s  ->  ", tags[rlhs[rule]]);  
+      for (sp = rules[r].rhs; sp < sp1; sp++)
+       obstack_fgrow1 (oout, "%s ", symbols[*sp]->tag);
 
 
-      for (sp = ritem + rrhs[rule]; sp < sp1; sp++)
-       obstack_fgrow1(&graph_obstack, "%s ", tags[*sp]);
+      obstack_1grow (oout, '.');
 
 
-      obstack_1grow(&graph_obstack, '.');
-  
-      while (*sp > 0)
-       obstack_fgrow1(&graph_obstack, " %s", tags[*sp++]);
-      
-      obstack_sgrow(&graph_obstack, "\\n");
+      for (/* Nothing */; *sp >= 0; ++sp)
+       obstack_fgrow1 (oout, " %s", symbols[*sp]->tag);
+
+      /* Experimental feature: display the lookaheads. */
+      if (report_flag & report_lookaheads)
+       {
+         /* Find the reduction we are handling.  */
+         reductions *reds = s->reductions;
+         int redno = state_reduction_find (s, &rules[r]);
+
+         /* Print them if there are.  */
+         if (reds->lookaheads && redno != -1)
+           {
+             bitset_iterator biter;
+             int k;
+             int not_first = 0;
+             obstack_sgrow (oout, "[");
+             BITSET_FOR_EACH (biter, reds->lookaheads[redno], k, 0)
+               obstack_fgrow2 (oout, "%s%s",
+                               not_first++ ? ", " : "",
+                               symbols[k]->tag);
+             obstack_sgrow (oout, "]");
+           }
+       }
     }
     }
-  obstack_sgrow(&graph_obstack, "\"\n");
 }
 
 }
 
+
+/*---------------------------------------------------------------.
+| Output in graph_obstack edges specifications in incidence with |
+| current node.                                                  |
+`---------------------------------------------------------------*/
+
 static void
 static void
-print_actions (int state, node_t *node)
+print_actions (state *s, const char *node_name)
 {
   int i;
 {
   int i;
-  int k;
-  int state1;
-  int symbol;
-  shifts *shiftp;
-  errs *errp;
-  reductions *redp;
-  int rule;
-  static char buff[10];
-  edge_t edge;
-  
-  shiftp = shift_table[state];
-  redp = reduction_table[state];
-  errp = err_table[state];
 
 
-  if (!shiftp && !redp)
-    {
-      if (final_state == state)
-       ;//fprintf(f, "    $default\taccept\n");
-      else
-       ;//fprintf(f, "    NO ACTIONS\n");
-      return;
-    }
+  transitions *trans = s->transitions;
+  reductions *reds = s->reductions;
 
 
-  if (shiftp)
-    {
-      k = shiftp->nshifts;
+  static char buff[10];
+  edge e;
 
 
-      for (i = 0; i < k; i++)
-       {
-         if (!shiftp->shifts[i])
-           continue;
-         state1 = shiftp->shifts[i];
-         symbol = accessing_symbol[state1];
-
-         if (ISVAR (symbol))
-           break;
-         
-         {
-           new_edge (&edge);
-
-           if (state > state1)
-             edge.type = back_edge;
-           open_edge (&edge, &graph_obstack);
-           edge.sourcename = node->title;
-           edge.targetname = buff;
-           sprintf (edge.targetname, "%d", state1);
-           edge.color = (symbol == 0) ? blue : red; 
-           edge.label = tags[symbol];
-           output_edge (&edge, &graph_obstack);    
-           close_edge (&graph_obstack);
-         }     
-       }
-    }
-  else
-    {
-      i = 0;
-      k = 0;
-    }
+  if (!trans->num && !reds)
+    return;
 
 
-  if (errp)
-    {
-      int j, nerrs;
+  for (i = 0; i < trans->num; i++)
+    if (!TRANSITION_IS_DISABLED (trans, i))
+      {
+       state *s1 = trans->states[i];
+       symbol_number sym = s1->accessing_symbol;
+
+       new_edge (&e);
+
+       if (s->number > s1->number)
+         e.type = back_edge;
+       open_edge (&e, fgraph);
+       /* The edge source is the current node.  */
+       e.sourcename = node_name;
+       sprintf (buff, "%d", s1->number);
+       e.targetname = buff;
+       /* Shifts are blue, gotos are green, and error is red. */
+       if (TRANSITION_IS_ERROR (trans, i))
+         e.color = red;
+       else
+         e.color = TRANSITION_IS_SHIFT (trans, i) ? blue : green;
+       e.label = symbols[sym]->tag;
+       output_edge (&e, fgraph);
+       close_edge (fgraph);
+      }
+}
 
 
-      nerrs = errp->nerrs;
 
 
-      for (j = 0; j < nerrs; j++)
-       {
-         if (!errp->errs[j])
-           continue;
-         symbol = errp->errs[j];
-       }
-    }
-  
-  if (consistent[state] && redp)
-    {
-      rule = redp->rules[0];
-      symbol = rlhs[rule];
-    }
-  
-  if (i < k)
-    {
-      for (; i < k; i++)
-       {
-         if (!shiftp->shifts[i])
-           continue;
-         state1 = shiftp->shifts[i];
-         symbol = accessing_symbol[state1];
-
-         new_edge (&edge);
-         open_edge (&edge, &graph_obstack);
-         edge.sourcename = node->title;
-         edge.targetname = buff;
-         edge.color = red;
-         sprintf (edge.targetname, "%d", state1);
-         edge.label = tags[symbol];
-         output_edge (&edge, &graph_obstack);
-         close_edge (&graph_obstack);
-       }
-    }
-}
+/*-------------------------------------------------------------.
+| Output in FGRAPH the current node specifications and exiting |
+| edges.                                                       |
+`-------------------------------------------------------------*/
 
 static void
 
 static void
-print_state (int state)
+print_state (state *s)
 {
   static char name[10];
 {
   static char name[10];
-  node_t node;  
-
-  new_node (&node);
-  open_node (&graph_obstack);
-  
-  sprintf(name, "%d", state);
-  node.title = name;  
-  output_node (&node, &graph_obstack);
-  
-  print_core (state);   /* node label */
-  
-  close_node (&graph_obstack);
-  
-  print_actions (state, &node);        /* edges */
+  struct obstack node_obstack;
+  node n;
+
+  /* The labels of the nodes are their the items.  */
+  obstack_init (&node_obstack);
+  new_node (&n);
+  sprintf (name, "%d", s->number);
+  n.title = name;
+  print_core (&node_obstack, s);
+  obstack_1grow (&node_obstack, '\0');
+  n.label = obstack_finish (&node_obstack);
+
+  open_node (fgraph);
+  output_node (&n, fgraph);
+  close_node (fgraph);
+
+  /* Output the edges.  */
+  print_actions (s, name);
+
+  obstack_free (&node_obstack, 0);
 }
 \f
 
 void
 print_graph (void)
 {
 }
 \f
 
 void
 print_graph (void)
 {
-  int i;
-  
-  if (!graph_flag)
-    return ;
-  new_graph (&graph);
-  
-  /* graph.smanhattan_edges = yes;
-     graph.manhattan_edges = yes; */
-  
-  graph.display_edge_labels = yes;
-  graph.layoutalgorithm = 0;
-  
-  graph.port_sharing = no;
-  graph.finetuning = yes;
-  graph.straight_phase = yes;
-  graph.priority_phase = yes;
-  graph.splines = yes;
-  
-  graph.crossing_weight = median;
+  state_number i;
+
+  /* Output file.  */
+  fgraph = xfopen (spec_graph_file, "w");
+
+  new_graph (&static_graph);
+
+#if 0
+  static_graph.smanhattan_edges = yes;
+  static_graph.manhattan_edges = yes;
+#endif
+
+  static_graph.display_edge_labels = yes;
+  static_graph.layoutalgorithm = normal;
+
+  static_graph.port_sharing = no;
+  static_graph.finetuning = yes;
+  static_graph.long_straight_phase = yes;
+  static_graph.priority_phase = yes;
+  static_graph.splines = yes;
+
+  static_graph.crossing_weight = median;
 
   /* Output graph options. */
 
   /* Output graph options. */
-  open_graph (&graph_obstack);
-  output_graph (&graph, &graph_obstack);
+  open_graph (fgraph);
+  output_graph (&static_graph, fgraph);
 
 
+  /* Output nodes and edges. */
+  new_closure (nritems);
   for (i = 0; i < nstates; i++)
   for (i = 0; i < nstates; i++)
-      /* Output nodes & edges. */
-      print_state (i);
+    print_state (states[i]);
+  free_closure ();
 
   /* Close graph. */
 
   /* Close graph. */
-  close_graph (&graph, &graph_obstack);
+  close_graph (&static_graph, fgraph);
+  xfclose (fgraph);
 }
 }
-