Project rename

2019-03-24 08:28:57 +01:00
parent 1728e0e6e1
commit 7926230faf
7262 changed files with 0 additions and 0 deletions
@@ -0,0 +1,24 @@
+int  "-"?([0-9]|[1-9][0-9]+)
+exp  [eE][-+]?[0-9]+
+frac  "."[0-9]+
+
+%%
+\s+      /* skip whitespace */
+
+{int}{frac}?{exp}?\b    return 'NUMBER'
+\"(?:'\\'[\\"bfnrt/]|'\\u'[a-fA-F0-9]{4}|[^\\\0-\x09\x0a-\x1f"])*\"    yytext = yytext.substr(1,yyleng-2); return 'STRING'
+
+"{"      return '{'
+"}"      return '}'
+"["      return '['
+"]"      return ']'
+","      return ','
+":"      return ':'
+"true"   return 'TRUE'
+"false"  return 'FALSE'
+"null"   return 'NULL'
+<<EOF>>  return 'EOF'
+.        return 'INVALID'
+
+%%
+
@@ -0,0 +1,86 @@
+%start JSONText
+
+/*
+  ECMA-262 5th Edition, 15.12.1 The JSON Grammar.
+*/
+
+
+%%
+
+JSONString
+    : STRING
+        { // replace escaped characters with actual character
+          $$ = yytext.replace(/\\(\\|")/g, "$"+"1")
+                     .replace(/\\n/g,'\n')
+                     .replace(/\\r/g,'\r')
+                     .replace(/\\t/g,'\t')
+                     .replace(/\\v/g,'\v')
+                     .replace(/\\f/g,'\f')
+                     .replace(/\\b/g,'\b');
+        }
+    ;
+
+JSONNumber
+    : NUMBER
+        {$$ = Number(yytext);}
+    ;
+
+JSONNullLiteral
+    : NULL
+        {$$ = null;}
+    ;
+
+JSONBooleanLiteral
+    : TRUE
+        {$$ = true;}
+    | FALSE
+        {$$ = false;}
+    ;
+
+JSONText
+    : JSONValue EOF
+        {return $$ = $1;}
+    ;
+
+JSONValue
+    : JSONNullLiteral
+    | JSONBooleanLiteral
+    | JSONString
+    | JSONNumber
+    | JSONObject
+    | JSONArray
+    ;
+
+JSONObject
+    : '{' '}'
+        {{$$ = {};}}
+    | '{' JSONMemberList '}'
+        {$$ = $2;}
+    ;
+
+JSONMember
+    : JSONString ':' JSONValue
+        {$$ = [$1, $3];}
+    ;
+
+JSONMemberList
+    : JSONMember
+        {{$$ = {}; $$[$1[0]] = $1[1];}}
+    | JSONMemberList ',' JSONMember
+        {$$ = $1; $1[$3[0]] = $3[1];}
+    ;
+
+JSONArray
+    : '[' ']'
+        {$$ = [];}
+    | '[' JSONElementList ']'
+        {$$ = $2;}
+    ;
+
+JSONElementList
+    : JSONValue
+        {$$ = [$1];}
+    | JSONElementList ',' JSONValue
+        {$$ = $1; $1.push($3);}
+    ;
+