peginator_codegen 0.7.0

Buildscript support for peginator (a PEG parser generator)
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

// Copyright (C) 2022, Alex Badics
// This file is part of peginator
// Licensed under the MIT license. See LICENSE file in the project root for details.

use anyhow::Result;
use proc_macro2::TokenStream;

use super::common::{CloneState, Codegen, CodegenSettings, FieldDescriptor};
use crate::grammar::{DelimitedExpression, Grammar, Group};

impl Codegen for DelimitedExpression {
    fn generate_code_spec(
        &self,
        rule_fields: &[FieldDescriptor],
        grammar: &Grammar,
        settings: &CodegenSettings,
    ) -> Result<TokenStream> {
        match self {
            DelimitedExpression::Group(a) => a.generate_code_spec(rule_fields, grammar, settings),
            DelimitedExpression::Optional(a) => {
                a.generate_code_spec(rule_fields, grammar, settings)
            }
            DelimitedExpression::Closure(a) => a.generate_code_spec(rule_fields, grammar, settings),
            DelimitedExpression::NegativeLookahead(a) => {
                a.generate_code_spec(rule_fields, grammar, settings)
            }
            DelimitedExpression::PositiveLookahead(a) => {
                a.generate_code_spec(rule_fields, grammar, settings)
            }
            DelimitedExpression::CharacterRange(a) => {
                a.generate_code_spec(rule_fields, grammar, settings)
            }
            DelimitedExpression::StringLiteral(a) => {
                a.generate_code_spec(rule_fields, grammar, settings)
            }
            DelimitedExpression::EndOfInput(a) => {
                a.generate_code_spec(rule_fields, grammar, settings)
            }
            DelimitedExpression::IncludeRule(a) => {
                a.generate_code_spec(rule_fields, grammar, settings)
            }
            DelimitedExpression::Field(a) => a.generate_code_spec(rule_fields, grammar, settings),
        }
    }

    fn generate_inline_body(
        &self,
        rule_fields: &[FieldDescriptor],
        grammar: &Grammar,
        settings: &CodegenSettings,
        clone_state: CloneState,
    ) -> Result<Option<TokenStream>> {
        match self {
            DelimitedExpression::CharacterRange(a) => {
                a.generate_inline_body(rule_fields, grammar, settings, clone_state)
            }
            DelimitedExpression::Closure(a) => {
                a.generate_inline_body(rule_fields, grammar, settings, clone_state)
            }
            DelimitedExpression::EndOfInput(a) => {
                a.generate_inline_body(rule_fields, grammar, settings, clone_state)
            }
            DelimitedExpression::Field(a) => {
                a.generate_inline_body(rule_fields, grammar, settings, clone_state)
            }
            DelimitedExpression::Group(a) => {
                a.generate_inline_body(rule_fields, grammar, settings, clone_state)
            }
            DelimitedExpression::IncludeRule(a) => {
                a.generate_inline_body(rule_fields, grammar, settings, clone_state)
            }
            DelimitedExpression::NegativeLookahead(a) => {
                a.generate_inline_body(rule_fields, grammar, settings, clone_state)
            }
            DelimitedExpression::Optional(a) => {
                a.generate_inline_body(rule_fields, grammar, settings, clone_state)
            }
            DelimitedExpression::PositiveLookahead(a) => {
                a.generate_inline_body(rule_fields, grammar, settings, clone_state)
            }
            DelimitedExpression::StringLiteral(a) => {
                a.generate_inline_body(rule_fields, grammar, settings, clone_state)
            }
        }
    }

    fn get_fields<'a>(&'a self, grammar: &'a Grammar) -> Result<Vec<FieldDescriptor<'a>>> {
        match self {
            DelimitedExpression::Group(a) => a.get_fields(grammar),
            DelimitedExpression::Optional(a) => a.get_fields(grammar),
            DelimitedExpression::Closure(a) => a.get_fields(grammar),
            DelimitedExpression::NegativeLookahead(a) => a.get_fields(grammar),
            DelimitedExpression::PositiveLookahead(a) => a.get_fields(grammar),
            DelimitedExpression::CharacterRange(a) => a.get_fields(grammar),
            DelimitedExpression::StringLiteral(a) => a.get_fields(grammar),
            DelimitedExpression::EndOfInput(a) => a.get_fields(grammar),
            DelimitedExpression::IncludeRule(a) => a.get_fields(grammar),
            DelimitedExpression::Field(a) => a.get_fields(grammar),
        }
    }
}

impl Codegen for Group {
    fn generate_code_spec(
        &self,
        rule_fields: &[FieldDescriptor],
        grammar: &Grammar,
        settings: &CodegenSettings,
    ) -> Result<TokenStream> {
        self.body.generate_code_spec(rule_fields, grammar, settings)
    }

    fn generate_inline_body(
        &self,
        rule_fields: &[FieldDescriptor],
        grammar: &Grammar,
        settings: &CodegenSettings,
        clone_state: CloneState,
    ) -> Result<Option<TokenStream>> {
        self.body
            .generate_inline_body(rule_fields, grammar, settings, clone_state)
    }

    fn get_fields<'a>(&'a self, grammar: &'a Grammar) -> Result<Vec<FieldDescriptor<'a>>> {
        self.body.get_fields(grammar)
    }
}