From 76bee93a25010cd2b393098e2a0de0795d299781 Mon Sep 17 00:00:00 2001 From: Morgante Pell Date: Thu, 13 Jun 2024 23:36:23 +0100 Subject: [PATCH 1/4] chore: add a test case for another or hoist --- crates/core/src/test_files.rs | 36 +++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) diff --git a/crates/core/src/test_files.rs b/crates/core/src/test_files.rs index 8d014589a..96ba815de 100644 --- a/crates/core/src/test_files.rs +++ b/crates/core/src/test_files.rs @@ -429,3 +429,39 @@ fn avoid_unsafe_hoists() { assert_eq!(results.len(), 4); assert!(results.iter().any(|r| r.is_match())); } + +#[test] +fn hoist_or() { + let pattern_src = r#" + `console.log($msg)` where { + $filename <: includes or { "foo.js", "target.js", "two.js" } + } + "#; + let libs = BTreeMap::new(); + + let matching_src = r#" + console.log("target.js"); + "#; + + let pattern = src_to_problem_libs( + pattern_src.to_string(), + &libs, + TargetLanguage::default(), + None, + None, + None, + None, + ) + .unwrap() + .problem; + + // All together now + let test_files = vec![ + SyntheticFile::new("wrong.js".to_owned(), matching_src.to_owned(), false), + SyntheticFile::new("target.js".to_owned(), matching_src.to_owned(), true), + SyntheticFile::new("other.js".to_owned(), matching_src.to_owned(), false), + SyntheticFile::new("two.js".to_owned(), matching_src.to_owned(), true), + ]; + let results = run_on_test_files(&pattern, &test_files); + assert!(results.iter().any(|r| r.is_match())); +} From 0c8298763e42e8a7948c78ebc1ea0dfe4b65cd92 Mon Sep 17 00:00:00 2001 From: Morgante Pell Date: Thu, 13 Jun 2024 23:49:29 +0100 Subject: [PATCH 2/4] [skip ci] yolo --- crates/grit-pattern-matcher/src/pattern/maybe.rs | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/crates/grit-pattern-matcher/src/pattern/maybe.rs b/crates/grit-pattern-matcher/src/pattern/maybe.rs index e2929f6a7..8826447d2 100644 --- a/crates/grit-pattern-matcher/src/pattern/maybe.rs +++ b/crates/grit-pattern-matcher/src/pattern/maybe.rs @@ -8,14 +8,28 @@ use crate::context::QueryContext; use anyhow::Result; use grit_util::AnalysisLogs; +/// Maybe is used to indicate patterns where we *might* might match +/// In default operation, it will evaluate all pattern but return true no matter what. +/// +/// In strict mode, it will evaluate the pattern but return true only if pattern *might* match +/// There are 3 possible outcomes when evaluating subpatterns in strict mode: +/// 1. Pattern definitely matches -> maybe matches +/// 2. Pattern definitely does not match -> maybe does not match +/// 3. Pattern hits an error or unresolved variable/binding during evaluation -> maybe matches #[derive(Debug, Clone)] pub struct Maybe { pub pattern: Pattern, + + /// If true, we should exclude cases where the pattern is definite + strict: bool, } impl Maybe { pub fn new(pattern: Pattern) -> Self { - Self { pattern } + Self { + pattern, + strict: false, + } } } From 9929b8616c0349b4e25bf8879f952b3bda80401d Mon Sep 17 00:00:00 2001 From: Morgante Pell Date: Fri, 14 Jun 2024 00:24:51 +0100 Subject: [PATCH 3/4] [skip ci] yolo --- .../src/pattern/accessor.rs | 28 +++++++++++++------ .../src/pattern/patterns.rs | 21 +++++++++++++- 2 files changed, 39 insertions(+), 10 deletions(-) diff --git a/crates/grit-pattern-matcher/src/pattern/accessor.rs b/crates/grit-pattern-matcher/src/pattern/accessor.rs index 2b9d45f25..097f53d20 100644 --- a/crates/grit-pattern-matcher/src/pattern/accessor.rs +++ b/crates/grit-pattern-matcher/src/pattern/accessor.rs @@ -1,7 +1,7 @@ use super::{ container::{Container, PatternOrResolved, PatternOrResolvedMut}, map::GritMap, - patterns::{Matcher, Pattern, PatternName}, + patterns::{Matcher, Pattern, PatternName, PatternResult}, resolved_pattern::ResolvedPattern, state::State, variable::Variable, @@ -128,16 +128,25 @@ impl Matcher for Accessor { state: &mut State<'a, Q>, context: &'a Q::ExecContext<'a>, logs: &mut AnalysisLogs, - ) -> Result { + ) -> Result { match self.get(state, context.language())? { Some(PatternOrResolved::Resolved(r)) => { - execute_resolved_with_binding(r, binding, state, context.language()) + match execute_resolved_with_binding(r, binding, state, context.language()) { + Ok(result) => result, + Err(_) => PatternResult::Unknown, + } } Some(PatternOrResolved::ResolvedBinding(r)) => { - execute_resolved_with_binding(&r, binding, state, context.language()) + match execute_resolved_with_binding(&r, binding, state, context.language()) { + Ok(result) => result, + Err(_) => PatternResult::Unknown, + } } - Some(PatternOrResolved::Pattern(p)) => p.execute(binding, state, context, logs), - None => Ok(binding.matches_false_or_undefined()), + Some(PatternOrResolved::Pattern(p)) => match p.execute(binding, state, context, logs) { + Ok(result) => result, + Err(_) => PatternResult::Unknown, + }, + None => PatternResult::False, } } } @@ -147,10 +156,11 @@ pub fn execute_resolved_with_binding<'a, Q: QueryContext>( binding: &Q::ResolvedPattern<'a>, state: &State<'a, Q>, language: &Q::Language<'a>, -) -> Result { +) -> Result { if let (Some(r), Some(b)) = (r.get_last_binding(), binding.get_last_binding()) { - Ok(r.is_equivalent_to(b, language)) + Ok(r.is_equivalent_to(b, language).into()) } else { - Ok(r.text(&state.files, language)? == binding.text(&state.files, language)?) + let status = r.text(&state.files, language)? == binding.text(&state.files, language)?; + Ok(status.into()) } } diff --git a/crates/grit-pattern-matcher/src/pattern/patterns.rs b/crates/grit-pattern-matcher/src/pattern/patterns.rs index bfeb2dcb3..e26bd62eb 100644 --- a/crates/grit-pattern-matcher/src/pattern/patterns.rs +++ b/crates/grit-pattern-matcher/src/pattern/patterns.rs @@ -56,6 +56,25 @@ use anyhow::{bail, Result}; use core::fmt::Debug; use grit_util::AnalysisLogs; +pub enum PatternResult { + /// The pattern matched + Matched, + /// The pattern did not match + NotMatched, + /// The pattern might match, but some error occurred during evaluation + Unknown, +} + +impl From for PatternResult { + fn from(item: bool) -> Self { + if item { + PatternResult::Matched + } else { + PatternResult::NotMatched + } + } +} + pub trait Matcher: Debug { // it is important that any implementors of Pattern // do not compute-expensive things in execute @@ -66,7 +85,7 @@ pub trait Matcher: Debug { state: &mut State<'a, Q>, context: &'a Q::ExecContext<'a>, logs: &mut AnalysisLogs, - ) -> Result; + ) -> Result; // for the future: // we could speed up computation by filtering on the sort of pattern From 31852b01ce9a57b71f0022c8d7d3c986b84b3cc3 Mon Sep 17 00:00:00 2001 From: Morgante Pell Date: Fri, 14 Jun 2024 00:26:31 +0100 Subject: [PATCH 4/4] [skip ci] yolo --- execute.grit | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 execute.grit diff --git a/execute.grit b/execute.grit new file mode 100644 index 000000000..f4c958e43 --- /dev/null +++ b/execute.grit @@ -0,0 +1,10 @@ +language rust + +`fn execute( + $_ +) -> Result<$res> { + $body +}` where { + $res <: `bool` => `PatternResult`, + $body => ai_transform($body, "Rewrite this body so that it returns PatternResult::True or PatternResult::False, or PatternResult::Unknown if there's an error") +}