2018-02-17 16:06:48 -06:00
|
|
|
use super::*;
|
|
|
|
|
2018-08-24 12:50:37 -05:00
|
|
|
pub(super) const PATTERN_FIRST: TokenSet =
|
|
|
|
token_set_union![
|
|
|
|
token_set![REF_KW, MUT_KW, L_PAREN, L_BRACK, AMP],
|
|
|
|
expressions::LITERAL_FIRST,
|
|
|
|
paths::PATH_FIRST,
|
|
|
|
];
|
|
|
|
|
2018-02-17 16:06:48 -06:00
|
|
|
pub(super) fn pattern(p: &mut Parser) {
|
2018-08-08 07:05:33 -05:00
|
|
|
if let Some(lhs) = atom_pat(p) {
|
|
|
|
// test range_pat
|
|
|
|
// fn main() {
|
|
|
|
// match 92 { 0 ... 100 => () }
|
|
|
|
// }
|
|
|
|
if p.at(DOTDOTDOT) {
|
|
|
|
let m = lhs.precede(p);
|
|
|
|
p.bump();
|
|
|
|
atom_pat(p);
|
|
|
|
m.complete(p, RANGE_PAT);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn atom_pat(p: &mut Parser) -> Option<CompletedMarker> {
|
2018-08-04 07:47:45 -05:00
|
|
|
let la0 = p.nth(0);
|
|
|
|
let la1 = p.nth(1);
|
|
|
|
if la0 == REF_KW || la0 == MUT_KW
|
|
|
|
|| (la0 == IDENT && !(la1 == COLONCOLON || la1 == L_PAREN || la1 == L_CURLY)) {
|
2018-08-08 07:05:33 -05:00
|
|
|
return Some(bind_pat(p, true));
|
2018-08-04 07:47:45 -05:00
|
|
|
}
|
|
|
|
if paths::is_path_start(p) {
|
2018-08-08 07:05:33 -05:00
|
|
|
return Some(path_pat(p));
|
2018-08-04 07:47:45 -05:00
|
|
|
}
|
|
|
|
|
2018-08-07 16:59:16 -05:00
|
|
|
// test literal_pattern
|
|
|
|
// fn main() {
|
|
|
|
// match () {
|
|
|
|
// 92 => (),
|
|
|
|
// 'c' => (),
|
|
|
|
// "hello" => (),
|
|
|
|
// }
|
|
|
|
// }
|
2018-08-08 07:05:33 -05:00
|
|
|
match expressions::literal(p) {
|
|
|
|
Some(m) => return Some(m),
|
|
|
|
None => (),
|
2018-08-07 16:59:16 -05:00
|
|
|
}
|
|
|
|
|
2018-08-08 07:05:33 -05:00
|
|
|
let m = match la0 {
|
2018-02-17 16:06:48 -06:00
|
|
|
UNDERSCORE => placeholder_pat(p),
|
2018-08-05 10:18:02 -05:00
|
|
|
AMP => ref_pat(p),
|
2018-08-07 06:41:03 -05:00
|
|
|
L_PAREN => tuple_pat(p),
|
2018-08-07 09:00:45 -05:00
|
|
|
L_BRACK => slice_pat(p),
|
2018-08-08 07:05:33 -05:00
|
|
|
_ => {
|
|
|
|
p.err_and_bump("expected pattern");
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
Some(m)
|
2018-02-17 16:06:48 -06:00
|
|
|
}
|
|
|
|
|
2018-08-04 07:47:45 -05:00
|
|
|
// test path_part
|
|
|
|
// fn foo() {
|
|
|
|
// let foo::Bar = ();
|
|
|
|
// let ::Bar = ();
|
|
|
|
// let Bar { .. } = ();
|
|
|
|
// let Bar(..) = ();
|
|
|
|
// }
|
2018-08-08 07:05:33 -05:00
|
|
|
fn path_pat(p: &mut Parser) -> CompletedMarker {
|
2018-08-13 10:23:14 -05:00
|
|
|
assert!(paths::is_path_start(p));
|
2018-08-04 07:47:45 -05:00
|
|
|
let m = p.start();
|
|
|
|
paths::expr_path(p);
|
|
|
|
let kind = match p.current() {
|
|
|
|
L_PAREN => {
|
|
|
|
tuple_pat_fields(p);
|
2018-08-07 06:41:03 -05:00
|
|
|
TUPLE_STRUCT_PAT
|
2018-08-04 07:47:45 -05:00
|
|
|
}
|
|
|
|
L_CURLY => {
|
2018-08-24 11:27:30 -05:00
|
|
|
field_pat_list(p);
|
2018-08-04 07:47:45 -05:00
|
|
|
STRUCT_PAT
|
|
|
|
}
|
|
|
|
_ => PATH_PAT
|
|
|
|
};
|
2018-08-08 07:05:33 -05:00
|
|
|
m.complete(p, kind)
|
2018-08-04 07:47:45 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// test tuple_pat_fields
|
|
|
|
// fn foo() {
|
|
|
|
// let S() = ();
|
|
|
|
// let S(_) = ();
|
|
|
|
// let S(_,) = ();
|
|
|
|
// let S(_, .. , x) = ();
|
|
|
|
// }
|
|
|
|
fn tuple_pat_fields(p: &mut Parser) {
|
|
|
|
assert!(p.at(L_PAREN));
|
|
|
|
p.bump();
|
|
|
|
while !p.at(EOF) && !p.at(R_PAREN) {
|
|
|
|
match p.current() {
|
|
|
|
DOTDOT => p.bump(),
|
|
|
|
_ => pattern(p),
|
|
|
|
}
|
|
|
|
if !p.at(R_PAREN) {
|
|
|
|
p.expect(COMMA);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
p.expect(R_PAREN);
|
|
|
|
}
|
|
|
|
|
2018-08-24 11:27:30 -05:00
|
|
|
// test field_pat_list
|
2018-08-04 07:47:45 -05:00
|
|
|
// fn foo() {
|
|
|
|
// let S {} = ();
|
|
|
|
// let S { f, ref mut g } = ();
|
|
|
|
// let S { h: _, ..} = ();
|
|
|
|
// let S { h: _, } = ();
|
|
|
|
// }
|
2018-08-24 11:27:30 -05:00
|
|
|
fn field_pat_list(p: &mut Parser) {
|
2018-08-04 07:47:45 -05:00
|
|
|
assert!(p.at(L_CURLY));
|
2018-08-24 11:27:30 -05:00
|
|
|
let m = p.start();
|
2018-08-04 07:47:45 -05:00
|
|
|
p.bump();
|
|
|
|
while !p.at(EOF) && !p.at(R_CURLY) {
|
|
|
|
match p.current() {
|
|
|
|
DOTDOT => p.bump(),
|
|
|
|
IDENT if p.nth(1) == COLON => {
|
|
|
|
p.bump();
|
|
|
|
p.bump();
|
|
|
|
pattern(p);
|
|
|
|
}
|
2018-08-13 10:23:14 -05:00
|
|
|
_ => {
|
2018-08-13 10:30:56 -05:00
|
|
|
bind_pat(p, false);
|
2018-08-08 07:05:33 -05:00
|
|
|
}
|
2018-08-04 07:47:45 -05:00
|
|
|
}
|
|
|
|
if !p.at(R_CURLY) {
|
|
|
|
p.expect(COMMA);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
p.expect(R_CURLY);
|
2018-08-24 11:27:30 -05:00
|
|
|
m.complete(p, FIELD_PAT_LIST);
|
2018-08-04 07:47:45 -05:00
|
|
|
}
|
|
|
|
|
2018-02-17 16:06:48 -06:00
|
|
|
// test placeholder_pat
|
|
|
|
// fn main() { let _ = (); }
|
2018-08-08 07:05:33 -05:00
|
|
|
fn placeholder_pat(p: &mut Parser) -> CompletedMarker {
|
2018-02-17 16:06:48 -06:00
|
|
|
assert!(p.at(UNDERSCORE));
|
|
|
|
let m = p.start();
|
|
|
|
p.bump();
|
2018-08-08 07:05:33 -05:00
|
|
|
m.complete(p, PLACEHOLDER_PAT)
|
2018-02-17 16:06:48 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
// test ref_pat
|
|
|
|
// fn main() {
|
|
|
|
// let &a = ();
|
|
|
|
// let &mut b = ();
|
|
|
|
// }
|
2018-08-08 07:05:33 -05:00
|
|
|
fn ref_pat(p: &mut Parser) -> CompletedMarker {
|
2018-08-05 10:18:02 -05:00
|
|
|
assert!(p.at(AMP));
|
2018-02-17 16:06:48 -06:00
|
|
|
let m = p.start();
|
|
|
|
p.bump();
|
|
|
|
p.eat(MUT_KW);
|
|
|
|
pattern(p);
|
2018-08-08 07:05:33 -05:00
|
|
|
m.complete(p, REF_PAT)
|
2018-02-17 16:06:48 -06:00
|
|
|
}
|
|
|
|
|
2018-08-07 06:41:03 -05:00
|
|
|
// test tuple_pat
|
|
|
|
// fn main() {
|
|
|
|
// let (a, b, ..) = ();
|
|
|
|
// }
|
2018-08-08 07:05:33 -05:00
|
|
|
fn tuple_pat(p: &mut Parser) -> CompletedMarker {
|
2018-08-07 06:41:03 -05:00
|
|
|
assert!(p.at(L_PAREN));
|
|
|
|
let m = p.start();
|
|
|
|
tuple_pat_fields(p);
|
2018-08-08 07:05:33 -05:00
|
|
|
m.complete(p, TUPLE_PAT)
|
2018-08-07 06:41:03 -05:00
|
|
|
}
|
|
|
|
|
2018-08-07 09:00:45 -05:00
|
|
|
// test slice_pat
|
|
|
|
// fn main() {
|
|
|
|
// let [a, b, ..] = [];
|
|
|
|
// }
|
2018-08-08 07:05:33 -05:00
|
|
|
fn slice_pat(p: &mut Parser) -> CompletedMarker {
|
2018-08-07 09:00:45 -05:00
|
|
|
assert!(p.at(L_BRACK));
|
|
|
|
let m = p.start();
|
|
|
|
p.bump();
|
|
|
|
while !p.at(EOF) && !p.at(R_BRACK) {
|
|
|
|
match p.current() {
|
|
|
|
DOTDOT => p.bump(),
|
|
|
|
_ => pattern(p),
|
|
|
|
}
|
|
|
|
if !p.at(R_BRACK) {
|
|
|
|
p.expect(COMMA);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
p.expect(R_BRACK);
|
|
|
|
|
2018-08-08 07:05:33 -05:00
|
|
|
m.complete(p, SLICE_PAT)
|
2018-08-07 09:00:45 -05:00
|
|
|
}
|
|
|
|
|
2018-02-17 16:06:48 -06:00
|
|
|
// test bind_pat
|
|
|
|
// fn main() {
|
|
|
|
// let a = ();
|
2018-07-31 07:30:11 -05:00
|
|
|
// let mut b = ();
|
|
|
|
// let ref c = ();
|
|
|
|
// let ref mut d = ();
|
|
|
|
// let e @ _ = ();
|
|
|
|
// let ref mut f @ g @ _ = ();
|
2018-02-17 16:06:48 -06:00
|
|
|
// }
|
2018-08-08 07:05:33 -05:00
|
|
|
fn bind_pat(p: &mut Parser, with_at: bool) -> CompletedMarker {
|
2018-02-17 16:06:48 -06:00
|
|
|
let m = p.start();
|
2018-07-31 07:40:40 -05:00
|
|
|
p.eat(REF_KW);
|
|
|
|
p.eat(MUT_KW);
|
2018-02-17 16:06:48 -06:00
|
|
|
name(p);
|
2018-08-04 07:47:45 -05:00
|
|
|
if with_at && p.eat(AT) {
|
2018-02-17 16:06:48 -06:00
|
|
|
pattern(p);
|
|
|
|
}
|
2018-08-08 07:05:33 -05:00
|
|
|
m.complete(p, BIND_PAT)
|
2018-02-17 16:06:48 -06:00
|
|
|
}
|