Adds match node debug attr

Co-authored-by: Hendrik van Antwerpen <[e-mail]>

src/execution.rs

···
     pub(crate) lazy: bool,
     pub(crate) location_attr: Option<Identifier>,
     pub(crate) variable_name_attr: Option<Identifier>,
+    pub(crate) match_node_attr: Option<Identifier>,
 }
 
 impl<'a, 'g> ExecutionConfig<'a, 'g> {
···
             lazy: false,
             location_attr: None,
             variable_name_attr: None,
+            match_node_attr: None,
         }
     }
 
···
         self,
         location_attr: Identifier,
         variable_name_attr: Identifier,
+        match_node_attr: Identifier,
     ) -> Self {
         Self {
             functions: self.functions,
···
             lazy: self.lazy,
             location_attr: location_attr.into(),
             variable_name_attr: variable_name_attr.into(),
+            match_node_attr: match_node_attr.into(),
         }
     }
 
···
             lazy,
             location_attr: self.location_attr,
             variable_name_attr: self.variable_name_attr,
+            match_node_attr: self.match_node_attr,
         }
     }
 }

src/execution/lazy.rs

···
             lazy: config.lazy,
             location_attr: config.location_attr.clone(),
             variable_name_attr: config.variable_name_attr.clone(),
+            match_node_attr: config.match_node_attr.clone(),
         };
 
         let mut locals = VariableMap::new();
···
     locals: &'a mut dyn MutVariables<LazyValue>,
     current_regex_captures: &'a Vec<String>,
     mat: &'a QueryMatch<'a, 'tree>,
+    full_match_file_capture_index: usize,
     store: &'a mut LazyStore,
     scoped_store: &'a mut LazyScopedVariables,
     lazy_graph: &'a mut LazyGraph,
···
                 locals,
                 current_regex_captures: &current_regex_captures,
                 mat,
+                full_match_file_capture_index: self.full_match_file_capture_index,
                 store,
                 scoped_store,
                 lazy_graph,
···
         let graph_node = exec.graph.add_graph_node();
         self.node
             .add_debug_attrs(&mut exec.graph[graph_node].attributes, exec.config)?;
+        if let Some(match_node_attr) = &exec.config.match_node_attr {
+            let match_node = exec
+                .mat
+                .nodes_for_capture_index(exec.full_match_file_capture_index as u32)
+                .next()
+                .expect("missing capture for full match");
+            let syn_node = exec.graph.add_syntax_node(match_node);
+            exec.graph[graph_node]
+                .attributes
+                .add(match_node_attr.clone(), syn_node)
+                .map_err(|_| {
+                    ExecutionError::DuplicateAttribute(format!(
+                        " {} on graph node ({}) in {}",
+                        match_node_attr, graph_node, self,
+                    ))
+                })?;
+        }
         self.node.add_lazy(exec, graph_node.into(), false)
     }
 }
···
                 locals: &mut arm_locals,
                 current_regex_captures: &current_regex_captures,
                 mat: exec.mat,
+                full_match_file_capture_index: exec.full_match_file_capture_index,
                 store: exec.store,
                 scoped_store: exec.scoped_store,
                 lazy_graph: exec.lazy_graph,
···
                     locals: &mut arm_locals,
                     current_regex_captures: exec.current_regex_captures,
                     mat: exec.mat,
+                    full_match_file_capture_index: exec.full_match_file_capture_index,
                     store: exec.store,
                     scoped_store: exec.scoped_store,
                     lazy_graph: exec.lazy_graph,
···
                 locals: &mut loop_locals,
                 current_regex_captures: exec.current_regex_captures,
                 mat: exec.mat,
+                full_match_file_capture_index: exec.full_match_file_capture_index,
                 store: exec.store,
                 scoped_store: exec.scoped_store,
                 lazy_graph: exec.lazy_graph,
···
                 locals: &mut loop_locals,
                 current_regex_captures: exec.current_regex_captures,
                 mat: exec.mat,
+                full_match_file_capture_index: exec.full_match_file_capture_index,
                 store: exec.store,
                 scoped_store: exec.scoped_store,
                 lazy_graph: exec.lazy_graph,
···
                 locals: &mut loop_locals,
                 current_regex_captures: exec.current_regex_captures,
                 mat: exec.mat,
+                full_match_file_capture_index: exec.full_match_file_capture_index,
                 store: exec.store,
                 scoped_store: exec.scoped_store,
                 lazy_graph: exec.lazy_graph,
···
             locals: &mut shorthand_locals,
             current_regex_captures: exec.current_regex_captures,
             mat: exec.mat,
+            full_match_file_capture_index: exec.full_match_file_capture_index,
             store: exec.store,
             scoped_store: exec.scoped_store,
             lazy_graph: exec.lazy_graph,

src/execution/strict.rs

···
             lazy: config.lazy,
             location_attr: config.location_attr.clone(),
             variable_name_attr: config.variable_name_attr.clone(),
+            match_node_attr: config.match_node_attr.clone(),
         };
 
         let mut locals = VariableMap::new();
···
     current_regex_captures: &'a Vec<String>,
     function_parameters: &'a mut Vec<Value>,
     mat: &'a QueryMatch<'a, 'tree>,
+    full_match_stanza_capture_index: usize,
     error_context: StatementContext,
     inherited_variables: &'a HashSet<Identifier>,
     shorthands: &'a AttributeShorthands,
···
                 current_regex_captures,
                 function_parameters,
                 mat: &mat,
+                full_match_stanza_capture_index: self.full_match_stanza_capture_index,
                 error_context,
                 inherited_variables,
                 shorthands,
···
         let graph_node = exec.graph.add_graph_node();
         self.node
             .add_debug_attrs(&mut exec.graph[graph_node].attributes, exec.config)?;
+        if let Some(match_node_attr) = &exec.config.match_node_attr {
+            let match_node = exec
+                .mat
+                .nodes_for_capture_index(exec.full_match_stanza_capture_index as u32)
+                .next()
+                .expect("missing capture for full match");
+            let syn_node = exec.graph.add_syntax_node(match_node);
+            exec.graph[graph_node]
+                .attributes
+                .add(match_node_attr.clone(), syn_node)
+                .map_err(|_| {
+                    ExecutionError::DuplicateAttribute(format!(
+                        " {} on graph node ({}) in {}",
+                        match_node_attr, graph_node, self,
+                    ))
+                })?;
+        }
         let value = Value::GraphNode(graph_node);
         self.node.add(exec, value, false)
     }
···
                 current_regex_captures: &current_regex_captures,
                 function_parameters: exec.function_parameters,
                 mat: exec.mat,
+                full_match_stanza_capture_index: exec.full_match_stanza_capture_index,
                 error_context: exec.error_context.clone(),
                 inherited_variables: exec.inherited_variables,
                 shorthands: exec.shorthands,
···
                     current_regex_captures: exec.current_regex_captures,
                     function_parameters: exec.function_parameters,
                     mat: exec.mat,
+                    full_match_stanza_capture_index: exec.full_match_stanza_capture_index,
                     error_context: exec.error_context.clone(),
                     inherited_variables: exec.inherited_variables,
                     shorthands: exec.shorthands,
···
                 current_regex_captures: exec.current_regex_captures,
                 function_parameters: exec.function_parameters,
                 mat: exec.mat,
+                full_match_stanza_capture_index: exec.full_match_stanza_capture_index,
                 error_context: exec.error_context.clone(),
                 inherited_variables: exec.inherited_variables,
                 shorthands: exec.shorthands,
···
                 current_regex_captures: exec.current_regex_captures,
                 function_parameters: exec.function_parameters,
                 mat: exec.mat,
+                full_match_stanza_capture_index: exec.full_match_stanza_capture_index,
                 error_context: exec.error_context.clone(),
                 inherited_variables: exec.inherited_variables,
                 shorthands: exec.shorthands,
···
                 current_regex_captures: exec.current_regex_captures,
                 function_parameters: exec.function_parameters,
                 mat: exec.mat,
+                full_match_stanza_capture_index: exec.full_match_stanza_capture_index,
                 error_context: exec.error_context.clone(),
                 inherited_variables: exec.inherited_variables,
                 shorthands: exec.shorthands,
···
             current_regex_captures: exec.current_regex_captures,
             function_parameters: exec.function_parameters,
             mat: exec.mat,
+            full_match_stanza_capture_index: exec.full_match_stanza_capture_index,
             error_context: exec.error_context.clone(),
             inherited_variables: exec.inherited_variables,
             shorthands: exec.shorthands,