Copager/examples/lang_json/src/syntax.rs at master · Tsukuba-Programming-Lab/Copager · GitHub

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
use copager::lang::{Lang, RuleSet, TokenSet};
use copager::prelude::*;

#[allow(dead_code)]
#[derive(Lang)]
pub struct Json (
    #[tokenset] JsonToken,
    #[ruleset]  JsonRule,
);

#[derive(Debug, Clone, Hash, PartialEq, Eq, TokenSet)]
pub enum JsonToken {
    // 記号
    #[token(r"\:", ir_omit)]
    Colon,
    #[token(r"\,", ir_omit)]
    Comma,

    // キーワード
    #[token(r"true")]
    True,
    #[token(r"false")]
    False,
    #[token(r"null")]
    Null,

    // 識別子 & 数値
    #[token(r#""[a-zA-Z_][a-zA-Z0-9_]*""#)]
    String,
    #[token(r"\d+")]
    Number,

    // オブジェクト用括弧
    #[token(r"\{", ir_omit)]
    CurlyBracketL,
    #[token(r"\}", ir_omit)]
    CurlyBracketR,

    // 配列用括弧
    #[token(r"\[", ir_omit)]
    SquareBracketL,
    #[token(r"\]", ir_omit)]
    SquareBracketR,

    // 空白文字
    #[token(r"[ \t\n]+", trivia)]
    _Whitespace,
}

#[derive(Debug, Clone, Hash, PartialEq, Eq, RuleSet)]
pub enum JsonRule {
    // 字句集合
    #[tokenset(JsonToken)]

    // JSON本体
    #[rule("<json> ::= <json> <item>")]
    #[rule("<json> ::= <item>")]
    Json,

    #[rule("<item> ::= <object>")]
    #[rule("<item> ::= <array>")]
    Item,

    // 配列
    #[rule("<array> ::= SquareBracketL <value_list> SquareBracketR")]
    Array,

    #[rule("<value_list> ::= <value_list> Comma <value>")]
    #[rule("<value_list> ::= <value>")]
    #[rule("<value_list> ::= ")]
    ValueList,

    // オブジェクト
    #[rule("<object> ::= CurlyBracketL <key_value_list> CurlyBracketR")]
    Object,

    #[rule("<key_value_list> ::= <key_value_list> Comma <key_value>")]
    #[rule("<key_value_list> ::= <key_value>")]
    #[rule("<key_value_list> ::= ")]
    KeyValueList,

    #[rule("<key_value> ::= <key> Colon <value>")]
    KeyValue,

    #[rule("<key> ::= String")]
    Key,

    #[rule("<value> ::= <object>")]
    #[rule("<value> ::= <array>")]
    #[rule("<value> ::= String")]
    #[rule("<value> ::= Number")]
    #[rule("<value> ::= True")]
    #[rule("<value> ::= False")]
    #[rule("<value> ::= Null")]
    Value,
}