Add reserved keywords to lexer and parser (#39)

OCamlPro · Sep 12, 2023 · af26ea2 · af26ea2
1 parent fe37f60
commit af26ea2
Show file tree

Hide file tree

Showing 5 changed files with 113 additions and 4 deletions.
diff --git a/src/solidity-parser/dune b/src/solidity-parser/dune
@@ -10,7 +10,12 @@
   )
 
 (ocamllex solidity_lexer)
-(menhir (modules solidity_raw_parser))
+(menhir
+  (modules solidity_raw_parser)
+  (flags
+    --explain
+    --strict
+    --unused-token RESERVEDKEYWORD))
 
 (rule
     (targets version.ml)
@@ -19,5 +24,3 @@
 
 (documentation
   (package solidity-parser))
-
-
diff --git a/src/solidity-parser/solidity_lexer.mll b/src/solidity-parser/solidity_lexer.mll
@@ -236,6 +236,41 @@ and end_pragma = parse
 
  {
    let initialized = ref false
+
+(*
+ * Reserved keywords that should be known to the parser, but are currently unused.
+ * https://docs.soliditylang.org/en/v0.6.0/miscellaneous.html#reserved-keywords
+ *)
+let reserved_keywords =
+  [
+    "after", RESERVEDKEYWORD;
+    "alias", RESERVEDKEYWORD;
+    "apply", RESERVEDKEYWORD;
+    "auto", RESERVEDKEYWORD;
+    "copyof", RESERVEDKEYWORD;
+    "define", RESERVEDKEYWORD;
+    "final", RESERVEDKEYWORD;
+    "implements", RESERVEDKEYWORD;
+    "in", RESERVEDKEYWORD;
+    "macro", RESERVEDKEYWORD;
+    "match", RESERVEDKEYWORD;
+    "mutable", RESERVEDKEYWORD;
+    "null", RESERVEDKEYWORD;
+    "of", RESERVEDKEYWORD;
+    "partial", RESERVEDKEYWORD;
+    "promise", RESERVEDKEYWORD;
+    "reference", RESERVEDKEYWORD;
+    "relocatable", RESERVEDKEYWORD;
+    "sealed", RESERVEDKEYWORD;
+    "sizeof", RESERVEDKEYWORD;
+    "supports", RESERVEDKEYWORD;
+    "typedef", RESERVEDKEYWORD;
+    "typeof", RESERVEDKEYWORD;
+    "unchecked", RESERVEDKEYWORD;
+  ]
+  (* Other keywords already handled:
+   *  case, default, immutable, inline, let, static, switch *)
+
 let init2 ?(list=[]) () =
   if not !initialized then begin
     initialized := true;
@@ -312,7 +347,7 @@ let init2 ?(list=[]) () =
           "days", NUMBERUNIT (Days);
           "weeks", NUMBERUNIT (Weeks);
           "years", NUMBERUNIT (Years);
-        ] @ list)
+        ] @ reserved_keywords @ list)
   end
 
 let init ~freeton =

diff --git a/src/solidity-parser/solidity_raw_parser.mly b/src/solidity-parser/solidity_raw_parser.mly
@@ -375,6 +375,9 @@
 %token <Solidity_common.Ident.t> IDENTIFIER
 %token EOF
 
+(* Reserved Keywords *)
+%token RESERVEDKEYWORD
+
 (* Some convenience precedences *)
 %nonassoc below_IDENTIFIER
 %nonassoc IDENTIFIER

diff --git a/test/raw_tests/fails/reserved_kw_ko1.sol b/test/raw_tests/fails/reserved_kw_ko1.sol
@@ -0,0 +1,33 @@
+contract InterestingVars {
+    int after;
+    int alias;
+    int apply;
+    int auto;
+    int case;
+    int copyof;
+    int default;
+    int define;
+    int final;
+    int immutable;
+    int implements;
+    int in;
+    int inline;
+    int let;
+    int macro;
+    int match;
+    int mutable;
+    int null;
+    int of;
+    int partial;
+    int promise;
+    int reference;
+    int relocatable;
+    int sealed;
+    int sizeof;
+    int static;
+    int supports;
+    int switch;
+    int typedef;
+    int typeof;
+    int unchecked;
+}
diff --git a/test/raw_tests/fails/reserved_kw_ko2.sol b/test/raw_tests/fails/reserved_kw_ko2.sol
@@ -0,0 +1,35 @@
+contract InterestingLocalVars {
+    function f() {
+        int after;
+        int alias;
+        int apply;
+        int auto;
+        int case;
+        int copyof;
+        int default;
+        int define;
+        int final;
+        int immutable;
+        int implements;
+        int in;
+        int inline;
+        int let;
+        int macro;
+        int match;
+        int mutable;
+        int null;
+        int of;
+        int partial;
+        int promise;
+        int reference;
+        int relocatable;
+        int sealed;
+        int sizeof;
+        int static;
+        int supports;
+        int switch;
+        int typedef;
+        int typeof;
+        int unchecked;
+    }
+}