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

#[allow(dead_code)]
#[derive(Lang)]
pub struct Xml (
    #[tokenset] XmlToken,
    #[ruleset]  XmlRule,
);

#[derive(Debug, Clone, Hash, PartialEq, Eq, TokenSet)]
pub enum XmlToken {
    // 記号
    #[token(r"<", ir_omit)]
    TagL,
    #[token(r">", ir_omit)]
    TagR,
    #[token(r"/", ir_omit)]
    Slash,
    #[token(r"=", ir_omit)]
    Equal,

    // 文字列 & 識別子
    #[token(r"[a-zA-Z_][a-zA-Z0-9_]*")]
    String,
    #[token(r"'[a-zA-Z_][a-zA-Z0-9_]*'")]
    QuotedString,
    #[token(r#""[a-zA-Z_][a-zA-Z0-9_]*""#)]
    WQuotedString,

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

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

    // XML本体
    #[rule("<xml> ::= <tag_list>")]
    Xml,

    // タグ
    #[rule("<tag_list> ::= <tag_list> <tag>")]
    #[rule("<tag_list> ::= <tag>")]
    TagList,

    #[rule("<tag> ::= <begin> <value_list> <end>")]
    #[rule("<tag> ::= <begin> <end>")]
    #[rule("<tag> ::= <single>")]
    Tag,

    #[rule("<single> ::= TagL String <attr_list> Slash TagR")]
    #[rule("<single> ::= TagL String Slash TagR")]
    Single,

    #[rule("<begin> ::= TagL String <attr_list> TagR")]
    #[rule("<begin> ::= TagL String TagR")]
    Begin,

    #[rule("<end> ::= TagL Slash String TagR")]
    End,

    // 属性
    #[rule("<attr_list> ::= <attr_list> <attr>")]
    #[rule("<attr_list> ::= <attr>")]
    AttrList,

    #[rule("<attr> ::= String Equal QuotedString")]
    #[rule("<attr> ::= String Equal WQuotedString")]
    Attr,

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

    #[rule("<value> ::= <tag>")]
    #[rule("<value> ::= String")]
    Value,
}