1use rowan::{ast::{support, AstChildren, AstNode}, Language};
3
4macro_rules! decl_ast_node {
5 ($node:ident, $kind:ident) => {
6 #[derive(Debug, Clone, PartialEq, Eq, Hash)]
7 pub struct $node(SyntaxNode);
8 impl AstNode for $node {
9 type Language = Lang;
10
11 fn syntax(&self) -> &rowan::SyntaxNode<Self::Language> {
12 &self.0
13 }
14
15 fn can_cast(kind: <Self::Language as Language>::Kind) -> bool {
16 kind == SyntaxKind::$kind
17 }
18
19 fn cast(node: rowan::SyntaxNode<Self::Language>) -> Option<Self> {
20 if Self::can_cast(node.kind()) {
21 Some(Self(node))
22 } else {
23 None
24 }
25 }
26 }
27 impl core::fmt::Display for $node {
28 fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
29 core::fmt::Display::fmt(self.syntax(), f)
30 }
31 }
32 };
33}
34
35#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
36pub enum Lang {}
37impl Language for Lang {
38 type Kind = SyntaxKind;
39
40 fn kind_to_raw(kind: Self::Kind) -> ::rowan::SyntaxKind {
41 kind.into()
42 }
43
44 fn kind_from_raw(raw: ::rowan::SyntaxKind) -> Self::Kind {
45 raw.into()
46 }
47}
48
49pub type SyntaxNode = ::rowan::SyntaxNode<Lang>;
50pub type SyntaxToken = ::rowan::SyntaxToken<Lang>;
51
52::peg::parser!(pub grammar parser<'b>(state: &'b ::rowan_peg_utils::ParseState<'input>) for str {
53 use SyntaxKind::*;
54
55 rule comment() = ()(()(g:({state.guard_none()})((g:({state.quiet().guard_token(COMMENT)}) s:$(((()(g:({state.guard_none()})(";" (g:({state.guard_none()})((quiet!{[^::char_classes::any!(@"\n")]}/expected!("<^\\n>"))){g.accept_none()})*){g.accept_none()})))) {g.accept_token(s)})){g.accept_none()}) / expected!("comment"))
56 rule whitespace() = ()(()(g:({state.guard_none()})((g:({state.quiet().guard_token(WHITESPACE)}) s:$(((()(g:({state.guard_none()})((g:({state.guard_none()})((quiet!{[::char_classes::any!(@" \t\r\n")]}/expected!("< \\t\\r\\n>"))){g.accept_none()})*){g.accept_none()})))) {g.accept_token(s)})){g.accept_none()}))
57 pub rule trivia() = _
58 rule _() = (g:({state.guard(TRIVIA)}) ((()(g:({state.guard_none()})(whitespace() (g:({state.guard_none()})((()(g:({state.guard_none()})(comment() whitespace()){g.accept_none()}))){g.accept_none()})*){g.accept_none()}))) {g.accept()})
59 rule ident() = ()(()(g:({state.guard_none()})((g:({state.quiet().guard_token(IDENT)}) s:$(((()(g:({state.guard_none()})(!(g:({state.quiet().guard_none()}) (quiet!{(quiet!{[::char_classes::any!(@"0-9")]}/expected!("<0-9>"))}) {g.accept_none()}) (g:({state.guard_none()})((()(g:({state.guard_none()})((quiet!{[::char_classes::any!(@"0-9a-zA-Z_-")]}/expected!("<0-9a-zA-Z_->"))){g.accept_none()}) / ()(g:({state.guard_none()})((quiet!{[^::char_classes::any!(@"\u{00}-\u{a0}")]}/expected!("<^\\u{00}-\\u{a0}>"))){g.accept_none()}))){g.accept_none()})+){g.accept_none()})))) {g.accept_token(s)})){g.accept_none()}) / expected!("ident"))
60 rule number() = ()(()(g:({state.guard_none()})((g:({state.quiet().guard_token(NUMBER)}) s:$(((()(g:({state.guard_none()})((g:({state.guard_none()})((quiet!{[::char_classes::any!(@"0-9")]}/expected!("<0-9>"))){g.accept_none()})+){g.accept_none()})))) {g.accept_token(s)})){g.accept_none()}) / expected!("number"))
61 rule string() = ()(()(g:({state.guard_none()})((g:({state.quiet().guard_token(STRING)}) s:$(((()(g:({state.guard_none()})("\"" (g:({state.guard_none()})((quiet!{[^::char_classes::any!(@"\"\r\n")]}/expected!("<^\\\"\\r\\n>"))){g.accept_none()})* "\""){g.accept_none()})))) {g.accept_token(s)})){g.accept_none()}) / expected!("string"))
62 rule matches() = ()(()(g:({state.guard_none()})((g:({state.quiet().guard_token(MATCHES)}) s:$(((()(g:({state.guard_none()})("<" (g:({state.guard_none()})((quiet!{[^::char_classes::any!(@"\x3e\r\n")]}/expected!("<^\\x3e\\r\\n>"))){g.accept_none()})* ">"){g.accept_none()})))) {g.accept_token(s)})){g.accept_none()}) / expected!("matches"))
63 rule label() = (g:({state.guard(LABEL)}) ((()(g:({state.guard_none()})(ident()){g.accept_none()}) / ()(g:({state.guard_none()})(string()){g.accept_none()}))) {g.accept()})
64 rule repeat_rest() = (g:({state.guard(REPEAT_REST)}) ((()(g:({state.guard_none()})((g:({state.quiet().guard_token(STAR)}) s:$(("*")) {g.accept_token(s)}) (g:({state.guard_none()})((()(g:({state.guard_none()})(number()){g.accept_none()}))){g.accept_none()})?){g.accept_none()}))) {g.accept()})
65 rule repeat() = (g:({state.guard(REPEAT)}) ((()(g:({state.guard_none()})((g:({state.quiet().guard_token(PLUS)}) s:$(("+")) {g.accept_token(s)})){g.accept_none()}) / ()(g:({state.guard_none()})(number() (g:({state.guard_none()})((()(g:({state.guard_none()})(repeat_rest()){g.accept_none()}))){g.accept_none()})?){g.accept_none()}) / ()(g:({state.guard_none()})(repeat_rest()){g.accept_none()}))) {g.accept()})
66 rule pat_expect() = (g:({state.guard(PAT_EXPECT)}) ((()(g:({state.guard_none()})((g:({state.quiet().guard_token(AT)}) s:$(("@")) {g.accept_token(s)}) label()){g.accept_none()}))) {g.accept()})
67 rule pat_atom() = (g:({state.guard(PAT_ATOM)}) ((()(g:({state.guard_none()})(ident() !(g:({state.quiet().guard_none()}) (quiet!{(()(g:({state.guard_none()})(_() (g:({state.quiet().guard_token(EQ)}) s:$(("=")) {g.accept_token(s)})){g.accept_none()}))}) {g.accept_none()})){g.accept_none()}) / ()(g:({state.guard_none()})(string()){g.accept_none()}) / ()(g:({state.guard_none()})(matches()){g.accept_none()}) / ()(g:({state.guard_none()})((g:({state.quiet().guard_token(L_BRACK)}) s:$(("[")) {g.accept_token(s)}) _() pat_choice() _() (g:({state.quiet().guard_token(R_BRACK)}) s:$(("]")) {g.accept_token(s)})){g.accept_none()}) / ()(g:({state.guard_none()})((g:({state.quiet().guard_token(L_PAREN)}) s:$(("(")) {g.accept_token(s)}) _() pat_choice() _() (g:({state.quiet().guard_token(R_PAREN)}) s:$((")")) {g.accept_token(s)})){g.accept_none()}))) {g.accept()})
68 rule pat_op() = (g:({state.guard(PAT_OP)}) ((()(g:({state.guard_none()})((g:({state.quiet().guard_token(AMP)}) s:$(("&")) {g.accept_token(s)}) pat_atom()){g.accept_none()}) / ()(g:({state.guard_none()})((g:({state.quiet().guard_token(BANG)}) s:$(("!")) {g.accept_token(s)}) pat_atom()){g.accept_none()}) / ()(g:({state.guard_none()})((g:({state.quiet().guard_token(TILDE)}) s:$(("~")) {g.accept_token(s)}) pat_atom()){g.accept_none()}) / ()(g:({state.guard_none()})((g:({state.quiet().guard_token(DOLLAR)}) s:$(("$")) {g.accept_token(s)}) pat_atom()){g.accept_none()}) / ()(g:({state.guard_none()})(repeat() _() pat_atom()){g.accept_none()}) / ()(g:({state.guard_none()})(pat_atom()){g.accept_none()}))) {g.accept()})
69 rule pat_list() = (g:({state.guard(PAT_LIST)}) ((()(g:({state.guard_none()})(pat_op() (g:({state.guard_none()})((()(g:({state.guard_none()})(_() pat_op()){g.accept_none()}))){g.accept_none()})*){g.accept_none()}))) {g.accept()})
70 rule pat_choice() = (g:({state.guard(PAT_CHOICE)}) ((()(g:({state.guard_none()})(pat_list() (g:({state.guard_none()})((()(g:({state.guard_none()})(_() (g:({state.quiet().guard_token(SLASH)}) s:$(("/")) {g.accept_token(s)}) _() pat_list()){g.accept_none()}))){g.accept_none()})* (g:({state.guard_none()})((()(g:({state.guard_none()})(_() pat_expect()){g.accept_none()}))){g.accept_none()})?){g.accept_none()}))) {g.accept()})
71 rule named() = (g:({state.guard(NAMED)}) ((()(g:({state.guard_none()})(ident() _() (g:({state.quiet().guard_token(EQ)}) s:$(("=")) {g.accept_token(s)}) _()){g.accept_none()}))) {g.accept()})
72 rule decl() = (g:({state.guard(DECL)}) ((()(g:({state.guard_none()})(named() pat_choice()){g.accept_none()}))) {g.accept()})
73 rule export() = (g:({state.guard(EXPORT)}) ((()(g:({state.guard_none()})((g:({state.guard_none()})((()(g:({state.guard_none()})(named()){g.accept_none()}))){g.accept_none()})? ident()){g.accept_none()}))) {g.accept()})
74 rule export_list() = (g:({state.guard(EXPORT_LIST)}) ((()(g:({state.guard_none()})((g:({state.quiet().guard_token(EXPORTS_KW)}) s:$(("exports")) {g.accept_token(s)}) _() (g:({state.quiet().guard_token(L_BRACK)}) s:$(("[")) {g.accept_token(s)}) _() (g:({state.guard_none()})((()(g:({state.guard_none()})(export() _()){g.accept_none()}))){g.accept_none()})* (g:({state.quiet().guard_token(R_BRACK)}) s:$(("]")) {g.accept_token(s)})){g.accept_none()}))) {g.accept()})
75 pub rule decl_list() = (g:({state.guard(DECL_LIST)}) ((()(g:({state.guard_none()})(_() (g:({state.guard_none()})((()(g:({state.guard_none()})(export_list() _()){g.accept_none()}))){g.accept_none()})? (g:({state.guard_none()})((()(g:({state.guard_none()})(decl() _()){g.accept_none()}))){g.accept_none()})+){g.accept_none()}))) {g.accept()})
76});
77#[repr(u16)]
78#[allow(non_camel_case_types)]
79#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
80pub enum SyntaxKind {
81 COMMENT = 0,
82 WHITESPACE,
83 TRIVIA,
84 IDENT,
85 NUMBER,
86 STRING,
87 MATCHES,
88 LABEL,
89 REPEAT_REST,
90 STAR,
91 REPEAT,
92 PLUS,
93 PAT_EXPECT,
94 AT,
95 PAT_ATOM,
96 L_PAREN,
97 R_PAREN,
98 PAT_OP,
99 AMP,
100 BANG,
101 TILDE,
102 DOLLAR,
103 PAT_LIST,
104 PAT_CHOICE,
105 SLASH,
106 NAMED,
107 EQ,
108 DECL,
109 EXPORT,
110 EXPORT_LIST,
111 EXPORTS_KW,
112 L_BRACK,
113 R_BRACK,
114 DECL_LIST,
115}
116impl From<::rowan::SyntaxKind> for SyntaxKind { fn from(kind: ::rowan::SyntaxKind) -> Self { ::core::assert!(kind.0 <= Self::DECL_LIST as u16); unsafe { ::core::mem::transmute::<u16, SyntaxKind>(kind.0) } } }
117impl From<SyntaxKind> for ::rowan::SyntaxKind { fn from(kind: SyntaxKind) -> Self { ::rowan::SyntaxKind(kind as u16) } }
118decl_ast_node!(Trivia, TRIVIA);
119impl Trivia {
120}
121decl_ast_node!(Label, LABEL);
122impl Label {
123 pub fn ident(&self) -> Option<SyntaxToken> {
124 support::token(self.syntax(), SyntaxKind::IDENT)
125 }
126 pub fn string(&self) -> Option<SyntaxToken> {
127 support::token(self.syntax(), SyntaxKind::STRING)
128 }
129}
130decl_ast_node!(RepeatRest, REPEAT_REST);
131impl RepeatRest {
132 pub fn number(&self) -> Option<SyntaxToken> {
133 support::token(self.syntax(), SyntaxKind::NUMBER)
134 }
135 pub fn star(&self) -> SyntaxToken {
136 support::token(self.syntax(), SyntaxKind::STAR).unwrap()
137 }
138}
139decl_ast_node!(Repeat, REPEAT);
140impl Repeat {
141 pub fn number(&self) -> Option<SyntaxToken> {
142 support::token(self.syntax(), SyntaxKind::NUMBER)
143 }
144 pub fn plus(&self) -> Option<SyntaxToken> {
145 support::token(self.syntax(), SyntaxKind::PLUS)
146 }
147 pub fn repeat_rest(&self) -> Option<RepeatRest> {
148 support::child(self.syntax())
149 }
150}
151decl_ast_node!(PatExpect, PAT_EXPECT);
152impl PatExpect {
153 pub fn at(&self) -> SyntaxToken {
154 support::token(self.syntax(), SyntaxKind::AT).unwrap()
155 }
156 pub fn label(&self) -> Label {
157 support::child(self.syntax()).unwrap()
158 }
159}
160decl_ast_node!(PatAtom, PAT_ATOM);
161impl PatAtom {
162 pub fn ident(&self) -> Option<SyntaxToken> {
163 support::token(self.syntax(), SyntaxKind::IDENT)
164 }
165 pub fn l_brack(&self) -> Option<SyntaxToken> {
166 support::token(self.syntax(), SyntaxKind::L_BRACK)
167 }
168 pub fn l_paren(&self) -> Option<SyntaxToken> {
169 support::token(self.syntax(), SyntaxKind::L_PAREN)
170 }
171 pub fn matches(&self) -> Option<SyntaxToken> {
172 support::token(self.syntax(), SyntaxKind::MATCHES)
173 }
174 pub fn pat_choice(&self) -> Option<PatChoice> {
175 support::child(self.syntax())
176 }
177 pub fn r_brack(&self) -> Option<SyntaxToken> {
178 support::token(self.syntax(), SyntaxKind::R_BRACK)
179 }
180 pub fn r_paren(&self) -> Option<SyntaxToken> {
181 support::token(self.syntax(), SyntaxKind::R_PAREN)
182 }
183 pub fn string(&self) -> Option<SyntaxToken> {
184 support::token(self.syntax(), SyntaxKind::STRING)
185 }
186 pub fn trivias(&self) -> AstChildren<Trivia> {
187 support::children(self.syntax())
188 }
189}
190decl_ast_node!(PatOp, PAT_OP);
191impl PatOp {
192 pub fn amp(&self) -> Option<SyntaxToken> {
193 support::token(self.syntax(), SyntaxKind::AMP)
194 }
195 pub fn bang(&self) -> Option<SyntaxToken> {
196 support::token(self.syntax(), SyntaxKind::BANG)
197 }
198 pub fn dollar(&self) -> Option<SyntaxToken> {
199 support::token(self.syntax(), SyntaxKind::DOLLAR)
200 }
201 pub fn pat_atom(&self) -> PatAtom {
202 support::child(self.syntax()).unwrap()
203 }
204 pub fn repeat(&self) -> Option<Repeat> {
205 support::child(self.syntax())
206 }
207 pub fn tilde(&self) -> Option<SyntaxToken> {
208 support::token(self.syntax(), SyntaxKind::TILDE)
209 }
210 pub fn trivia(&self) -> Option<Trivia> {
211 support::child(self.syntax())
212 }
213}
214decl_ast_node!(PatList, PAT_LIST);
215impl PatList {
216 pub fn pat_ops(&self) -> AstChildren<PatOp> {
217 support::children(self.syntax())
218 }
219 pub fn trivias(&self) -> AstChildren<Trivia> {
220 support::children(self.syntax())
221 }
222}
223decl_ast_node!(PatChoice, PAT_CHOICE);
224impl PatChoice {
225 pub fn pat_expect(&self) -> Option<PatExpect> {
226 support::child(self.syntax())
227 }
228 pub fn pat_lists(&self) -> AstChildren<PatList> {
229 support::children(self.syntax())
230 }
231 pub fn trivias(&self) -> AstChildren<Trivia> {
232 support::children(self.syntax())
233 }
234}
235decl_ast_node!(Named, NAMED);
236impl Named {
237 pub fn eq(&self) -> SyntaxToken {
238 support::token(self.syntax(), SyntaxKind::EQ).unwrap()
239 }
240 pub fn ident(&self) -> SyntaxToken {
241 support::token(self.syntax(), SyntaxKind::IDENT).unwrap()
242 }
243 pub fn trivias(&self) -> AstChildren<Trivia> {
244 support::children(self.syntax())
245 }
246}
247decl_ast_node!(Decl, DECL);
248impl Decl {
249 pub fn named(&self) -> Named {
250 support::child(self.syntax()).unwrap()
251 }
252 pub fn pat_choice(&self) -> PatChoice {
253 support::child(self.syntax()).unwrap()
254 }
255}
256decl_ast_node!(Export, EXPORT);
257impl Export {
258 pub fn ident(&self) -> SyntaxToken {
259 support::token(self.syntax(), SyntaxKind::IDENT).unwrap()
260 }
261 pub fn named(&self) -> Option<Named> {
262 support::child(self.syntax())
263 }
264}
265decl_ast_node!(ExportList, EXPORT_LIST);
266impl ExportList {
267 pub fn exports(&self) -> AstChildren<Export> {
268 support::children(self.syntax())
269 }
270 pub fn exports_kw(&self) -> SyntaxToken {
271 support::token(self.syntax(), SyntaxKind::EXPORTS_KW).unwrap()
272 }
273 pub fn l_brack(&self) -> SyntaxToken {
274 support::token(self.syntax(), SyntaxKind::L_BRACK).unwrap()
275 }
276 pub fn r_brack(&self) -> SyntaxToken {
277 support::token(self.syntax(), SyntaxKind::R_BRACK).unwrap()
278 }
279 pub fn trivias(&self) -> AstChildren<Trivia> {
280 support::children(self.syntax())
281 }
282}
283decl_ast_node!(DeclList, DECL_LIST);
284impl DeclList {
285 pub fn decls(&self) -> AstChildren<Decl> {
286 support::children(self.syntax())
287 }
288 pub fn export_list(&self) -> Option<ExportList> {
289 support::child(self.syntax())
290 }
291 pub fn trivias(&self) -> AstChildren<Trivia> {
292 support::children(self.syntax())
293 }
294}
295