From 64a65a4ff40e0c9b6d9453af79bba013afde2ffa Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Wed, 8 Aug 2018 00:53:03 +0300 Subject: trait items --- src/grammar/items/consts.rs | 5 +- src/grammar/items/mod.rs | 15 ++++- src/grammar/items/traits.rs | 10 ++++ tests/data/parser/inline/0090_trait_item_items.rs | 6 ++ tests/data/parser/inline/0090_trait_item_items.txt | 67 ++++++++++++++++++++++ tests/data/parser/inline/0091_fn_decl.rs | 1 + tests/data/parser/inline/0091_fn_decl.txt | 21 +++++++ 7 files changed, 120 insertions(+), 5 deletions(-) create mode 100644 tests/data/parser/inline/0090_trait_item_items.rs create mode 100644 tests/data/parser/inline/0090_trait_item_items.txt create mode 100644 tests/data/parser/inline/0091_fn_decl.rs create mode 100644 tests/data/parser/inline/0091_fn_decl.txt diff --git a/src/grammar/items/consts.rs b/src/grammar/items/consts.rs index ca26a7814..b11949b49 100644 --- a/src/grammar/items/consts.rs +++ b/src/grammar/items/consts.rs @@ -14,7 +14,8 @@ fn const_or_static(p: &mut Parser, kw: SyntaxKind) { p.eat(MUT_KW); // TODO: validator to forbid const mut name(p); types::ascription(p); - p.expect(EQ); - expressions::expr(p); + if p.eat(EQ) { + expressions::expr(p); + } p.expect(SEMI); } diff --git a/src/grammar/items/mod.rs b/src/grammar/items/mod.rs index 83f1833b5..824f1296c 100644 --- a/src/grammar/items/mod.rs +++ b/src/grammar/items/mod.rs @@ -240,7 +240,11 @@ fn fn_item(p: &mut Parser) { // fn foo() where T: Copy {} type_params::where_clause(p); - expressions::block(p); + // test fn_decl + // trait T { fn foo(); } + if !p.eat(SEMI) { + expressions::block(p); + } } // test type_item @@ -255,12 +259,17 @@ fn type_item(p: &mut Parser) { // type Result = (); type_params::type_param_list(p); + if p.at(COLON) { + type_params::bounds(p); + } + // test type_item_where_clause // type Foo where Foo: Copy = (); type_params::where_clause(p); - p.expect(EQ); - types::type_(p); + if p.eat(EQ) { + types::type_(p); + } p.expect(SEMI); } diff --git a/src/grammar/items/traits.rs b/src/grammar/items/traits.rs index 7c0935371..0b9fb2b0b 100644 --- a/src/grammar/items/traits.rs +++ b/src/grammar/items/traits.rs @@ -12,6 +12,16 @@ pub(super) fn trait_item(p: &mut Parser) { } type_params::where_clause(p); p.expect(L_CURLY); + // test trait_item_items + // impl F { + // type A: Clone; + // const B: i32; + // fn foo() {} + // fn bar(&self); + // } + while !p.at(EOF) && !p.at(R_CURLY) { + item_or_macro(p, true); + } p.expect(R_CURLY); } diff --git a/tests/data/parser/inline/0090_trait_item_items.rs b/tests/data/parser/inline/0090_trait_item_items.rs new file mode 100644 index 000000000..a5ec3239f --- /dev/null +++ b/tests/data/parser/inline/0090_trait_item_items.rs @@ -0,0 +1,6 @@ +impl F { + type A: Clone; + const B: i32; + fn foo() {} + fn bar(&self); +} diff --git a/tests/data/parser/inline/0090_trait_item_items.txt b/tests/data/parser/inline/0090_trait_item_items.txt new file mode 100644 index 000000000..2350bbe82 --- /dev/null +++ b/tests/data/parser/inline/0090_trait_item_items.txt @@ -0,0 +1,67 @@ +FILE@[0; 83) + IMPL_ITEM@[0; 82) + IMPL_KW@[0; 4) + WHITESPACE@[4; 5) + PATH_TYPE@[5; 6) + PATH@[5; 6) + PATH_SEGMENT@[5; 6) + NAME_REF@[5; 6) + IDENT@[5; 6) "F" + WHITESPACE@[6; 7) + L_CURLY@[7; 8) + WHITESPACE@[8; 13) + TYPE_ITEM@[13; 27) + TYPE_KW@[13; 17) + WHITESPACE@[17; 18) + NAME@[18; 19) + IDENT@[18; 19) "A" + COLON@[19; 20) + WHITESPACE@[20; 21) + PATH@[21; 26) + PATH_SEGMENT@[21; 26) + NAME_REF@[21; 26) + IDENT@[21; 26) "Clone" + SEMI@[26; 27) + WHITESPACE@[27; 32) + CONST_ITEM@[32; 45) + CONST_KW@[32; 37) + WHITESPACE@[37; 38) + NAME@[38; 39) + IDENT@[38; 39) "B" + COLON@[39; 40) + WHITESPACE@[40; 41) + PATH_TYPE@[41; 44) + PATH@[41; 44) + PATH_SEGMENT@[41; 44) + NAME_REF@[41; 44) + IDENT@[41; 44) "i32" + SEMI@[44; 45) + WHITESPACE@[45; 50) + FN_ITEM@[50; 61) + FN_KW@[50; 52) + WHITESPACE@[52; 53) + NAME@[53; 56) + IDENT@[53; 56) "foo" + PARAM_LIST@[56; 58) + L_PAREN@[56; 57) + R_PAREN@[57; 58) + WHITESPACE@[58; 59) + BLOCK_EXPR@[59; 61) + L_CURLY@[59; 60) + R_CURLY@[60; 61) + WHITESPACE@[61; 66) + FN_ITEM@[66; 80) + FN_KW@[66; 68) + WHITESPACE@[68; 69) + NAME@[69; 72) + IDENT@[69; 72) "bar" + PARAM_LIST@[72; 79) + L_PAREN@[72; 73) + SELF_PARAM@[73; 78) + AMP@[73; 74) + SELF_KW@[74; 78) + R_PAREN@[78; 79) + SEMI@[79; 80) + WHITESPACE@[80; 81) + R_CURLY@[81; 82) + WHITESPACE@[82; 83) diff --git a/tests/data/parser/inline/0091_fn_decl.rs b/tests/data/parser/inline/0091_fn_decl.rs new file mode 100644 index 000000000..c9f74f7f5 --- /dev/null +++ b/tests/data/parser/inline/0091_fn_decl.rs @@ -0,0 +1 @@ +trait T { fn foo(); } diff --git a/tests/data/parser/inline/0091_fn_decl.txt b/tests/data/parser/inline/0091_fn_decl.txt new file mode 100644 index 000000000..e5e5bfc08 --- /dev/null +++ b/tests/data/parser/inline/0091_fn_decl.txt @@ -0,0 +1,21 @@ +FILE@[0; 22) + TRAIT_ITEM@[0; 21) + TRAIT_KW@[0; 5) + WHITESPACE@[5; 6) + NAME@[6; 7) + IDENT@[6; 7) "T" + WHITESPACE@[7; 8) + L_CURLY@[8; 9) + WHITESPACE@[9; 10) + FN_ITEM@[10; 19) + FN_KW@[10; 12) + WHITESPACE@[12; 13) + NAME@[13; 16) + IDENT@[13; 16) "foo" + PARAM_LIST@[16; 18) + L_PAREN@[16; 17) + R_PAREN@[17; 18) + SEMI@[18; 19) + WHITESPACE@[19; 20) + R_CURLY@[20; 21) + WHITESPACE@[21; 22) -- cgit v1.2.3