doc/figs/example.dot

   1 // Generated by GNU Bison 2.6.90.
   2 // Report bugs to <bug-bison@gnu.org>.
   3 // Home page: <http://www.gnu.org/software/bison/>.
   4
   5 digraph "/tmp/fo.y"
   6 {
   7   node [fontname = courier, shape = box, colorscheme = paired6]
   8   edge [fontname = courier]
   9
  10   0 [label="State 0\n\l  0 $accept: . exp $end\l  1 exp: . a \";\"\l  2    | . b \".\"\l  3 a: . \"0\"\l  4 b: . \"0\"\l"]
  11   0 -> 1 [style=solid label="\"0\""]
  12   0 -> 2 [style=dashed label="exp"]
  13   0 -> 3 [style=dashed label="a"]
  14   0 -> 4 [style=dashed label="b"]
  15   1 [label="State 1\n\l  3 a: \"0\" .  [\";\"]\l  4 b: \"0\" .  [\".\"]\l"]
  16   1 -> "1R3" [style=solid]
  17  "1R3" [label="R3", fillcolor=3, shape=diamond, style=filled]
  18   1 -> "1R4" [label="[\".\"]", style=solid]
  19  "1R4" [label="R4", fillcolor=3, shape=diamond, style=filled]
  20   2 [label="State 2\n\l  0 $accept: exp . $end\l"]
  21   2 -> 5 [style=solid label="$end"]
  22   3 [label="State 3\n\l  1 exp: a . \";\"\l"]
  23   3 -> 6 [style=solid label="\";\""]
  24   4 [label="State 4\n\l  2 exp: b . \".\"\l"]
  25   4 -> 7 [style=solid label="\".\""]
  26   5 [label="State 5\n\l  0 $accept: exp $end .\l"]
  27   5 -> "5R0" [style=solid]
  28  "5R0" [label="Acc", fillcolor=1, shape=diamond, style=filled]
  29   6 [label="State 6\n\l  1 exp: a \";\" .\l"]
  30   6 -> "6R1" [style=solid]
  31  "6R1" [label="R1", fillcolor=3, shape=diamond, style=filled]
  32   7 [label="State 7\n\l  2 exp: b \".\" .\l"]
  33   7 -> "7R2" [style=solid]
  34  "7R2" [label="R2", fillcolor=3, shape=diamond, style=filled]
  35 }