working/bison_parser/json.dot

// Generated by GNU Bison 3.0.4.
// Report bugs to <bug-bison@gnu.org>.
// Home page: <http://www.gnu.org/software/bison/>.

digraph "json.yy"
{
  node [fontname = courier, shape = box, colorscheme = paired6]
  edge [fontname = courier]

  0 [label="State 0\n\l  0 $accept: . value $end\l  1 value: . object\l  2      | . array\l  3      | . value_string\l  4      | . value_number\l  5      | . literal_true\l  6      | . literal_false\l  7      | . literal_null\l  8 object: . begin_object end_object\l  9       | . begin_object object_value_list end_object\l 12 array: . begin_array end_array\l 13      | . begin_array array_value_list end_array\l"]
  0 -> 1 [style=solid label="value_number"]
  0 -> 2 [style=solid label="value_string"]
  0 -> 3 [style=solid label="begin_object"]
  0 -> 4 [style=solid label="begin_array"]
  0 -> 5 [style=solid label="literal_true"]
  0 -> 6 [style=solid label="literal_false"]
  0 -> 7 [style=solid label="literal_null"]
  0 -> 8 [style=dashed label="value"]
  0 -> 9 [style=dashed label="object"]
  0 -> 10 [style=dashed label="array"]
  1 [label="State 1\n\l  4 value: value_number .\l"]
  1 -> "1R4" [style=solid]
 "1R4" [label="R4", fillcolor=3, shape=diamond, style=filled]
  2 [label="State 2\n\l  3 value: value_string .\l"]
  2 -> "2R3" [style=solid]
 "2R3" [label="R3", fillcolor=3, shape=diamond, style=filled]
  3 [label="State 3\n\l  8 object: begin_object . end_object\l  9       | begin_object . object_value_list end_object\l 10 object_value_list: . value_string name_separator value\l 11                  | . value_string name_separator value value_separator object_value_list\l"]
  3 -> 11 [style=solid label="value_string"]
  3 -> 12 [style=solid label="end_object"]
  3 -> 13 [style=dashed label="object_value_list"]
  4 [label="State 4\n\l  1 value: . object\l  2      | . array\l  3      | . value_string\l  4      | . value_number\l  5      | . literal_true\l  6      | . literal_false\l  7      | . literal_null\l  8 object: . begin_object end_object\l  9       | . begin_object object_value_list end_object\l 12 array: . begin_array end_array\l 12      | begin_array . end_array\l 13      | . begin_array array_value_list end_array\l 13      | begin_array . array_value_list end_array\l 14 array_value_list: . value\l 15                 | . value value_separator array_value_list\l"]
  4 -> 1 [style=solid label="value_number"]
  4 -> 2 [style=solid label="value_string"]
  4 -> 3 [style=solid label="begin_object"]
  4 -> 4 [style=solid label="begin_array"]
  4 -> 14 [style=solid label="end_array"]
  4 -> 5 [style=solid label="literal_true"]
  4 -> 6 [style=solid label="literal_false"]
  4 -> 7 [style=solid label="literal_null"]
  4 -> 15 [style=dashed label="value"]
  4 -> 9 [style=dashed label="object"]
  4 -> 10 [style=dashed label="array"]
  4 -> 16 [style=dashed label="array_value_list"]
  5 [label="State 5\n\l  5 value: literal_true .\l"]
  5 -> "5R5" [style=solid]
 "5R5" [label="R5", fillcolor=3, shape=diamond, style=filled]
  6 [label="State 6\n\l  6 value: literal_false .\l"]
  6 -> "6R6" [style=solid]
 "6R6" [label="R6", fillcolor=3, shape=diamond, style=filled]
  7 [label="State 7\n\l  7 value: literal_null .\l"]
  7 -> "7R7" [style=solid]
 "7R7" [label="R7", fillcolor=3, shape=diamond, style=filled]
  8 [label="State 8\n\l  0 $accept: value . $end\l"]
  8 -> 17 [style=solid label="$end"]
  9 [label="State 9\n\l  1 value: object .\l"]
  9 -> "9R1" [style=solid]
 "9R1" [label="R1", fillcolor=3, shape=diamond, style=filled]
  10 [label="State 10\n\l  2 value: array .\l"]
  10 -> "10R2" [style=solid]
 "10R2" [label="R2", fillcolor=3, shape=diamond, style=filled]
  11 [label="State 11\n\l 10 object_value_list: value_string . name_separator value\l 11                  | value_string . name_separator value value_separator object_value_list\l"]
  11 -> 18 [style=solid label="name_separator"]
  12 [label="State 12\n\l  8 object: begin_object end_object .\l"]
  12 -> "12R8" [style=solid]
 "12R8" [label="R8", fillcolor=3, shape=diamond, style=filled]
  13 [label="State 13\n\l  9 object: begin_object object_value_list . end_object\l"]
  13 -> 19 [style=solid label="end_object"]
  14 [label="State 14\n\l 12 array: begin_array end_array .\l"]
  14 -> "14R12" [style=solid]
 "14R12" [label="R12", fillcolor=3, shape=diamond, style=filled]
  15 [label="State 15\n\l 14 array_value_list: value .  [end_array]\l 15                 | value . value_separator array_value_list\l"]
  15 -> 20 [style=solid label="value_separator"]
  15 -> "15R14" [style=solid]
 "15R14" [label="R14", fillcolor=3, shape=diamond, style=filled]
  16 [label="State 16\n\l 13 array: begin_array array_value_list . end_array\l"]
  16 -> 21 [style=solid label="end_array"]
  17 [label="State 17\n\l  0 $accept: value $end .\l"]
  17 -> "17R0" [style=solid]
 "17R0" [label="Acc", fillcolor=1, shape=diamond, style=filled]
  18 [label="State 18\n\l  1 value: . object\l  2      | . array\l  3      | . value_string\l  4      | . value_number\l  5      | . literal_true\l  6      | . literal_false\l  7      | . literal_null\l  8 object: . begin_object end_object\l  9       | . begin_object object_value_list end_object\l 10 object_value_list: value_string name_separator . value\l 11                  | value_string name_separator . value value_separator object_value_list\l 12 array: . begin_array end_array\l 13      | . begin_array array_value_list end_array\l"]
  18 -> 1 [style=solid label="value_number"]
  18 -> 2 [style=solid label="value_string"]
  18 -> 3 [style=solid label="begin_object"]
  18 -> 4 [style=solid label="begin_array"]
  18 -> 5 [style=solid label="literal_true"]
  18 -> 6 [style=solid label="literal_false"]
  18 -> 7 [style=solid label="literal_null"]
  18 -> 22 [style=dashed label="value"]
  18 -> 9 [style=dashed label="object"]
  18 -> 10 [style=dashed label="array"]
  19 [label="State 19\n\l  9 object: begin_object object_value_list end_object .\l"]
  19 -> "19R9" [style=solid]
 "19R9" [label="R9", fillcolor=3, shape=diamond, style=filled]
  20 [label="State 20\n\l  1 value: . object\l  2      | . array\l  3      | . value_string\l  4      | . value_number\l  5      | . literal_true\l  6      | . literal_false\l  7      | . literal_null\l  8 object: . begin_object end_object\l  9       | . begin_object object_value_list end_object\l 12 array: . begin_array end_array\l 13      | . begin_array array_value_list end_array\l 14 array_value_list: . value\l 15                 | . value value_separator array_value_list\l 15                 | value value_separator . array_value_list\l"]
  20 -> 1 [style=solid label="value_number"]
  20 -> 2 [style=solid label="value_string"]
  20 -> 3 [style=solid label="begin_object"]
  20 -> 4 [style=solid label="begin_array"]
  20 -> 5 [style=solid label="literal_true"]
  20 -> 6 [style=solid label="literal_false"]
  20 -> 7 [style=solid label="literal_null"]
  20 -> 15 [style=dashed label="value"]
  20 -> 9 [style=dashed label="object"]
  20 -> 10 [style=dashed label="array"]
  20 -> 23 [style=dashed label="array_value_list"]
  21 [label="State 21\n\l 13 array: begin_array array_value_list end_array .\l"]
  21 -> "21R13" [style=solid]
 "21R13" [label="R13", fillcolor=3, shape=diamond, style=filled]
  22 [label="State 22\n\l 10 object_value_list: value_string name_separator value .  [end_object]\l 11                  | value_string name_separator value . value_separator object_value_list\l"]
  22 -> 24 [style=solid label="value_separator"]
  22 -> "22R10" [style=solid]
 "22R10" [label="R10", fillcolor=3, shape=diamond, style=filled]
  23 [label="State 23\n\l 15 array_value_list: value value_separator array_value_list .\l"]
  23 -> "23R15" [style=solid]
 "23R15" [label="R15", fillcolor=3, shape=diamond, style=filled]
  24 [label="State 24\n\l 10 object_value_list: . value_string name_separator value\l 11                  | . value_string name_separator value value_separator object_value_list\l 11                  | value_string name_separator value value_separator . object_value_list\l"]
  24 -> 11 [style=solid label="value_string"]
  24 -> 25 [style=dashed label="object_value_list"]
  25 [label="State 25\n\l 11 object_value_list: value_string name_separator value value_separator object_value_list .\l"]
  25 -> "25R11" [style=solid]
 "25R11" [label="R11", fillcolor=3, shape=diamond, style=filled]
}