harn-rules 0.8.61

Declarative structural rule engine for Harn — rule model, pattern compiler, and matcher built on the harn-hostlib tree-sitter machinery.
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

//! Error type for the rule engine.

use thiserror::Error;

/// Anything that can go wrong loading, compiling, or running a rule.
#[derive(Debug, Error)]
pub enum RulesError {
    /// A rule file could not be read.
    #[error("read rule `{path}`: {source}")]
    Read {
        /// The path that failed to read.
        path: String,
        /// The underlying I/O error.
        source: std::io::Error,
    },

    /// A rule file could not be parsed as TOML.
    #[error("parse rule `{path}`: {source}")]
    Parse {
        /// The path that failed to parse.
        path: String,
        /// The underlying TOML error.
        source: Box<toml::de::Error>,
    },

    /// A rule referenced a language the engine does not know.
    #[error("rule `{rule}`: unknown language `{language}`")]
    UnknownLanguage {
        /// The offending rule id.
        rule: String,
        /// The language string that did not resolve.
        language: String,
    },

    /// A rule's language is known but its grammar was not compiled into
    /// this build.
    #[error("rule `{rule}`: grammar for `{language}` is not compiled into this build")]
    GrammarUnavailable {
        /// The offending rule id.
        rule: String,
        /// The language whose grammar is missing.
        language: String,
    },

    /// A `pattern` snippet failed to compile into a tree-sitter query.
    #[error("rule `{rule}`: {message}")]
    PatternCompile {
        /// The offending rule id.
        rule: String,
        /// What went wrong compiling the snippet.
        message: String,
    },

    /// The compiled query was rejected by tree-sitter. This is an engine
    /// bug if it happens for a snippet that parsed cleanly, so it carries
    /// the generated query for debugging.
    #[error("rule `{rule}`: generated query rejected by tree-sitter: {message}\nquery:\n{query}")]
    QueryRejected {
        /// The offending rule id.
        rule: String,
        /// The tree-sitter query error.
        message: String,
        /// The generated S-expression query.
        query: String,
    },

    /// Source text could not be parsed in the rule's grammar.
    #[error("rule `{rule}`: parse source: {message}")]
    SourceParse {
        /// The offending rule id.
        rule: String,
        /// The parse failure detail.
        message: String,
    },
}