From 8c8d0bb34f5495e0f260b5aaf3685ecb98406f32 Mon Sep 17 00:00:00 2001 From: Matthew Jasper Date: Sun, 9 Feb 2020 18:57:01 +0000 Subject: Add or- and parenthesized-patterns --- crates/ra_syntax/src/ast/generated.rs | 81 ++++++++++++++++++++++++++++++++--- 1 file changed, 75 insertions(+), 6 deletions(-) (limited to 'crates/ra_syntax') diff --git a/crates/ra_syntax/src/ast/generated.rs b/crates/ra_syntax/src/ast/generated.rs index 435135f92..8d640642d 100644 --- a/crates/ra_syntax/src/ast/generated.rs +++ b/crates/ra_syntax/src/ast/generated.rs @@ -1759,8 +1759,8 @@ impl AstNode for MatchArm { } impl ast::AttrsOwner for MatchArm {} impl MatchArm { - pub fn pats(&self) -> AstChildren { - AstChildren::new(&self.syntax) + pub fn pat(&self) -> Option { + AstChildren::new(&self.syntax).next() } pub fn guard(&self) -> Option { AstChildren::new(&self.syntax).next() @@ -1887,6 +1887,60 @@ impl RecordField { } } #[derive(Debug, Clone, PartialEq, Eq, Hash)] +pub struct OrPat { + pub(crate) syntax: SyntaxNode, +} +impl AstNode for OrPat { + fn can_cast(kind: SyntaxKind) -> bool { + match kind { + OR_PAT => true, + _ => false, + } + } + fn cast(syntax: SyntaxNode) -> Option { + if Self::can_cast(syntax.kind()) { + Some(Self { syntax }) + } else { + None + } + } + fn syntax(&self) -> &SyntaxNode { + &self.syntax + } +} +impl OrPat { + pub fn pats(&self) -> AstChildren { + AstChildren::new(&self.syntax) + } +} +#[derive(Debug, Clone, PartialEq, Eq, Hash)] +pub struct ParenPat { + pub(crate) syntax: SyntaxNode, +} +impl AstNode for ParenPat { + fn can_cast(kind: SyntaxKind) -> bool { + match kind { + PAREN_PAT => true, + _ => false, + } + } + fn cast(syntax: SyntaxNode) -> Option { + if Self::can_cast(syntax.kind()) { + Some(Self { syntax }) + } else { + None + } + } + fn syntax(&self) -> &SyntaxNode { + &self.syntax + } +} +impl ParenPat { + pub fn pat(&self) -> Option { + AstChildren::new(&self.syntax).next() + } +} +#[derive(Debug, Clone, PartialEq, Eq, Hash)] pub struct RefPat { pub(crate) syntax: SyntaxNode, } @@ -3900,6 +3954,8 @@ impl AstNode for Expr { } #[derive(Debug, Clone, PartialEq, Eq, Hash)] pub enum Pat { + OrPat(OrPat), + ParenPat(ParenPat), RefPat(RefPat), BoxPat(BoxPat), BindPat(BindPat), @@ -3913,6 +3969,16 @@ pub enum Pat { RangePat(RangePat), LiteralPat(LiteralPat), } +impl From for Pat { + fn from(node: OrPat) -> Pat { + Pat::OrPat(node) + } +} +impl From for Pat { + fn from(node: ParenPat) -> Pat { + Pat::ParenPat(node) + } +} impl From for Pat { fn from(node: RefPat) -> Pat { Pat::RefPat(node) @@ -3976,15 +4042,16 @@ impl From for Pat { impl AstNode for Pat { fn can_cast(kind: SyntaxKind) -> bool { match kind { - REF_PAT | BOX_PAT | BIND_PAT | PLACEHOLDER_PAT | DOT_DOT_PAT | PATH_PAT - | RECORD_PAT | TUPLE_STRUCT_PAT | TUPLE_PAT | SLICE_PAT | RANGE_PAT | LITERAL_PAT => { - true - } + OR_PAT | PAREN_PAT | REF_PAT | BOX_PAT | BIND_PAT | PLACEHOLDER_PAT | DOT_DOT_PAT + | PATH_PAT | RECORD_PAT | TUPLE_STRUCT_PAT | TUPLE_PAT | SLICE_PAT | RANGE_PAT + | LITERAL_PAT => true, _ => false, } } fn cast(syntax: SyntaxNode) -> Option { let res = match syntax.kind() { + OR_PAT => Pat::OrPat(OrPat { syntax }), + PAREN_PAT => Pat::ParenPat(ParenPat { syntax }), REF_PAT => Pat::RefPat(RefPat { syntax }), BOX_PAT => Pat::BoxPat(BoxPat { syntax }), BIND_PAT => Pat::BindPat(BindPat { syntax }), @@ -4003,6 +4070,8 @@ impl AstNode for Pat { } fn syntax(&self) -> &SyntaxNode { match self { + Pat::OrPat(it) => &it.syntax, + Pat::ParenPat(it) => &it.syntax, Pat::RefPat(it) => &it.syntax, Pat::BoxPat(it) => &it.syntax, Pat::BindPat(it) => &it.syntax, -- cgit v1.2.3 From 504e2a46bd71cd0fcaf7eb774216f65951761e38 Mon Sep 17 00:00:00 2001 From: Matthew Jasper Date: Sun, 9 Feb 2020 22:04:50 +0000 Subject: Update tests for or-patterns --- .../test_data/parser/inline/ok/0030_cond.txt | 86 ++++++++-------- .../test_data/parser/inline/ok/0066_match_arm.txt | 38 +++---- .../test_data/parser/inline/ok/0156_or_pattern.rs | 8 ++ .../test_data/parser/inline/ok/0156_or_pattern.txt | 112 +++++++++++++++++++++ 4 files changed, 184 insertions(+), 60 deletions(-) create mode 100644 crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.rs create mode 100644 crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.txt (limited to 'crates/ra_syntax') diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt b/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt index 4028ca243..6fd49c7bc 100644 --- a/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt +++ b/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt @@ -63,27 +63,28 @@ SOURCE_FILE@[0; 197) CONDITION@[56; 84) LET_KW@[56; 59) "let" WHITESPACE@[59; 60) " " - TUPLE_STRUCT_PAT@[60; 67) - PATH@[60; 64) - PATH_SEGMENT@[60; 64) - NAME_REF@[60; 64) - IDENT@[60; 64) "Some" - L_PAREN@[64; 65) "(" - PLACEHOLDER_PAT@[65; 66) - UNDERSCORE@[65; 66) "_" - R_PAREN@[66; 67) ")" - WHITESPACE@[67; 68) " " - PIPE@[68; 69) "|" - WHITESPACE@[69; 70) " " - TUPLE_STRUCT_PAT@[70; 77) - PATH@[70; 74) - PATH_SEGMENT@[70; 74) - NAME_REF@[70; 74) - IDENT@[70; 74) "Some" - L_PAREN@[74; 75) "(" - PLACEHOLDER_PAT@[75; 76) - UNDERSCORE@[75; 76) "_" - R_PAREN@[76; 77) ")" + OR_PAT@[60; 77) + TUPLE_STRUCT_PAT@[60; 67) + PATH@[60; 64) + PATH_SEGMENT@[60; 64) + NAME_REF@[60; 64) + IDENT@[60; 64) "Some" + L_PAREN@[64; 65) "(" + PLACEHOLDER_PAT@[65; 66) + UNDERSCORE@[65; 66) "_" + R_PAREN@[66; 67) ")" + WHITESPACE@[67; 68) " " + PIPE@[68; 69) "|" + WHITESPACE@[69; 70) " " + TUPLE_STRUCT_PAT@[70; 77) + PATH@[70; 74) + PATH_SEGMENT@[70; 74) + NAME_REF@[70; 74) + IDENT@[70; 74) "Some" + L_PAREN@[74; 75) "(" + PLACEHOLDER_PAT@[75; 76) + UNDERSCORE@[75; 76) "_" + R_PAREN@[76; 77) ")" WHITESPACE@[77; 78) " " EQ@[78; 79) "=" WHITESPACE@[79; 80) " " @@ -137,27 +138,28 @@ SOURCE_FILE@[0; 197) CONDITION@[129; 157) LET_KW@[129; 132) "let" WHITESPACE@[132; 133) " " - TUPLE_STRUCT_PAT@[133; 140) - PATH@[133; 137) - PATH_SEGMENT@[133; 137) - NAME_REF@[133; 137) - IDENT@[133; 137) "Some" - L_PAREN@[137; 138) "(" - PLACEHOLDER_PAT@[138; 139) - UNDERSCORE@[138; 139) "_" - R_PAREN@[139; 140) ")" - WHITESPACE@[140; 141) " " - PIPE@[141; 142) "|" - WHITESPACE@[142; 143) " " - TUPLE_STRUCT_PAT@[143; 150) - PATH@[143; 147) - PATH_SEGMENT@[143; 147) - NAME_REF@[143; 147) - IDENT@[143; 147) "Some" - L_PAREN@[147; 148) "(" - PLACEHOLDER_PAT@[148; 149) - UNDERSCORE@[148; 149) "_" - R_PAREN@[149; 150) ")" + OR_PAT@[133; 150) + TUPLE_STRUCT_PAT@[133; 140) + PATH@[133; 137) + PATH_SEGMENT@[133; 137) + NAME_REF@[133; 137) + IDENT@[133; 137) "Some" + L_PAREN@[137; 138) "(" + PLACEHOLDER_PAT@[138; 139) + UNDERSCORE@[138; 139) "_" + R_PAREN@[139; 140) ")" + WHITESPACE@[140; 141) " " + PIPE@[141; 142) "|" + WHITESPACE@[142; 143) " " + TUPLE_STRUCT_PAT@[143; 150) + PATH@[143; 147) + PATH_SEGMENT@[143; 147) + NAME_REF@[143; 147) + IDENT@[143; 147) "Some" + L_PAREN@[147; 148) "(" + PLACEHOLDER_PAT@[148; 149) + UNDERSCORE@[148; 149) "_" + R_PAREN@[149; 150) ")" WHITESPACE@[150; 151) " " EQ@[151; 152) "=" WHITESPACE@[152; 153) " " diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0066_match_arm.txt b/crates/ra_syntax/test_data/parser/inline/ok/0066_match_arm.txt index 87272917b..2f07af4e1 100644 --- a/crates/ra_syntax/test_data/parser/inline/ok/0066_match_arm.txt +++ b/crates/ra_syntax/test_data/parser/inline/ok/0066_match_arm.txt @@ -74,15 +74,16 @@ SOURCE_FILE@[0; 167) COMMA@[83; 84) "," WHITESPACE@[84; 93) "\n " MATCH_ARM@[93; 109) - BIND_PAT@[93; 94) - NAME@[93; 94) - IDENT@[93; 94) "X" - WHITESPACE@[94; 95) " " - PIPE@[95; 96) "|" - WHITESPACE@[96; 97) " " - BIND_PAT@[97; 98) - NAME@[97; 98) - IDENT@[97; 98) "Y" + OR_PAT@[93; 98) + BIND_PAT@[93; 94) + NAME@[93; 94) + IDENT@[93; 94) "X" + WHITESPACE@[94; 95) " " + PIPE@[95; 96) "|" + WHITESPACE@[96; 97) " " + BIND_PAT@[97; 98) + NAME@[97; 98) + IDENT@[97; 98) "Y" WHITESPACE@[98; 99) " " MATCH_GUARD@[99; 103) IF_KW@[99; 101) "if" @@ -103,15 +104,16 @@ SOURCE_FILE@[0; 167) MATCH_ARM@[119; 137) PIPE@[119; 120) "|" WHITESPACE@[120; 121) " " - BIND_PAT@[121; 122) - NAME@[121; 122) - IDENT@[121; 122) "X" - WHITESPACE@[122; 123) " " - PIPE@[123; 124) "|" - WHITESPACE@[124; 125) " " - BIND_PAT@[125; 126) - NAME@[125; 126) - IDENT@[125; 126) "Y" + OR_PAT@[121; 126) + BIND_PAT@[121; 122) + NAME@[121; 122) + IDENT@[121; 122) "X" + WHITESPACE@[122; 123) " " + PIPE@[123; 124) "|" + WHITESPACE@[124; 125) " " + BIND_PAT@[125; 126) + NAME@[125; 126) + IDENT@[125; 126) "Y" WHITESPACE@[126; 127) " " MATCH_GUARD@[127; 131) IF_KW@[127; 129) "if" diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.rs b/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.rs new file mode 100644 index 000000000..a26316605 --- /dev/null +++ b/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.rs @@ -0,0 +1,8 @@ +fn main() { + match () { + (_ | _) => (), + &(_ | _) => (), + (_ | _,) => (), + [_ | _,] => (), + } +} diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.txt b/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.txt new file mode 100644 index 000000000..3a196d3c0 --- /dev/null +++ b/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.txt @@ -0,0 +1,112 @@ +SOURCE_FILE@[0; 130) + FN_DEF@[0; 129) + FN_KW@[0; 2) "fn" + WHITESPACE@[2; 3) " " + NAME@[3; 7) + IDENT@[3; 7) "main" + PARAM_LIST@[7; 9) + L_PAREN@[7; 8) "(" + R_PAREN@[8; 9) ")" + WHITESPACE@[9; 10) " " + BLOCK_EXPR@[10; 129) + BLOCK@[10; 129) + L_CURLY@[10; 11) "{" + WHITESPACE@[11; 16) "\n " + MATCH_EXPR@[16; 127) + MATCH_KW@[16; 21) "match" + WHITESPACE@[21; 22) " " + TUPLE_EXPR@[22; 24) + L_PAREN@[22; 23) "(" + R_PAREN@[23; 24) ")" + WHITESPACE@[24; 25) " " + MATCH_ARM_LIST@[25; 127) + L_CURLY@[25; 26) "{" + WHITESPACE@[26; 35) "\n " + MATCH_ARM@[35; 48) + PAREN_PAT@[35; 42) + L_PAREN@[35; 36) "(" + OR_PAT@[36; 41) + PLACEHOLDER_PAT@[36; 37) + UNDERSCORE@[36; 37) "_" + WHITESPACE@[37; 38) " " + PIPE@[38; 39) "|" + WHITESPACE@[39; 40) " " + PLACEHOLDER_PAT@[40; 41) + UNDERSCORE@[40; 41) "_" + R_PAREN@[41; 42) ")" + WHITESPACE@[42; 43) " " + FAT_ARROW@[43; 45) "=>" + WHITESPACE@[45; 46) " " + TUPLE_EXPR@[46; 48) + L_PAREN@[46; 47) "(" + R_PAREN@[47; 48) ")" + COMMA@[48; 49) "," + WHITESPACE@[49; 58) "\n " + MATCH_ARM@[58; 72) + REF_PAT@[58; 66) + AMP@[58; 59) "&" + PAREN_PAT@[59; 66) + L_PAREN@[59; 60) "(" + OR_PAT@[60; 65) + PLACEHOLDER_PAT@[60; 61) + UNDERSCORE@[60; 61) "_" + WHITESPACE@[61; 62) " " + PIPE@[62; 63) "|" + WHITESPACE@[63; 64) " " + PLACEHOLDER_PAT@[64; 65) + UNDERSCORE@[64; 65) "_" + R_PAREN@[65; 66) ")" + WHITESPACE@[66; 67) " " + FAT_ARROW@[67; 69) "=>" + WHITESPACE@[69; 70) " " + TUPLE_EXPR@[70; 72) + L_PAREN@[70; 71) "(" + R_PAREN@[71; 72) ")" + COMMA@[72; 73) "," + WHITESPACE@[73; 82) "\n " + MATCH_ARM@[82; 96) + TUPLE_PAT@[82; 90) + L_PAREN@[82; 83) "(" + OR_PAT@[83; 88) + PLACEHOLDER_PAT@[83; 84) + UNDERSCORE@[83; 84) "_" + WHITESPACE@[84; 85) " " + PIPE@[85; 86) "|" + WHITESPACE@[86; 87) " " + PLACEHOLDER_PAT@[87; 88) + UNDERSCORE@[87; 88) "_" + COMMA@[88; 89) "," + R_PAREN@[89; 90) ")" + WHITESPACE@[90; 91) " " + FAT_ARROW@[91; 93) "=>" + WHITESPACE@[93; 94) " " + TUPLE_EXPR@[94; 96) + L_PAREN@[94; 95) "(" + R_PAREN@[95; 96) ")" + COMMA@[96; 97) "," + WHITESPACE@[97; 106) "\n " + MATCH_ARM@[106; 120) + SLICE_PAT@[106; 114) + L_BRACK@[106; 107) "[" + OR_PAT@[107; 112) + PLACEHOLDER_PAT@[107; 108) + UNDERSCORE@[107; 108) "_" + WHITESPACE@[108; 109) " " + PIPE@[109; 110) "|" + WHITESPACE@[110; 111) " " + PLACEHOLDER_PAT@[111; 112) + UNDERSCORE@[111; 112) "_" + COMMA@[112; 113) "," + R_BRACK@[113; 114) "]" + WHITESPACE@[114; 115) " " + FAT_ARROW@[115; 117) "=>" + WHITESPACE@[117; 118) " " + TUPLE_EXPR@[118; 120) + L_PAREN@[118; 119) "(" + R_PAREN@[119; 120) ")" + COMMA@[120; 121) "," + WHITESPACE@[121; 126) "\n " + R_CURLY@[126; 127) "}" + WHITESPACE@[127; 128) "\n" + R_CURLY@[128; 129) "}" + WHITESPACE@[129; 130) "\n" -- cgit v1.2.3 From 49b53cd7a0861cdba65643e3da441eefbe18d6e6 Mon Sep 17 00:00:00 2001 From: Matthew Jasper Date: Mon, 10 Feb 2020 20:11:44 +0000 Subject: Address review comments --- .../test_data/parser/inline/ok/0111_tuple_pat.rs | 3 ++ .../test_data/parser/inline/ok/0111_tuple_pat.txt | 62 +++++++++++++++++++--- 2 files changed, 58 insertions(+), 7 deletions(-) (limited to 'crates/ra_syntax') diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.rs b/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.rs index f785acd36..ba719879d 100644 --- a/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.rs +++ b/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.rs @@ -1,3 +1,6 @@ fn main() { let (a, b, ..) = (); + let (a,) = (); + let (..) = (); + let () = (); } diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.txt b/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.txt index 674dec493..4680c267e 100644 --- a/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.txt +++ b/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.txt @@ -1,5 +1,5 @@ -SOURCE_FILE@[0; 39) - FN_DEF@[0; 38) +SOURCE_FILE@[0; 94) + FN_DEF@[0; 93) FN_KW@[0; 2) "fn" WHITESPACE@[2; 3) " " NAME@[3; 7) @@ -8,8 +8,8 @@ SOURCE_FILE@[0; 39) L_PAREN@[7; 8) "(" R_PAREN@[8; 9) ")" WHITESPACE@[9; 10) " " - BLOCK_EXPR@[10; 38) - BLOCK@[10; 38) + BLOCK_EXPR@[10; 93) + BLOCK@[10; 93) L_CURLY@[10; 11) "{" WHITESPACE@[11; 16) "\n " LET_STMT@[16; 36) @@ -37,6 +37,54 @@ SOURCE_FILE@[0; 39) L_PAREN@[33; 34) "(" R_PAREN@[34; 35) ")" SEMI@[35; 36) ";" - WHITESPACE@[36; 37) "\n" - R_CURLY@[37; 38) "}" - WHITESPACE@[38; 39) "\n" + WHITESPACE@[36; 41) "\n " + LET_STMT@[41; 55) + LET_KW@[41; 44) "let" + WHITESPACE@[44; 45) " " + TUPLE_PAT@[45; 49) + L_PAREN@[45; 46) "(" + BIND_PAT@[46; 47) + NAME@[46; 47) + IDENT@[46; 47) "a" + COMMA@[47; 48) "," + R_PAREN@[48; 49) ")" + WHITESPACE@[49; 50) " " + EQ@[50; 51) "=" + WHITESPACE@[51; 52) " " + TUPLE_EXPR@[52; 54) + L_PAREN@[52; 53) "(" + R_PAREN@[53; 54) ")" + SEMI@[54; 55) ";" + WHITESPACE@[55; 60) "\n " + LET_STMT@[60; 74) + LET_KW@[60; 63) "let" + WHITESPACE@[63; 64) " " + TUPLE_PAT@[64; 68) + L_PAREN@[64; 65) "(" + DOT_DOT_PAT@[65; 67) + DOTDOT@[65; 67) ".." + R_PAREN@[67; 68) ")" + WHITESPACE@[68; 69) " " + EQ@[69; 70) "=" + WHITESPACE@[70; 71) " " + TUPLE_EXPR@[71; 73) + L_PAREN@[71; 72) "(" + R_PAREN@[72; 73) ")" + SEMI@[73; 74) ";" + WHITESPACE@[74; 79) "\n " + LET_STMT@[79; 91) + LET_KW@[79; 82) "let" + WHITESPACE@[82; 83) " " + TUPLE_PAT@[83; 85) + L_PAREN@[83; 84) "(" + R_PAREN@[84; 85) ")" + WHITESPACE@[85; 86) " " + EQ@[86; 87) "=" + WHITESPACE@[87; 88) " " + TUPLE_EXPR@[88; 90) + L_PAREN@[88; 89) "(" + R_PAREN@[89; 90) ")" + SEMI@[90; 91) ";" + WHITESPACE@[91; 92) "\n" + R_CURLY@[92; 93) "}" + WHITESPACE@[93; 94) "\n" -- cgit v1.2.3