Add until modifier to within pattern

This update introduces an `until` modifier to the `within` pattern, similar to the `contains ... until` functionality. The `until` modifier allows for more flexible pattern matching by specifying an endpoint condition.

Changes include:
- Updated `WithinCompiler` to handle the `until` modifier.
- Modified `Within` struct to include an optional `until` pattern.
- Adjusted the `Matcher` implementation for `Within` to break the matching process when the `until` condition is met.

crates/core/src/pattern_compiler/within_compiler.rs

@@ -21,6 +21,10 @@ impl NodeCompiler for WithinCompiler {
             .child_by_field_name("pattern")
             .ok_or_else(|| anyhow!("missing pattern of pattern within"))?;
         let within = PatternCompiler::from_node(&within, context)?;
-        Ok(Within::new(within))
+        let until = node
+            .child_by_field_name("until")
+            .map(|n| PatternCompiler::from_node(&n, context))
+            .transpose()?;
+        Ok(Within::new(within, until))
     }
-}
+}

crates/grit-pattern-matcher/src/pattern/within.rs

@@ -11,11 +11,12 @@ use grit_util::{AnalysisLogs, AstNode};
 #[derive(Debug, Clone)]
 pub struct Within<Q: QueryContext> {
     pub pattern: Pattern<Q>,
+    pub until: Option<Pattern<Q>>,
 }
 
 impl<Q: QueryContext> Within<Q> {
-    pub fn new(pattern: Pattern<Q>) -> Self {
-        Self { pattern }
+    pub fn new(pattern: Pattern<Q>, until: Option<Pattern<Q>>) -> Self {
+        Self { pattern, until }
     }
 }
 
@@ -61,6 +62,17 @@ impl<Q: QueryContext> Matcher<Q> for Within<Q> {
             } else {
                 cur_state = state;
             }
+
+            if let Some(until) = &self.until {
+                if until.execute(
+                    &ResolvedPattern::from_node_binding(n),
+                    &mut cur_state,
+                    context,
+                    logs,
+                )? {
+                    break;
+                }
+            }
         }
         if did_match {
             *init_state = cur_state;
@@ -69,4 +81,4 @@ impl<Q: QueryContext> Matcher<Q> for Within<Q> {
             Ok(false)
         }
     }
-}
+}