nimbleparse: add -d flag to dump state graph

Author: ratmice

lrtable/src/lib/stategraph.rs

@@ -173,7 +173,9 @@ where
                 }
                 o.push_str("}]");
             }
-            for (esym, e_stidx) in self.edges(stidx).iter() {
+            let mut edges = self.edges(stidx).iter().collect::<Vec<_>>();
+            edges.sort_by(|(_, x), (_, y)| x.cmp(y));
+            for (esym, e_stidx) in edges {
                 write!(
                     o,
                     "\n{}{} -> {}",

nimbleparse/src/main.rs

@@ -32,7 +32,7 @@ fn usage(prog: &str, msg: &str) -> ! {
     if !msg.is_empty() {
         eprintln!("{}", msg);
     }
-    eprintln!("Usage: {} [-r <cpctplus|none>] [-y <eco|grmtools|original>] [-q] <lexer.l> <parser.y> <input file>", leaf);
+    eprintln!("Usage: {} [-r <cpctplus|none>] [-y <eco|grmtools|original>] [-q] [-d] <lexer.l> <parser.y> <input file>", leaf);
     process::exit(1);
 }
 
@@ -87,6 +87,7 @@ fn main() {
     let matches = match Options::new()
         .optflag("h", "help", "")
         .optflag("q", "quiet", "Don't print warnings such as conflicts")
+        .optflag("d", "dump-state-graph", "Print the parser state and exit")
         .optopt(
             "r",
             "recoverer",
@@ -109,6 +110,7 @@ fn main() {
         usage(prog, "");
     }
 
+    let dump_state_graph = matches.opt_present("d");
     let quiet = matches.opt_present("q");
 
     let recoverykind = match matches.opt_str("r") {
@@ -187,6 +189,11 @@ fn main() {
         }
     };
 
+    if dump_state_graph {
+        println!("Stategraph:\n{}\n", sgraph.pp_core_states(&grm));
+        process::exit(0);
+    }
+
     if !quiet {
         if let Some(c) = stable.conflicts() {
             let formatter = if let Some(yacc_diagnostic_formatter) = &yacc_diagnostic_formatter {