harper-core 2.0.0

The language checker for developers.
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127

use super::{ExprLinter, Lint, LintKind};
use crate::CharStringExt;
use crate::expr::Expr;
use crate::expr::FixedPhrase;
use crate::expr::LongestMatchOf;
use crate::linting::Suggestion;
use crate::linting::expr_linter::Chunk;
use crate::{Token, TokenStringExt};

pub struct MapPhraseSetLinter<'a> {
    description: String,
    expr: LongestMatchOf,
    wrong_forms_to_correct_forms: &'a [(&'a str, &'a str)],
    multi_wrong_forms_to_multi_correct_forms: &'a [(&'a [&'a str], &'a [&'a str])],
    message: String,
    lint_kind: LintKind,
}

impl<'a> MapPhraseSetLinter<'a> {
    pub fn one_to_one(
        wrong_forms_to_correct_forms: &'a [(&'a str, &'a str)],
        message: impl ToString,
        description: impl ToString,
        lint_kind: Option<LintKind>,
    ) -> Self {
        let expr = LongestMatchOf::new(
            wrong_forms_to_correct_forms
                .iter()
                .map(|(wrong_form, _correct_form)| {
                    let expr: Box<dyn Expr> = Box::new(FixedPhrase::from_phrase(wrong_form));
                    expr
                })
                .collect(),
        );

        Self {
            description: description.to_string(),
            expr,
            wrong_forms_to_correct_forms,
            multi_wrong_forms_to_multi_correct_forms: &[],
            message: message.to_string(),
            lint_kind: lint_kind.unwrap_or(LintKind::Miscellaneous),
        }
    }

    pub fn many_to_many(
        multi_wrong_forms_to_multi_correct_forms: &'a [(&'a [&'a str], &'a [&'a str])],
        message: impl ToString,
        description: impl ToString,
        lint_kind: Option<LintKind>,
    ) -> Self {
        let mut lmo = LongestMatchOf::new(Vec::new());
        for (wrong_forms, _correct_forms) in multi_wrong_forms_to_multi_correct_forms {
            for wrong_form in wrong_forms.iter() {
                lmo.add(FixedPhrase::from_phrase(wrong_form));
            }
        }
        let expr = lmo;

        Self {
            description: description.to_string(),
            expr,
            wrong_forms_to_correct_forms: &[],
            multi_wrong_forms_to_multi_correct_forms,
            message: message.to_string(),
            lint_kind: lint_kind.unwrap_or(LintKind::Miscellaneous),
        }
    }
}

impl<'a> ExprLinter for MapPhraseSetLinter<'a> {
    type Unit = Chunk;

    fn expr(&self) -> &dyn Expr {
        &self.expr
    }

    fn match_to_lint(&self, matched_tokens: &[Token], source: &[char]) -> Option<Lint> {
        let span = matched_tokens.span()?;
        let matched_text = span.get_content(source);

        let mut suggestions: Vec<_> = self
            .wrong_forms_to_correct_forms
            .iter()
            .filter(|(wrong_form, _)| matched_text.eq_str(wrong_form))
            .map(|(_, correct_form)| {
                Suggestion::replace_with_match_case(correct_form.chars().collect(), matched_text)
            })
            .collect();

        let many_to_many_suggestions: Vec<_> = self
            .multi_wrong_forms_to_multi_correct_forms
            .iter()
            .flat_map(|(wrong_forms, correct_forms)| {
                wrong_forms
                    .iter()
                    .filter(move |&&wrong_form| matched_text.eq_str(wrong_form))
                    .flat_map(move |_| {
                        correct_forms.iter().map(move |correct_form| {
                            Suggestion::replace_with_match_case(
                                correct_form.chars().collect(),
                                matched_text,
                            )
                        })
                    })
            })
            .collect();

        suggestions.extend(many_to_many_suggestions);

        if suggestions.is_empty() {
            return None;
        }

        Some(Lint {
            span,
            lint_kind: self.lint_kind,
            suggestions,
            message: self.message.to_string(),
            priority: 31,
        })
    }

    fn description(&self) -> &str {
        self.description.as_str()
    }
}