romulus 0.3.0

use crate::ast::*;
use regex::Regex;

pub(crate) trait ScopeProvider {
    fn provides(&self) -> Vec<String>;
}

pub(crate) fn regex_provides(regex: &Regex) -> Vec<String> {
    regex
        .capture_names()
        .flatten()
        .map(ToString::to_string)
        .collect()
}

impl ScopeProvider for Selector {
    fn provides(&self) -> Vec<String> {
        use Selector::*;

        match self {
            Match(m) => m.provides(),
            Range(r) => r.provides(),
            Pattern(p) => p.provides(),
            Negate(_) => vec![],
            Conjunction(lh, rh) => {
                let mut vars = lh.provides();
                vars.extend(rh.provides());
                vars.dedup();
                vars
            }

            Disjunction(lh, rh) => {
                let mut common = Vec::new();
                let r_set = rh.provides();
                for l in lh.provides() {
                    if r_set.contains(&l) {
                        common.push(l);
                    }
                }

                common
            }
        }
    }
}

impl ScopeProvider for Match {
    fn provides(&self) -> Vec<String> {
        let mut results = Vec::new();

        if let Match::Regex(regex) = self {
            results.extend(regex_provides(regex))
        }

        results
    }
}

impl ScopeProvider for Range {
    fn provides(&self) -> Vec<String> {
        self.0.provides()
    }
}

impl ScopeProvider for PatternMatch {
    fn provides(&self) -> Vec<String> {
        let mut result = Vec::new();
        for pat in &self.patterns {
            result.extend(pat.provides());
        }
        result
    }
}

impl ScopeProvider for Pattern {
    fn provides(&self) -> Vec<String> {
        use Pattern::*;

        match self {
            String(_, _) => Vec::new(),
            Identifier(s) => vec![s.clone()],
            Regex(regex) => regex_provides(&regex),
        }
    }
}