Debugger tweaks, added tracing

- Fixed debugger argument handling
- Expanded debugger behaviour a bit (like being able to continue a bunch
  of times)
- Added support for tracing the productions of a grammar during parsing,
  in both the debugger and normal modes

README.md

@@ -161,6 +161,8 @@ mod b {
 * Input handling
 * Custom errors
 * Runs on stable Rust
+* Specialized parser debugger
+* Optional tracing output
 
 ## Projects using pest
 

debugger/Cargo.toml

@@ -17,6 +17,7 @@ readme = "_README.md"
 rust-version = "1.61"
 
 [dependencies]
+clap = { version = "4.0.32", features = ["derive"] }
 pest = { path = "../pest", version = "2.7.15" }
 pest_meta = { path = "../meta", version = "2.7.15" }
 pest_vm = { path = "../vm", version = "2.7.15" }

debugger/src/lib.rs

@@ -70,7 +70,7 @@ use std::{
     thread::{self, JoinHandle},
 };
 
-use pest::{error::Error, Position};
+use pest::{error::Error, Position, TracingConfig, TracingType};
 use pest_meta::{
     optimizer::OptimizedRule,
     parse_and_optimize,
@@ -133,6 +133,7 @@ pub struct DebuggerContext {
     grammar: Option<Vec<OptimizedRule>>,
     input: Option<String>,
     breakpoints: Arc<Mutex<HashSet<String>>>,
+    tracing_config: TracingConfig,
 }
 
 const POISONED_LOCK_PANIC: &str = "poisoned lock";
@@ -211,6 +212,26 @@ impl DebuggerContext {
         breakpoints.insert(rule);
     }
 
+    /// Sets tracing on and its type
+    pub fn tracing(&mut self, ttype: TracingType) {
+        self.tracing_config.ttype = ttype;
+    }
+
+    /// Sets tracing indent spacing
+    pub fn tracing_spacing(&mut self, size: usize) {
+        self.tracing_config.spacing = size;
+    }
+
+    /// Sets tracing to skip implicit whitespace / comments
+    pub fn tracing_skip_implicit(&mut self) {
+        self.tracing_config.skip_implicit = true;
+    }
+
+    /// Sets tracing to skip silent rules
+    pub fn tracing_skip_silent(&mut self) {
+        self.tracing_config.skip_silent = true;
+    }
+
     /// Removes a rule from breakpoints.
     pub fn delete_breakpoint(&mut self, rule: &str) {
         let mut breakpoints = self.breakpoints.lock().expect(POISONED_LOCK_PANIC);
@@ -243,6 +264,7 @@ impl DebuggerContext {
         let breakpoints = Arc::clone(&self.breakpoints);
         let is_done = Arc::clone(&self.is_done);
         let is_done_signal = Arc::clone(&self.is_done);
+        let tracing_config = self.tracing_config;
 
         let rsender = sender.clone();
         thread::spawn(move || {
@@ -269,7 +291,7 @@ impl DebuggerContext {
                 }),
             );
 
-            match vm.parse(&rule, &input) {
+            match vm.parse_with_tracing(&rule, &input, tracing_config) {
                 Ok(_) => sender.send(DebuggerEvent::Eof).expect(CHANNEL_CLOSED_PANIC),
                 Err(error) => sender
                     .send(DebuggerEvent::Error(error.to_string()))
@@ -364,6 +386,7 @@ impl Default for DebuggerContext {
             grammar: None,
             input: None,
             breakpoints: Arc::new(Mutex::new(HashSet::new())),
+            tracing_config: Default::default(),
         }
     }
 }