xswag-syntax-java 0.3.0

Java Parser for the xswag system
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

grammar;

pub X = "x";

// pub Expr: () = {
//     Expr "+" Expr => (),
//     Expr "-" Expr => (),
//     "0" => (),
//     "1" => (),
// };

// Cat = "c";
// #[inline] Tiger = Cat;


// Animal = {
//     "-" <Cat>,
//     "-" <Tiger>,
// };

// pub Foo = {
//     <"x"> Animal,
//     <"y"> Animal,
// };


// Spanned<T> = @L <T> @R;
// // Spanned<T> = "l" <T> "r";
// // Spanned<T> = <T>;
// Word: () = "a" => ();

// // #[inline]
// Bar: () = <@L> <Word> <@R> "!" => ();

// ProxyA = <@L> <Word> <@R> "~";
// ProxyB = <@L> <Bar> <@R> "+";

    // ProxyA,
    // ProxyB,
    // @L <"a"> @R,
    // @L @L <"a"> @R "+" @R,

// Num: () = @L "1" @R => ();
// Num: i32 = "1" => 1;

// Plus: ExprType = {
//     Num => ExprType::Num(<>),
//     <ll: @L> <lhs: Plus> <lr: @R> "+" <rl: @L> <rhs: Num> <rr: @R> => ExprType::Add (
//         Box::new(Expr { inner: lhs, span: (ll, lr) }),
//         Box::new(Expr { inner: rhs, span: (rl, rr) }),
//     ),
// };

// pub Expr: Expr = {
//     <l: @L> <inner: Plus> <r: @R> => Expr { inner: inner, span: (l, r) },
// };

// Bar: () = <Spanned<Word>> "!" => ();

// ProxyA = <Spanned<Word>> "~";
// ProxyB = <Spanned<Bar>> "+";

// ChildA = "a";
// ChildB = Spanned<"b">;
// ParentHelper = ChildB ChildA;
// pub Parent = Spanned<ParentHelper>;

// pub Statement = {
//     Assignment,
//     LabeledStatement,
// };

// LabeledStatement = <Spanned<Word>> ":" Statement;

// Assignment = <Spanned<Spanned<Word>>> "~";

// pub Foo = Bar;

// Bar: () = {
//     "x" =>? {
//         Ok(())
//     }
// };