2018-01-07 12:46:10 -06:00
|
|
|
use super::*;
|
|
|
|
|
2018-01-28 08:46:30 -06:00
|
|
|
mod structs;
|
2018-02-02 13:21:06 -06:00
|
|
|
mod use_item;
|
2018-02-03 03:05:25 -06:00
|
|
|
mod consts;
|
2018-01-28 08:46:30 -06:00
|
|
|
|
2018-01-28 03:57:03 -06:00
|
|
|
pub(super) fn mod_contents(p: &mut Parser, stop_on_r_curly: bool) {
|
2018-01-09 13:35:55 -06:00
|
|
|
attributes::inner_attributes(p);
|
2018-01-28 03:57:03 -06:00
|
|
|
while !p.at(EOF) && !(stop_on_r_curly && p.at(R_CURLY)) {
|
2018-01-20 08:21:13 -06:00
|
|
|
item(p);
|
2018-01-07 12:46:10 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-01-28 14:14:00 -06:00
|
|
|
pub(super) const ITEM_FIRST: TokenSet = token_set![
|
|
|
|
EXTERN_KW, MOD_KW, USE_KW, STRUCT_KW, ENUM_KW, FN_KW, PUB_KW, POUND
|
|
|
|
];
|
2018-01-20 15:31:29 -06:00
|
|
|
|
2018-01-20 12:49:58 -06:00
|
|
|
fn item(p: &mut Parser) {
|
2018-01-20 14:25:34 -06:00
|
|
|
let item = p.start();
|
2018-01-07 12:46:10 -06:00
|
|
|
attributes::outer_attributes(p);
|
|
|
|
visibility(p);
|
2018-01-28 05:33:10 -06:00
|
|
|
let la = p.nth(1);
|
2018-01-20 14:25:34 -06:00
|
|
|
let item_kind = match p.current() {
|
2018-02-02 13:08:14 -06:00
|
|
|
USE_KW => {
|
2018-02-02 13:21:06 -06:00
|
|
|
use_item::use_item(p);
|
2018-02-02 13:08:14 -06:00
|
|
|
USE_ITEM
|
|
|
|
}
|
2018-01-20 14:25:34 -06:00
|
|
|
EXTERN_KW if la == CRATE_KW => {
|
|
|
|
extern_crate_item(p);
|
|
|
|
EXTERN_CRATE_ITEM
|
|
|
|
}
|
2018-02-02 13:08:14 -06:00
|
|
|
EXTERN_KW => {
|
|
|
|
abi(p);
|
|
|
|
match p.current() {
|
|
|
|
FN_KW => {
|
|
|
|
fn_item(p);
|
|
|
|
FN_ITEM
|
|
|
|
}
|
|
|
|
L_CURLY => {
|
|
|
|
extern_block(p);
|
|
|
|
EXTERN_BLOCK
|
|
|
|
}
|
|
|
|
_ => {
|
|
|
|
item.abandon(p);
|
|
|
|
p.error().message("expected `fn` or `{`").emit();
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2018-02-02 14:45:15 -06:00
|
|
|
STATIC_KW => {
|
2018-02-03 03:05:25 -06:00
|
|
|
consts::static_item(p);
|
2018-02-02 14:45:15 -06:00
|
|
|
STATIC_ITEM
|
|
|
|
}
|
2018-02-03 03:05:25 -06:00
|
|
|
CONST_KW => match p.nth(1) {
|
2018-02-03 13:34:35 -06:00
|
|
|
// test const_fn
|
|
|
|
// const fn foo() {}
|
2018-02-03 03:05:25 -06:00
|
|
|
FN_KW => {
|
|
|
|
p.bump();
|
|
|
|
fn_item(p);
|
|
|
|
FN_ITEM
|
|
|
|
}
|
2018-02-03 13:34:35 -06:00
|
|
|
// test const_unsafe_fn
|
|
|
|
// const unsafe fn foo() {}
|
2018-02-03 03:05:25 -06:00
|
|
|
UNSAFE_KW if p.nth(2) == FN_KW => {
|
|
|
|
p.bump();
|
|
|
|
p.bump();
|
|
|
|
fn_item(p);
|
|
|
|
FN_ITEM
|
|
|
|
}
|
|
|
|
_ => {
|
|
|
|
consts::const_item(p);
|
|
|
|
CONST_ITEM
|
|
|
|
}
|
|
|
|
},
|
2018-01-20 14:25:34 -06:00
|
|
|
MOD_KW => {
|
|
|
|
mod_item(p);
|
|
|
|
MOD_ITEM
|
|
|
|
}
|
|
|
|
STRUCT_KW => {
|
2018-01-28 08:46:30 -06:00
|
|
|
structs::struct_item(p);
|
2018-01-20 14:25:34 -06:00
|
|
|
STRUCT_ITEM
|
|
|
|
}
|
2018-01-28 13:59:18 -06:00
|
|
|
ENUM_KW => {
|
|
|
|
structs::enum_item(p);
|
|
|
|
ENUM_ITEM
|
|
|
|
}
|
2018-01-20 14:25:34 -06:00
|
|
|
FN_KW => {
|
|
|
|
fn_item(p);
|
|
|
|
FN_ITEM
|
|
|
|
}
|
2018-01-28 11:48:37 -06:00
|
|
|
L_CURLY => {
|
|
|
|
item.abandon(p);
|
|
|
|
error_block(p, "expected item");
|
|
|
|
return;
|
|
|
|
}
|
2018-01-20 08:21:13 -06:00
|
|
|
err_token => {
|
2018-01-20 14:25:34 -06:00
|
|
|
item.abandon(p);
|
2018-01-20 08:21:13 -06:00
|
|
|
let message = if err_token == SEMI {
|
2018-01-20 12:07:34 -06:00
|
|
|
//TODO: if the item is incomplete, this message is misleading
|
2018-01-20 08:21:13 -06:00
|
|
|
"expected item, found `;`\n\
|
2018-01-27 17:31:23 -06:00
|
|
|
consider removing this semicolon"
|
2018-01-20 08:21:13 -06:00
|
|
|
} else {
|
|
|
|
"expected item"
|
|
|
|
};
|
2018-01-27 15:05:31 -06:00
|
|
|
p.err_and_bump(message);
|
2018-01-20 08:21:13 -06:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
};
|
2018-01-20 14:25:34 -06:00
|
|
|
item.complete(p, item_kind);
|
2018-01-07 12:46:10 -06:00
|
|
|
}
|
|
|
|
|
2018-01-08 15:06:42 -06:00
|
|
|
fn extern_crate_item(p: &mut Parser) {
|
2018-01-20 08:21:13 -06:00
|
|
|
assert!(p.at(EXTERN_KW));
|
|
|
|
p.bump();
|
|
|
|
assert!(p.at(CRATE_KW));
|
|
|
|
p.bump();
|
|
|
|
|
2018-01-08 15:06:42 -06:00
|
|
|
p.expect(IDENT) && alias(p) && p.expect(SEMI);
|
|
|
|
}
|
|
|
|
|
2018-02-02 14:45:15 -06:00
|
|
|
fn extern_block(p: &mut Parser) {
|
|
|
|
assert!(p.at(L_CURLY));
|
|
|
|
p.bump();
|
|
|
|
p.expect(R_CURLY);
|
|
|
|
}
|
2018-01-09 13:35:55 -06:00
|
|
|
fn mod_item(p: &mut Parser) {
|
2018-01-20 08:21:13 -06:00
|
|
|
assert!(p.at(MOD_KW));
|
|
|
|
p.bump();
|
|
|
|
|
|
|
|
if p.expect(IDENT) && !p.eat(SEMI) {
|
2018-01-28 03:57:03 -06:00
|
|
|
if p.expect(L_CURLY) {
|
|
|
|
mod_contents(p, true);
|
|
|
|
p.expect(R_CURLY);
|
|
|
|
}
|
2018-01-09 13:35:55 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-02-02 13:08:14 -06:00
|
|
|
fn abi(p: &mut Parser) {
|
|
|
|
assert!(p.at(EXTERN_KW));
|
|
|
|
let abi = p.start();
|
|
|
|
p.bump();
|
|
|
|
match p.current() {
|
|
|
|
STRING | RAW_STRING => p.bump(),
|
|
|
|
_ => (),
|
|
|
|
}
|
|
|
|
abi.complete(p, ABI);
|
|
|
|
}
|
|
|
|
|
2018-01-07 12:46:10 -06:00
|
|
|
fn fn_item(p: &mut Parser) {
|
2018-01-20 08:21:13 -06:00
|
|
|
assert!(p.at(FN_KW));
|
|
|
|
p.bump();
|
|
|
|
|
2018-01-28 05:26:24 -06:00
|
|
|
p.expect(IDENT);
|
|
|
|
if p.at(L_PAREN) {
|
|
|
|
fn_value_parameters(p);
|
|
|
|
} else {
|
|
|
|
p.error().message("expected function arguments").emit();
|
|
|
|
}
|
|
|
|
|
|
|
|
if p.at(L_CURLY) {
|
|
|
|
p.expect(L_CURLY);
|
|
|
|
p.expect(R_CURLY);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn fn_value_parameters(p: &mut Parser) {
|
|
|
|
assert!(p.at(L_PAREN));
|
|
|
|
p.bump();
|
|
|
|
p.expect(R_PAREN);
|
|
|
|
}
|
2018-01-07 12:46:10 -06:00
|
|
|
}
|