grit-pattern-matcher 0.5.1

Pattern definitions and core matching logic for GritQL
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

use crate::{
    context::{QueryContext, StaticDefinitions},
    pattern::{Pattern, PatternOrPredicate, Predicate},
};

/// Determine if a provided pattern has a rewrite anywhere inside of it
///
/// Note this does not yet walk inside predicates and function calls
pub fn has_rewrite<Q: QueryContext>(
    current_pattern: &Pattern<Q>,
    definitions: &StaticDefinitions<Q>,
) -> bool {
    for pattern in current_pattern.iter(definitions) {
        if matches!(pattern, PatternOrPredicate::Pattern(Pattern::Rewrite(_))) {
            return true;
        }
        if matches!(
            pattern,
            PatternOrPredicate::Predicate(Predicate::Rewrite(_))
        ) {
            return true;
        }
        if matches!(
            pattern,
            PatternOrPredicate::Predicate(Predicate::Accumulate(_))
        ) {
            return true;
        }
    }
    false
}