aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--grammar.ron4
-rw-r--r--src/parser/event_parser/grammar/items.rs2
-rw-r--r--src/parser/event_parser/grammar/mod.rs20
-rw-r--r--src/syntax_kinds.rs141
-rw-r--r--tests/data/lexer/0011_keywords.rs3
-rw-r--r--tests/data/lexer/0011_keywords.txt8
-rw-r--r--tests/data/parser/ok/0012_visibility.rs5
-rw-r--r--tests/data/parser/ok/0012_visibility.txt84
8 files changed, 198 insertions, 69 deletions
diff --git a/grammar.ron b/grammar.ron
index bb3c5f65e..ed3af53e4 100644
--- a/grammar.ron
+++ b/grammar.ron
@@ -12,6 +12,9 @@ Grammar(
12 "extern", 12 "extern",
13 "crate", 13 "crate",
14 "mod", 14 "mod",
15 "pub",
16 "self",
17 "super",
15 ], 18 ],
16 tokens: [ 19 tokens: [
17 "ERROR", 20 "ERROR",
@@ -80,5 +83,6 @@ Grammar(
80 "PATH_SEGMENT", 83 "PATH_SEGMENT",
81 "LITERAL", 84 "LITERAL",
82 "ALIAS", 85 "ALIAS",
86 "VISIBILITY",
83 ] 87 ]
84) \ No newline at end of file 88) \ No newline at end of file
diff --git a/src/parser/event_parser/grammar/items.rs b/src/parser/event_parser/grammar/items.rs
index 725f04d1e..f7310c09a 100644
--- a/src/parser/event_parser/grammar/items.rs
+++ b/src/parser/event_parser/grammar/items.rs
@@ -12,7 +12,7 @@ pub(super) fn mod_contents(p: &mut Parser) {
12 12
13fn item_first(p: &Parser) -> bool { 13fn item_first(p: &Parser) -> bool {
14 match p.current() { 14 match p.current() {
15 STRUCT_KW | FN_KW | EXTERN_KW | MOD_KW | USE_KW | POUND => true, 15 STRUCT_KW | FN_KW | EXTERN_KW | MOD_KW | USE_KW | POUND | PUB_KW => true,
16 _ => false, 16 _ => false,
17 } 17 }
18} 18}
diff --git a/src/parser/event_parser/grammar/mod.rs b/src/parser/event_parser/grammar/mod.rs
index 3c4b223a9..1c57e0cb4 100644
--- a/src/parser/event_parser/grammar/mod.rs
+++ b/src/parser/event_parser/grammar/mod.rs
@@ -15,7 +15,25 @@ pub(crate) fn file(p: &mut Parser) {
15 }) 15 })
16} 16}
17 17
18fn visibility(_: &mut Parser) { 18fn visibility(p: &mut Parser) {
19 node_if(p, PUB_KW, VISIBILITY, |p| {
20 if p.current() != L_PAREN {
21 return
22 }
23 match p.raw_lookahead(1) {
24 CRATE_KW | SELF_KW | SUPER_KW => {
25 p.bump();
26 p.bump();
27 }
28 IN_KW => {
29 p.bump();
30 p.bump();
31 paths::use_path(p);
32 }
33 _ => return
34 }
35 p.expect(R_PAREN);
36 });
19} 37}
20 38
21fn alias(p: &mut Parser) -> bool { 39fn alias(p: &mut Parser) -> bool {
diff --git a/src/syntax_kinds.rs b/src/syntax_kinds.rs
index a86f203d7..84f1072b7 100644
--- a/src/syntax_kinds.rs
+++ b/src/syntax_kinds.rs
@@ -13,72 +13,76 @@ pub const AS_KW: SyntaxKind = SyntaxKind(8);
13pub const EXTERN_KW: SyntaxKind = SyntaxKind(9); 13pub const EXTERN_KW: SyntaxKind = SyntaxKind(9);
14pub const CRATE_KW: SyntaxKind = SyntaxKind(10); 14pub const CRATE_KW: SyntaxKind = SyntaxKind(10);
15pub const MOD_KW: SyntaxKind = SyntaxKind(11); 15pub const MOD_KW: SyntaxKind = SyntaxKind(11);
16pub const ERROR: SyntaxKind = SyntaxKind(12); 16pub const PUB_KW: SyntaxKind = SyntaxKind(12);
17pub const IDENT: SyntaxKind = SyntaxKind(13); 17pub const SELF_KW: SyntaxKind = SyntaxKind(13);
18pub const UNDERSCORE: SyntaxKind = SyntaxKind(14); 18pub const SUPER_KW: SyntaxKind = SyntaxKind(14);
19pub const WHITESPACE: SyntaxKind = SyntaxKind(15); 19pub const ERROR: SyntaxKind = SyntaxKind(15);
20pub const INT_NUMBER: SyntaxKind = SyntaxKind(16); 20pub const IDENT: SyntaxKind = SyntaxKind(16);
21pub const FLOAT_NUMBER: SyntaxKind = SyntaxKind(17); 21pub const UNDERSCORE: SyntaxKind = SyntaxKind(17);
22pub const SEMI: SyntaxKind = SyntaxKind(18); 22pub const WHITESPACE: SyntaxKind = SyntaxKind(18);
23pub const COMMA: SyntaxKind = SyntaxKind(19); 23pub const INT_NUMBER: SyntaxKind = SyntaxKind(19);
24pub const DOT: SyntaxKind = SyntaxKind(20); 24pub const FLOAT_NUMBER: SyntaxKind = SyntaxKind(20);
25pub const DOTDOT: SyntaxKind = SyntaxKind(21); 25pub const SEMI: SyntaxKind = SyntaxKind(21);
26pub const DOTDOTDOT: SyntaxKind = SyntaxKind(22); 26pub const COMMA: SyntaxKind = SyntaxKind(22);
27pub const DOTDOTEQ: SyntaxKind = SyntaxKind(23); 27pub const DOT: SyntaxKind = SyntaxKind(23);
28pub const L_PAREN: SyntaxKind = SyntaxKind(24); 28pub const DOTDOT: SyntaxKind = SyntaxKind(24);
29pub const R_PAREN: SyntaxKind = SyntaxKind(25); 29pub const DOTDOTDOT: SyntaxKind = SyntaxKind(25);
30pub const L_CURLY: SyntaxKind = SyntaxKind(26); 30pub const DOTDOTEQ: SyntaxKind = SyntaxKind(26);
31pub const R_CURLY: SyntaxKind = SyntaxKind(27); 31pub const L_PAREN: SyntaxKind = SyntaxKind(27);
32pub const L_BRACK: SyntaxKind = SyntaxKind(28); 32pub const R_PAREN: SyntaxKind = SyntaxKind(28);
33pub const R_BRACK: SyntaxKind = SyntaxKind(29); 33pub const L_CURLY: SyntaxKind = SyntaxKind(29);
34pub const L_ANGLE: SyntaxKind = SyntaxKind(30); 34pub const R_CURLY: SyntaxKind = SyntaxKind(30);
35pub const R_ANGLE: SyntaxKind = SyntaxKind(31); 35pub const L_BRACK: SyntaxKind = SyntaxKind(31);
36pub const AT: SyntaxKind = SyntaxKind(32); 36pub const R_BRACK: SyntaxKind = SyntaxKind(32);
37pub const POUND: SyntaxKind = SyntaxKind(33); 37pub const L_ANGLE: SyntaxKind = SyntaxKind(33);
38pub const TILDE: SyntaxKind = SyntaxKind(34); 38pub const R_ANGLE: SyntaxKind = SyntaxKind(34);
39pub const QUESTION: SyntaxKind = SyntaxKind(35); 39pub const AT: SyntaxKind = SyntaxKind(35);
40pub const COLON: SyntaxKind = SyntaxKind(36); 40pub const POUND: SyntaxKind = SyntaxKind(36);
41pub const COLONCOLON: SyntaxKind = SyntaxKind(37); 41pub const TILDE: SyntaxKind = SyntaxKind(37);
42pub const DOLLAR: SyntaxKind = SyntaxKind(38); 42pub const QUESTION: SyntaxKind = SyntaxKind(38);
43pub const EQ: SyntaxKind = SyntaxKind(39); 43pub const COLON: SyntaxKind = SyntaxKind(39);
44pub const EQEQ: SyntaxKind = SyntaxKind(40); 44pub const COLONCOLON: SyntaxKind = SyntaxKind(40);
45pub const FAT_ARROW: SyntaxKind = SyntaxKind(41); 45pub const DOLLAR: SyntaxKind = SyntaxKind(41);
46pub const NEQ: SyntaxKind = SyntaxKind(42); 46pub const EQ: SyntaxKind = SyntaxKind(42);
47pub const EXCL: SyntaxKind = SyntaxKind(43); 47pub const EQEQ: SyntaxKind = SyntaxKind(43);
48pub const LIFETIME: SyntaxKind = SyntaxKind(44); 48pub const FAT_ARROW: SyntaxKind = SyntaxKind(44);
49pub const CHAR: SyntaxKind = SyntaxKind(45); 49pub const NEQ: SyntaxKind = SyntaxKind(45);
50pub const BYTE: SyntaxKind = SyntaxKind(46); 50pub const EXCL: SyntaxKind = SyntaxKind(46);
51pub const STRING: SyntaxKind = SyntaxKind(47); 51pub const LIFETIME: SyntaxKind = SyntaxKind(47);
52pub const RAW_STRING: SyntaxKind = SyntaxKind(48); 52pub const CHAR: SyntaxKind = SyntaxKind(48);
53pub const BYTE_STRING: SyntaxKind = SyntaxKind(49); 53pub const BYTE: SyntaxKind = SyntaxKind(49);
54pub const RAW_BYTE_STRING: SyntaxKind = SyntaxKind(50); 54pub const STRING: SyntaxKind = SyntaxKind(50);
55pub const PLUS: SyntaxKind = SyntaxKind(51); 55pub const RAW_STRING: SyntaxKind = SyntaxKind(51);
56pub const MINUS: SyntaxKind = SyntaxKind(52); 56pub const BYTE_STRING: SyntaxKind = SyntaxKind(52);
57pub const STAR: SyntaxKind = SyntaxKind(53); 57pub const RAW_BYTE_STRING: SyntaxKind = SyntaxKind(53);
58pub const SLASH: SyntaxKind = SyntaxKind(54); 58pub const PLUS: SyntaxKind = SyntaxKind(54);
59pub const CARET: SyntaxKind = SyntaxKind(55); 59pub const MINUS: SyntaxKind = SyntaxKind(55);
60pub const PERCENT: SyntaxKind = SyntaxKind(56); 60pub const STAR: SyntaxKind = SyntaxKind(56);
61pub const AMPERSAND: SyntaxKind = SyntaxKind(57); 61pub const SLASH: SyntaxKind = SyntaxKind(57);
62pub const PIPE: SyntaxKind = SyntaxKind(58); 62pub const CARET: SyntaxKind = SyntaxKind(58);
63pub const THIN_ARROW: SyntaxKind = SyntaxKind(59); 63pub const PERCENT: SyntaxKind = SyntaxKind(59);
64pub const COMMENT: SyntaxKind = SyntaxKind(60); 64pub const AMPERSAND: SyntaxKind = SyntaxKind(60);
65pub const DOC_COMMENT: SyntaxKind = SyntaxKind(61); 65pub const PIPE: SyntaxKind = SyntaxKind(61);
66pub const SHEBANG: SyntaxKind = SyntaxKind(62); 66pub const THIN_ARROW: SyntaxKind = SyntaxKind(62);
67pub const FILE: SyntaxKind = SyntaxKind(63); 67pub const COMMENT: SyntaxKind = SyntaxKind(63);
68pub const STRUCT_ITEM: SyntaxKind = SyntaxKind(64); 68pub const DOC_COMMENT: SyntaxKind = SyntaxKind(64);
69pub const STRUCT_FIELD: SyntaxKind = SyntaxKind(65); 69pub const SHEBANG: SyntaxKind = SyntaxKind(65);
70pub const FN_ITEM: SyntaxKind = SyntaxKind(66); 70pub const FILE: SyntaxKind = SyntaxKind(66);
71pub const EXTERN_CRATE_ITEM: SyntaxKind = SyntaxKind(67); 71pub const STRUCT_ITEM: SyntaxKind = SyntaxKind(67);
72pub const ATTR: SyntaxKind = SyntaxKind(68); 72pub const STRUCT_FIELD: SyntaxKind = SyntaxKind(68);
73pub const META_ITEM: SyntaxKind = SyntaxKind(69); 73pub const FN_ITEM: SyntaxKind = SyntaxKind(69);
74pub const MOD_ITEM: SyntaxKind = SyntaxKind(70); 74pub const EXTERN_CRATE_ITEM: SyntaxKind = SyntaxKind(70);
75pub const USE_ITEM: SyntaxKind = SyntaxKind(71); 75pub const ATTR: SyntaxKind = SyntaxKind(71);
76pub const PATH: SyntaxKind = SyntaxKind(72); 76pub const META_ITEM: SyntaxKind = SyntaxKind(72);
77pub const PATH_SEGMENT: SyntaxKind = SyntaxKind(73); 77pub const MOD_ITEM: SyntaxKind = SyntaxKind(73);
78pub const LITERAL: SyntaxKind = SyntaxKind(74); 78pub const USE_ITEM: SyntaxKind = SyntaxKind(74);
79pub const ALIAS: SyntaxKind = SyntaxKind(75); 79pub const PATH: SyntaxKind = SyntaxKind(75);
80pub const PATH_SEGMENT: SyntaxKind = SyntaxKind(76);
81pub const LITERAL: SyntaxKind = SyntaxKind(77);
82pub const ALIAS: SyntaxKind = SyntaxKind(78);
83pub const VISIBILITY: SyntaxKind = SyntaxKind(79);
80 84
81static INFOS: [SyntaxInfo; 76] = [ 85static INFOS: [SyntaxInfo; 80] = [
82 SyntaxInfo { name: "USE_KW" }, 86 SyntaxInfo { name: "USE_KW" },
83 SyntaxInfo { name: "FN_KW" }, 87 SyntaxInfo { name: "FN_KW" },
84 SyntaxInfo { name: "STRUCT_KW" }, 88 SyntaxInfo { name: "STRUCT_KW" },
@@ -91,6 +95,9 @@ static INFOS: [SyntaxInfo; 76] = [
91 SyntaxInfo { name: "EXTERN_KW" }, 95 SyntaxInfo { name: "EXTERN_KW" },
92 SyntaxInfo { name: "CRATE_KW" }, 96 SyntaxInfo { name: "CRATE_KW" },
93 SyntaxInfo { name: "MOD_KW" }, 97 SyntaxInfo { name: "MOD_KW" },
98 SyntaxInfo { name: "PUB_KW" },
99 SyntaxInfo { name: "SELF_KW" },
100 SyntaxInfo { name: "SUPER_KW" },
94 SyntaxInfo { name: "ERROR" }, 101 SyntaxInfo { name: "ERROR" },
95 SyntaxInfo { name: "IDENT" }, 102 SyntaxInfo { name: "IDENT" },
96 SyntaxInfo { name: "UNDERSCORE" }, 103 SyntaxInfo { name: "UNDERSCORE" },
@@ -155,6 +162,7 @@ static INFOS: [SyntaxInfo; 76] = [
155 SyntaxInfo { name: "PATH_SEGMENT" }, 162 SyntaxInfo { name: "PATH_SEGMENT" },
156 SyntaxInfo { name: "LITERAL" }, 163 SyntaxInfo { name: "LITERAL" },
157 SyntaxInfo { name: "ALIAS" }, 164 SyntaxInfo { name: "ALIAS" },
165 SyntaxInfo { name: "VISIBILITY" },
158]; 166];
159 167
160pub(crate) fn syntax_info(kind: SyntaxKind) -> &'static SyntaxInfo { 168pub(crate) fn syntax_info(kind: SyntaxKind) -> &'static SyntaxInfo {
@@ -175,6 +183,9 @@ pub(crate) fn ident_to_keyword(ident: &str) -> Option<SyntaxKind> {
175 "extern" => Some(EXTERN_KW), 183 "extern" => Some(EXTERN_KW),
176 "crate" => Some(CRATE_KW), 184 "crate" => Some(CRATE_KW),
177 "mod" => Some(MOD_KW), 185 "mod" => Some(MOD_KW),
186 "pub" => Some(PUB_KW),
187 "self" => Some(SELF_KW),
188 "super" => Some(SUPER_KW),
178 _ => None, 189 _ => None,
179 } 190 }
180} 191}
diff --git a/tests/data/lexer/0011_keywords.rs b/tests/data/lexer/0011_keywords.rs
index 58568b20d..c5a58a205 100644
--- a/tests/data/lexer/0011_keywords.rs
+++ b/tests/data/lexer/0011_keywords.rs
@@ -1 +1,2 @@
1fn use struct trait enum impl true false as extern crate mod 1fn use struct trait enum impl true false as extern crate mod pub self super
2
diff --git a/tests/data/lexer/0011_keywords.txt b/tests/data/lexer/0011_keywords.txt
index 35d9a3871..248628f34 100644
--- a/tests/data/lexer/0011_keywords.txt
+++ b/tests/data/lexer/0011_keywords.txt
@@ -21,4 +21,10 @@ WHITESPACE 1 " "
21CRATE_KW 5 "crate" 21CRATE_KW 5 "crate"
22WHITESPACE 1 " " 22WHITESPACE 1 " "
23MOD_KW 3 "mod" 23MOD_KW 3 "mod"
24WHITESPACE 1 "\n" 24WHITESPACE 1 " "
25PUB_KW 3 "pub"
26WHITESPACE 1 " "
27SELF_KW 4 "self"
28WHITESPACE 1 " "
29SUPER_KW 5 "super"
30WHITESPACE 2 "\n\n"
diff --git a/tests/data/parser/ok/0012_visibility.rs b/tests/data/parser/ok/0012_visibility.rs
new file mode 100644
index 000000000..75b1db121
--- /dev/null
+++ b/tests/data/parser/ok/0012_visibility.rs
@@ -0,0 +1,5 @@
1fn a() {}
2pub fn b() {}
3pub(crate) fn c() {}
4pub(super) fn d() {}
5pub(in foo::bar::baz) fn e() {}
diff --git a/tests/data/parser/ok/0012_visibility.txt b/tests/data/parser/ok/0012_visibility.txt
new file mode 100644
index 000000000..8324c48d5
--- /dev/null
+++ b/tests/data/parser/ok/0012_visibility.txt
@@ -0,0 +1,84 @@
1FILE@[0; 98)
2 FN_ITEM@[0; 10)
3 FN_KW@[0; 2)
4 WHITESPACE@[2; 3)
5 IDENT@[3; 4)
6 L_PAREN@[4; 5)
7 R_PAREN@[5; 6)
8 WHITESPACE@[6; 7)
9 L_CURLY@[7; 8)
10 R_CURLY@[8; 9)
11 WHITESPACE@[9; 10)
12 FN_ITEM@[10; 24)
13 VISIBILITY@[10; 14)
14 PUB_KW@[10; 13)
15 WHITESPACE@[13; 14)
16 FN_KW@[14; 16)
17 WHITESPACE@[16; 17)
18 IDENT@[17; 18)
19 L_PAREN@[18; 19)
20 R_PAREN@[19; 20)
21 WHITESPACE@[20; 21)
22 L_CURLY@[21; 22)
23 R_CURLY@[22; 23)
24 WHITESPACE@[23; 24)
25 FN_ITEM@[24; 45)
26 VISIBILITY@[24; 35)
27 PUB_KW@[24; 27)
28 L_PAREN@[27; 28)
29 CRATE_KW@[28; 33)
30 R_PAREN@[33; 34)
31 WHITESPACE@[34; 35)
32 FN_KW@[35; 37)
33 WHITESPACE@[37; 38)
34 IDENT@[38; 39)
35 L_PAREN@[39; 40)
36 R_PAREN@[40; 41)
37 WHITESPACE@[41; 42)
38 L_CURLY@[42; 43)
39 R_CURLY@[43; 44)
40 WHITESPACE@[44; 45)
41 FN_ITEM@[45; 66)
42 VISIBILITY@[45; 56)
43 PUB_KW@[45; 48)
44 L_PAREN@[48; 49)
45 SUPER_KW@[49; 54)
46 R_PAREN@[54; 55)
47 WHITESPACE@[55; 56)
48 FN_KW@[56; 58)
49 WHITESPACE@[58; 59)
50 IDENT@[59; 60)
51 L_PAREN@[60; 61)
52 R_PAREN@[61; 62)
53 WHITESPACE@[62; 63)
54 L_CURLY@[63; 64)
55 R_CURLY@[64; 65)
56 WHITESPACE@[65; 66)
57 FN_ITEM@[66; 98)
58 VISIBILITY@[66; 88)
59 PUB_KW@[66; 69)
60 L_PAREN@[69; 70)
61 IDENT@[70; 72)
62 PATH@[72; 86)
63 PATH@[72; 81)
64 PATH@[72; 76)
65 PATH_SEGMENT@[72; 76)
66 WHITESPACE@[72; 73)
67 IDENT@[73; 76)
68 COLONCOLON@[76; 78)
69 PATH_SEGMENT@[78; 81)
70 IDENT@[78; 81)
71 COLONCOLON@[81; 83)
72 PATH_SEGMENT@[83; 86)
73 IDENT@[83; 86)
74 R_PAREN@[86; 87)
75 WHITESPACE@[87; 88)
76 FN_KW@[88; 90)
77 WHITESPACE@[90; 91)
78 IDENT@[91; 92)
79 L_PAREN@[92; 93)
80 R_PAREN@[93; 94)
81 WHITESPACE@[94; 95)
82 L_CURLY@[95; 96)
83 R_CURLY@[96; 97)
84 WHITESPACE@[97; 98)