pomsky 0.12.0

A new regular expression language
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
128
129
130

use std::{fmt::Display, str::FromStr};

use pomsky_syntax::diagnose::{ParseErrorKind, ParseWarningKind};

use super::CompileErrorKind;

/// The kind or origin of the error/warning
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
#[non_exhaustive]
pub enum DiagnosticKind {
    /// Invalid syntax error
    Syntax,
    /// Error during name resolution
    Resolve,
    /// Diagnostic related to regex flavor compatibility
    Compat,
    /// Diagnostic indicating something is not implemented/allowed in Pomsky
    Unsupported,
    /// Deprecated syntax or feature was used
    Deprecated,
    /// A limitation that was deliberately enforced
    Limits,
    /// The generated regex is invalid (detected after variable expansion)
    Invalid,
    /// Unit test failure
    Test,
    /// Other unspecified error
    Other,
}

impl From<&CompileErrorKind> for DiagnosticKind {
    fn from(kind: &CompileErrorKind) -> Self {
        use CompileErrorKind as K;
        match kind {
            K::ParseError(p) => DiagnosticKind::from(p),
            K::Unsupported(..) => DiagnosticKind::Compat,
            K::UnsupportedPomskySyntax(_) | K::HugeReference => DiagnosticKind::Syntax,
            K::UnknownReferenceNumber(_)
            | K::UnknownReferenceName { .. }
            | K::NameUsedMultipleTimes(_)
            | K::UnknownVariable { .. }
            | K::RelativeRefZero => DiagnosticKind::Resolve,
            K::EmptyClassNegated { .. }
            | K::InfiniteRecursion
            | K::IllegalNegation { .. }
            | K::EmptyIntersection => DiagnosticKind::Invalid,
            K::CaptureInLet
            | K::ReferenceInLet
            | K::RecursiveVariable
            | K::NegativeShorthandInAsciiMode
            | K::UnicodeInAsciiMode
            | K::NestedTest
            | K::NegatedHorizVertSpace
            | K::DotNetNumberedRefWithMixedGroups
            | K::RubyLookaheadInLookbehind { .. }
            | K::UnsupportedInLookbehind { .. }
            | K::LookbehindNotConstantLength { .. }
            | K::BadIntersection => DiagnosticKind::Unsupported,
            K::RangeIsTooBig(_) => DiagnosticKind::Limits,
        }
    }
}

impl From<&ParseErrorKind> for DiagnosticKind {
    fn from(kind: &ParseErrorKind) -> Self {
        match kind {
            ParseErrorKind::LetBindingExists => DiagnosticKind::Resolve,
            ParseErrorKind::Deprecated(_) => DiagnosticKind::Deprecated,
            ParseErrorKind::RecursionLimit => DiagnosticKind::Limits,
            _ => DiagnosticKind::Syntax,
        }
    }
}

impl From<&ParseWarningKind> for DiagnosticKind {
    fn from(kind: &ParseWarningKind) -> Self {
        match kind {
            ParseWarningKind::Deprecation(_) => DiagnosticKind::Deprecated,
        }
    }
}

impl Display for DiagnosticKind {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.write_str(match self {
            DiagnosticKind::Syntax => "(syntax)",
            DiagnosticKind::Resolve => "(resolve)",
            DiagnosticKind::Compat => "(compat)",
            DiagnosticKind::Unsupported => "(unsupported)",
            DiagnosticKind::Deprecated => "(deprecated)",
            DiagnosticKind::Limits => "(limits)",
            DiagnosticKind::Invalid => "(invalid)",
            DiagnosticKind::Test => "(test)",
            DiagnosticKind::Other => "",
        })
    }
}

impl From<DiagnosticKind> for &'static str {
    fn from(val: DiagnosticKind) -> Self {
        match val {
            DiagnosticKind::Syntax => "syntax",
            DiagnosticKind::Resolve => "resolve",
            DiagnosticKind::Compat => "compat",
            DiagnosticKind::Unsupported => "unsupported",
            DiagnosticKind::Deprecated => "deprecated",
            DiagnosticKind::Limits => "limits",
            DiagnosticKind::Invalid => "invalid",
            DiagnosticKind::Test => "test",
            DiagnosticKind::Other => "other",
        }
    }
}

impl FromStr for DiagnosticKind {
    type Err = ();

    fn from_str(s: &str) -> Result<Self, Self::Err> {
        Ok(match s {
            "syntax" => DiagnosticKind::Syntax,
            "resolve" => DiagnosticKind::Resolve,
            "compat" => DiagnosticKind::Compat,
            "unsupported" => DiagnosticKind::Unsupported,
            "deprecated" => DiagnosticKind::Deprecated,
            "limits" => DiagnosticKind::Limits,
            "other" => DiagnosticKind::Other,
            _ => return Err(()),
        })
    }
}