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
|
// Parsing pipes protocols from token trees.
use parse::parser;
use parse::token;
use pipec::*;
trait proto_parser {
fn parse_proto(id: ~str) -> protocol;
fn parse_state(proto: protocol);
}
impl parser: proto_parser {
fn parse_proto(id: ~str) -> protocol {
let proto = protocol(id, self.span);
self.parse_seq_to_before_end(token::EOF,
{sep: None, trailing_sep_allowed: false},
|self| self.parse_state(proto));
return proto;
}
fn parse_state(proto: protocol) {
let id = self.parse_ident();
let name = *self.interner.get(id);
self.expect(token::COLON);
let dir = match copy self.token {
token::IDENT(n, _) => self.interner.get(n),
_ => fail
};
self.bump();
let dir = match dir {
@~"send" => send,
@~"recv" => recv,
_ => fail
};
let typarms = if self.token == token::LT {
self.parse_ty_params()
}
else { ~[] };
let state = proto.add_state_poly(name, id, dir, typarms);
// parse the messages
self.parse_unspanned_seq(
token::LBRACE, token::RBRACE,
{sep: Some(token::COMMA), trailing_sep_allowed: true},
|self| self.parse_message(state));
}
fn parse_message(state: state) {
let mname = *self.interner.get(self.parse_ident());
let args = if self.token == token::LPAREN {
self.parse_unspanned_seq(token::LPAREN,
token::RPAREN,
{sep: Some(token::COMMA),
trailing_sep_allowed: true},
|p| p.parse_ty(false))
}
else { ~[] };
self.expect(token::RARROW);
let next = match copy self.token {
token::IDENT(_, _) => {
let name = *self.interner.get(self.parse_ident());
let ntys = if self.token == token::LT {
self.parse_unspanned_seq(token::LT,
token::GT,
{sep: Some(token::COMMA),
trailing_sep_allowed: true},
|p| p.parse_ty(false))
}
else { ~[] };
Some({state: name, tys: ntys})
}
token::NOT => {
// -> !
self.bump();
None
}
_ => self.fatal(~"invalid next state")
};
state.add_message(mname, copy self.span, args, next);
}
}
|
