diff --git a/ChangeLog.md b/ChangeLog.md new file mode 100644 --- /dev/null +++ b/ChangeLog.md @@ -0,0 +1,30 @@ +# ChangeLog for `language-javascript` + +## 0.7.1.0 -- 2020-03-22 ++ Add support for `async` function specifiers and `await` keyword. + +## 0.7.0.0 -- 2019-10-10 + ++ Add support for (Ryan Hendrickson): + - Destructuring in var declarations + - `const` in for statements + - ES6 property shorthand syntax + - Template literals + - Computed property names + - Bare import declarations + - Exotic parameter syntaxes + - Generators and `yield` + - Method definitions + - classes + `- super` keyword + +## 0.6.0.13 -- 2019-06-17 + ++ Add support for (Cyril Sobierajewicz): + - Unparenthesized arrow functions of one parameter + - Export from declarations + - Add back support for identifiers named `as` + +## 0.6.0.12 -- 2019-05-03 + ++ Add support for for..of and friends (Franco Bulgarelli) diff --git a/README.md b/README.md --- a/README.md +++ b/README.md @@ -1,13 +1,33 @@ Parser for JavaScript --------------------- -[![Build Status](https://secure.travis-ci.org/alanz/language-javascript.png?branch=master)](http://travis-ci.org/alanz/language-javascript) +[![Build Status](https://secure.travis-ci.org/erikd/language-javascript.png?branch=master)](http://travis-ci.org/erikd/language-javascript) Based (loosely) on language-python +Two Versions +------------ + +There are currently two versions: + +* 0.5 series : Is a continuation of the 0.5.X.Y series, from the [master] +(https://github.com/erikd/language-javascript/tree/master) branch of this +github repository. + +* 0.6 and 0.7 series : This has a vastly different and improved AST which makes if far +more difficult to build an non-sensical Javascript AST. This code is in the +[new-ast](https://github.com/erikd/language-javascript/tree/new-ast) branch of +this github repository. + + How to build ------------ +Make sure your locale supports UTF-8. For example, on most Unix-like platforms, +you can type: + + export LC_ALL=en_US.UTF-8 + Library: cabal clean && cabal configure && cabal build @@ -25,7 +45,7 @@ happy -iparse.txt -g -a -d src/Language/JavaScript/Parser/Grammar5.y -This generates src/Language/JavaScript/Parser/Grammar.hs, delete this +This generates src/Language/JavaScript/Parser/Grammar5.hs, delete this when done with the debug version @@ -40,103 +60,3 @@ need to be made to the lexer, the Lexer.x source lies in src-dev, and the runalex.sh script will invoke Alex with the appropriate directories. - -Changes -------- - -``` -0.5.13 Put GHC 7.8.x -specific alex and happy versions, thanks - @simonmichael - -0.5.12 Put dependency on alex >= 3.0.5 in the cabal file, thanks @peti - -0.5.11 Remove pre-generated Lexer.hs as it does not work will all - versions of GHC. This means a current alex will have to be - installed before this package can be installed. - -0.5.10 Bring in alex 3.1.3, allowing compatibility with GHC 7.8 - -0.5.9 Relax array dependency for GHC 7.8.1, thanks @maoe - -0.5.8 Fixed compilation issue using GHC 7.6.3 on Mac OSX, thanks @albertov - -0.5.7 Remove the hs-source-dirs from test suite to prevent compilation - issues (@nomeata) - - Introduce parseFileUtf8 to explicitly use utf8 for parsing a - file, and update tests to use it where needed. Closes #21 - -0.5.6 Remove constraint on Alex 3.0.1, it is only required to make - changes to the lexer. Closes #19 - -0.5.5 Updated version ranges for GHC 7.6.1, courtesy of @mietek - Note: requires alex 3.0.1 for development (not install) - -0.5.4 Fixed bug where lexer switches to regexp mode after a ']' - char, reported by @aszlig - -0.5.3 Merge pull requests from @aszlig to add octal support, and to - allow leading zeros in exponents - -0.5.2 Merged pull request from @markwright added some missing test - files to the cabal file. - Added runalex.sh and Lexer.x to the cabal file. - -0.5.1 Export CommentAnnotation(..). Simplify AST by getting rid of - JSFunctionBody, JSSourceElements, JSStatementBlock, JSStatementList. - They are replaced by JSBlock or a simple list. - Also fix lexer mode in presence of whitespace. - Changed way tests are invoked, to allow Travis integration. - -0.5.0 Rework AST to allow full round-trip parsing and output of - JavaScript. Breaks AST compatibility with prior versions - -0.4.10 Moved Lexer.x into a separate directory, and made a script to - call alex to generate Lexer.hs. This means alex is not required - at install time - -0.4.9 Make alex and happy versions more explicit. Expose the AlexSpan - data type, so parse error positions can be reported. - -0.4.8 Close issue https://github.com/alanz/language-javascript/issues/5 by - correcting the lexical analyser for DecimalLiteral - -0.4.7 Continue ECMASCRIPT update, remove incorrect future reserved words for - "code", "mode", "of", "one", "or" and "strict", put in by accident/stupidity. - -0.4.6 Update to ECMASCRIPT 5.1 by allowing continuations in string literals - Include build dependencies on alex >= 3.0 and happy. - -0.4.5 Update cabal file and docs for Alex 3.0, giving out of the box unicode support - -0.4.4 Allow unicode characters in comments - -0.4.3 correct lexer for decimalToken, only leading digit needs to be non-zero. - -0.4.2 Expose SrcSpan - -0.4.1 Expose AST.Node as well. - -0.4.0 Updated JSNode to include location information, and made the parse more true to the original by leaving blocks as such, not replacing with ';'. - -0.3.0 ECMA-262 edition 5 compliance. Required adding JSFunctionExpression and JSPropertyAccessor to the AST. - -0.2.2 Heading toward compliance with edition 5. Trailing commas allowed in array literals too. - -0.2.1 Allow trailing comma in object literal - -0.2.0 ECMAScript 3 allows function expressions to have names, AST.JSFunctionExpression now reflects this - -0.1.0 Simplified AST by removing JSElement and JSElementList components - -0.0.3 Support for unicode in source. At the moment it only supports -UTF8 encoding, does not recognise byte order marks or UTF-16/UTF-32 - -0.0.2 Multiline comments were processed in greedy form, now end of -comment recognised properly. Thanks to Tony Morris for reporting this. - -0.0.1 Initial release -``` - -EOF - diff --git a/buildall.sh b/buildall.sh deleted file mode 100644 --- a/buildall.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh - -# First run alex on Lexer.x to generate Lexer.hs -#./runalex.sh - -# do a clean build of all, including the tests -#cabal clean && cabal configure -fbuildtests && cabal build && cabal haddock -cabal clean && cabal configure --enable-tests && cabal build && cabal test && cabal haddock diff --git a/language-javascript.cabal b/language-javascript.cabal --- a/language-javascript.cabal +++ b/language-javascript.cabal @@ -1,27 +1,27 @@ Name: language-javascript -Version: 0.5.13 +Version: 0.7.1.0 Synopsis: Parser for JavaScript Description: Parses Javascript into an Abstract Syntax Tree (AST). Initially intended as frontend to hjsmin. . Note: Version 0.5.0 breaks compatibility with prior versions, the AST has been reworked to allow round trip processing of JavaScript. -Homepage: https://github.com/alanz/language-javascript License: BSD3 License-file: LICENSE Author: Alan Zimmerman -Maintainer: alan.zimm@gmail.com -Copyright: (c) 2010,2011,2012 Alan Zimmerman +Maintainer: Erik de Castro Lopo +Copyright: (c) 2010-2015 Alan Zimmerman + (c) 2015-2019 Erik de Castro Lopo + (c) 2018 Daniel Gasienica Category: Language Build-type: Simple -homepage: http://github.com/alanz/language-javascript -bug-reports: http://github.com/alanz/language-javascript/issues +homepage: https://github.com/erikd/language-javascript +bug-reports: https://github.com/erikd/language-javascript/issues Extra-source-files: README.md + ChangeLog.md .ghci - buildall.sh test/Unicode.js test/k.js test/unicode.txt - -- runalex.sh src/Language/JavaScript/Parser/Lexer.x -- Version requirement upped for test support in later Cabal @@ -30,51 +30,64 @@ Library Build-depends: base >= 4 && < 5 - , array >= 0.3 && < 0.6 - , mtl >= 1.1 && < 2.9 - , containers >= 0.2 && < 0.6 - -- For the round trip output - , blaze-builder >= 0.2 && < 1 - , bytestring >= 0.9.1 && < 1 - , utf8-string >= 0.3.7 && < 1 - if impl(ghc >= 7.8) - build-tools: happy >= 1.19, alex >= 3.1 + , array >= 0.3 + , mtl >= 1.1 + , containers >= 0.2 + , blaze-builder >= 0.2 + , bytestring >= 0.9.1 + , text >= 1.2 + , utf8-string >= 0.3.7 && < 2 + if !impl(ghc>=8.0) + build-depends: semigroups >= 0.16.1 + + if impl(ghc >= 7.10) + build-tools: happy >= 1.19, alex >= 3.1.4 else - build-tools: happy >= 1.18.5, alex >= 3.0.5 + if impl(ghc >= 7.8) + build-tools: happy >= 1.19, alex >= 3.1 + else + build-tools: happy >= 1.18.5, alex >= 3.0.5 hs-source-dirs: src Exposed-modules: Language.JavaScript.Parser - Language.JavaScript.Parser.Parser - Language.JavaScript.Parser.Lexer - Language.JavaScript.Parser.Grammar5 Language.JavaScript.Parser.AST - Language.JavaScript.Pretty.Printer + Language.JavaScript.Parser.Grammar7 + Language.JavaScript.Parser.Lexer + Language.JavaScript.Parser.Parser Language.JavaScript.Parser.SrcLocation + Language.JavaScript.Pretty.Printer + Language.JavaScript.Process.Minify Other-modules: Language.JavaScript.Parser.LexerUtils Language.JavaScript.Parser.ParseError Language.JavaScript.Parser.ParserMonad - Language.JavaScript.Parser.StringEscape Language.JavaScript.Parser.Token - ghc-options: -Wall + ghc-options: -Wall -fwarn-tabs -Test-Suite test-language-javascript +Test-Suite testsuite Type: exitcode-stdio-1.0 - Main-is: runtests.hs + Main-is: testsuite.hs + hs-source-dirs: test + ghc-options: -Wall -fwarn-tabs build-depends: base, Cabal >= 1.9.2 - , QuickCheck >= 2 && < 3 - , HUnit - , test-framework-hunit - , test-framework - , array >= 0.3 && < 0.6 - , utf8-light >= 0.4 && < 1.0 - , containers >= 0.2 && < 0.6 - , mtl >= 1.1 && < 2.9 - , utf8-string >= 0.3.7 && < 1 - , bytestring >= 0.9.1 && < 1 - , blaze-builder >= 0.2 && < 1 - -- need our own library for tests - , language-javascript >= 0.5.5 + , QuickCheck >= 2 + , hspec + , array >= 0.3 + , utf8-light >= 0.4 + , containers >= 0.2 + , mtl >= 1.1 + , utf8-string >= 0.3.7 && < 2 + , bytestring >= 0.9.1 + , blaze-builder >= 0.2 + , language-javascript + Other-modules: Test.Language.Javascript.ExpressionParser + Test.Language.Javascript.Lexer + Test.Language.Javascript.LiteralParser + Test.Language.Javascript.Minify + Test.Language.Javascript.ModuleParser + Test.Language.Javascript.ProgramParser + Test.Language.Javascript.RoundTrip + Test.Language.Javascript.StatementParser source-repository head type: git - location: git://github.com/alanz/language-javascript.git + location: https://github.com/erikd/language-javascript.git diff --git a/runtests.hs b/runtests.hs deleted file mode 100644 --- a/runtests.hs +++ /dev/null @@ -1,793 +0,0 @@ -module Main where - -import Test.Framework (defaultMain, testGroup, Test) -import Test.Framework.Providers.HUnit -import Test.HUnit hiding (Test) - - -import Control.Monad (liftM) -import Language.JavaScript.Parser.Parser -import Language.JavaScript.Parser ---import Language.JavaScript.Parser.Grammar -import Language.JavaScript.Parser.Grammar5 - -{- -import Distribution.TestSuite - -instance TestOptions (String, Bool) where - name = fst - options = const [] - defaultOptions _ = return (Options []) - check _ _ = [] - -instance PureTestable (String, Bool) where - run (name, result) _ | result == True = Pass - | result == False = Fail (name ++ " failed!") - -test :: (String, Bool) -> Test -test = pure --} - -main :: IO () -main = defaultMain [testSuite,{- ++AZ++temporary++ commentSuite ,-}commentPrintSuite] - -one :: IO () -one = defaultMain [oneSuite] - -oneSuite :: Test -oneSuite = testGroup "One" - [ - testCase "ObjectLiteral7" (testProg "x={get foo() {return 1},set foo(a) {x=a}}" "") - ] - -testSuite :: Test -testSuite = testGroup "Parser" - [ - testCase "helloWorld" caseHelloWorld - , testCase "LiteralNull" (testLiteral "null" "Right (JSLiteral \"null\")") - , testCase "LiteralFalse" (testLiteral "false" "Right (JSLiteral \"false\")") - , testCase "LiteralTrue" (testLiteral "true" "Right (JSLiteral \"true\")") - , testCase "LiteralHexInteger1" (testLiteral "0x1234fF" "Right (JSHexInteger \"0x1234fF\")") - , testCase "LiteralHexInteger2" (testLiteral "0X1234fF" "Right (JSHexInteger \"0X1234fF\")") - , testCase "LiteralDecimal1" (testLiteral "1.0e4" "Right (JSDecimal \"1.0e4\")") - , testCase "LiteralDecimal2" (testLiteral "2.3E6" "Right (JSDecimal \"2.3E6\")") - , testCase "LiteralDecimal3" (testLiteral "4.5" "Right (JSDecimal \"4.5\")") - , testCase "LiteralDecimal3" (testLiteral "0.7e8" "Right (JSDecimal \"0.7e8\")") - , testCase "LiteralDecimal4" (testLiteral "0.7E8" "Right (JSDecimal \"0.7E8\")") - , testCase "LiteralDecimal5" (testLiteral "10" "Right (JSDecimal \"10\")") - , testCase "LiteralDecimal6" (testLiteral "0" "Right (JSDecimal \"0\")") - , testCase "LiteralDecimal7" (testLiteral "0.03" "Right (JSDecimal \"0.03\")") - , testCase "LiteralDecimal9" (testLiteral "0.7e+8" "Right (JSDecimal \"0.7e+8\")") - , testCase "LiteralDecimal10" (testLiteral "0.7e-18" "Right (JSDecimal \"0.7e-18\")") - , testCase "LiteralDecimal11" (testLiteral "1.0e+4" "Right (JSDecimal \"1.0e+4\")") - , testCase "LiteralDecimal12" (testLiteral "1.0e-4" "Right (JSDecimal \"1.0e-4\")") - , testCase "LiteralDecimal13" (testLiteral "1e18" "Right (JSDecimal \"1e18\")") - , testCase "LiteralDecimal14" (testLiteral "1e+18" "Right (JSDecimal \"1e+18\")") - , testCase "LiteralDecimal15" (testLiteral "1e-18" "Right (JSDecimal \"1e-18\")") - , testCase "LiteralDecimal16" (testLiteral "1E-01" "Right (JSDecimal \"1E-01\")") - - , testCase "LiteralOctal" (testLiteral "010" "Right (JSOctal \"010\")") - - , testCase "LiteralString1" (testLiteral "\"hello\\nworld\"" "Right (JSStringLiteral '\"' \"hello\\\\nworld\")") - , testCase "LiteralString2" (testLiteral "'hello\\nworld'" "Right (JSStringLiteral '\\'' \"hello\\\\nworld\")") - - , testCase "LiteralThis" (testPE "this" "Right (JSLiteral \"this\")") - - , testCase "LiteralRegex1" (testPE "/blah/" "Right (JSRegEx \"/blah/\")") - , testCase "LiteralRegex2" (testPE "/$/g" "Right (JSRegEx \"/$/g\")") - , testCase "LiteralRegex3" (testPE "/\\n/g" "Right (JSRegEx \"/\\\\n/g\")") - , testCase "LiteralRegex4" (testPE "/^\"(?:\\.|[^\"])*\"|^'(?:[^']|\\.)*'/" "Right (JSRegEx \"/^\\\"(?:\\\\.|[^\\\"])*\\\"|^'(?:[^']|\\\\.)*'/\")") - - - , testCase "Identifier1" (testPE "_$" "Right (JSIdentifier \"_$\")") - , testCase "Identifier2" (testPE "this_" "Right (JSIdentifier \"this_\")") - - , testCase "ArrayLiteral1" (testPE "[]" "Right (JSArrayLiteral [])") - , testCase "ArrayLiteral2" (testPE "[,]" "Right (JSArrayLiteral [JSElision JSLiteral \",\"])") - , testCase "ArrayLiteral3" (testPE "[,,]" "Right (JSArrayLiteral [JSElision JSLiteral \",\",JSElision JSLiteral \",\"])") - , testCase "ArrayLiteral4" (testPE "[,,x]" "Right (JSArrayLiteral [JSElision JSLiteral \",\",JSElision JSLiteral \",\",JSIdentifier \"x\"])") - , testCase "ArrayLiteral5" (testPE "[,,x]" "Right (JSArrayLiteral [JSElision JSLiteral \",\",JSElision JSLiteral \",\",JSIdentifier \"x\"])") - , testCase "ArrayLiteral6" (testPE "[,x,,x]" "Right (JSArrayLiteral [JSElision JSLiteral \",\",JSIdentifier \"x\",JSElision JSLiteral \",\",JSElision JSLiteral \",\",JSIdentifier \"x\"])") - , testCase "ArrayLiteral7" (testPE "[x]" "Right (JSArrayLiteral [JSIdentifier \"x\"])") - , testCase "ArrayLiteral8" (testPE "[x,]" "Right (JSArrayLiteral [JSIdentifier \"x\",JSLiteral \",\"])") - - , testCase "ObjectLiteral1" (testPE "{}" "Right (JSObjectLiteral [])") - , testCase "ObjectLiteral2" (testPE "{x:1}" "Right (JSObjectLiteral [JSPropertyNameandValue (JSIdentifier \"x\") [JSDecimal \"1\"]])") - , testCase "ObjectLiteral3" (testPE "{x:1,y:2}" "Right (JSObjectLiteral [JSPropertyNameandValue (JSIdentifier \"x\") [JSDecimal \"1\"],JSLiteral \",\",JSPropertyNameandValue (JSIdentifier \"y\") [JSDecimal \"2\"]])") - - , testCase "ObjectLiteral4" (testPE "{evaluate:evaluate,load:function load(s){if(x)return s;1}}" - "Right (JSObjectLiteral [JSPropertyNameandValue (JSIdentifier \"evaluate\") [JSIdentifier \"evaluate\"],JSLiteral \",\",JSPropertyNameandValue (JSIdentifier \"load\") [JSFunctionExpression [JSIdentifier \"load\"] [JSIdentifier \"s\"] (JSBlock ([JSIf (JSExpression [JSIdentifier \"x\"]) ([JSReturn [JSExpression [JSIdentifier \"s\"]] JSLiteral \";\"]) ([]),JSExpression [JSDecimal \"1\"]]))]])") - - , testCase "ObjectLiteral5" (testPE "{x:1,}" "Right (JSObjectLiteral [JSPropertyNameandValue (JSIdentifier \"x\") [JSDecimal \"1\"],JSLiteral \",\"])") - - , testCase "ObjectLiteral6" (testProg "a={\n values: 7,\n}\n" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"a\",JSOperator JSLiteral \"=\",JSObjectLiteral [JSPropertyNameandValue (JSIdentifier \"values\") [JSDecimal \"7\"],JSLiteral \",\"]],JSLiteral \"\"])") - - -- Edition 5 extensions - , testCase "ObjectLiteral7" (testProg "x={get foo() {return 1},set foo(a) {x=a}}" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSObjectLiteral [JSPropertyAccessor NT (JSLiteral \"get\") (TokenPn 3 1 4) [NoComment] (JSIdentifier \"foo\") [] (JSBlock ([JSReturn [JSExpression [JSDecimal \"1\"]] JSLiteral \"\"])),JSLiteral \",\",JSPropertyAccessor NT (JSLiteral \"set\") (TokenPn 24 1 25) [NoComment] (JSIdentifier \"foo\") [JSIdentifier \"a\"] (JSBlock ([JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSIdentifier \"a\"]]))]],JSLiteral \"\"])") - - , testCase "ObjectLiteral8" (testProg "a={if:1,interface:2}" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"a\",JSOperator JSLiteral \"=\",JSObjectLiteral [JSPropertyNameandValue (JSIdentifier \"if\") [JSDecimal \"1\"],JSLiteral \",\",JSPropertyNameandValue (JSIdentifier \"interface\") [JSDecimal \"2\"]]],JSLiteral \"\"])") - - , testCase "ExpressionParen" (testPE "(56)" "Right (JSExpressionParen (JSExpression [JSDecimal \"56\"]))") - - , testCase "Statement1" (testStmt "x" "Right (JSExpression [JSIdentifier \"x\"])") - , testCase "Statement2" (testStmt "null" "Right (JSExpression [JSLiteral \"null\"])") - , testCase "Statement3" (testStmt "true?1:2" "Right (JSExpression [JSExpressionTernary [JSLiteral \"true\"] [JSDecimal \"1\"] [JSDecimal \"2\"]])") - - , testCase "Statement4" (testStmt "x||y" "Right (JSExpression [JSExpressionBinary \"||\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - , testCase "Statement5" (testStmt "x&&y" "Right (JSExpression [JSExpressionBinary \"&&\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - , testCase "Statement6" (testStmt "x|y" "Right (JSExpression [JSExpressionBinary \"|\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - , testCase "Statement6" (testStmt "x^y" "Right (JSExpression [JSExpressionBinary \"^\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - , testCase "Statement7" (testStmt "x&y" "Right (JSExpression [JSExpressionBinary \"&\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - - , testCase "Statement8" (testStmt "x==y" "Right (JSExpression [JSExpressionBinary \"==\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - , testCase "Statement9" (testStmt "x!=y" "Right (JSExpression [JSExpressionBinary \"!=\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - , testCase "Statement10" (testStmt "x===y" "Right (JSExpression [JSExpressionBinary \"===\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - , testCase "Statement11" (testStmt "x!==y" "Right (JSExpression [JSExpressionBinary \"!==\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - - , testCase "Statement12" (testStmt "xy" "Right (JSExpression [JSExpressionBinary \">\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - , testCase "Statement12" (testStmt "x<=y" "Right (JSExpression [JSExpressionBinary \"<=\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - , testCase "Statement12" (testStmt "x>=y" "Right (JSExpression [JSExpressionBinary \">=\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - -- , testCase "Statement12" (testStmt "x instanceof y" "") -- TODO: restore test case - - , testCase "Statement13" (testStmt "x<>y" "Right (JSExpression [JSExpressionBinary \">>\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - , testCase "Statement13" (testStmt "x>>>y" "Right (JSExpression [JSExpressionBinary \">>>\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - - , testCase "Statement14" (testStmt "x+y" "Right (JSExpression [JSExpressionBinary \"+\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - , testCase "Statement14" (testStmt "x-y" "Right (JSExpression [JSExpressionBinary \"-\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - - , testCase "Statement15" (testStmt "x*y" "Right (JSExpression [JSExpressionBinary \"*\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - , testCase "Statement16" (testStmt "x/y" "Right (JSExpression [JSExpressionBinary \"/\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - , testCase "Statement17" (testStmt "x%y" "Right (JSExpression [JSExpressionBinary \"%\" [JSIdentifier \"x\"] [JSIdentifier \"y\"]])") - - , testCase "Statement18" (testStmt "delete y" "Right (JSExpression [JSUnary \"delete \",JSIdentifier \"y\"])") - , testCase "Statement19" (testStmt "void y" "Right (JSExpression [JSUnary \"void \",JSIdentifier \"y\"])") - , testCase "Statement20" (testStmt "typeof y" "Right (JSExpression [JSUnary \"typeof \",JSIdentifier \"y\"])") - , testCase "Statement21" (testStmt "++y" "Right (JSExpression [JSUnary \"++\",JSIdentifier \"y\"])") - , testCase "Statement22" (testStmt "--y" "Right (JSExpression [JSUnary \"--\",JSIdentifier \"y\"])") - , testCase "Statement23" (testStmt "+y" "Right (JSExpression [JSUnary \"+\",JSIdentifier \"y\"])") - , testCase "Statement24" (testStmt "-y" "Right (JSExpression [JSUnary \"-\",JSIdentifier \"y\"])") - , testCase "Statement25" (testStmt "~y" "Right (JSExpression [JSUnary \"~\",JSIdentifier \"y\"])") - , testCase "Statement26" (testStmt "!y" "Right (JSExpression [JSUnary \"!\",JSIdentifier \"y\"])") - - , testCase "Statement27" (testStmt "y++" "Right (JSExpression [JSExpressionPostfix \"++\" [JSIdentifier \"y\"]])") - , testCase "Statement28" (testStmt "y--" "Right (JSExpression [JSExpressionPostfix \"--\" [JSIdentifier \"y\"]])") - - -- Member Expressions - , testCase "MemberExpression1a" (testStmt "function(){}" "Right (JSExpression [JSFunctionExpression [] [] (JSBlock ([]))])") - , testCase "MemberExpression1b" (testStmt "function(a){}" "Right (JSExpression [JSFunctionExpression [] [JSIdentifier \"a\"] (JSBlock ([]))])") - , testCase "MemberExpression1c" (testStmt "function(a,b){}" "Right (JSExpression [JSFunctionExpression [] [JSIdentifier \"a\",JSLiteral \",\",JSIdentifier \"b\"] (JSBlock ([]))])") - - , testCase "MemberExpression1d" (testStmt "x[y]" "Right (JSExpression [JSMemberSquare [JSIdentifier \"x\"] (JSExpression [JSIdentifier \"y\"])])") - , testCase "MemberExpression1e" (testStmt "x[y][z]" "Right (JSExpression [JSMemberSquare [JSMemberSquare [JSIdentifier \"x\"] (JSExpression [JSIdentifier \"y\"])] (JSExpression [JSIdentifier \"z\"])])") - , testCase "MemberExpression1f" (testStmt "x.y" "Right (JSExpression [JSMemberDot [JSIdentifier \"x\"] (JSIdentifier \"y\")])") - , testCase "MemberExpression1g" (testStmt "x.y.z" "Right (JSExpression [JSMemberDot [JSMemberDot [JSIdentifier \"x\"] (JSIdentifier \"y\")] (JSIdentifier \"z\")])") - - , testCase "MemberExpression1h" (testStmt "new x()" "Right (JSExpression [JSLiteral \"new\",JSIdentifier \"x\",JSArguments []])") - - , testCase "NewExpression1" (testStmt "new x.y" "Right (JSExpression [JSLiteral \"new\",JSMemberDot [JSIdentifier \"x\"] (JSIdentifier \"y\")])") - - , testCase "CallExpression1" (testStmt "x()" "Right (JSExpression [JSIdentifier \"x\",JSArguments []])") - , testCase "CallExpression2" (testStmt "x()()" "Right (JSExpression [JSIdentifier \"x\",JSArguments [],JSCallExpression \"()\" [JSArguments []]])") - , testCase "CallExpression3" (testStmt "x()[4]" "Right (JSExpression [JSIdentifier \"x\",JSArguments [],JSCallExpression \"[]\" [JSExpression [JSDecimal \"4\"]]])") - , testCase "CallExpression4" (testStmt "x().x" "Right (JSExpression [JSIdentifier \"x\",JSArguments [],JSCallExpression \".\" [JSIdentifier \"x\"]])") - , testCase "CallExpression5" (testStmt "x(a,b=2).x" "Right (JSExpression [JSIdentifier \"x\",JSArguments [JSIdentifier \"a\",JSLiteral \",\",JSIdentifier \"b\",JSOperator JSLiteral \"=\",JSDecimal \"2\"],JSCallExpression \".\" [JSIdentifier \"x\"]])") - - , testCase "AssignExpression1" (testStmt "x=1" "Right (JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"])") - , testCase "AssignExpression2" (testStmt "x*=1" "Right (JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"*=\",JSDecimal \"1\"])") - , testCase "AssignExpression3" (testStmt "x/=1" "Right (JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"/=\",JSDecimal \"1\"])") - , testCase "AssignExpression4" (testStmt "x%=1" "Right (JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"%=\",JSDecimal \"1\"])") - , testCase "AssignExpression5" (testStmt "x+=1" "Right (JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"+=\",JSDecimal \"1\"])") - , testCase "AssignExpression6" (testStmt "x-=1" "Right (JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"-=\",JSDecimal \"1\"])") - , testCase "AssignExpression7" (testStmt "x<<=1" "Right (JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"<<=\",JSDecimal \"1\"])") - , testCase "AssignExpression8" (testStmt "x>>=1" "Right (JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \">>=\",JSDecimal \"1\"])") - , testCase "AssignExpression9" (testStmt "x>>>=1" "Right (JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \">>>=\",JSDecimal \"1\"])") - , testCase "AssignExpression10" (testStmt "x&=1" "Right (JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"&=\",JSDecimal \"1\"])") - , testCase "AssignExpression11" (testStmt "x^=1" "Right (JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"^=\",JSDecimal \"1\"])") - , testCase "AssignExpression12" (testStmt "x|=1" "Right (JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"|=\",JSDecimal \"1\"])") - - - , testCase "Block1" (testStmt "{}" "Right (JSBlock ([]))") - , testCase "Block2" (testStmt "{x=1}" "Right (JSBlock ([JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"]]))") - , testCase "Block3" (testStmt "{x=1;y=2}" "Right (JSBlock ([JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \";\",JSExpression [JSIdentifier \"y\",JSOperator JSLiteral \"=\",JSDecimal \"2\"]]))") - , testCase "Block4" (testStmt "{{}}" "Right (JSBlock ([JSBlock ([])]))") - , testCase "Block5" (testStmt "{{{}}}" "Right (JSBlock ([JSBlock ([JSBlock ([])])]))") - - , testCase "If1" (testStmt "if (1) {}" "Right (JSIf (JSExpression [JSDecimal \"1\"]) ([JSBlock ([])]) ([]))") - - , testCase "IfElse1" (testStmt "if (1) {} else {}" "Right (JSIf (JSExpression [JSDecimal \"1\"]) ([JSBlock ([])]) ([JSLiteral \"else\",JSBlock ([])]))") - , testCase "IfElse2" (testStmt "if (1) x=1; else {}" "Right (JSIf (JSExpression [JSDecimal \"1\"]) ([JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \";\"]) ([JSLiteral \"else\",JSBlock ([])]))") - - , testCase "DoWhile1" (testStmt "do {x=1} while (true);" "Right (JSDoWhile (JSBlock ([JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"]])) (JSExpression [JSLiteral \"true\"]) (JSLiteral \";\"))") - , testCase "While1" (testStmt "while(true);" "Right (JSWhile (JSExpression [JSLiteral \"true\"]) (JSLiteral \";\"))") - - , testCase "For1" (testStmt "for(;;);" "Right (JSFor [] [] [] (JSLiteral \";\"))") - , testCase "For2" (testStmt "for(x=1;x<10;x++);" "Right (JSFor [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"]] [JSExpression [JSExpressionBinary \"<\" [JSIdentifier \"x\"] [JSDecimal \"10\"]]] [JSExpression [JSExpressionPostfix \"++\" [JSIdentifier \"x\"]]] (JSLiteral \";\"))") - - , testCase "ForVar1" (testStmt "for(var x;;);" "Right (JSForVar [JSVarDecl (JSIdentifier \"x\") []] [] [] (JSLiteral \";\"))") - , testCase "ForVar2a" (testStmt "for(var x=1;;);" "Right (JSForVar [JSVarDecl (JSIdentifier \"x\") [JSLiteral \"=\",JSDecimal \"1\"]] [] [] (JSLiteral \";\"))") - , testCase "ForVar2b" (testStmt "for(var x;y;z){}" "Right (JSForVar [JSVarDecl (JSIdentifier \"x\") []] [JSExpression [JSIdentifier \"y\"]] [JSExpression [JSIdentifier \"z\"]] (JSBlock ([])))") - - , testCase "ForIn1" (testStmt "for(x in 5){}" "Right (JSForIn [JSIdentifier \"x\"] (JSExpression [JSDecimal \"5\"]) (JSBlock ([])))") - - , testCase "ForVarIn1" (testStmt "for(var x in 5){}" "Right (JSForVarIn (JSVarDecl (JSIdentifier \"x\") []) (JSExpression [JSDecimal \"5\"]) (JSBlock ([])))") - - , testCase "Var1" (testStmt "var x=1;" "Right (JSVariables JSLiteral \"var\" [JSVarDecl (JSIdentifier \"x\") [JSLiteral \"=\",JSDecimal \"1\"]])") - , testCase "Var2" (testStmt "const x=1,y=2;" "Right (JSVariables JSLiteral \"const\" [JSVarDecl (JSIdentifier \"x\") [JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \",\",JSVarDecl (JSIdentifier \"y\") [JSLiteral \"=\",JSDecimal \"2\"]])") - - , testCase "Continue1" (testStmt "continue;" "Right (JSContinue [] JSLiteral \";\")") - , testCase "Continue2" (testStmt "continue x;" "Right (JSContinue [JSIdentifier \"x\"] JSLiteral \";\")") - - , testCase "Break1" (testStmt "break;" "Right (JSBreak [] JSLiteral \";\")") - , testCase "Break2" (testStmt "break x;" "Right (JSBreak [JSIdentifier \"x\"] JSLiteral \";\")") - - , testCase "Return1" (testStmt "return;" "Right (JSReturn [] JSLiteral \";\")") - , testCase "Return2" (testStmt "return x;" "Right (JSReturn [JSExpression [JSIdentifier \"x\"]] JSLiteral \";\")") - - , testCase "With1" (testStmt "with (x) {};" "Right (JSWith (JSExpression [JSIdentifier \"x\"]) [JSBlock ([]),JSLiteral \";\"])") - - , testCase "Labelled1" (testStmt "abc:x=1" "Right (JSLabelled (JSIdentifier \"abc\") (JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"]))") - - , testCase "Switch1" (testStmt "switch (x) {}" "Right (JSSwitch (JSExpression [JSIdentifier \"x\"]) JSBlock ([JSLiteral \"\"]))") - , testCase "Switch2" (testStmt "switch (x) {case 1:break;}" "Right (JSSwitch (JSExpression [JSIdentifier \"x\"]) JSBlock ([JSCase (JSExpression [JSDecimal \"1\"]) ([JSBreak [] JSLiteral \";\"])]))") - , testCase "Switch3" (testStmt "switch (x) {case 0:\ncase 1:break;}" "Right (JSSwitch (JSExpression [JSIdentifier \"x\"]) JSBlock ([JSCase (JSExpression [JSDecimal \"0\"]) ([]),JSCase (JSExpression [JSDecimal \"1\"]) ([JSBreak [] JSLiteral \";\"])]))") - , testCase "Switch4" (testStmt "switch (x) {default:break;}" "Right (JSSwitch (JSExpression [JSIdentifier \"x\"]) JSBlock ([JSLiteral \"\",JSDefault ([JSBreak [] JSLiteral \";\"]),JSLiteral \"\"]))") - , testCase "Switch5" (testStmt "switch (x) {default:\ncase 1:break;}" "Right (JSSwitch (JSExpression [JSIdentifier \"x\"]) JSBlock ([JSLiteral \"\",JSDefault ([]),JSCase (JSExpression [JSDecimal \"1\"]) ([JSBreak [] JSLiteral \";\"])]))") - - , testCase "Throw1" (testStmt "throw 1" "Right (JSThrow (JSExpression [JSDecimal \"1\"]))") - - , testCase "Try1" (testStmt "try{}catch(a){}" "Right (JSTry (JSBlock ([])) [JSCatch (JSIdentifier \"a\") [] (JSBlock ([]))])") - , testCase "Try2" (testStmt "try{}finally{}" "Right (JSTry (JSBlock ([])) [JSFinally (JSBlock ([]))])") - , testCase "Try3" (testStmt "try{}catch(a){}finally{}" "Right (JSTry (JSBlock ([])) [JSCatch (JSIdentifier \"a\") [] (JSBlock ([])),JSFinally (JSBlock ([]))])") - - , testCase "Try4" (testStmt "try{}catch(a){}catch(b){}finally{}" "Right (JSTry (JSBlock ([])) [JSCatch (JSIdentifier \"a\") [] (JSBlock ([])),JSCatch (JSIdentifier \"b\") [] (JSBlock ([])),JSFinally (JSBlock ([]))])") - , testCase "Try5" (testStmt "try{}catch(a){}catch(b){}" "Right (JSTry (JSBlock ([])) [JSCatch (JSIdentifier \"a\") [] (JSBlock ([])),JSCatch (JSIdentifier \"b\") [] (JSBlock ([]))])") - , testCase "Try6" (testStmt "try{}catch(a if true){}catch(b){}" "Right (JSTry (JSBlock ([])) [JSCatch (JSIdentifier \"a\") [JSLiteral \"if\",JSLiteral \"true\"] (JSBlock ([])),JSCatch (JSIdentifier \"b\") [] (JSBlock ([]))])") - - , testCase "Function1" (testProg "function a(){}" "Right (JSSourceElementsTop [JSFunction (JSIdentifier \"a\") [] (JSBlock ([])),JSLiteral \"\"])") - , testCase "Function2" (testProg "function a(b,c){}" "Right (JSSourceElementsTop [JSFunction (JSIdentifier \"a\") [JSIdentifier \"b\",JSLiteral \",\",JSIdentifier \"c\"] (JSBlock ([])),JSLiteral \"\"])") - - , testCase "Comment1" (testProg "//blah\nx=1;//foo\na" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \";\",JSExpression [JSIdentifier \"a\"],JSLiteral \"\"])") - - , testCase "Comment2" (testProg "/*x=1\ny=2\n*/z=2;//foo\na" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"z\",JSOperator JSLiteral \"=\",JSDecimal \"2\"],JSLiteral \";\",JSExpression [JSIdentifier \"a\"],JSLiteral \"\"])") - - , testCase "min_100_animals1" (testProg "function Animal(name){if(!name)throw new Error('Must specify an animal name');this.name=name};Animal.prototype.toString=function(){return this.name};o=new Animal(\"bob\");o.toString()==\"bob\"" - "Right (JSSourceElementsTop [JSFunction (JSIdentifier \"Animal\") [JSIdentifier \"name\"] (JSBlock ([JSIf (JSExpression [JSUnary \"!\",JSIdentifier \"name\"]) ([JSThrow (JSExpression [JSLiteral \"new\",JSIdentifier \"Error\",JSArguments [JSStringLiteral '\\'' \"Must specify an animal name\"]]),JSLiteral \";\"]) ([]),JSExpression [JSMemberDot [JSLiteral \"this\"] (JSIdentifier \"name\"),JSOperator JSLiteral \"=\",JSIdentifier \"name\"]])),JSLiteral \";\",JSExpression [JSMemberDot [JSMemberDot [JSIdentifier \"Animal\"] (JSIdentifier \"prototype\")] (JSIdentifier \"toString\"),JSOperator JSLiteral \"=\",JSFunctionExpression [] [] (JSBlock ([JSReturn [JSExpression [JSMemberDot [JSLiteral \"this\"] (JSIdentifier \"name\")]] JSLiteral \"\"]))],JSLiteral \";\",JSExpression [JSIdentifier \"o\",JSOperator JSLiteral \"=\",JSLiteral \"new\",JSIdentifier \"Animal\",JSArguments [JSStringLiteral '\"' \"bob\"]],JSLiteral \";\",JSExpression [JSExpressionBinary \"==\" [JSMemberDot [JSIdentifier \"o\"] (JSIdentifier \"toString\"),JSArguments []] [JSStringLiteral '\"' \"bob\"]],JSLiteral \"\"])") - - , testCase "min_100_animals2" (testProg "Animal=function(){return this.name};" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"Animal\",JSOperator JSLiteral \"=\",JSFunctionExpression [] [] (JSBlock ([JSReturn [JSExpression [JSMemberDot [JSLiteral \"this\"] (JSIdentifier \"name\")]] JSLiteral \"\"]))],JSLiteral \";\",JSLiteral \"\"])") - - , testCase "min_100_animals3" (testProg "if(a)x=1;y=2" "Right (JSSourceElementsTop [JSIf (JSExpression [JSIdentifier \"a\"]) ([JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \";\"]) ([]),JSExpression [JSIdentifier \"y\",JSOperator JSLiteral \"=\",JSDecimal \"2\"],JSLiteral \"\"])") - - , testCase "min_100_animals4" (testProg "if(a)x=a()y=2" "Right (JSSourceElementsTop [JSIf (JSExpression [JSIdentifier \"a\"]) ([JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSIdentifier \"a\",JSArguments []]]) ([]),JSExpression [JSIdentifier \"y\",JSOperator JSLiteral \"=\",JSDecimal \"2\"],JSLiteral \"\"])") - - , testCase "05_regex" (testProg "newlines=spaces.match(/\\n/g)" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"newlines\",JSOperator JSLiteral \"=\",JSMemberDot [JSIdentifier \"spaces\"] (JSIdentifier \"match\"),JSArguments [JSRegEx \"/\\\\n/g\"]],JSLiteral \"\"])") - - , testCase "05_regex2" (testProg "x=/\\n/g" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSRegEx \"/\\\\n/g\"],JSLiteral \"\"])") - - , testCase "05_regex3" (testProg "x=i(/[?|^&(){}\\[\\]+\\-*\\/\\.]/g,\"\\\\$&\")" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSIdentifier \"i\",JSArguments [JSRegEx \"/[?|^&(){}\\\\[\\\\]+\\\\-*\\\\/\\\\.]/g\",JSLiteral \",\",JSStringLiteral '\"' \"\\\\\\\\$&\"]],JSLiteral \"\"])") - - , testCase "05_regex4" (testProg "x=i(/^$/g,\"\\\\$&\")" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSIdentifier \"i\",JSArguments [JSRegEx \"/^$/g\",JSLiteral \",\",JSStringLiteral '\"' \"\\\\\\\\$&\"]],JSLiteral \"\"])") - - , testCase "05_regex5" (testProg "if(/^[a-z]/.test(t)){consts+=t.toUpperCase();keywords[t]=i}else consts+=(/^\\W/.test(t)?opTypeNames[t]:t);" - "Right (JSSourceElementsTop [JSIf (JSExpression [JSMemberDot [JSRegEx \"/^[a-z]/\"] (JSIdentifier \"test\"),JSArguments [JSIdentifier \"t\"]]) ([JSBlock ([JSExpression [JSIdentifier \"consts\",JSOperator JSLiteral \"+=\",JSMemberDot [JSIdentifier \"t\"] (JSIdentifier \"toUpperCase\"),JSArguments []],JSLiteral \";\",JSExpression [JSMemberSquare [JSIdentifier \"keywords\"] (JSExpression [JSIdentifier \"t\"]),JSOperator JSLiteral \"=\",JSIdentifier \"i\"]])]) ([JSLiteral \"else\",JSExpression [JSIdentifier \"consts\",JSOperator JSLiteral \"+=\",JSExpressionParen (JSExpression [JSExpressionTernary [JSMemberDot [JSRegEx \"/^\\\\W/\"] (JSIdentifier \"test\"),JSArguments [JSIdentifier \"t\"]] [JSMemberSquare [JSIdentifier \"opTypeNames\"] (JSExpression [JSIdentifier \"t\"])] [JSIdentifier \"t\"]])]]),JSLiteral \";\",JSLiteral \"\"])") - - , testCase "if_semi" (testProg "if(x);x=1" "Right (JSSourceElementsTop [JSIf (JSExpression [JSIdentifier \"x\"]) ([JSLiteral \";\"]) ([]),JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \"\"])") - - , testCase "67_bob" (testProg "(match = /^\"(?:\\\\.|[^\"])*\"|^'(?:[^']|\\\\.)*'/(input))" "Right (JSSourceElementsTop [JSExpression [JSExpressionParen (JSExpression [JSIdentifier \"match\",JSOperator JSLiteral \"=\",JSRegEx \"/^\\\"(?:\\\\\\\\.|[^\\\"])*\\\"|^'(?:[^']|\\\\\\\\.)*'/\",JSArguments [JSIdentifier \"input\"]])],JSLiteral \"\"])") - - , testCase "122_jsexec" (testProg "v = getValue(execute(n[0], x)) in getValue(execute(n[1], x));" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"v\",JSOperator JSLiteral \"=\",JSExpressionBinary \" in \" [JSIdentifier \"getValue\",JSArguments [JSIdentifier \"execute\",JSArguments [JSMemberSquare [JSIdentifier \"n\"] (JSExpression [JSDecimal \"0\"]),JSLiteral \",\",JSIdentifier \"x\"]]] [JSIdentifier \"getValue\",JSArguments [JSIdentifier \"execute\",JSArguments [JSMemberSquare [JSIdentifier \"n\"] (JSExpression [JSDecimal \"1\"]),JSLiteral \",\",JSIdentifier \"x\"]]]],JSLiteral \";\",JSLiteral \"\"])") - - , testCase "bug1a" (testProg "/* */\nfunction f() {\n/* */\n}\n" "Right (JSSourceElementsTop [JSFunction (JSIdentifier \"f\") [] (JSBlock ([])),JSLiteral \"\"])") - , testCase "bug1b" (testProg "/* **/\nfunction f() {\n/* */\n}\n" "Right (JSSourceElementsTop [JSFunction (JSIdentifier \"f\") [] (JSBlock ([])),JSLiteral \"\"])") - - , testCase "unicode1-ws" (testProg "a \f\v\t\r\n=\x00a0\x1680\x180e\x2000\x2001\x2002\x2003\x2004\x2005\x2006\x2007\x2008\x2009\x200a\x2028\x2029\x202f\x205f\x3000\&1;" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"a\",JSOperator JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \";\",JSLiteral \"\"])") - - , testCase "unicode2-lt" (testProg "//comment\x000Ax=1;" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \";\",JSLiteral \"\"])") - , testCase "unicode3-lt" (testProg "//comment\x000Dx=1;" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \";\",JSLiteral \"\"])") - , testCase "unicode4-lt" (testProg "//comment\x2028x=1;" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \";\",JSLiteral \"\"])") - , testCase "unicode5-lt" (testProg "//comment\x2029x=1;" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \";\",JSLiteral \"\"])") - - , testCase "unicode2" (testProg "àáâãäå = 1;" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"\\224\\225\\226\\227\\228\\229\",JSOperator JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \";\",JSLiteral \"\"])") - - , testCase "unicode3" (testProg "$aà = 1;_b=2;\0065a=2" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"$a\\224\",JSOperator JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \";\",JSExpression [JSIdentifier \"_b\",JSOperator JSLiteral \"=\",JSDecimal \"2\"],JSLiteral \";\",JSExpression [JSIdentifier \"Aa\",JSOperator JSLiteral \"=\",JSDecimal \"2\"],JSLiteral \"\"])") - - , testCase "unicode4" (testProg "x=\"àáâãäå\";y='\3012a\0068'" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSStringLiteral '\"' \"\\224\\225\\226\\227\\228\\229\"],JSLiteral \";\",JSExpression [JSIdentifier \"y\",JSOperator JSLiteral \"=\",JSStringLiteral '\\'' \"\\3012aD\"],JSLiteral \"\"])") - - , testCase "unicode5f" (testFileUtf8 "./test/Unicode.js" "JSSourceElementsTop [JSExpression [JSIdentifier \"\\224\\225\\226\\227\\228\\229\",JSOperator JSLiteral \"=\",JSDecimal \"1\"],JSLiteral \";\",JSLiteral \"\"]") - - , testCase "bug2.a" (testProg "function() {\nz = function /*z*/(o) {\nreturn r;\n};}" "Right (JSSourceElementsTop [JSExpression [JSFunctionExpression [] [] (JSBlock ([JSExpression [JSIdentifier \"z\",JSOperator JSLiteral \"=\",JSFunctionExpression [] [JSIdentifier \"o\"] (JSBlock ([JSReturn [JSExpression [JSIdentifier \"r\"]] JSLiteral \";\"]))],JSLiteral \";\"]))],JSLiteral \"\"])") - - , testCase "bug2.b" (testProg "function() {\nz = function z(o) {\nreturn r;\n};}" "Right (JSSourceElementsTop [JSExpression [JSFunctionExpression [] [] (JSBlock ([JSExpression [JSIdentifier \"z\",JSOperator JSLiteral \"=\",JSFunctionExpression [JSIdentifier \"z\"] [JSIdentifier \"o\"] (JSBlock ([JSReturn [JSExpression [JSIdentifier \"r\"]] JSLiteral \";\"]))],JSLiteral \";\"]))],JSLiteral \"\"])") - - -- https://github.com/alanz/hjsmin/issues/#issue/3 - , testCase "bug3" (testProg "var myLatlng = new google.maps.LatLng(56.8379100, 60.5806664);" "Right (JSSourceElementsTop [JSVariables JSLiteral \"var\" [JSVarDecl (JSIdentifier \"myLatlng\") [JSLiteral \"=\",JSLiteral \"new\",JSMemberDot [JSMemberDot [JSIdentifier \"google\"] (JSIdentifier \"maps\")] (JSIdentifier \"LatLng\"),JSArguments [JSDecimal \"56.8379100\",JSLiteral \",\",JSDecimal \"60.5806664\"]]],JSLiteral \"\"])") - - -- https://github.com/alanz/hjsmin/issues/#issue/4 - , testCase "bug4" (testProg "/* * geolocation. пытаемся определить свое местоположение * если не получается то используем defaultLocation * @Param {object} map экземпляр карты * @Param {object LatLng} defaultLocation Координаты центра по умолчанию * @Param {function} callbackAfterLocation Фу-ия которая вызывается после * геолокации. Т.к запрос геолокации асинхронен */x" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\"],JSLiteral \"\"])") - - - - , testCase "02_sm.js" (testProg "{zero}\none1;two\n{three\nfour;five;\n{\nsix;{seven;}\n}\n}" "Right (JSSourceElementsTop [JSBlock ([JSExpression [JSIdentifier \"zero\"]]),JSExpression [JSIdentifier \"one1\"],JSLiteral \";\",JSExpression [JSIdentifier \"two\"],JSBlock ([JSExpression [JSIdentifier \"three\"],JSExpression [JSIdentifier \"four\"],JSLiteral \";\",JSExpression [JSIdentifier \"five\"],JSLiteral \";\",JSBlock ([JSExpression [JSIdentifier \"six\"],JSLiteral \";\",JSBlock ([JSExpression [JSIdentifier \"seven\"],JSLiteral \";\"])])]),JSLiteral \"\"])") - - , testCase "02_sm.js.2" (testProg "{zero}\nget;two\n{three\nfour;set;\n{\nsix;{seven;}\n}\n}" "Right (JSSourceElementsTop [JSBlock ([JSExpression [JSIdentifier \"zero\"]]),JSExpression [JSIdentifier \"get\"],JSLiteral \";\",JSExpression [JSIdentifier \"two\"],JSBlock ([JSExpression [JSIdentifier \"three\"],JSExpression [JSIdentifier \"four\"],JSLiteral \";\",JSExpression [JSIdentifier \"set\"],JSLiteral \";\",JSBlock ([JSExpression [JSIdentifier \"six\"],JSLiteral \";\",JSBlock ([JSExpression [JSIdentifier \"seven\"],JSLiteral \";\"])])]),JSLiteral \"\"])") - - , testCase "loc1" (testProgUn "x = 1\n y=2;" "Right (NN (JSSourceElementsTop [NN (JSExpression [NT (JSIdentifier \"x\") (TokenPn 0 1 1) [NoComment],NN (JSOperator (NT (JSLiteral \"=\") (TokenPn 2 1 3) [WhiteSpace (TokenPn 1 1 2) \" \"])),NT (JSDecimal \"1\") (TokenPn 4 1 5) [WhiteSpace (TokenPn 3 1 4) \" \"]]),NN (JSExpression [NT (JSIdentifier \"y\") (TokenPn 8 2 3) [WhiteSpace (TokenPn 5 1 6) \"\\n \"],NN (JSOperator (NT (JSLiteral \"=\") (TokenPn 9 2 4) [NoComment])),NT (JSDecimal \"2\") (TokenPn 10 2 5) [NoComment]]),NT (JSLiteral \";\") (TokenPn 11 2 6) [NoComment],NT (JSLiteral \"\") (TokenPn 0 0 0) [NoComment]]))") - - -- https://github.com/alanz/language-javascript/issues/2 - , testCase "issue2" (testProg "var img = document.createElement('img');\nimg.src = \"mylogo.jpg\";\n$(img).click(function() {\n alert('clicked!');\n});" "Right (JSSourceElementsTop [JSVariables JSLiteral \"var\" [JSVarDecl (JSIdentifier \"img\") [JSLiteral \"=\",JSMemberDot [JSIdentifier \"document\"] (JSIdentifier \"createElement\"),JSArguments [JSStringLiteral '\\'' \"img\"]]],JSExpression [JSMemberDot [JSIdentifier \"img\"] (JSIdentifier \"src\"),JSOperator JSLiteral \"=\",JSStringLiteral '\"' \"mylogo.jpg\"],JSLiteral \";\",JSExpression [JSIdentifier \"$\",JSArguments [JSIdentifier \"img\"],JSCallExpression \".\" [JSIdentifier \"click\"],JSCallExpression \"()\" [JSArguments [JSFunctionExpression [] [] (JSBlock ([JSExpression [JSIdentifier \"alert\",JSArguments [JSStringLiteral '\\'' \"clicked!\"]],JSLiteral \";\"]))]]],JSLiteral \";\",JSLiteral \"\"])") - - - -- Working in ECMASCRIPT 5.1 changes - , testCase "lineTerminatorInString1" (testProg "x='abc\\\ndef';" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSStringLiteral '\\'' \"abc\\\\\\ndef\"],JSLiteral \";\",JSLiteral \"\"])") - , testCase "lineTerminatorInString2" (testProg "x=\"abc\\\ndef\";" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSStringLiteral '\"' \"abc\\\\\\ndef\"],JSLiteral \";\",JSLiteral \"\"])") - , testCase "lineTerminatorInString3" (testProg "x=\"abc\\\rdef\";" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSStringLiteral '\"' \"abc\\\\\\rdef\"],JSLiteral \";\",JSLiteral \"\"])") - , testCase "lineTerminatorInString4" (testProg "x=\"abc\\\x2028 def\";" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSStringLiteral '\"' \"abc\\\\\\8232 def\"],JSLiteral \";\",JSLiteral \"\"])") - , testCase "lineTerminatorInString5" (testProg "x=\"abc\\\x2029 def\";" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSStringLiteral '\"' \"abc\\\\\\8233 def\"],JSLiteral \";\",JSLiteral \"\"])") - , testCase "lineTerminatorInString6" (testProg "x=\"abc\\\r\ndef\";" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSStringLiteral '\"' \"abc\\\\\\r\\ndef\"],JSLiteral \";\",JSLiteral \"\"])") - - - -- https://github.com/alanz/language-javascript/issues/4 - , testCase "issue4ok" (testProg "var k = {\ny: somename\n}" "Right (JSSourceElementsTop [JSVariables JSLiteral \"var\" [JSVarDecl (JSIdentifier \"k\") [JSLiteral \"=\",JSObjectLiteral [JSPropertyNameandValue (JSIdentifier \"y\") [JSIdentifier \"somename\"]]]],JSLiteral \"\"])") - , testCase "issue4bug1" (testProg "var k = {\ny: code\n}" "Right (JSSourceElementsTop [JSVariables JSLiteral \"var\" [JSVarDecl (JSIdentifier \"k\") [JSLiteral \"=\",JSObjectLiteral [JSPropertyNameandValue (JSIdentifier \"y\") [JSIdentifier \"code\"]]]],JSLiteral \"\"])") - , testCase "issue4bug2" (testProg "var k = {\ny: mode\n}" "Right (JSSourceElementsTop [JSVariables JSLiteral \"var\" [JSVarDecl (JSIdentifier \"k\") [JSLiteral \"=\",JSObjectLiteral [JSPropertyNameandValue (JSIdentifier \"y\") [JSIdentifier \"mode\"]]]],JSLiteral \"\"])") - - -- https://github.com/alanz/language-javascript/issues/5 - , testCase "issue5bug1" (testProg "x = { y: 1e8 }" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSObjectLiteral [JSPropertyNameandValue (JSIdentifier \"y\") [JSDecimal \"1e8\"]]],JSLiteral \"\"])") - , testCase "issue5ok2" (testProg "{ y: 1e8 }" "Right (JSSourceElementsTop [JSBlock ([JSLabelled (JSIdentifier \"y\") (JSExpression [JSDecimal \"1e8\"])]),JSLiteral \"\"])") - , testCase "issue5ok3" (testProg "{ y: 18 }" "Right (JSSourceElementsTop [JSBlock ([JSLabelled (JSIdentifier \"y\") (JSExpression [JSDecimal \"18\"])]),JSLiteral \"\"])") - , testCase "issue5ok4" (testProg "x = { y: 18 }" "Right (JSSourceElementsTop [JSExpression [JSIdentifier \"x\",JSOperator JSLiteral \"=\",JSObjectLiteral [JSPropertyNameandValue (JSIdentifier \"y\") [JSDecimal \"18\"]]],JSLiteral \"\"])") - - -- https://github.com/alanz/language-javascript/issues/14 - , testCase "issue14" (testProg "var z = x[i] / y;" "Right (JSSourceElementsTop [JSVariables JSLiteral \"var\" [JSVarDecl (JSIdentifier \"z\") [JSLiteral \"=\",JSExpressionBinary \"/\" [JSMemberSquare [JSIdentifier \"x\"] (JSExpression [JSIdentifier \"i\"])] [JSIdentifier \"y\"]]],JSLiteral \"\"])") - - ] - -srcHelloWorld = "Hello" -caseHelloWorld = - "JSSourceElementsTop [JSExpression [JSIdentifier \"Hello\"],JSLiteral \"\"]" - -- @=? (show $ parse srcHelloWorld "src") - @=? (showStripped $ readJs srcHelloWorld) - - --- --------------------------------------------------------------------- - -commentSuite :: Test -commentSuite = testGroup "Comments" - [ - testCase "helloWorld" caseHelloWorld - , testCase "LiteralNull" (testLiteralC "/*a*/null" "Right (NS (JSLiteral \"null\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"])") - , testCase "LiteralFalse" (testLiteralC "/*b*/false" "Right (NS (JSLiteral \"false\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*b*/\"])") - , testCase "LiteralTrue" (testLiteralC "true" "Right (NS (JSLiteral \"true\") (TokenPn 0 1 1) [NoComment])") - , testCase "LiteralTrue" (testLiteralC "/*c*/true" "Right (NS (JSLiteral \"true\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*c*/\"])") - - , testCase "LiteralHexInteger" (testLiteralC "/*d*/0x1234fF" "Right (NS (JSHexInteger \"0x1234fF\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*d*/\"])") - , testCase "LiteralDecimal" (testLiteralC "/*e*/1.0e4" "Right (NS (JSDecimal \"1.0e4\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*e*/\"])") - , testCase "LiteralOctal" (testLiteralC "/*x*/011" "Right (NS (JSOctal \"011\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*x*/\"])") - , testCase "LiteralString1" (testLiteralC "/*f*/\"hello\\nworld\"" "Right (NS (JSStringLiteral '\"' \"hello\\\\nworld\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*f*/\"])") - , testCase "LiteralString2" (testLiteralC "/*g*/'hello\\nworld'" "Right (NS (JSStringLiteral '\\'' \"hello\\\\nworld\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*g*/\"])") - - - , testCase "LiteralThis" (testPEC "/*h*/this" "Right (NS (JSLiteral \"this\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*h*/\"])") - - , testCase "LiteralRegex1" (testPEC "/*i*//blah/" "Right (NS (JSRegEx \"/blah/\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*i*/\"])") - - , testCase "Identifier2" (testPEC "//j\nthis_" "Right (NS (JSIdentifier \"this_\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"//j\"])") - - , testCase "ArrayLiteral1" (testPEC "/*a*/[/*b*/]" "Right (NS (JSArrayLiteral []) (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\",CommentA (TokenPn 6 1 7) \"/*b*/\"])") - , testCase "ArrayLiteral2" (testPEC "/*a*/[/*b*/,/*c*/]" "Right (NS (JSArrayLiteral [NS (JSElision []) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\",CommentA (TokenPn 12 1 13) \"/*c*/\"])") - , testCase "ArrayLiteral3" (testPEC "/*a*/[/*b*/,/*c*/,/*d*/]" "Right (NS (JSArrayLiteral [NS (JSElision []) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"],NS (JSElision []) (TokenPn 12 1 13) [CommentA (TokenPn 12 1 13) \"/*c*/\"]]) (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\",CommentA (TokenPn 18 1 19) \"/*d*/\"])") - , testCase "ArrayLiteral4" (testPEC "/*a*/[/*b/*,/*c*/,/*d*/x/*e*/]" "Right (NS (JSArrayLiteral [NS (JSElision []) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b/*,/*c*/\"],NS (JSIdentifier \"x\") (TokenPn 18 1 19) [CommentA (TokenPn 18 1 19) \"/*d*/\"]]) (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\",CommentA (TokenPn 24 1 25) \"/*e*/\"])") - , testCase "ArrayLiteral5" (testPEC "/*a*/[/*b*/,/*c*/,/*d*/x/*e*/]" "Right (NS (JSArrayLiteral [NS (JSElision []) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"],NS (JSElision []) (TokenPn 12 1 13) [CommentA (TokenPn 12 1 13) \"/*c*/\"],NS (JSIdentifier \"x\") (TokenPn 18 1 19) [CommentA (TokenPn 18 1 19) \"/*d*/\"]]) (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\",CommentA (TokenPn 24 1 25) \"/*e*/\"])") - , testCase "ArrayLiteral6" (testPEC "/*a*/[/*b*/,/*c*/x/*d*/,/*e*/,/*f*/x/*g*/]" "Right (NS (JSArrayLiteral [NS (JSElision []) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"],NS (JSIdentifier \"x\") (TokenPn 12 1 13) [CommentA (TokenPn 12 1 13) \"/*c*/\"],NS (JSElision []) (TokenPn 18 1 19) [CommentA (TokenPn 18 1 19) \"/*d*/\"],NS (JSElision []) (TokenPn 24 1 25) [CommentA (TokenPn 24 1 25) \"/*e*/\"],NS (JSIdentifier \"x\") (TokenPn 30 1 31) [CommentA (TokenPn 30 1 31) \"/*f*/\"]]) (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\",CommentA (TokenPn 36 1 37) \"/*g*/\"])") - , testCase "ArrayLiteral7" (testPEC "/*a*/[/*b*/x/*c*/]" "Right (NS (JSArrayLiteral [NS (JSIdentifier \"x\") (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\",CommentA (TokenPn 12 1 13) \"/*c*/\"])") - , testCase "ArrayLiteral8" (testPEC "/*a*/[/*b*/x/*c*/,/*d*/]" "Right (NS (JSArrayLiteral [NS (JSIdentifier \"x\") (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"],NS (JSLiteral \",\") (TokenPn 17 1 18) [CommentA (TokenPn 12 1 13) \"/*c*/\"]]) (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\",CommentA (TokenPn 18 1 19) \"/*d*/\"])") - - , testCase "ObjectLiteral1" (testPEC "/*a*/{/*b*/}" "Right (NS (JSObjectLiteral []) (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\",CommentA (TokenPn 6 1 7) \"/*b*/\"])") - , testCase "ObjectLiteral2" (testPEC "/*a*/{/*b*/x/*c*/:/*d*/1/*e*/}" "Right (NS (JSObjectLiteral [NS (JSPropertyNameandValue (NS (JSIdentifier \"x\") (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]) [NS (JSDecimal \"1\") (TokenPn 18 1 19) [CommentA (TokenPn 18 1 19) \"/*d*/\"]]) (TokenPn 12 1 13) [CommentA (TokenPn 12 1 13) \"/*c*/\"]]) (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\",CommentA (TokenPn 24 1 25) \"/*e*/\"])") - , testCase "ObjectLiteral3" (testPEC "/*a*/{/*b*/x/*c*/:/*d*/1/*e*/,/*f*/y/*g*/:/*h*/2/*i*/}" "Right (NS (JSObjectLiteral [NS (JSPropertyNameandValue (NS (JSIdentifier \"x\") (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]) [NS (JSDecimal \"1\") (TokenPn 18 1 19) [CommentA (TokenPn 18 1 19) \"/*d*/\"]]) (TokenPn 12 1 13) [CommentA (TokenPn 12 1 13) \"/*c*/\"],NS (JSPropertyNameandValue (NS (JSIdentifier \"y\") (TokenPn 30 1 31) [CommentA (TokenPn 30 1 31) \"/*f*/\"]) [NS (JSDecimal \"2\") (TokenPn 42 1 43) [CommentA (TokenPn 42 1 43) \"/*h*/\"]]) (TokenPn 36 1 37) [CommentA (TokenPn 24 1 25) \"/*e*/\",CommentA (TokenPn 36 1 37) \"/*g*/\"]]) (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\",CommentA (TokenPn 48 1 49) \"/*i*/\"])") - - , testCase "ObjectLiteral5" (testPEC "/*a*/{/*b*/x/*c*/:/*d*/1/*e*/,/*f*/}" "Right (NS (JSObjectLiteral [NS (JSPropertyNameandValue (NS (JSIdentifier \"x\") (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]) [NS (JSDecimal \"1\") (TokenPn 18 1 19) [CommentA (TokenPn 18 1 19) \"/*d*/\"]]) (TokenPn 12 1 13) [CommentA (TokenPn 12 1 13) \"/*c*/\"],NS (JSLiteral \",\") (TokenPn 29 1 30) [CommentA (TokenPn 24 1 25) \"/*e*/\"]]) (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\",CommentA (TokenPn 30 1 31) \"/*f*/\"])") - - -- Edition 5 extensions - , testCase "ObjectLiteral7" (testProgC "/*a*/x/*b*/=/*c*/{/*d*/get/*e*/ foo/*f*/(/*g*/)/*h*/ {/*i*/return/*j*/ 1/*k*/}/*l*/,/*m*/set/*n*/ foo/*o*/(/*p*/a/*q*/) /*r*/{/*s*/x/*t*/=/*u*/a/*v*/}/*w*/}" "Right (NS (JSSourceElementsTop [NS (JSExpression [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"],NS (JSOperator \"=\") (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"],NS (JSObjectLiteral [NS (JSPropertyAccessor \"get\" (NS (JSIdentifier \"foo\") (TokenPn 26 1 27) [CommentA (TokenPn 26 1 27) \"/*e*/\"]) [] (NS (JSFunctionBody [NS (JSSourceElements [NS (JSReturn [NS (JSExpression [NS (JSDecimal \"1\") (TokenPn 65 1 66) [CommentA (TokenPn 65 1 66) \"/*j*/\"]]) (TokenPn 65 1 66) [],NS (JSLiteral \"\") (TokenPn 0 0 0) []]) (TokenPn 54 1 55) [CommentA (TokenPn 54 1 55) \"/*i*/\"]]) (TokenPn 54 1 55) []]) (TokenPn 54 1 55) [])) (TokenPn 18 1 19) [CommentA (TokenPn 18 1 19) \"/*d*/\",CommentA (TokenPn 35 1 36) \"/*f*/\",CommentA (TokenPn 41 1 42) \"/*g*/\",CommentA (TokenPn 47 1 48) \"/*h*/\",CommentA (TokenPn 72 1 73) \"/*k*/\"],NS (JSPropertyAccessor \"set\" (NS (JSIdentifier \"foo\") (TokenPn 92 1 93) [CommentA (TokenPn 92 1 93) \"/*n*/\"]) [NS (JSIdentifier \"a\") (TokenPn 107 1 108) [CommentA (TokenPn 107 1 108) \"/*p*/\"]] (NS (JSFunctionBody [NS (JSSourceElements [NS (JSExpression [NS (JSIdentifier \"x\") (TokenPn 126 1 127) [CommentA (TokenPn 126 1 127) \"/*s*/\"],NS (JSOperator \"=\") (TokenPn 132 1 133) [CommentA (TokenPn 132 1 133) \"/*t*/\"],NS (JSIdentifier \"a\") (TokenPn 138 1 139) [CommentA (TokenPn 138 1 139) \"/*u*/\"]]) (TokenPn 126 1 127) []]) (TokenPn 126 1 127) []]) (TokenPn 126 1 127) [])) (TokenPn 84 1 85) [CommentA (TokenPn 78 1 79) \"/*l*/\",CommentA (TokenPn 84 1 85) \"/*m*/\",CommentA (TokenPn 101 1 102) \"/*o*/\",CommentA (TokenPn 113 1 114) \"/*q*/\",CommentA (TokenPn 120 1 121) \"/*r*/\",CommentA (TokenPn 144 1 145) \"/*v*/\"]]) (TokenPn 12 1 13) [CommentA (TokenPn 12 1 13) \"/*c*/\",CommentA (TokenPn 150 1 151) \"/*w*/\"]]) (TokenPn 0 1 1) []]) (TokenPn 0 1 1) [])") - - , testCase "ExpressionParen" (testPEC "/*a*/(/*b*/56/*c*/)" "Right (NS (JSExpressionParen (NS (JSExpression [NS (JSDecimal \"56\") (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 6 1 7) [])) (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\",CommentA (TokenPn 13 1 14) \"/*c*/\"])") - - , testCase "Statement1" (testStmtC "/*a*/x" "Right (NS (JSExpression [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]]) (TokenPn 0 1 1) [])") - - , testCase "Statement2" (testStmtC "/*a*/null" "Right (NS (JSExpression [NS (JSLiteral \"null\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]]) (TokenPn 0 1 1) [])") - - , testCase "Statement3" (testStmtC "/*a*/true/*b*/?/*c*/1/*d*/:/*e*/2" "Right (NS (JSExpression [NS (JSExpressionTernary [NS (JSLiteral \"true\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSDecimal \"1\") (TokenPn 15 1 16) [CommentA (TokenPn 15 1 16) \"/*c*/\"]] [NS (JSDecimal \"2\") (TokenPn 27 1 28) [CommentA (TokenPn 27 1 28) \"/*e*/\"]]) (TokenPn 9 1 10) [CommentA (TokenPn 9 1 10) \"/*b*/\",CommentA (TokenPn 21 1 22) \"/*d*/\"]]) (TokenPn 9 1 10) [])") - - , testCase "Statement4" (testStmtC "/*a*/x/*b*/||/*c*/y" "Right (NS (JSExpression [NS (JSExpressionBinary \"||\" [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSIdentifier \"y\") (TokenPn 13 1 14) [CommentA (TokenPn 13 1 14) \"/*c*/\"]]) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 6 1 7) [])") - - , testCase "Statement5" (testStmtC "/*a*/x/*b*/&&/*c*/y" "Right (NS (JSExpression [NS (JSExpressionBinary \"&&\" [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSIdentifier \"y\") (TokenPn 13 1 14) [CommentA (TokenPn 13 1 14) \"/*c*/\"]]) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 6 1 7) [])") - - , testCase "Statement6a" (testStmtC "/*a*/x/*b*/|/*c*/y" "Right (NS (JSExpression [NS (JSExpressionBinary \"|\" [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSIdentifier \"y\") (TokenPn 12 1 13) [CommentA (TokenPn 12 1 13) \"/*c*/\"]]) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 6 1 7) [])") - - , testCase "Statement6b" (testStmtC "/*a*/x/*b*/^/*c*/y" "Right (NS (JSExpression [NS (JSExpressionBinary \"^\" [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSIdentifier \"y\") (TokenPn 12 1 13) [CommentA (TokenPn 12 1 13) \"/*c*/\"]]) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 6 1 7) [])") - - , testCase "Statement7" (testStmtC "/*a*/x/*b*/&/*c*/y" "Right (NS (JSExpression [NS (JSExpressionBinary \"&\" [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSIdentifier \"y\") (TokenPn 12 1 13) [CommentA (TokenPn 12 1 13) \"/*c*/\"]]) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 6 1 7) [])") - - , testCase "Statement8" (testStmtC "/*a*/x/*b*/==/*c*/y" "Right (NS (JSExpression [NS (JSExpressionBinary \"==\" [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSIdentifier \"y\") (TokenPn 13 1 14) [CommentA (TokenPn 13 1 14) \"/*c*/\"]]) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 6 1 7) [])") - - , testCase "Statement9" (testStmtC "/*a*/x/*b*/!=/*c*/y" "Right (NS (JSExpression [NS (JSExpressionBinary \"!=\" [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSIdentifier \"y\") (TokenPn 13 1 14) [CommentA (TokenPn 13 1 14) \"/*c*/\"]]) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 6 1 7) [])") - - , testCase "Statement10" (testStmtC "/*a*/x/*b*/===/*c*/y" "Right (NS (JSExpression [NS (JSExpressionBinary \"===\" [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSIdentifier \"y\") (TokenPn 14 1 15) [CommentA (TokenPn 14 1 15) \"/*c*/\"]]) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 6 1 7) [])") - - , testCase "Statement11" (testStmtC "/*a*/x/*b*/!==/*c*/y" "Right (NS (JSExpression [NS (JSExpressionBinary \"!==\" [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSIdentifier \"y\") (TokenPn 14 1 15) [CommentA (TokenPn 14 1 15) \"/*c*/\"]]) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 6 1 7) [])") - - , testCase "Statement12a" (testStmtC "/*a*/x/*b*//*c*/y" "Right (NS (JSExpression [NS (JSExpressionBinary \">\" [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSIdentifier \"y\") (TokenPn 12 1 13) [CommentA (TokenPn 12 1 13) \"/*c*/\"]]) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 6 1 7) [])") - - , testCase "Statement12c" (testStmtC "/*a*/x/*b*/<=/*c*/y" "Right (NS (JSExpression [NS (JSExpressionBinary \"<=\" [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSIdentifier \"y\") (TokenPn 13 1 14) [CommentA (TokenPn 13 1 14) \"/*c*/\"]]) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 6 1 7) [])") - - , testCase "Statement12d" (testStmtC "/*a*/x/*b*/>=/*c*/y" "Right (NS (JSExpression [NS (JSExpressionBinary \">=\" [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSIdentifier \"y\") (TokenPn 13 1 14) [CommentA (TokenPn 13 1 14) \"/*c*/\"]]) (TokenPn 6 1 7) [CommentA (TokenPn 6 1 7) \"/*b*/\"]]) (TokenPn 6 1 7) [])") - - , testCase "Statement12e" (testStmtC "/*a*/x /*b*/instanceof /*c*/y" "Right (NS (JSExpression [NS (JSExpressionBinary \" instanceof \" [NS (JSIdentifier \"x\") (TokenPn 0 1 1) [CommentA (TokenPn 0 1 1) \"/*a*/\"]] [NS (JSIdentifier \"y\") (TokenPn 23 1 24) [CommentA (TokenPn 23 1 24) \"/*c*/\"]]) (TokenPn 7 1 8) [CommentA (TokenPn 7 1 8) \"/*b*/\"]]) (TokenPn 7 1 8) [])") - - ] - --- --------------------------------------------------------------------- - -commentPrintSuite :: Test -commentPrintSuite = testGroup "Comments" - [ - testCase "Multi-comment" (testRoundTrip "/*a*/\n//foo\nnull") - - - , testCase "LiteralNull" (testRoundTrip "/*a*/null") - , testCase "LiteralFalse" (testRoundTrip "/*b*/false") - , testCase "LiteralTrue" (testRoundTrip "true") - , testCase "LiteralTrue" (testRoundTrip "/*c*/true") - - , testCase "LiteralHexInteger" (testRoundTrip "/*d*/0x1234fF") - , testCase "LiteralDecimal" (testRoundTrip "/*e*/1.0e4") - , testCase "LiteralOctal" (testRoundTrip "/*x*/011") - , testCase "LiteralString1" (testRoundTrip "/*f*/\"hello\\nworld\"") - , testCase "LiteralString2" (testRoundTrip "/*g*/'hello\\nworld'") - - - , testCase "LiteralThis" (testRoundTrip "/*h*/this") - - , testCase "LiteralRegex1" (testRoundTrip "/*i*//blah/") - - , testCase "Identifier2" (testRoundTrip "//j\nthis_") - - , testCase "ArrayLiteral1" (testRoundTrip "/*a*/[/*b*/]") - , testCase "ArrayLiteral2" (testRoundTrip "/*a*/[/*b*/,/*c*/]") - , testCase "ArrayLiteral3" (testRoundTrip "/*a*/[/*b*/,/*c*/,/*d*/]") - , testCase "ArrayLiteral4" (testRoundTrip "/*a*/[/*b/*,/*c*/,/*d*/x/*e*/]") - , testCase "ArrayLiteral5" (testRoundTrip "/*a*/[/*b*/,/*c*/,/*d*/x/*e*/]") - , testCase "ArrayLiteral6" (testRoundTrip "/*a*/[/*b*/,/*c*/x/*d*/,/*e*/,/*f*/x/*g*/]") - , testCase "ArrayLiteral7" (testRoundTrip "/*a*/[/*b*/x/*c*/]") - , testCase "ArrayLiteral8" (testRoundTrip "/*a*/[/*b*/x/*c*/,/*d*/]") - - , testCase "ObjectLiteral1" (testRoundTrip "/*a*/{/*b*/}") - , testCase "ObjectLiteral2" (testRoundTrip "/*a*/{/*b*/x/*c*/:/*d*/1/*e*/}") - , testCase "ObjectLiteral3" (testRoundTrip "x=/*a*/{/*b*/x/*c*/:/*d*/1/*e*/,/*f*/y/*g*/:/*h*/2/*i*/}") - , testCase "ObjectLiteral3a" (testRoundTrip "x=/*a*/{/*b*/x/*c*/:/*d*/1/*e*/,/*f*/y/*g*/:/*h*/2/*i*/,/*j*/z/*k*/:/*l*/3/*m*/}") - - , testCase "ObjectLiteral5" (testRoundTrip "a=/*a*/{/*b*/x/*c*/:/*d*/1/*e*/,/*f*/}") - - -- Edition 5 extensions - , testCase "ObjectLiteral7" (testRoundTrip "/*a*/x/*b*/=/*c*/{/*d*/get/*e*/ foo/*f*/(/*g*/)/*h*/ {/*i*/return/*j*/ 1/*k*/}/*l*/,/*m*/set/*n*/ foo/*o*/(/*p*/a/*q*/) /*r*/{/*s*/x/*t*/=/*u*/a/*v*/}/*w*/}") - - , testCase "ExpressionParen" (testRoundTrip "/*a*/(/*b*/56/*c*/)") - - , testCase "Statement1" (testRoundTrip "/*a*/x") - - , testCase "Statement2" (testRoundTrip "/*a*/null") - - , testCase "Statement3" (testRoundTrip "/*a*/true/*b*/?/*c*/1/*d*/:/*e*/2") - - , testCase "Statement4" (testRoundTrip "/*a*/x/*b*/||/*c*/y") - - , testCase "Statement5" (testRoundTrip "/*a*/x/*b*/&&/*c*/y") - - , testCase "Statement6a" (testRoundTrip "/*a*/x/*b*/|/*c*/y") - - , testCase "Statement6b" (testRoundTrip "/*a*/x/*b*/^/*c*/y") - - , testCase "Statement7" (testRoundTrip "/*a*/x/*b*/&/*c*/y") - - , testCase "Statement8" (testRoundTrip "/*a*/x/*b*/==/*c*/y") - - , testCase "Statement9" (testRoundTrip "/*a*/x/*b*/!=/*c*/y") - - , testCase "Statement10" (testRoundTrip "/*a*/x/*b*/===/*c*/y") - - , testCase "Statement11" (testRoundTrip "/*a*/x/*b*/!==/*c*/y") - - , testCase "Statement12a" (testRoundTrip "/*a*/x/*b*//*c*/y") - - , testCase "Statement12c" (testRoundTrip "/*a*/x/*b*/<=/*c*/y") - - , testCase "Statement12d" (testRoundTrip "/*a*/x/*b*/>=/*c*/y") - - , testCase "Statement12e" (testRoundTrip "/*a*/x /*b*/instanceof /*c*/y") - - - - , testCase "Statement13" (testRoundTrip "x<>y") - , testCase "Statement13" (testRoundTrip "x>>>y") - - , testCase "Statement14" (testRoundTrip "x+y") - , testCase "Statement14" (testRoundTrip "x-y") - - , testCase "Statement15" (testRoundTrip "x*y") - , testCase "Statement16" (testRoundTrip "x/y") - , testCase "Statement17" (testRoundTrip "x%y") - - , testCase "Statement18" (testRoundTrip "delete y") - , testCase "Statement19" (testRoundTrip "void y") - , testCase "Statement20" (testRoundTrip "typeof y") - , testCase "Statement21" (testRoundTrip "++y") - , testCase "Statement22" (testRoundTrip "--y") - , testCase "Statement23" (testRoundTrip "+y") - , testCase "Statement24" (testRoundTrip "-y") - , testCase "Statement25" (testRoundTrip "~y") - , testCase "Statement26" (testRoundTrip "!y") - - , testCase "Statement27" (testRoundTrip "y++") - , testCase "Statement28" (testRoundTrip "y--") - - -- Member Expressions - , testCase "MemberExpression1a" (testRoundTrip "function(){}") - , testCase "MemberExpression1b" (testRoundTrip "function(a){}") - , testCase "MemberExpression1c" (testRoundTrip "function(a,b){}") - - , testCase "MemberExpression1d" (testRoundTrip "x[y]") - , testCase "MemberExpression1e" (testRoundTrip "x[y][z]") - , testCase "MemberExpression1f" (testRoundTrip "x.y") - , testCase "MemberExpression1g" (testRoundTrip "x.y.z") - - , testCase "MemberExpression1h" (testRoundTrip "new x()") - - , testCase "NewExpression1" (testRoundTrip "new x.y") - - , testCase "CallExpression1" (testRoundTrip "x()") - , testCase "CallExpression2" (testRoundTrip "x()()") - , testCase "CallExpression3" (testRoundTrip "x()[4]") - , testCase "CallExpression4" (testRoundTrip "x().x") - , testCase "CallExpression5" (testRoundTrip "x(a,b=2).x") - - , testCase "AssignExpression1" (testRoundTrip "x=1") - , testCase "AssignExpression1" (testRoundTrip "x*=1") - , testCase "AssignExpression1" (testRoundTrip "x/=1") - , testCase "AssignExpression1" (testRoundTrip "x%=1") - , testCase "AssignExpression1" (testRoundTrip "x+=1") - , testCase "AssignExpression1" (testRoundTrip "x-=1") - , testCase "AssignExpression1" (testRoundTrip "x<<=1") - , testCase "AssignExpression1" (testRoundTrip "x>>=1") - , testCase "AssignExpression1" (testRoundTrip "x>>>=1") - , testCase "AssignExpression1" (testRoundTrip "x&=1") - , testCase "AssignExpression1" (testRoundTrip "x^=1") - , testCase "AssignExpression1" (testRoundTrip "x|=1") - - - , testCase "Block1" (testRoundTrip "{}") - , testCase "Block2" (testRoundTrip "{x=1}") - , testCase "Block3" (testRoundTrip "{x=1;y=2}") - , testCase "Block4" (testRoundTrip "{{}}") - , testCase "Block5" (testRoundTrip "{{{}}}") - - - , testCase "If1" (testRoundTrip "if (1) {}") - - , testCase "IfElse1" (testRoundTrip "if (1) {} else {}") - , testCase "IfElse2" (testRoundTrip "if (1) x=1; else {}") - - , testCase "DoWhile1" (testRoundTrip "do {x=1} while (true);") - , testCase "While1" (testRoundTrip "while(true);") - - , testCase "For1" (testRoundTrip "for(;;);") - , testCase "For2" (testRoundTrip "for(x=1;x<10;x++);") - - , testCase "ForVar1" (testRoundTrip "for(var x;;);") - , testCase "ForVar2" (testRoundTrip "for(var x=1;;);") - , testCase "ForVar2" (testRoundTrip "for(var x;y;z){}") - - , testCase "ForIn1" (testRoundTrip "for(x in 5){}") - - , testCase "ForVarIn1" (testRoundTrip "for(var x in 5){}") - - , testCase "Var1" (testRoundTrip "var x=1;") - , testCase "Var2" (testRoundTrip "const x=1,y=2;") - - - , testCase "Continue1" (testRoundTrip "continue;") - , testCase "Continue2" (testRoundTrip "continue x;") - - , testCase "Break1" (testRoundTrip "break;") - , testCase "Break2" (testRoundTrip "break x;") - - , testCase "Return1" (testRoundTrip "return;") - , testCase "Return2" (testRoundTrip "return x;") - - , testCase "With1" (testRoundTrip "with (x) {};") - - , testCase "Labelled1" (testRoundTrip "abc:x=1") - - , testCase "Switch1" (testRoundTrip "switch (x) {}") - , testCase "Switch2" (testRoundTrip "switch (x) {case 1:break;}") - , testCase "Switch3" (testRoundTrip "switch (x) {case 0:\ncase 1:break;}") - , testCase "Switch4" (testRoundTrip "switch (x) {default:break;}") - , testCase "Switch5" (testRoundTrip "switch (x) {default:\ncase 1:break;}") - - , testCase "Throw1" (testRoundTrip "throw 1") - - , testCase "Try1" (testRoundTrip "try{}catch(a){}") - , testCase "Try2" (testRoundTrip "try{}finally{}") - , testCase "Try3" (testRoundTrip "try{}catch(a){}finally{}") - - , testCase "Try4" (testRoundTrip "try{}catch(a){}catch(b){}finally{}") - , testCase "Try5" (testRoundTrip "try{}catch(a){}catch(b){}") - , testCase "Try6" (testRoundTrip "try{}catch(a if true){}catch(b){}") - - , testCase "Function1" (testRoundTrip "function a(){}") - , testCase "Function2" (testRoundTrip "function a(b,c){}") - - - , testCase "Comment1" (testRoundTrip "//blah\nx=1;//foo\na") - - , testCase "Comment2" (testRoundTrip "/*x=1\ny=2\n*/z=2;//foo\na") - - , testCase "min_100_animals1" (testRoundTrip "function Animal(name){if(!name)throw new Error('Must specify an animal name');this.name=name};Animal.prototype.toString=function(){return this.name};o=new Animal(\"bob\");o.toString()==\"bob\"") - - , testCase "min_100_animals2" (testRoundTrip "Animal=function(){return this.name};") - - , testCase "min_100_animals3" (testRoundTrip "if(a)x=1;y=2") - - , testCase "min_100_animals4" (testRoundTrip "if(a)x=a()y=2") - - , testCase "05_regex" (testRoundTrip "newlines=spaces.match(/\\n/g)") - - , testCase "05_regex2" (testRoundTrip "x=/\\n/g") - - , testCase "05_regex3" (testRoundTrip "x=i(/[?|^&(){}\\[\\]+\\-*\\/\\.]/g,\"\\\\$&\")") - - , testCase "05_regex4" (testRoundTrip "x=i(/^$/g,\"\\\\$&\")") - - , testCase "05_regex5" (testRoundTrip "if(/^[a-z]/.test(t)){consts+=t.toUpperCase();keywords[t]=i}else consts+=(/^\\W/.test(t)?opTypeNames[t]:t);") - - , testCase "if_semi" (testRoundTrip "if(x);x=1") - - , testCase "67_bob" (testRoundTrip "(match = /^\"(?:\\\\.|[^\"])*\"|^'(?:[^']|\\\\.)*'/(input))") - - , testCase "122_jsexec" (testRoundTrip "v = getValue(execute(n[0], x)) in getValue(execute(n[1], x));") - - , testCase "bug1a" (testRoundTrip "/* */\nfunction f() {\n/* */\n}") - , testCase "bug1b" (testRoundTrip "/* **/\nfunction f() {\n/* */\n}") - - , testCase "unicode1-ws" (testRoundTrip "a \f\v\t\r\n=\x00a0\x1680\x180e\x2000\x2001\x2002\x2003\x2004\x2005\x2006\x2007\x2008\x2009\x200a\x2028\x2029\x202f\x205f\x3000\&1;") - - , testCase "unicode2-lt" (testRoundTrip "//comment\x000Ax=1;") - , testCase "unicode3-lt" (testRoundTrip "//comment\x000Dx=1;") - , testCase "unicode4-lt" (testRoundTrip "//comment\x2028x=1;") - , testCase "unicode5-lt" (testRoundTrip "//comment\x2029x=1;") - - , testCase "unicode2" (testRoundTrip "àáâãäå = 1;") - - , testCase "unicode3" (testRoundTrip "$aà = 1;_b=2;\0065a=2") - - , testCase "unicode4" (testRoundTrip "x=\"àáâãäå\";y='\3012a\0068'") - - -- , testCase "unicode5" (testFile "./test/Unicode.js") - - , testCase "bug2.a" (testRoundTrip "function() {\nz = function /*z*/(o) {\nreturn r;\n};}") - - , testCase "bug2.b" (testRoundTrip "function() {\nz = function z(o) {\nreturn r;\n};}") - - -- https://github.com/alanz/hjsmin/issues/#issue/3 - , testCase "bug3" (testRoundTrip "var myLatlng = new google.maps.LatLng(56.8379100, 60.5806664);") - - -- https://github.com/alanz/hjsmin/issues/#issue/4 - , testCase "bug4" (testRoundTrip "/* * geolocation. пытаемся определить свое местоположение * если не получается то используем defaultLocation * @Param {object} map экземпляр карты * @Param {object LatLng} defaultLocation Координаты центра по умолчанию * @Param {function} callbackAfterLocation Фу-ия которая вызывается после * геолокации. Т.к запрос геолокации асинхронен */x") - - , testCase "02_sm.js" (testRoundTrip "{zero}\none1;two\n{three\nfour;five;\n{\nsix;{seven;}\n}\n}") - - , testCase "02_sm.js.2" (testRoundTrip "{zero}\nget;two\n{three\nfour;set;\n{\nsix;{seven;}\n}\n}") - - , testCase "loc1" (testRoundTrip "x = 1\n y=2;") - - -- https://github.com/alanz/language-javascript/issues/2 - , testCase "issue2" (testRoundTrip "var img = document.createElement('img');\nimg.src = \"mylogo.jpg\";\n$(img).click(function() {\n alert('clicked!');\n});") - - - -- Working in ECMASCRIPT 5.1 changes - , testCase "lineTerminatorInString1" (testRoundTrip "x='abc\\\ndef';") - , testCase "lineTerminatorInString2" (testRoundTrip "x=\"abc\\\ndef\";") - , testCase "lineTerminatorInString3" (testRoundTrip "x=\"abc\\\rdef\";") - , testCase "lineTerminatorInString4" (testRoundTrip "x=\"abc\\\x2028 def\";") - , testCase "lineTerminatorInString5" (testRoundTrip "x=\"abc\\\x2029 def\";") - , testCase "lineTerminatorInString6" (testRoundTrip "x=\"abc\\\r\ndef\";") - - - -- https://github.com/alanz/language-javascript/issues/4 - , testCase "issue4ok" (testRoundTrip "var k = {\ny: somename\n}") - , testCase "issue4bug1" (testRoundTrip "var k = {\ny: code\n}") - , testCase "issue4bug2" (testRoundTrip "var k = {\ny: mode\n}") - - -- https://github.com/alanz/language-javascript/issues/5 - , testCase "issue5bug1" (testRoundTrip "x = { y: 1e8 }") - , testCase "issue5ok2" (testRoundTrip "{ y: 1e8 }") - , testCase "issue5ok3" (testRoundTrip "{ y: 18 }") - , testCase "issue5ok4" (testRoundTrip "x = { y: 18 }") - - -- function body - , testCase "functionbody" (testRoundTrip "function foo(a,b,c)\n{x=1;}") - , testCase "functionexpression" (testRoundTrip "function foo(a,b,c)\n{x=1;}") - - , testCase "fn1" (testRoundTrip "function foo() { return 5; }") - , testCase "fn2" (testRoundTrip "var foo = function() { return 5; }") - , testCase "fn3" (testRoundTrip "var foo = function foo() { return 5; }") - - -- Parse failure in hjsmin - , testCase "parsefail" (testRoundTrip "switch(t){case DIV: v = u / v; break;}") - - -- https://github.com/alanz/language-javascript/issues/14 - , testCase "issue14" (testRoundTrip "var z = x[i] / y;") - - -- https://github.com/alanz/language-javascript/issues/15 - , testCase "issue15" (testRoundTrip "x\t=1;") - - , testCase "comment-only" (testRoundTrip "// comment\n\n") - , testCase "empty-src" (testRoundTrip "") - ] - --- --------------------------------------------------------------------- --- Test utilities - -testRoundTrip str = str @=? (renderToString $ readJs str) - -testLiteral :: String -> String -> Assertion -testLiteral literal expected = expected @=? (showStrippedMaybe $ parseUsing parseLiteral literal "src") -testLiteralC :: String -> String -> Assertion -testLiteralC literal expected = expected @=? (show $ parseUsing parseLiteral literal "src") - - -testPE :: String -> String -> Assertion -testPE str expected = expected @=? (showStrippedMaybe $ parseUsing parsePrimaryExpression str "src") -testPEC :: String -> String -> Assertion -testPEC str expected = expected @=? (show $ parseUsing parsePrimaryExpression str "src") - -testStmt :: String -> String -> Assertion -testStmt str expected = expected @=? (showStrippedMaybe $ parseUsing parseStatement str "src") -testStmtC :: String -> String -> Assertion -testStmtC str expected = expected @=? (show $ parseUsing parseStatement str "src") - ---testProg str expected = expected @=? (show $ parseUsing parseProgram str "src") -testProg :: String -> String -> Assertion -testProg str expected = expected @=? (showStrippedMaybe $ parseUsing parseProgram str "src") -testProgC :: String -> String -> Assertion -testProgC str expected = expected @=? (show $ parseUsing parseProgram str "src") - -testProgUn :: String -> String -> Assertion -testProgUn str expected = expected @=? (show $ parseUsing parseProgram str "src") - - -testFile :: FilePath -> String -> IO () -testFile fileName expected = do - res <- parseFile fileName - -- expected @=? (liftM show $ parseFile fileName) - (expected @=? (showStripped res)) - -testFileUtf8 :: FilePath -> String -> IO () -testFileUtf8 fileName expected = do - res <- parseFileUtf8 fileName - -- expected @=? (liftM show $ parseFile fileName) - (expected @=? (showStripped res)) - - --- Set emacs mode --- Local Variables: --- coding: utf-8 --- End: - --- EOF diff --git a/src/Language/JavaScript/Parser.hs b/src/Language/JavaScript/Parser.hs --- a/src/Language/JavaScript/Parser.hs +++ b/src/Language/JavaScript/Parser.hs @@ -1,13 +1,28 @@ module Language.JavaScript.Parser ( PA.parse + , PA.parseModule , PA.readJs + , PA.readJsModule , PA.parseFile , PA.parseFileUtf8 , PA.showStripped , PA.showStrippedMaybe - , JSNode(..) - , Node(..) + -- * AST elements + , JSExpression (..) + , JSAnnot (..) + , JSBinOp (..) + , JSBlock (..) + , JSUnaryOp (..) + , JSSemi (..) + , JSAssignOp (..) + , JSTryCatch (..) + , JSTryFinally (..) + , JSStatement (..) + , JSSwitchParts (..) + , JSAST(..) + + , CommentAnnotation(..) -- , ParseError(..) -- Source locations @@ -16,17 +31,14 @@ -- * Pretty Printing , renderJS , renderToString + , renderToText ) where import Language.JavaScript.Parser.AST -import Language.JavaScript.Parser.ParseError import Language.JavaScript.Parser.Token import qualified Language.JavaScript.Parser.Parser as PA ---import Language.JavaScript.Parser.ParserMonad import Language.JavaScript.Parser.SrcLocation import Language.JavaScript.Pretty.Printer -- EOF - - diff --git a/src/Language/JavaScript/Parser/AST.hs b/src/Language/JavaScript/Parser/AST.hs --- a/src/Language/JavaScript/Parser/AST.hs +++ b/src/Language/JavaScript/Parser/AST.hs @@ -1,152 +1,673 @@ -{-# LANGUAGE DeriveDataTypeable #-} +{-# LANGUAGE DeriveDataTypeable, FlexibleInstances #-} + module Language.JavaScript.Parser.AST - ( - Node (..) - , JSNode(..) - -- , TokenPosn (..) - , showStripped - ) where + ( JSExpression (..) + , JSAnnot (..) + , JSBinOp (..) + , JSUnaryOp (..) + , JSSemi (..) + , JSAssignOp (..) + , JSTryCatch (..) + , JSTryFinally (..) + , JSStatement (..) + , JSBlock (..) + , JSSwitchParts (..) + , JSAST (..) + , JSObjectProperty (..) + , JSPropertyName (..) + , JSObjectPropertyList + , JSAccessor (..) + , JSMethodDefinition (..) + , JSIdent (..) + , JSVarInitializer (..) + , JSArrayElement (..) + , JSCommaList (..) + , JSCommaTrailingList (..) + , JSArrowParameterList (..) + , JSTemplatePart (..) + , JSClassHeritage (..) + , JSClassElement (..) + -- Modules + , JSModuleItem (..) + , JSImportDeclaration (..) + , JSImportClause (..) + , JSFromClause (..) + , JSImportNameSpace (..) + , JSImportsNamed (..) + , JSImportSpecifier (..) + , JSExportDeclaration (..) + , JSExportClause (..) + , JSExportSpecifier (..) + + , binOpEq + , showStripped + ) where + import Data.Data import Data.List -import Language.JavaScript.Parser.SrcLocation (TokenPosn(..)) +import Language.JavaScript.Parser.SrcLocation (TokenPosn (..)) import Language.JavaScript.Parser.Token -- --------------------------------------------------------------------- --- |The JSNode is the building block of the AST. --- Each has a syntactic part 'Node'. In addition, the leaf elements --- (terminals) have a position 'TokenPosn', as well as an array of comments --- and/or whitespace that was collected while parsing. +data JSAnnot + = JSAnnot !TokenPosn ![CommentAnnotation] -- ^Annotation: position and comment/whitespace information + | JSAnnotSpace -- ^A single space character + | JSNoAnnot -- ^No annotation + deriving (Data, Eq, Show, Typeable) -data JSNode = NN Node -- ^Non Terminal node, does not have any position or comment information - | NT Node TokenPosn [CommentAnnotation] -- ^Terminal node, including position and comment/whitespace information - deriving (Show, Eq, Read, Data, Typeable) -data Node = - -- | Terminals - JSIdentifier String - | JSDecimal String - | JSLiteral String - | JSHexInteger String - | JSOctal String - | JSStringLiteral Char [Char] - | JSRegEx String +data JSAST + = JSAstProgram ![JSStatement] !JSAnnot -- ^source elements, trailing whitespace + | JSAstModule ![JSModuleItem] !JSAnnot + | JSAstStatement !JSStatement !JSAnnot + | JSAstExpression !JSExpression !JSAnnot + | JSAstLiteral !JSExpression !JSAnnot + deriving (Data, Eq, Show, Typeable) - -- | Non Terminals +-- Shift AST +-- https://github.com/shapesecurity/shift-spec/blob/83498b92c436180cc0e2115b225a68c08f43c53e/spec.idl#L229-L234 +data JSModuleItem + = JSModuleImportDeclaration !JSAnnot !JSImportDeclaration -- ^import,decl + | JSModuleExportDeclaration !JSAnnot !JSExportDeclaration -- ^export,decl + | JSModuleStatementListItem !JSStatement + deriving (Data, Eq, Show, Typeable) - | JSArguments JSNode [JSNode] JSNode -- ^lb, args, rb - | JSArrayLiteral JSNode [JSNode] JSNode -- ^lb, contents, rb - | JSBlock [JSNode] [JSNode] [JSNode] -- ^optional lb,optional block statements,optional rb - | JSBreak JSNode [JSNode] JSNode -- ^break, optional identifier, autosemi - | JSCallExpression String [JSNode] [JSNode] [JSNode] -- ^type : ., (), []; opening [ or ., contents, closing - | JSCase JSNode JSNode JSNode [JSNode] -- ^case,expr,colon,stmtlist - | JSCatch JSNode JSNode JSNode [JSNode] JSNode JSNode -- ^ catch,lb,ident,[if,expr],rb,block - | JSContinue JSNode [JSNode] JSNode -- ^continue,optional identifier,autosemi - | JSDefault JSNode JSNode [JSNode] -- ^default,colon,stmtlist - | JSDoWhile JSNode JSNode JSNode JSNode JSNode JSNode JSNode -- ^do,stmt,while,lb,expr,rb,autosemi - | JSElision JSNode -- ^comma - | JSExpression [JSNode] -- ^expression components - | JSExpressionBinary String [JSNode] JSNode [JSNode] -- ^what, lhs, op, rhs - | JSExpressionParen JSNode JSNode JSNode -- ^lb,expression,rb - | JSExpressionPostfix String [JSNode] JSNode -- ^type, expression, operator - | JSExpressionTernary [JSNode] JSNode [JSNode] JSNode [JSNode] -- ^cond, ?, trueval, :, falseval - | JSFinally JSNode JSNode -- ^finally,block - | JSFor JSNode JSNode [JSNode] JSNode [JSNode] JSNode [JSNode] JSNode JSNode -- ^for,lb,expr,semi,expr,semi,expr,rb.stmt - | JSForIn JSNode JSNode [JSNode] JSNode JSNode JSNode JSNode -- ^for,lb,expr,in,expr,rb,stmt - | JSForVar JSNode JSNode JSNode [JSNode] JSNode [JSNode] JSNode [JSNode] JSNode JSNode -- ^for,lb,var,vardecl,semi,expr,semi,expr,rb,stmt - | JSForVarIn JSNode JSNode JSNode JSNode JSNode JSNode JSNode JSNode -- ^for,lb,var,vardecl,in,expr,rb,stmt - | JSFunction JSNode JSNode JSNode [JSNode] JSNode JSNode -- ^fn,name, lb,parameter list,rb,block - -- | JSFunctionBody [JSNode] -- ^body - | JSFunctionExpression JSNode [JSNode] JSNode [JSNode] JSNode JSNode -- ^fn,[name],lb, parameter list,rb,block` - | JSIf JSNode JSNode JSNode JSNode [JSNode] [JSNode] -- ^if,(,expr,),stmt,optional rest - | JSLabelled JSNode JSNode JSNode -- ^identifier,colon,stmt - | JSMemberDot [JSNode] JSNode JSNode -- ^firstpart, dot, name - | JSMemberSquare [JSNode] JSNode JSNode JSNode -- ^firstpart, lb, expr, rb - | JSObjectLiteral JSNode [JSNode] JSNode -- ^lbrace contents rbrace - | JSOperator JSNode -- ^opnode - | JSPropertyAccessor JSNode JSNode JSNode [JSNode] JSNode JSNode -- ^(get|set), name, lb, params, rb, block - | JSPropertyNameandValue JSNode JSNode [JSNode] -- ^name, colon, value - | JSReturn JSNode [JSNode] JSNode -- ^return,optional expression,autosemi - -- | JSSourceElements [JSNode] -- ^source elements - | JSSourceElementsTop [JSNode] -- ^source elements - -- | JSStatementBlock JSNode JSNode JSNode -- ^lb,block,rb - -- | JSStatementList [JSNode] -- ^statements - | JSSwitch JSNode JSNode JSNode JSNode JSNode -- ^switch,lb,expr,rb,caseblock - | JSThrow JSNode JSNode -- ^throw val - | JSTry JSNode JSNode [JSNode] -- ^try,block,rest - | JSUnary String JSNode -- ^type, operator - | JSVarDecl JSNode [JSNode] -- ^identifier, optional initializer - | JSVariables JSNode [JSNode] JSNode -- ^var|const, decl, autosemi - | JSWhile JSNode JSNode JSNode JSNode JSNode -- ^while,lb,expr,rb,stmt - | JSWith JSNode JSNode JSNode JSNode [JSNode] -- ^with,lb,expr,rb,stmt list - deriving (Show, Eq, Read, Data, Typeable) +data JSImportDeclaration + = JSImportDeclaration !JSImportClause !JSFromClause !JSSemi -- ^imports, module, semi + | JSImportDeclarationBare !JSAnnot !String !JSSemi -- ^module, module, semi + deriving (Data, Eq, Show, Typeable) --- Strip out the location info, leaving the original JSNode text representation -showStripped :: JSNode -> String -showStripped = ss +data JSImportClause + = JSImportClauseDefault !JSIdent -- ^default + | JSImportClauseNameSpace !JSImportNameSpace -- ^namespace + | JSImportClauseNamed !JSImportsNamed -- ^named imports + | JSImportClauseDefaultNameSpace !JSIdent !JSAnnot !JSImportNameSpace -- ^default, comma, namespace + | JSImportClauseDefaultNamed !JSIdent !JSAnnot !JSImportsNamed -- ^default, comma, named imports + deriving (Data, Eq, Show, Typeable) --- Alias for internal use -ss :: JSNode -> String -ss (NN node ) = showStrippedNode node -ss (NT node _ _) = showStrippedNode node +data JSFromClause + = JSFromClause !JSAnnot !JSAnnot !String -- ^ from, string literal, string literal contents + deriving (Data, Eq, Show, Typeable) -sss :: [JSNode] -> String ---sss xs = "[" ++ (concatMap ss xs) ++ "]" -sss xs = "[" ++ (concat (intersperse "," $ map ss xs)) ++ "]" +-- | Import namespace, e.g. '* as whatever' +data JSImportNameSpace + = JSImportNameSpace !JSBinOp !JSAnnot !JSIdent -- ^ *, as, ident + deriving (Data, Eq, Show, Typeable) -showStrippedNode :: Node -> String -showStrippedNode (JSArguments _lb xs _rb) = "JSArguments " ++ sss xs -showStrippedNode (JSArrayLiteral _lb xs _rb) = "JSArrayLiteral " ++ sss xs -showStrippedNode (JSBlock _lb xs _rb) = "JSBlock (" ++ sss xs ++ ")" -showStrippedNode (JSBreak _b x1s as) = "JSBreak " ++ sss x1s ++ " " ++ ss as -showStrippedNode (JSCallExpression s _os xs _cs) = "JSCallExpression " ++ show s ++ " " ++ sss xs -showStrippedNode (JSCase _ca x1 _c x2s) = "JSCase (" ++ ss x1 ++ ") (" ++ sss x2s ++ ")" -showStrippedNode (JSCatch _c _lb x1 x2s _rb x3) = "JSCatch (" ++ ss x1 ++ ") " ++ sss x2s ++ " (" ++ ss x3 ++ ")" -showStrippedNode (JSContinue _c xs as) = "JSContinue " ++ sss xs ++ " " ++ ss as -showStrippedNode (JSDecimal s) = "JSDecimal " ++ show s -showStrippedNode (JSDefault _d _c xs) = "JSDefault (" ++ sss xs ++ ")" -showStrippedNode (JSDoWhile _d x1 _w _lb x2 _rb x3) = "JSDoWhile (" ++ ss x1 ++ ") (" ++ ss x2 ++ ") (" ++ ss x3 ++ ")" -showStrippedNode (JSElision c) = "JSElision " ++ ss c -showStrippedNode (JSExpression xs) = "JSExpression " ++ sss xs -showStrippedNode (JSExpressionBinary s x2s _op x3s) = "JSExpressionBinary " ++ show s ++ " " ++ sss x2s ++ " " ++ sss x3s -showStrippedNode (JSExpressionParen _lp x _rp) = "JSExpressionParen (" ++ ss x ++ ")" -showStrippedNode (JSExpressionPostfix s xs _op) = "JSExpressionPostfix " ++ show s ++ " " ++ sss xs -showStrippedNode (JSExpressionTernary x1s _q x2s _c x3s) = "JSExpressionTernary " ++ sss x1s ++ " " ++ sss x2s ++ " " ++ sss x3s -showStrippedNode (JSFinally _f x) = "JSFinally (" ++ ss x ++ ")" -showStrippedNode (JSFor _f _lb x1s _s1 x2s _s2 x3s _rb x4) = "JSFor " ++ sss x1s ++ " " ++ sss x2s ++ " " ++ sss x3s ++ " (" ++ ss x4 ++ ")" -showStrippedNode (JSForIn _f _lb x1s _i x2 _rb x3) = "JSForIn " ++ sss x1s ++ " (" ++ ss x2 ++ ") (" ++ ss x3 ++ ")" -showStrippedNode (JSForVar _f _lb _v x1s _s1 x2s _s2 x3s _rb x4) = "JSForVar " ++ sss x1s ++ " " ++ sss x2s ++ " " ++ sss x3s ++ " (" ++ ss x4 ++ ")" -showStrippedNode (JSForVarIn _f _lb _v x1 _i x2 _rb x3) = "JSForVarIn (" ++ ss x1 ++ ") (" ++ ss x2 ++ ") (" ++ ss x3 ++ ")" -showStrippedNode (JSFunction _f x1 _lb x2s _rb x3) = "JSFunction (" ++ ss x1 ++ ") " ++ sss x2s ++ " (" ++ ss x3 ++ ")" ---showStrippedNode (JSFunctionBody xs) = "JSFunctionBody " ++ sss xs -showStrippedNode (JSFunctionExpression _f x1s _lb x2s _rb x3) = "JSFunctionExpression " ++ sss x1s ++ " " ++ sss x2s ++ " (" ++ ss x3 ++ ")" -showStrippedNode (JSHexInteger s) = "JSHexInteger " ++ show s -showStrippedNode (JSOctal s) = "JSOctal " ++ show s -showStrippedNode (JSIdentifier s) = "JSIdentifier " ++ show s -showStrippedNode (JSIf _i _lb x1 _rb x2s x3s) = "JSIf (" ++ ss x1 ++ ") (" ++ sss x2s ++ ") (" ++ sss x3s ++ ")" -showStrippedNode (JSLabelled x1 _c x2) = "JSLabelled (" ++ ss x1 ++ ") (" ++ ss x2 ++ ")" -showStrippedNode (JSLiteral s) = "JSLiteral " ++ show s -showStrippedNode (JSMemberDot x1s _d x2 ) = "JSMemberDot " ++ sss x1s ++ " (" ++ ss x2 ++ ")" -showStrippedNode (JSMemberSquare x1s _lb x2 _rb) = "JSMemberSquare " ++ sss x1s ++ " (" ++ ss x2 ++ ")" -showStrippedNode (JSObjectLiteral _lb xs _rb) = "JSObjectLiteral " ++ sss xs -showStrippedNode (JSOperator n) = "JSOperator " ++ ss n -showStrippedNode (JSPropertyNameandValue x1 _colon x2s) = "JSPropertyNameandValue (" ++ ss x1 ++ ") " ++ sss x2s -showStrippedNode (JSPropertyAccessor s x1 _lb1 x2s _rb1 x3) = "JSPropertyAccessor " ++ show s ++ " (" ++ ss x1 ++ ") " ++ sss x2s ++ " (" ++ ss x3 ++ ")" -showStrippedNode (JSRegEx s) = "JSRegEx " ++ show s -showStrippedNode (JSReturn _r xs as) = "JSReturn " ++ sss xs ++ " " ++ ss as ---showStrippedNode (JSSourceElements xs) = "JSSourceElements " ++ sss xs -showStrippedNode (JSSourceElementsTop xs) = "JSSourceElementsTop " ++ sss xs --- showStrippedNode (JSStatementBlock _lb x _rb) = "JSStatementBlock (" ++ ss x ++ ")" --- showStrippedNode (JSStatementList xs) = "JSStatementList " ++ sss xs -showStrippedNode (JSStringLiteral c s) = "JSStringLiteral " ++ show c ++ " " ++ show s -showStrippedNode (JSSwitch _s _lb x _rb x2) = "JSSwitch (" ++ ss x ++ ") " ++ ss x2 -showStrippedNode (JSThrow _t x) = "JSThrow (" ++ ss x ++ ")" -showStrippedNode (JSTry _t x1 x2s) = "JSTry (" ++ ss x1 ++ ") " ++ sss x2s -showStrippedNode (JSUnary s _x) = "JSUnary " ++ show s -showStrippedNode (JSVarDecl x1 x2s) = "JSVarDecl (" ++ ss x1 ++ ") " ++ sss x2s -showStrippedNode (JSVariables n xs _as) = "JSVariables " ++ ss n ++ " " ++ sss xs -showStrippedNode (JSWhile _w _lb x1 _rb x2) = "JSWhile (" ++ ss x1 ++ ") (" ++ ss x2 ++ ")" -showStrippedNode (JSWith _w _lb x1 _rb x2s) = "JSWith (" ++ ss x1 ++ ") " ++ sss x2s +-- | Named imports, e.g. '{ foo, bar, baz as quux }' +data JSImportsNamed + = JSImportsNamed !JSAnnot !(JSCommaList JSImportSpecifier) !JSAnnot -- ^lb, specifiers, rb + deriving (Data, Eq, Show, Typeable) --- EOF +-- | +-- Note that this data type is separate from ExportSpecifier because the +-- grammar is slightly different (e.g. in handling of reserved words). +data JSImportSpecifier + = JSImportSpecifier !JSIdent -- ^ident + | JSImportSpecifierAs !JSIdent !JSAnnot !JSIdent -- ^ident, as, ident + deriving (Data, Eq, Show, Typeable) + +data JSExportDeclaration + -- = JSExportAllFrom + = JSExportFrom JSExportClause JSFromClause !JSSemi -- ^exports, module, semi + | JSExportLocals JSExportClause !JSSemi -- ^exports, autosemi + | JSExport !JSStatement !JSSemi -- ^body, autosemi + -- | JSExportDefault + deriving (Data, Eq, Show, Typeable) + +data JSExportClause + = JSExportClause !JSAnnot !(JSCommaList JSExportSpecifier) !JSAnnot -- ^lb, specifiers, rb + deriving (Data, Eq, Show, Typeable) + +data JSExportSpecifier + = JSExportSpecifier !JSIdent -- ^ident + | JSExportSpecifierAs !JSIdent !JSAnnot !JSIdent -- ^ident1, as, ident2 + deriving (Data, Eq, Show, Typeable) + +data JSStatement + = JSStatementBlock !JSAnnot ![JSStatement] !JSAnnot !JSSemi -- ^lbrace, stmts, rbrace, autosemi + | JSBreak !JSAnnot !JSIdent !JSSemi -- ^break,optional identifier, autosemi + | JSLet !JSAnnot !(JSCommaList JSExpression) !JSSemi -- ^const, decl, autosemi + | JSClass !JSAnnot !JSIdent !JSClassHeritage !JSAnnot ![JSClassElement] !JSAnnot !JSSemi -- ^class, name, optional extends clause, lb, body, rb, autosemi + | JSConstant !JSAnnot !(JSCommaList JSExpression) !JSSemi -- ^const, decl, autosemi + | JSContinue !JSAnnot !JSIdent !JSSemi -- ^continue, optional identifier,autosemi + | JSDoWhile !JSAnnot !JSStatement !JSAnnot !JSAnnot !JSExpression !JSAnnot !JSSemi -- ^do,stmt,while,lb,expr,rb,autosemi + | JSFor !JSAnnot !JSAnnot !(JSCommaList JSExpression) !JSAnnot !(JSCommaList JSExpression) !JSAnnot !(JSCommaList JSExpression) !JSAnnot !JSStatement -- ^for,lb,expr,semi,expr,semi,expr,rb.stmt + | JSForIn !JSAnnot !JSAnnot !JSExpression !JSBinOp !JSExpression !JSAnnot !JSStatement -- ^for,lb,expr,in,expr,rb,stmt + | JSForVar !JSAnnot !JSAnnot !JSAnnot !(JSCommaList JSExpression) !JSAnnot !(JSCommaList JSExpression) !JSAnnot !(JSCommaList JSExpression) !JSAnnot !JSStatement -- ^for,lb,var,vardecl,semi,expr,semi,expr,rb,stmt + | JSForVarIn !JSAnnot !JSAnnot !JSAnnot !JSExpression !JSBinOp !JSExpression !JSAnnot !JSStatement -- ^for,lb,var,vardecl,in,expr,rb,stmt + | JSForLet !JSAnnot !JSAnnot !JSAnnot !(JSCommaList JSExpression) !JSAnnot !(JSCommaList JSExpression) !JSAnnot !(JSCommaList JSExpression) !JSAnnot !JSStatement -- ^for,lb,var,vardecl,semi,expr,semi,expr,rb,stmt + | JSForLetIn !JSAnnot !JSAnnot !JSAnnot !JSExpression !JSBinOp !JSExpression !JSAnnot !JSStatement -- ^for,lb,var,vardecl,in,expr,rb,stmt + | JSForLetOf !JSAnnot !JSAnnot !JSAnnot !JSExpression !JSBinOp !JSExpression !JSAnnot !JSStatement -- ^for,lb,var,vardecl,in,expr,rb,stmt + | JSForConst !JSAnnot !JSAnnot !JSAnnot !(JSCommaList JSExpression) !JSAnnot !(JSCommaList JSExpression) !JSAnnot !(JSCommaList JSExpression) !JSAnnot !JSStatement -- ^for,lb,var,vardecl,semi,expr,semi,expr,rb,stmt + | JSForConstIn !JSAnnot !JSAnnot !JSAnnot !JSExpression !JSBinOp !JSExpression !JSAnnot !JSStatement -- ^for,lb,var,vardecl,in,expr,rb,stmt + | JSForConstOf !JSAnnot !JSAnnot !JSAnnot !JSExpression !JSBinOp !JSExpression !JSAnnot !JSStatement -- ^for,lb,var,vardecl,in,expr,rb,stmt + | JSForOf !JSAnnot !JSAnnot !JSExpression !JSBinOp !JSExpression !JSAnnot !JSStatement -- ^for,lb,expr,in,expr,rb,stmt + | JSForVarOf !JSAnnot !JSAnnot !JSAnnot !JSExpression !JSBinOp !JSExpression !JSAnnot !JSStatement -- ^for,lb,var,vardecl,in,expr,rb,stmt + | JSAsyncFunction !JSAnnot !JSAnnot !JSIdent !JSAnnot !(JSCommaList JSExpression) !JSAnnot !JSBlock !JSSemi -- ^fn,name, lb,parameter list,rb,block,autosemi + | JSFunction !JSAnnot !JSIdent !JSAnnot !(JSCommaList JSExpression) !JSAnnot !JSBlock !JSSemi -- ^fn,name, lb,parameter list,rb,block,autosemi + | JSGenerator !JSAnnot !JSAnnot !JSIdent !JSAnnot !(JSCommaList JSExpression) !JSAnnot !JSBlock !JSSemi -- ^fn,*,name, lb,parameter list,rb,block,autosemi + | JSIf !JSAnnot !JSAnnot !JSExpression !JSAnnot !JSStatement -- ^if,(,expr,),stmt + | JSIfElse !JSAnnot !JSAnnot !JSExpression !JSAnnot !JSStatement !JSAnnot !JSStatement -- ^if,(,expr,),stmt,else,rest + | JSLabelled !JSIdent !JSAnnot !JSStatement -- ^identifier,colon,stmt + | JSEmptyStatement !JSAnnot + | JSExpressionStatement !JSExpression !JSSemi + | JSAssignStatement !JSExpression !JSAssignOp !JSExpression !JSSemi -- ^lhs, assignop, rhs, autosemi + | JSMethodCall !JSExpression !JSAnnot !(JSCommaList JSExpression) !JSAnnot !JSSemi + | JSReturn !JSAnnot !(Maybe JSExpression) !JSSemi -- ^optional expression,autosemi + | JSSwitch !JSAnnot !JSAnnot !JSExpression !JSAnnot !JSAnnot ![JSSwitchParts] !JSAnnot !JSSemi -- ^switch,lb,expr,rb,caseblock,autosemi + | JSThrow !JSAnnot !JSExpression !JSSemi -- ^throw val autosemi + | JSTry !JSAnnot !JSBlock ![JSTryCatch] !JSTryFinally -- ^try,block,catches,finally + | JSVariable !JSAnnot !(JSCommaList JSExpression) !JSSemi -- ^var, decl, autosemi + | JSWhile !JSAnnot !JSAnnot !JSExpression !JSAnnot !JSStatement -- ^while,lb,expr,rb,stmt + | JSWith !JSAnnot !JSAnnot !JSExpression !JSAnnot !JSStatement !JSSemi -- ^with,lb,expr,rb,stmt list + deriving (Data, Eq, Show, Typeable) + +data JSExpression + -- | Terminals + = JSIdentifier !JSAnnot !String + | JSDecimal !JSAnnot !String + | JSLiteral !JSAnnot !String + | JSHexInteger !JSAnnot !String + | JSOctal !JSAnnot !String + | JSStringLiteral !JSAnnot !String + | JSRegEx !JSAnnot !String + + -- | Non Terminals + | JSArrayLiteral !JSAnnot ![JSArrayElement] !JSAnnot -- ^lb, contents, rb + | JSAssignExpression !JSExpression !JSAssignOp !JSExpression -- ^lhs, assignop, rhs + | JSAwaitExpression !JSAnnot !JSExpression -- ^await, expr + | JSCallExpression !JSExpression !JSAnnot !(JSCommaList JSExpression) !JSAnnot -- ^expr, bl, args, rb + | JSCallExpressionDot !JSExpression !JSAnnot !JSExpression -- ^expr, dot, expr + | JSCallExpressionSquare !JSExpression !JSAnnot !JSExpression !JSAnnot -- ^expr, [, expr, ] + | JSClassExpression !JSAnnot !JSIdent !JSClassHeritage !JSAnnot ![JSClassElement] !JSAnnot -- ^class, optional identifier, optional extends clause, lb, body, rb + | JSCommaExpression !JSExpression !JSAnnot !JSExpression -- ^expression components + | JSExpressionBinary !JSExpression !JSBinOp !JSExpression -- ^lhs, op, rhs + | JSExpressionParen !JSAnnot !JSExpression !JSAnnot -- ^lb,expression,rb + | JSExpressionPostfix !JSExpression !JSUnaryOp -- ^expression, operator + | JSExpressionTernary !JSExpression !JSAnnot !JSExpression !JSAnnot !JSExpression -- ^cond, ?, trueval, :, falseval + | JSArrowExpression !JSArrowParameterList !JSAnnot !JSStatement -- ^parameter list,arrow,block` + | JSFunctionExpression !JSAnnot !JSIdent !JSAnnot !(JSCommaList JSExpression) !JSAnnot !JSBlock -- ^fn,name,lb, parameter list,rb,block` + | JSGeneratorExpression !JSAnnot !JSAnnot !JSIdent !JSAnnot !(JSCommaList JSExpression) !JSAnnot !JSBlock -- ^fn,*,name,lb, parameter list,rb,block` + | JSMemberDot !JSExpression !JSAnnot !JSExpression -- ^firstpart, dot, name + | JSMemberExpression !JSExpression !JSAnnot !(JSCommaList JSExpression) !JSAnnot -- expr, lb, args, rb + | JSMemberNew !JSAnnot !JSExpression !JSAnnot !(JSCommaList JSExpression) !JSAnnot -- ^new, name, lb, args, rb + | JSMemberSquare !JSExpression !JSAnnot !JSExpression !JSAnnot -- ^firstpart, lb, expr, rb + | JSNewExpression !JSAnnot !JSExpression -- ^new, expr + | JSObjectLiteral !JSAnnot !JSObjectPropertyList !JSAnnot -- ^lbrace contents rbrace + | JSSpreadExpression !JSAnnot !JSExpression + | JSTemplateLiteral !(Maybe JSExpression) !JSAnnot !String ![JSTemplatePart] -- ^optional tag, lquot, head, parts + | JSUnaryExpression !JSUnaryOp !JSExpression + | JSVarInitExpression !JSExpression !JSVarInitializer -- ^identifier, initializer + | JSYieldExpression !JSAnnot !(Maybe JSExpression) -- ^yield, optional expr + | JSYieldFromExpression !JSAnnot !JSAnnot !JSExpression -- ^yield, *, expr + deriving (Data, Eq, Show, Typeable) + +data JSArrowParameterList + = JSUnparenthesizedArrowParameter !JSIdent + | JSParenthesizedArrowParameterList !JSAnnot !(JSCommaList JSExpression) !JSAnnot + deriving (Data, Eq, Show, Typeable) + +data JSBinOp + = JSBinOpAnd !JSAnnot + | JSBinOpBitAnd !JSAnnot + | JSBinOpBitOr !JSAnnot + | JSBinOpBitXor !JSAnnot + | JSBinOpDivide !JSAnnot + | JSBinOpEq !JSAnnot + | JSBinOpGe !JSAnnot + | JSBinOpGt !JSAnnot + | JSBinOpIn !JSAnnot + | JSBinOpInstanceOf !JSAnnot + | JSBinOpLe !JSAnnot + | JSBinOpLsh !JSAnnot + | JSBinOpLt !JSAnnot + | JSBinOpMinus !JSAnnot + | JSBinOpMod !JSAnnot + | JSBinOpNeq !JSAnnot + | JSBinOpOf !JSAnnot + | JSBinOpOr !JSAnnot + | JSBinOpPlus !JSAnnot + | JSBinOpRsh !JSAnnot + | JSBinOpStrictEq !JSAnnot + | JSBinOpStrictNeq !JSAnnot + | JSBinOpTimes !JSAnnot + | JSBinOpUrsh !JSAnnot + deriving (Data, Eq, Show, Typeable) + +data JSUnaryOp + = JSUnaryOpDecr !JSAnnot + | JSUnaryOpDelete !JSAnnot + | JSUnaryOpIncr !JSAnnot + | JSUnaryOpMinus !JSAnnot + | JSUnaryOpNot !JSAnnot + | JSUnaryOpPlus !JSAnnot + | JSUnaryOpTilde !JSAnnot + | JSUnaryOpTypeof !JSAnnot + | JSUnaryOpVoid !JSAnnot + deriving (Data, Eq, Show, Typeable) + +data JSSemi + = JSSemi !JSAnnot + | JSSemiAuto + deriving (Data, Eq, Show, Typeable) + +data JSAssignOp + = JSAssign !JSAnnot + | JSTimesAssign !JSAnnot + | JSDivideAssign !JSAnnot + | JSModAssign !JSAnnot + | JSPlusAssign !JSAnnot + | JSMinusAssign !JSAnnot + | JSLshAssign !JSAnnot + | JSRshAssign !JSAnnot + | JSUrshAssign !JSAnnot + | JSBwAndAssign !JSAnnot + | JSBwXorAssign !JSAnnot + | JSBwOrAssign !JSAnnot + deriving (Data, Eq, Show, Typeable) + +data JSTryCatch + = JSCatch !JSAnnot !JSAnnot !JSExpression !JSAnnot !JSBlock -- ^catch,lb,ident,rb,block + | JSCatchIf !JSAnnot !JSAnnot !JSExpression !JSAnnot !JSExpression !JSAnnot !JSBlock -- ^catch,lb,ident,if,expr,rb,block + deriving (Data, Eq, Show, Typeable) + +data JSTryFinally + = JSFinally !JSAnnot !JSBlock -- ^finally,block + | JSNoFinally + deriving (Data, Eq, Show, Typeable) + +data JSBlock + = JSBlock !JSAnnot ![JSStatement] !JSAnnot -- ^lbrace, stmts, rbrace + deriving (Data, Eq, Show, Typeable) + +data JSSwitchParts + = JSCase !JSAnnot !JSExpression !JSAnnot ![JSStatement] -- ^expr,colon,stmtlist + | JSDefault !JSAnnot !JSAnnot ![JSStatement] -- ^colon,stmtlist + deriving (Data, Eq, Show, Typeable) + +data JSVarInitializer + = JSVarInit !JSAnnot !JSExpression -- ^ assignop, initializer + | JSVarInitNone + deriving (Data, Eq, Show, Typeable) + +data JSObjectProperty + = JSPropertyNameandValue !JSPropertyName !JSAnnot ![JSExpression] -- ^name, colon, value + | JSPropertyIdentRef !JSAnnot !String + | JSObjectMethod !JSMethodDefinition + deriving (Data, Eq, Show, Typeable) + +data JSMethodDefinition + = JSMethodDefinition !JSPropertyName !JSAnnot !(JSCommaList JSExpression) !JSAnnot !JSBlock -- name, lb, params, rb, block + | JSGeneratorMethodDefinition !JSAnnot !JSPropertyName !JSAnnot !(JSCommaList JSExpression) !JSAnnot !JSBlock -- ^*, name, lb, params, rb, block + | JSPropertyAccessor !JSAccessor !JSPropertyName !JSAnnot !(JSCommaList JSExpression) !JSAnnot !JSBlock -- ^get/set, name, lb, params, rb, block + deriving (Data, Eq, Show, Typeable) + +data JSPropertyName + = JSPropertyIdent !JSAnnot !String + | JSPropertyString !JSAnnot !String + | JSPropertyNumber !JSAnnot !String + | JSPropertyComputed !JSAnnot !JSExpression !JSAnnot -- ^lb, expr, rb + deriving (Data, Eq, Show, Typeable) + +type JSObjectPropertyList = JSCommaTrailingList JSObjectProperty + +-- | Accessors for JSObjectProperty is either 'get' or 'set'. +data JSAccessor + = JSAccessorGet !JSAnnot + | JSAccessorSet !JSAnnot + deriving (Data, Eq, Show, Typeable) + +data JSIdent + = JSIdentName !JSAnnot !String + | JSIdentNone + deriving (Data, Eq, Show, Typeable) + +data JSArrayElement + = JSArrayElement !JSExpression + | JSArrayComma !JSAnnot + deriving (Data, Eq, Show, Typeable) + +data JSCommaList a + = JSLCons !(JSCommaList a) !JSAnnot !a -- ^head, comma, a + | JSLOne !a -- ^ single element (no comma) + | JSLNil + deriving (Data, Eq, Show, Typeable) + +data JSCommaTrailingList a + = JSCTLComma !(JSCommaList a) !JSAnnot -- ^list, trailing comma + | JSCTLNone !(JSCommaList a) -- ^list + deriving (Data, Eq, Show, Typeable) + +data JSTemplatePart + = JSTemplatePart !JSExpression !JSAnnot !String -- ^expr, rb, suffix + deriving (Data, Eq, Show, Typeable) + +data JSClassHeritage + = JSExtends !JSAnnot !JSExpression + | JSExtendsNone + deriving (Data, Eq, Show, Typeable) + +data JSClassElement + = JSClassInstanceMethod !JSMethodDefinition + | JSClassStaticMethod !JSAnnot !JSMethodDefinition + | JSClassSemi !JSAnnot + deriving (Data, Eq, Show, Typeable) + +-- ----------------------------------------------------------------------------- +-- | Show the AST elements stripped of their JSAnnot data. + +-- Strip out the location info +showStripped :: JSAST -> String +showStripped (JSAstProgram xs _) = "JSAstProgram " ++ ss xs +showStripped (JSAstModule xs _) = "JSAstModule " ++ ss xs +showStripped (JSAstStatement s _) = "JSAstStatement (" ++ ss s ++ ")" +showStripped (JSAstExpression e _) = "JSAstExpression (" ++ ss e ++ ")" +showStripped (JSAstLiteral s _) = "JSAstLiteral (" ++ ss s ++ ")" + + +class ShowStripped a where + ss :: a -> String + +instance ShowStripped JSStatement where + ss (JSStatementBlock _ xs _ _) = "JSStatementBlock " ++ ss xs + ss (JSBreak _ JSIdentNone s) = "JSBreak" ++ commaIf (ss s) + ss (JSBreak _ (JSIdentName _ n) s) = "JSBreak " ++ singleQuote n ++ commaIf (ss s) + ss (JSClass _ n h _lb xs _rb _) = "JSClass " ++ ssid n ++ " (" ++ ss h ++ ") " ++ ss xs + ss (JSContinue _ JSIdentNone s) = "JSContinue" ++ commaIf (ss s) + ss (JSContinue _ (JSIdentName _ n) s) = "JSContinue " ++ singleQuote n ++ commaIf (ss s) + ss (JSConstant _ xs _as) = "JSConstant " ++ ss xs + ss (JSDoWhile _d x1 _w _lb x2 _rb x3) = "JSDoWhile (" ++ ss x1 ++ ") (" ++ ss x2 ++ ") (" ++ ss x3 ++ ")" + ss (JSFor _ _lb x1s _s1 x2s _s2 x3s _rb x4) = "JSFor " ++ ss x1s ++ " " ++ ss x2s ++ " " ++ ss x3s ++ " (" ++ ss x4 ++ ")" + ss (JSForIn _ _lb x1s _i x2 _rb x3) = "JSForIn " ++ ss x1s ++ " (" ++ ss x2 ++ ") (" ++ ss x3 ++ ")" + ss (JSForVar _ _lb _v x1s _s1 x2s _s2 x3s _rb x4) = "JSForVar " ++ ss x1s ++ " " ++ ss x2s ++ " " ++ ss x3s ++ " (" ++ ss x4 ++ ")" + ss (JSForVarIn _ _lb _v x1 _i x2 _rb x3) = "JSForVarIn (" ++ ss x1 ++ ") (" ++ ss x2 ++ ") (" ++ ss x3 ++ ")" + ss (JSForLet _ _lb _v x1s _s1 x2s _s2 x3s _rb x4) = "JSForLet " ++ ss x1s ++ " " ++ ss x2s ++ " " ++ ss x3s ++ " (" ++ ss x4 ++ ")" + ss (JSForLetIn _ _lb _v x1 _i x2 _rb x3) = "JSForLetIn (" ++ ss x1 ++ ") (" ++ ss x2 ++ ") (" ++ ss x3 ++ ")" + ss (JSForLetOf _ _lb _v x1 _i x2 _rb x3) = "JSForLetOf (" ++ ss x1 ++ ") (" ++ ss x2 ++ ") (" ++ ss x3 ++ ")" + ss (JSForConst _ _lb _v x1s _s1 x2s _s2 x3s _rb x4) = "JSForConst " ++ ss x1s ++ " " ++ ss x2s ++ " " ++ ss x3s ++ " (" ++ ss x4 ++ ")" + ss (JSForConstIn _ _lb _v x1 _i x2 _rb x3) = "JSForConstIn (" ++ ss x1 ++ ") (" ++ ss x2 ++ ") (" ++ ss x3 ++ ")" + ss (JSForConstOf _ _lb _v x1 _i x2 _rb x3) = "JSForConstOf (" ++ ss x1 ++ ") (" ++ ss x2 ++ ") (" ++ ss x3 ++ ")" + ss (JSForOf _ _lb x1s _i x2 _rb x3) = "JSForOf " ++ ss x1s ++ " (" ++ ss x2 ++ ") (" ++ ss x3 ++ ")" + ss (JSForVarOf _ _lb _v x1 _i x2 _rb x3) = "JSForVarOf (" ++ ss x1 ++ ") (" ++ ss x2 ++ ") (" ++ ss x3 ++ ")" + ss (JSFunction _ n _lb pl _rb x3 _) = "JSFunction " ++ ssid n ++ " " ++ ss pl ++ " (" ++ ss x3 ++ ")" + ss (JSAsyncFunction _ _ n _lb pl _rb x3 _) = "JSAsyncFunction " ++ ssid n ++ " " ++ ss pl ++ " (" ++ ss x3 ++ ")" + ss (JSGenerator _ _ n _lb pl _rb x3 _) = "JSGenerator " ++ ssid n ++ " " ++ ss pl ++ " (" ++ ss x3 ++ ")" + ss (JSIf _ _lb x1 _rb x2) = "JSIf (" ++ ss x1 ++ ") (" ++ ss x2 ++ ")" + ss (JSIfElse _ _lb x1 _rb x2 _e x3) = "JSIfElse (" ++ ss x1 ++ ") (" ++ ss x2 ++ ") (" ++ ss x3 ++ ")" + ss (JSLabelled x1 _c x2) = "JSLabelled (" ++ ss x1 ++ ") (" ++ ss x2 ++ ")" + ss (JSLet _ xs _as) = "JSLet " ++ ss xs + ss (JSEmptyStatement _) = "JSEmptyStatement" + ss (JSExpressionStatement l s) = ss l ++ (let x = ss s in if not (null x) then ',':x else "") + ss (JSAssignStatement lhs op rhs s) ="JSOpAssign (" ++ ss op ++ "," ++ ss lhs ++ "," ++ ss rhs ++ (let x = ss s in if not (null x) then "),"++x else ")") + ss (JSMethodCall e _ a _ s) = "JSMethodCall (" ++ ss e ++ ",JSArguments " ++ ss a ++ (let x = ss s in if not (null x) then "),"++x else ")") + ss (JSReturn _ (Just me) s) = "JSReturn " ++ ss me ++ " " ++ ss s + ss (JSReturn _ Nothing s) = "JSReturn " ++ ss s + ss (JSSwitch _ _lp x _rp _lb x2 _rb _) = "JSSwitch (" ++ ss x ++ ") " ++ ss x2 + ss (JSThrow _ x _) = "JSThrow (" ++ ss x ++ ")" + ss (JSTry _ xt1 xtc xtf) = "JSTry (" ++ ss xt1 ++ "," ++ ss xtc ++ "," ++ ss xtf ++ ")" + ss (JSVariable _ xs _as) = "JSVariable " ++ ss xs + ss (JSWhile _ _lb x1 _rb x2) = "JSWhile (" ++ ss x1 ++ ") (" ++ ss x2 ++ ")" + ss (JSWith _ _lb x1 _rb x _) = "JSWith (" ++ ss x1 ++ ") (" ++ ss x ++ ")" + +instance ShowStripped JSExpression where + ss (JSArrayLiteral _lb xs _rb) = "JSArrayLiteral " ++ ss xs + ss (JSAssignExpression lhs op rhs) = "JSOpAssign (" ++ ss op ++ "," ++ ss lhs ++ "," ++ ss rhs ++ ")" + ss (JSAwaitExpression _ e) = "JSAwaitExpresson " ++ ss e + ss (JSCallExpression ex _ xs _) = "JSCallExpression ("++ ss ex ++ ",JSArguments " ++ ss xs ++ ")" + ss (JSCallExpressionDot ex _os xs) = "JSCallExpressionDot (" ++ ss ex ++ "," ++ ss xs ++ ")" + ss (JSCallExpressionSquare ex _os xs _cs) = "JSCallExpressionSquare (" ++ ss ex ++ "," ++ ss xs ++ ")" + ss (JSClassExpression _ n h _lb xs _rb) = "JSClassExpression " ++ ssid n ++ " (" ++ ss h ++ ") " ++ ss xs + ss (JSDecimal _ s) = "JSDecimal " ++ singleQuote s + ss (JSCommaExpression l _ r) = "JSExpression [" ++ ss l ++ "," ++ ss r ++ "]" + ss (JSExpressionBinary x2 op x3) = "JSExpressionBinary (" ++ ss op ++ "," ++ ss x2 ++ "," ++ ss x3 ++ ")" + ss (JSExpressionParen _lp x _rp) = "JSExpressionParen (" ++ ss x ++ ")" + ss (JSExpressionPostfix xs op) = "JSExpressionPostfix (" ++ ss op ++ "," ++ ss xs ++ ")" + ss (JSExpressionTernary x1 _q x2 _c x3) = "JSExpressionTernary (" ++ ss x1 ++ "," ++ ss x2 ++ "," ++ ss x3 ++ ")" + ss (JSArrowExpression ps _ e) = "JSArrowExpression (" ++ ss ps ++ ") => " ++ ss e + ss (JSFunctionExpression _ n _lb pl _rb x3) = "JSFunctionExpression " ++ ssid n ++ " " ++ ss pl ++ " (" ++ ss x3 ++ ")" + ss (JSGeneratorExpression _ _ n _lb pl _rb x3) = "JSGeneratorExpression " ++ ssid n ++ " " ++ ss pl ++ " (" ++ ss x3 ++ ")" + ss (JSHexInteger _ s) = "JSHexInteger " ++ singleQuote s + ss (JSOctal _ s) = "JSOctal " ++ singleQuote s + ss (JSIdentifier _ s) = "JSIdentifier " ++ singleQuote s + ss (JSLiteral _ []) = "JSLiteral ''" + ss (JSLiteral _ s) = "JSLiteral " ++ singleQuote s + ss (JSMemberDot x1s _d x2 ) = "JSMemberDot (" ++ ss x1s ++ "," ++ ss x2 ++ ")" + ss (JSMemberExpression e _ a _) = "JSMemberExpression (" ++ ss e ++ ",JSArguments " ++ ss a ++ ")" + ss (JSMemberNew _a n _ s _) = "JSMemberNew (" ++ ss n ++ ",JSArguments " ++ ss s ++ ")" + ss (JSMemberSquare x1s _lb x2 _rb) = "JSMemberSquare (" ++ ss x1s ++ "," ++ ss x2 ++ ")" + ss (JSNewExpression _n e) = "JSNewExpression " ++ ss e + ss (JSObjectLiteral _lb xs _rb) = "JSObjectLiteral " ++ ss xs + ss (JSRegEx _ s) = "JSRegEx " ++ singleQuote s + ss (JSStringLiteral _ s) = "JSStringLiteral " ++ s + ss (JSUnaryExpression op x) = "JSUnaryExpression (" ++ ss op ++ "," ++ ss x ++ ")" + ss (JSVarInitExpression x1 x2) = "JSVarInitExpression (" ++ ss x1 ++ ") " ++ ss x2 + ss (JSYieldExpression _ Nothing) = "JSYieldExpression ()" + ss (JSYieldExpression _ (Just x)) = "JSYieldExpression (" ++ ss x ++ ")" + ss (JSYieldFromExpression _ _ x) = "JSYieldFromExpression (" ++ ss x ++ ")" + ss (JSSpreadExpression _ x1) = "JSSpreadExpression (" ++ ss x1 ++ ")" + ss (JSTemplateLiteral Nothing _ s ps) = "JSTemplateLiteral (()," ++ singleQuote s ++ "," ++ ss ps ++ ")" + ss (JSTemplateLiteral (Just t) _ s ps) = "JSTemplateLiteral ((" ++ ss t ++ ")," ++ singleQuote s ++ "," ++ ss ps ++ ")" + +instance ShowStripped JSArrowParameterList where + ss (JSUnparenthesizedArrowParameter x) = ss x + ss (JSParenthesizedArrowParameterList _ xs _) = ss xs + +instance ShowStripped JSModuleItem where + ss (JSModuleExportDeclaration _ x1) = "JSModuleExportDeclaration (" ++ ss x1 ++ ")" + ss (JSModuleImportDeclaration _ x1) = "JSModuleImportDeclaration (" ++ ss x1 ++ ")" + ss (JSModuleStatementListItem x1) = "JSModuleStatementListItem (" ++ ss x1 ++ ")" + +instance ShowStripped JSImportDeclaration where + ss (JSImportDeclaration imp from _) = "JSImportDeclaration (" ++ ss imp ++ "," ++ ss from ++ ")" + ss (JSImportDeclarationBare _ m _) = "JSImportDeclarationBare (" ++ singleQuote m ++ ")" + +instance ShowStripped JSImportClause where + ss (JSImportClauseDefault x) = "JSImportClauseDefault (" ++ ss x ++ ")" + ss (JSImportClauseNameSpace x) = "JSImportClauseNameSpace (" ++ ss x ++ ")" + ss (JSImportClauseNamed x) = "JSImportClauseNameSpace (" ++ ss x ++ ")" + ss (JSImportClauseDefaultNameSpace x1 _ x2) = "JSImportClauseDefaultNameSpace (" ++ ss x1 ++ "," ++ ss x2 ++ ")" + ss (JSImportClauseDefaultNamed x1 _ x2) = "JSImportClauseDefaultNamed (" ++ ss x1 ++ "," ++ ss x2 ++ ")" + +instance ShowStripped JSFromClause where + ss (JSFromClause _ _ m) = "JSFromClause " ++ singleQuote m + +instance ShowStripped JSImportNameSpace where + ss (JSImportNameSpace _ _ x) = "JSImportNameSpace (" ++ ss x ++ ")" + +instance ShowStripped JSImportsNamed where + ss (JSImportsNamed _ xs _) = "JSImportsNamed (" ++ ss xs ++ ")" + +instance ShowStripped JSImportSpecifier where + ss (JSImportSpecifier x1) = "JSImportSpecifier (" ++ ss x1 ++ ")" + ss (JSImportSpecifierAs x1 _ x2) = "JSImportSpecifierAs (" ++ ss x1 ++ "," ++ ss x2 ++ ")" + +instance ShowStripped JSExportDeclaration where + ss (JSExportFrom xs from _) = "JSExportFrom (" ++ ss xs ++ "," ++ ss from ++ ")" + ss (JSExportLocals xs _) = "JSExportLocals (" ++ ss xs ++ ")" + ss (JSExport x1 _) = "JSExport (" ++ ss x1 ++ ")" + +instance ShowStripped JSExportClause where + ss (JSExportClause _ xs _) = "JSExportClause (" ++ ss xs ++ ")" + +instance ShowStripped JSExportSpecifier where + ss (JSExportSpecifier x1) = "JSExportSpecifier (" ++ ss x1 ++ ")" + ss (JSExportSpecifierAs x1 _ x2) = "JSExportSpecifierAs (" ++ ss x1 ++ "," ++ ss x2 ++ ")" + +instance ShowStripped JSTryCatch where + ss (JSCatch _ _lb x1 _rb x3) = "JSCatch (" ++ ss x1 ++ "," ++ ss x3 ++ ")" + ss (JSCatchIf _ _lb x1 _ ex _rb x3) = "JSCatch (" ++ ss x1 ++ ") if " ++ ss ex ++ " (" ++ ss x3 ++ ")" + +instance ShowStripped JSTryFinally where + ss (JSFinally _ x) = "JSFinally (" ++ ss x ++ ")" + ss JSNoFinally = "JSFinally ()" + +instance ShowStripped JSIdent where + ss (JSIdentName _ s) = "JSIdentifier " ++ singleQuote s + ss JSIdentNone = "JSIdentNone" + +instance ShowStripped JSObjectProperty where + ss (JSPropertyNameandValue x1 _colon x2s) = "JSPropertyNameandValue (" ++ ss x1 ++ ") " ++ ss x2s + ss (JSPropertyIdentRef _ s) = "JSPropertyIdentRef " ++ singleQuote s + ss (JSObjectMethod m) = ss m + +instance ShowStripped JSMethodDefinition where + ss (JSMethodDefinition x1 _lb1 x2s _rb1 x3) = "JSMethodDefinition (" ++ ss x1 ++ ") " ++ ss x2s ++ " (" ++ ss x3 ++ ")" + ss (JSPropertyAccessor s x1 _lb1 x2s _rb1 x3) = "JSPropertyAccessor " ++ ss s ++ " (" ++ ss x1 ++ ") " ++ ss x2s ++ " (" ++ ss x3 ++ ")" + ss (JSGeneratorMethodDefinition _ x1 _lb1 x2s _rb1 x3) = "JSGeneratorMethodDefinition (" ++ ss x1 ++ ") " ++ ss x2s ++ " (" ++ ss x3 ++ ")" + +instance ShowStripped JSPropertyName where + ss (JSPropertyIdent _ s) = "JSIdentifier " ++ singleQuote s + ss (JSPropertyString _ s) = "JSIdentifier " ++ singleQuote s + ss (JSPropertyNumber _ s) = "JSIdentifier " ++ singleQuote s + ss (JSPropertyComputed _ x _) = "JSPropertyComputed (" ++ ss x ++ ")" + +instance ShowStripped JSAccessor where + ss (JSAccessorGet _) = "JSAccessorGet" + ss (JSAccessorSet _) = "JSAccessorSet" + +instance ShowStripped JSBlock where + ss (JSBlock _ xs _) = "JSBlock " ++ ss xs + +instance ShowStripped JSSwitchParts where + ss (JSCase _ x1 _c x2s) = "JSCase (" ++ ss x1 ++ ") (" ++ ss x2s ++ ")" + ss (JSDefault _ _c xs) = "JSDefault (" ++ ss xs ++ ")" + +instance ShowStripped JSBinOp where + ss (JSBinOpAnd _) = "'&&'" + ss (JSBinOpBitAnd _) = "'&'" + ss (JSBinOpBitOr _) = "'|'" + ss (JSBinOpBitXor _) = "'^'" + ss (JSBinOpDivide _) = "'/'" + ss (JSBinOpEq _) = "'=='" + ss (JSBinOpGe _) = "'>='" + ss (JSBinOpGt _) = "'>'" + ss (JSBinOpIn _) = "'in'" + ss (JSBinOpInstanceOf _) = "'instanceof'" + ss (JSBinOpLe _) = "'<='" + ss (JSBinOpLsh _) = "'<<'" + ss (JSBinOpLt _) = "'<'" + ss (JSBinOpMinus _) = "'-'" + ss (JSBinOpMod _) = "'%'" + ss (JSBinOpNeq _) = "'!='" + ss (JSBinOpOf _) = "'of'" + ss (JSBinOpOr _) = "'||'" + ss (JSBinOpPlus _) = "'+'" + ss (JSBinOpRsh _) = "'>>'" + ss (JSBinOpStrictEq _) = "'==='" + ss (JSBinOpStrictNeq _) = "'!=='" + ss (JSBinOpTimes _) = "'*'" + ss (JSBinOpUrsh _) = "'>>>'" + +instance ShowStripped JSUnaryOp where + ss (JSUnaryOpDecr _) = "'--'" + ss (JSUnaryOpDelete _) = "'delete'" + ss (JSUnaryOpIncr _) = "'++'" + ss (JSUnaryOpMinus _) = "'-'" + ss (JSUnaryOpNot _) = "'!'" + ss (JSUnaryOpPlus _) = "'+'" + ss (JSUnaryOpTilde _) = "'~'" + ss (JSUnaryOpTypeof _) = "'typeof'" + ss (JSUnaryOpVoid _) = "'void'" + +instance ShowStripped JSAssignOp where + ss (JSAssign _) = "'='" + ss (JSTimesAssign _) = "'*='" + ss (JSDivideAssign _) = "'/='" + ss (JSModAssign _) = "'%='" + ss (JSPlusAssign _) = "'+='" + ss (JSMinusAssign _) = "'-='" + ss (JSLshAssign _) = "'<<='" + ss (JSRshAssign _) = "'>>='" + ss (JSUrshAssign _) = "'>>>='" + ss (JSBwAndAssign _) = "'&='" + ss (JSBwXorAssign _) = "'^='" + ss (JSBwOrAssign _) = "'|='" + +instance ShowStripped JSVarInitializer where + ss (JSVarInit _ n) = "[" ++ ss n ++ "]" + ss JSVarInitNone = "" + +instance ShowStripped JSSemi where + ss (JSSemi _) = "JSSemicolon" + ss JSSemiAuto = "" + +instance ShowStripped JSArrayElement where + ss (JSArrayElement e) = ss e + ss (JSArrayComma _) = "JSComma" + +instance ShowStripped JSTemplatePart where + ss (JSTemplatePart e _ s) = "(" ++ ss e ++ "," ++ singleQuote s ++ ")" + +instance ShowStripped JSClassHeritage where + ss JSExtendsNone = "" + ss (JSExtends _ x) = ss x + +instance ShowStripped JSClassElement where + ss (JSClassInstanceMethod m) = ss m + ss (JSClassStaticMethod _ m) = "JSClassStaticMethod (" ++ ss m ++ ")" + ss (JSClassSemi _) = "JSClassSemi" + +instance ShowStripped a => ShowStripped (JSCommaList a) where + ss xs = "(" ++ commaJoin (map ss $ fromCommaList xs) ++ ")" + +instance ShowStripped a => ShowStripped (JSCommaTrailingList a) where + ss (JSCTLComma xs _) = "[" ++ commaJoin (map ss $ fromCommaList xs) ++ ",JSComma]" + ss (JSCTLNone xs) = "[" ++ commaJoin (map ss $ fromCommaList xs) ++ "]" + +instance ShowStripped a => ShowStripped [a] where + ss xs = "[" ++ commaJoin (map ss xs) ++ "]" + +-- ----------------------------------------------------------------------------- +-- Helpers. + +commaJoin :: [String] -> String +commaJoin s = intercalate "," $ filter (not . null) s + +fromCommaList :: JSCommaList a -> [a] +fromCommaList (JSLCons l _ i) = fromCommaList l ++ [i] +fromCommaList (JSLOne i) = [i] +fromCommaList JSLNil = [] + +singleQuote :: String -> String +singleQuote s = '\'' : (s ++ "'") + +ssid :: JSIdent -> String +ssid (JSIdentName _ s) = singleQuote s +ssid JSIdentNone = "''" + +commaIf :: String -> String +commaIf "" = "" +commaIf xs = ',' : xs + + +deAnnot :: JSBinOp -> JSBinOp +deAnnot (JSBinOpAnd _) = JSBinOpAnd JSNoAnnot +deAnnot (JSBinOpBitAnd _) = JSBinOpBitAnd JSNoAnnot +deAnnot (JSBinOpBitOr _) = JSBinOpBitOr JSNoAnnot +deAnnot (JSBinOpBitXor _) = JSBinOpBitXor JSNoAnnot +deAnnot (JSBinOpDivide _) = JSBinOpDivide JSNoAnnot +deAnnot (JSBinOpEq _) = JSBinOpEq JSNoAnnot +deAnnot (JSBinOpGe _) = JSBinOpGe JSNoAnnot +deAnnot (JSBinOpGt _) = JSBinOpGt JSNoAnnot +deAnnot (JSBinOpIn _) = JSBinOpIn JSNoAnnot +deAnnot (JSBinOpInstanceOf _) = JSBinOpInstanceOf JSNoAnnot +deAnnot (JSBinOpLe _) = JSBinOpLe JSNoAnnot +deAnnot (JSBinOpLsh _) = JSBinOpLsh JSNoAnnot +deAnnot (JSBinOpLt _) = JSBinOpLt JSNoAnnot +deAnnot (JSBinOpMinus _) = JSBinOpMinus JSNoAnnot +deAnnot (JSBinOpMod _) = JSBinOpMod JSNoAnnot +deAnnot (JSBinOpNeq _) = JSBinOpNeq JSNoAnnot +deAnnot (JSBinOpOf _) = JSBinOpOf JSNoAnnot +deAnnot (JSBinOpOr _) = JSBinOpOr JSNoAnnot +deAnnot (JSBinOpPlus _) = JSBinOpPlus JSNoAnnot +deAnnot (JSBinOpRsh _) = JSBinOpRsh JSNoAnnot +deAnnot (JSBinOpStrictEq _) = JSBinOpStrictEq JSNoAnnot +deAnnot (JSBinOpStrictNeq _) = JSBinOpStrictNeq JSNoAnnot +deAnnot (JSBinOpTimes _) = JSBinOpTimes JSNoAnnot +deAnnot (JSBinOpUrsh _) = JSBinOpUrsh JSNoAnnot + +binOpEq :: JSBinOp -> JSBinOp -> Bool +binOpEq a b = deAnnot a == deAnnot b diff --git a/src/Language/JavaScript/Parser/Grammar5.y b/src/Language/JavaScript/Parser/Grammar5.y deleted file mode 100644 --- a/src/Language/JavaScript/Parser/Grammar5.y +++ /dev/null @@ -1,1187 +0,0 @@ -{ -{-# LANGUAGE BangPatterns #-} -module Language.JavaScript.Parser.Grammar5 ( - parseProgram - , parseLiteral - , parsePrimaryExpression - , parseStatement - -- debug - , fp - ) where - --- import Control.Monad.Error.Class (throwError) -import Data.Char -import Language.JavaScript.Parser.Lexer -import Language.JavaScript.Parser.ParseError -import Language.JavaScript.Parser.ParserMonad -import Language.JavaScript.Parser.SrcLocation -import Language.JavaScript.Parser.Token -import qualified Language.JavaScript.Parser.AST as AST - -} - --- The name of the generated function to be exported from the module -%name parseProgram Program -%name parseLiteral LiteralMain -%name parsePrimaryExpression PrimaryExpressionMain -%name parseStatement StatementMain - -%tokentype { Token } -%error { parseError } -%monad { Alex } { >>= } { return } -%lexer { lexCont } { EOFToken {} } - - -%token - - ';' { SemiColonToken {} } - ',' { CommaToken {} } - '?' { HookToken {} } - ':' { ColonToken {} } - '||' { OrToken {} } - '&&' { AndToken {} } - '|' { BitwiseOrToken {} } - '^' { BitwiseXorToken {} } - '&' { BitwiseAndToken {} } - '===' { StrictEqToken {} } - '==' { EqToken {} } - '=' { SimpleAssignToken {} } - '!==' { StrictNeToken {} } - '!=' { NeToken {} } - '<<' { LshToken {} } - '<=' { LeToken {} } - '<' { LtToken {} } - '>>>' { UrshToken {} } - '>>' { RshToken {} } - '>=' { GeToken {} } - '>' { GtToken {} } - '++' { IncrementToken {} } - '--' { DecrementToken {} } - '+' { PlusToken {} } - '-' { MinusToken {} } - '*' { MulToken {} } - '/' { DivToken {} } - '%' { ModToken {} } - '!' { NotToken {} } - '~' { BitwiseNotToken {} } - '.' { DotToken {} } - '[' { LeftBracketToken {} } - ']' { RightBracketToken {} } - '{' { LeftCurlyToken {} } - '}' { RightCurlyToken {} } - '(' { LeftParenToken {} } - ')' { RightParenToken {} } - '@*/' { CondcommentEndToken {} } - - 'break' { BreakToken {} } - 'case' { CaseToken {} } - 'catch' { CatchToken {} } - 'const' { ConstToken {} } - 'continue' { ContinueToken {} } - 'debugger' { DebuggerToken {} } - 'default' { DefaultToken {} } - 'delete' { DeleteToken {} } - 'do' { DoToken {} } - 'else' { ElseToken {} } - 'enum' { EnumToken {} } - 'false' { FalseToken {} } - 'finally' { FinallyToken {} } - 'for' { ForToken {} } - 'function' { FunctionToken {} } - 'get' { GetToken {} } - 'if' { IfToken {} } - 'in' { InToken {} } - 'instanceof' { InstanceofToken {} } - 'new' { NewToken {} } - 'null' { NullToken {} } - 'return' { ReturnToken {} } - 'set' { SetToken {} } - 'switch' { SwitchToken {} } - 'this' { ThisToken {} } - 'throw' { ThrowToken {} } - 'true' { TrueToken {} } - 'try' { TryToken {} } - 'typeof' { TypeofToken {} } - 'var' { VarToken {} } - 'void' { VoidToken {} } - 'while' { WhileToken {} } - 'with' { WithToken {} } - - - 'ident' { IdentifierToken {} } - 'decimal' { DecimalToken {} } - 'hexinteger' { HexIntegerToken {} } - 'octal' { OctalToken {} } - 'string' { StringToken {} } - 'regex' { RegExToken {} } - 'assign' { AssignToken {} } - - 'future' { FutureToken {} } - - 'tail' { TailToken {} } - 'eof' { EOFToken {} } - - -%% - --- --------------------------------------------------------------------- --- Sort out automatically inserted semi-colons - -AutoSemi :: { AST.JSNode } -AutoSemi : ';' { AST.NT (AST.JSLiteral ";") (ss $1) (gc $1)} - | { AST.NT (AST.JSLiteral "") tokenPosnEmpty []} - --- --------------------------------------------------------------------- - --- Helpers - -LParen :: { AST.JSNode } -LParen : '(' { fp (AST.NT (AST.JSLiteral "(") (ss $1) (gc $1))} - -RParen :: { AST.JSNode } -RParen : ')' { fp (AST.NT (AST.JSLiteral ")") (ss $1) (gc $1))} - - -LBrace :: { AST.JSNode } -LBrace : '{' { fp (AST.NT (AST.JSLiteral "{") (ss $1) (gc $1))} - -RBrace :: { AST.JSNode } -RBrace : '}' { fp (AST.NT (AST.JSLiteral "}") (ss $1) (gc $1))} - - -LSquare :: { AST.JSNode } -LSquare : '[' { fp (AST.NT (AST.JSLiteral "[") (ss $1) (gc $1))} - -RSquare :: { AST.JSNode } -RSquare : ']' { fp (AST.NT (AST.JSLiteral "]") (ss $1) (gc $1))} - -Comma :: { AST.JSNode } -Comma : ',' { fp (AST.NT (AST.JSLiteral ",") (ss $1) (gc $1))} - -Colon :: { AST.JSNode } -Colon : ':' { fp (AST.NT (AST.JSLiteral ":") (ss $1) (gc $1))} - -Semi :: { AST.JSNode } -Semi : ';' { fp (AST.NT (AST.JSLiteral ";") (ss $1) (gc $1))} - -Dot :: { AST.JSNode } -Dot : '.' { fp (AST.NT (AST.JSLiteral ".") (ss $1) (gc $1))} - -Increment :: { AST.JSNode } -Increment : '++' { fp (AST.NT (AST.JSLiteral "++") (ss $1) (gc $1))} - -Decrement :: { AST.JSNode } -Decrement : '--' { fp (AST.NT (AST.JSLiteral "--") (ss $1) (gc $1))} - -Delete :: { AST.JSNode } -Delete : 'delete' { fp (AST.NT (AST.JSLiteral "delete") (ss $1) (gc $1))} - -Void :: { AST.JSNode } -Void : 'void' { fp (AST.NT (AST.JSLiteral "void") (ss $1) (gc $1))} - -Typeof :: { AST.JSNode } -Typeof : 'typeof' { fp (AST.NT (AST.JSLiteral "typeof") (ss $1) (gc $1))} - -Plus :: { AST.JSNode } -Plus : '+' { fp (AST.NT (AST.JSLiteral "+") (ss $1) (gc $1))} - -Minus :: { AST.JSNode } -Minus : '-' { fp (AST.NT (AST.JSLiteral "-") (ss $1) (gc $1))} - -Tilde :: { AST.JSNode } -Tilde : '~' { fp (AST.NT (AST.JSLiteral "~") (ss $1) (gc $1))} - -Not :: { AST.JSNode } -Not : '!' { fp (AST.NT (AST.JSLiteral "!") (ss $1) (gc $1))} - -Mul :: { AST.JSNode } -Mul : '*' { fp (AST.NT (AST.JSLiteral "*") (ss $1) (gc $1))} - -Div :: { AST.JSNode } -Div : '/' { fp (AST.NT (AST.JSLiteral "/") (ss $1) (gc $1))} - -Mod :: { AST.JSNode } -Mod : '%' { fp (AST.NT (AST.JSLiteral "%") (ss $1) (gc $1))} - -Lsh :: { AST.JSNode } -Lsh : '<<' { fp (AST.NT (AST.JSLiteral "<<") (ss $1) (gc $1))} - -Rsh :: { AST.JSNode } -Rsh : '>>' { fp (AST.NT (AST.JSLiteral ">>") (ss $1) (gc $1))} - -Ursh :: { AST.JSNode } -Ursh : '>>>' { fp (AST.NT (AST.JSLiteral ">>>") (ss $1) (gc $1))} - -Le :: { AST.JSNode } -Le : '<=' { fp (AST.NT (AST.JSLiteral "<=") (ss $1) (gc $1))} - -Lt :: { AST.JSNode } -Lt : '<' { fp (AST.NT (AST.JSLiteral "<") (ss $1) (gc $1))} - -Ge :: { AST.JSNode } -Ge : '>=' { fp (AST.NT (AST.JSLiteral ">=") (ss $1) (gc $1))} - -Gt :: { AST.JSNode } -Gt : '>' { fp (AST.NT (AST.JSLiteral ">") (ss $1) (gc $1))} - -In :: { AST.JSNode } -In : 'in' { fp (AST.NT (AST.JSLiteral "in") (ss $1) (gc $1))} - -Instanceof :: { AST.JSNode } -Instanceof : 'instanceof' { fp (AST.NT (AST.JSLiteral "instanceof") (ss $1) (gc $1))} - -StrictEq :: { AST.JSNode } -StrictEq : '===' { fp (AST.NT (AST.JSLiteral "===") (ss $1) (gc $1))} - -Equal :: { AST.JSNode } -Equal : '==' { fp (AST.NT (AST.JSLiteral "==") (ss $1) (gc $1))} - -StrictNe :: { AST.JSNode } -StrictNe : '!==' { fp (AST.NT (AST.JSLiteral "!==") (ss $1) (gc $1))} - -Ne :: { AST.JSNode } -Ne : '!=' { fp (AST.NT (AST.JSLiteral "!=") (ss $1) (gc $1))} - -Or :: { AST.JSNode } -Or : '||' { fp (AST.NT (AST.JSLiteral "||") (ss $1) (gc $1))} - -And :: { AST.JSNode } -And : '&&' { fp (AST.NT (AST.JSLiteral "&&") (ss $1) (gc $1))} - -BitOr :: { AST.JSNode } -BitOr : '|' { fp (AST.NT (AST.JSLiteral "|") (ss $1) (gc $1))} - -BitAnd :: { AST.JSNode } -BitAnd : '&' { fp (AST.NT (AST.JSLiteral "&") (ss $1) (gc $1))} - -BitXor :: { AST.JSNode } -BitXor : '^' { fp (AST.NT (AST.JSLiteral "^") (ss $1) (gc $1))} - -Hook :: { AST.JSNode } -Hook : '?' { fp (AST.NT (AST.JSLiteral "?") (ss $1) (gc $1))} - -SimpleAssign :: { AST.JSNode } -SimpleAssign : '=' { fp (AST.NT (AST.JSLiteral "=") (ss $1) (gc $1))} - -Assign :: { AST.JSNode } -Assign : 'assign' { fp (AST.NT (AST.JSLiteral (token_literal $1)) (ss $1) (gc $1))} - -Var :: { AST.JSNode } -Var : 'var' { fp (AST.NT (AST.JSLiteral "var") (ss $1) (gc $1))} - -Const :: { AST.JSNode } -Const : 'const' { fp (AST.NT (AST.JSLiteral "const") (ss $1) (gc $1))} - -If :: { AST.JSNode } -If : 'if' { fp (AST.NT (AST.JSLiteral "if") (ss $1) (gc $1))} - -Else :: { AST.JSNode } -Else : 'else' { fp (AST.NT (AST.JSLiteral "else") (ss $1) (gc $1))} - -Do :: { AST.JSNode } -Do : 'do' { fp (AST.NT (AST.JSLiteral "do") (ss $1) (gc $1))} - -While :: { AST.JSNode } -While : 'while' { fp (AST.NT (AST.JSLiteral "while") (ss $1) (gc $1))} - -For :: { AST.JSNode } -For : 'for' { fp (AST.NT (AST.JSLiteral "for") (ss $1) (gc $1))} - -Continue :: { AST.JSNode } -Continue : 'continue' { fp (AST.NT (AST.JSLiteral "continue") (ss $1) (gc $1))} - -Break :: { AST.JSNode } -Break : 'break' { fp (AST.NT (AST.JSLiteral "break") (ss $1) (gc $1))} - -Return :: { AST.JSNode } -Return : 'return' { fp (AST.NT (AST.JSLiteral "return") (ss $1) (gc $1))} - -With :: { AST.JSNode } -With : 'with' { fp (AST.NT (AST.JSLiteral "with") (ss $1) (gc $1))} - -Switch :: { AST.JSNode } -Switch : 'switch' { fp (AST.NT (AST.JSLiteral "switch") (ss $1) (gc $1))} - -Case :: { AST.JSNode } -Case : 'case' { fp (AST.NT (AST.JSLiteral "case") (ss $1) (gc $1))} - -Default :: { AST.JSNode } -Default : 'default' { fp (AST.NT (AST.JSLiteral "default") (ss $1) (gc $1))} - -Throw :: { AST.JSNode } -Throw : 'throw' { fp (AST.NT (AST.JSLiteral "throw") (ss $1) (gc $1))} - -Try :: { AST.JSNode } -Try : 'try' { fp (AST.NT (AST.JSLiteral "try") (ss $1) (gc $1))} - -CatchL :: { AST.JSNode } -CatchL : 'catch' { fp (AST.NT (AST.JSLiteral "catch") (ss $1) (gc $1))} - -FinallyL :: { AST.JSNode } -FinallyL : 'finally' { fp (AST.NT (AST.JSLiteral "finally") (ss $1) (gc $1))} - -Function :: { AST.JSNode } -Function : 'function' { fp (AST.NT (AST.JSLiteral "function") (ss $1) (gc $1))} - -Eof :: { AST.JSNode } -Eof : 'tail' { fp (AST.NT (AST.JSLiteral "") (ss $1) (gc $1))} - --- Literal :: See 7.8 --- NullLiteral --- BooleanLiteral --- NumericLiteral --- StringLiteral -Literal :: { AST.JSNode } -Literal : NullLiteral {$1} - | BooleanLiteral {$1} - | NumericLiteral {$1} - | StringLiteral {$1} - | RegularExpressionLiteral {$1} - -NullLiteral :: { AST.JSNode } -NullLiteral : 'null' { fp (AST.NT (AST.JSLiteral "null") (ss $1) (gc $1))} - -BooleanLiteral :: { AST.JSNode } -BooleanLiteral : 'true' { fp (AST.NT (AST.JSLiteral "true") (ss $1) (gc $1)) } - | 'false' { fp (AST.NT (AST.JSLiteral "false") (ss $1) (gc $1)) } - --- ::= DecimalLiteral --- | HexIntegerLiteral --- | OctalLiteral -NumericLiteral :: { AST.JSNode } -NumericLiteral : 'decimal' { fp (AST.NT (AST.JSDecimal (token_literal $1)) (ss $1) (gc $1))} - | 'hexinteger' { fp (AST.NT (AST.JSHexInteger (token_literal $1)) (ss $1) (gc $1)) } - | 'octal' { fp (AST.NT (AST.JSOctal (token_literal $1)) (ss $1) (gc $1)) } - -StringLiteral :: { AST.JSNode } -StringLiteral : 'string' { fp (AST.NT (AST.JSStringLiteral (token_delimiter $1) (token_literal $1)) (ss $1) (gc $1)) } - --- ::= RegExp -RegularExpressionLiteral :: { AST.JSNode } -RegularExpressionLiteral : 'regex' { fp (AST.NT (AST.JSRegEx (token_literal $1)) (ss $1) (gc $1)) } - --- PrimaryExpression : See 11.1 --- this --- Identifier --- Literal --- ArrayLiteral --- ObjectLiteral --- ( Expression ) -PrimaryExpression :: { AST.JSNode } -PrimaryExpression : 'this' { fp (AST.NT (AST.JSLiteral "this") (ss $1) (gc $1))} - | Identifier { $1 {- PrimaryExpression1 -}} - | Literal { $1 {- PrimaryExpression2 -}} - | ArrayLiteral { $1 {- PrimaryExpression3 -}} - | ObjectLiteral { $1 {- PrimaryExpression4 -}} - | LParen Expression RParen { fp (AST.NN (AST.JSExpressionParen $1 $2 $3)) } - --- Identifier :: See 7.6 --- IdentifierName but not ReservedWord --- IdentifierName :: See 7.6 --- IdentifierStart --- IdentifierName IdentifierPart -Identifier :: { AST.JSNode } -Identifier : 'ident' { (AST.NT (AST.JSIdentifier (token_literal $1)) (ss $1) (gc $1))} - | 'get' { (AST.NT (AST.JSIdentifier "get") (ss $1) (gc $1))} - | 'set' { (AST.NT (AST.JSIdentifier "set") (ss $1) (gc $1))} - --- TODO: make this include any reserved word too, including future ones -IdentifierName :: { AST.JSNode } -IdentifierName : Identifier {$1} - | 'break' { fp (AST.NT (AST.JSIdentifier "break") (ss $1) (gc $1))} - | 'case' { fp (AST.NT (AST.JSIdentifier "case") (ss $1) (gc $1))} - | 'catch' { fp (AST.NT (AST.JSIdentifier "catch") (ss $1) (gc $1))} - | 'const' { fp (AST.NT (AST.JSIdentifier "const") (ss $1) (gc $1))} - | 'continue' { fp (AST.NT (AST.JSIdentifier "continue") (ss $1) (gc $1))} - | 'debugger' { fp (AST.NT (AST.JSIdentifier "debugger") (ss $1) (gc $1))} - | 'default' { fp (AST.NT (AST.JSIdentifier "default") (ss $1) (gc $1))} - | 'delete' { fp (AST.NT (AST.JSIdentifier "delete") (ss $1) (gc $1))} - | 'do' { fp (AST.NT (AST.JSIdentifier "do") (ss $1) (gc $1))} - | 'else' { fp (AST.NT (AST.JSIdentifier "else") (ss $1) (gc $1))} - | 'enum' { fp (AST.NT (AST.JSIdentifier "enum") (ss $1) (gc $1))} - | 'false' { fp (AST.NT (AST.JSIdentifier "false") (ss $1) (gc $1))} - | 'finally' { fp (AST.NT (AST.JSIdentifier "finally") (ss $1) (gc $1))} - | 'for' { fp (AST.NT (AST.JSIdentifier "for") (ss $1) (gc $1))} - | 'function' { fp (AST.NT (AST.JSIdentifier "function") (ss $1) (gc $1))} - | 'get' { fp (AST.NT (AST.JSIdentifier "get") (ss $1) (gc $1))} - | 'if' { fp (AST.NT (AST.JSIdentifier "if") (ss $1) (gc $1))} - | 'in' { fp (AST.NT (AST.JSIdentifier "in") (ss $1) (gc $1))} - | 'instanceof' { fp (AST.NT (AST.JSIdentifier "instanceof") (ss $1) (gc $1))} - | 'new' { fp (AST.NT (AST.JSIdentifier "new") (ss $1) (gc $1))} - | 'null' { fp (AST.NT (AST.JSIdentifier "null") (ss $1) (gc $1))} - | 'return' { fp (AST.NT (AST.JSIdentifier "return") (ss $1) (gc $1))} - | 'set' { fp (AST.NT (AST.JSIdentifier "set") (ss $1) (gc $1))} - | 'switch' { fp (AST.NT (AST.JSIdentifier "switch") (ss $1) (gc $1))} - | 'this' { fp (AST.NT (AST.JSIdentifier "this") (ss $1) (gc $1))} - | 'throw' { fp (AST.NT (AST.JSIdentifier "throw") (ss $1) (gc $1))} - | 'true' { fp (AST.NT (AST.JSIdentifier "true") (ss $1) (gc $1))} - | 'try' { fp (AST.NT (AST.JSIdentifier "try") (ss $1) (gc $1))} - | 'typeof' { fp (AST.NT (AST.JSIdentifier "typeof") (ss $1) (gc $1))} - | 'var' { fp (AST.NT (AST.JSIdentifier "var") (ss $1) (gc $1))} - | 'void' { fp (AST.NT (AST.JSIdentifier "void") (ss $1) (gc $1))} - | 'while' { fp (AST.NT (AST.JSIdentifier "while") (ss $1) (gc $1))} - | 'with' { fp (AST.NT (AST.JSIdentifier "with") (ss $1) (gc $1))} - | 'future' { fp (AST.NT (AST.JSIdentifier (token_literal $1)) (ss $1) (gc $1))} - - - --- ArrayLiteral : See 11.1.4 --- [ Elisionopt ] --- [ ElementList ] --- [ ElementList , Elisionopt ] -ArrayLiteral :: { AST.JSNode } -ArrayLiteral : LSquare RSquare { fp (AST.NN (AST.JSArrayLiteral $1 [] $2))} - | LSquare Elision RSquare { fp (AST.NN (AST.JSArrayLiteral $1 $2 $3))} - | LSquare ElementList RSquare { fp (AST.NN (AST.JSArrayLiteral $1 $2 $3))} - | LSquare ElementList Comma Elision RSquare { fp (AST.NN (AST.JSArrayLiteral $1 ($2++[$3]++$4) $5))} - | LSquare ElementList Comma RSquare { fp (AST.NN (AST.JSArrayLiteral $1 ($2++[$3]) $4))} - - - --- ElementList : See 11.1.4 --- Elisionopt AssignmentExpression --- ElementList , Elisionopt AssignmentExpression -ElementList :: { [AST.JSNode] } -ElementList : Elision AssignmentExpression { (($1)++($2)) {- ElementList -}} - | AssignmentExpression { $1 {- ElementList -}} - | ElementList Comma Elision AssignmentExpression { (($1)++[fp (AST.NN (AST.JSElision $2))]++($3)++($4)) {- ElementList -}} - | ElementList Comma AssignmentExpression { (($1)++[fp (AST.NN (AST.JSElision $2))]++($3)) {- ElementList -}} - - --- Elision : See 11.1.4 --- , --- Elision , -Elision :: { [AST.JSNode] } -Elision : Comma { [ fp (AST.NN (AST.JSElision $1))] } - | Elision Comma { ($1 ++ [fp (AST.NN (AST.JSElision $2))]) } - --- ObjectLiteral : See 11.1.5 --- { } --- { PropertyNameAndValueList } --- { PropertyNameAndValueList , } -ObjectLiteral :: { AST.JSNode } -ObjectLiteral : LBrace RBrace { fp (AST.NN (AST.JSObjectLiteral $1 [] $2) )} - | LBrace PropertyNameandValueList RBrace { fp (AST.NN (AST.JSObjectLiteral $1 $2 $3) )} - | LBrace PropertyNameandValueList Comma RBrace { fp (AST.NN (AST.JSObjectLiteral $1 ($2++[$3]) $4) )} - --- ::= ':' --- | ',' ':' - --- Seems we can have function declarations in the value part too --- PropertyNameAndValueList : See 11.1.5 --- PropertyAssignment --- PropertyNameAndValueList , PropertyAssignment -PropertyNameandValueList :: { [ AST.JSNode ] } -PropertyNameandValueList : PropertyAssignment { [$1] {- PropertyNameandValueList1 -} } - | PropertyNameandValueList Comma PropertyAssignment { ($1++[$2]++[$3]) {- PropertyNameandValueList2 -} } - --- PropertyAssignment : See 11.1.5 --- PropertyName : AssignmentExpression --- get PropertyName() { FunctionBody } --- set PropertyName( PropertySetParameterList ) { FunctionBody } --- TODO: not clear if get/set are keywords, or just used in a specific context. Puzzling. -PropertyAssignment :: { AST.JSNode } -PropertyAssignment : PropertyName Colon AssignmentExpression { fp (AST.NN (AST.JSPropertyNameandValue $1 $2 $3)) } - -- Should be "get" in next, but is not a Token - | 'get' PropertyName LParen RParen FunctionBody - { fp (AST.NN (AST.JSPropertyAccessor (AST.NT (AST.JSLiteral "get") (ss $1) (gc $1)) $2 $3 [] $4 $5)) } - -- Should be "set" in next, but is not a Token - | 'set' PropertyName LParen PropertySetParameterList RParen FunctionBody - { fp (AST.NN (AST.JSPropertyAccessor (AST.NT (AST.JSLiteral "set") (ss $1) (gc $1)) $2 $3 [$4] $5 $6)) } - --- PropertyName : See 11.1.5 --- IdentifierName --- StringLiteral --- NumericLiteral -PropertyName :: { AST.JSNode } -PropertyName : IdentifierName { $1 {- PropertyName1 -}} - | StringLiteral { $1 {- PropertyName2 -}} - | NumericLiteral { $1 {- PropertyName3 -}} - --- PropertySetParameterList : See 11.1.5 --- Identifier -PropertySetParameterList :: { AST.JSNode } -PropertySetParameterList : Identifier { $1 {- PropertySetParameterList -}} - --- MemberExpression : See 11.2 --- PrimaryExpression --- FunctionExpression --- MemberExpression [ Expression ] --- MemberExpression . IdentifierName --- new MemberExpression Arguments -MemberExpression :: { [AST.JSNode] } -MemberExpression : PrimaryExpression { [$1] {- MemberExpression -}} - | FunctionExpression { [$1] {- MemberExpression -}} - | MemberExpression LSquare Expression RSquare { [fp (AST.NN (AST.JSMemberSquare $1 $2 $3 $4))] } - | MemberExpression Dot IdentifierName { [fp (AST.NN (AST.JSMemberDot $1 $2 $3))] } - | 'new' MemberExpression Arguments { (((fp (AST.NT (AST.JSLiteral "new") (ss $1) (gc $1))):$2)++[$3])} - --- NewExpression : See 11.2 --- MemberExpression --- new NewExpression -NewExpression :: { [AST.JSNode] } -NewExpression : MemberExpression { $1 {- NewExpression -}} - | 'new' NewExpression { (fp (AST.NT (AST.JSLiteral "new") (ss $1) (gc $1))):$2 } - --- CallExpression : See 11.2 --- MemberExpression Arguments --- CallExpression Arguments --- CallExpression [ Expression ] --- CallExpression . IdentifierName -CallExpression :: { [AST.JSNode] } -CallExpression : MemberExpression Arguments { $1++[$2] {- CallExpression -} } - | CallExpression Arguments { ($1++[fp (AST.NN (AST.JSCallExpression "()" [] [$2] []))]) } - | CallExpression LSquare Expression RSquare { ($1++[fp (AST.NN (AST.JSCallExpression "[]" [$2] [$3] [$4]))]) } - | CallExpression Dot IdentifierName { ($1++[fp (AST.NN (AST.JSCallExpression "." [$2] [$3] []))]) } - --- Arguments : See 11.2 --- () --- ( ArgumentList ) -Arguments :: { AST.JSNode } -Arguments : LParen RParen { fp (AST.NN (AST.JSArguments $1 [] $2)) } - | LParen ArgumentList RParen { fp (AST.NN (AST.JSArguments $1 $2 $3)) } - --- ArgumentList : See 11.2 --- AssignmentExpression --- ArgumentList , AssignmentExpression -ArgumentList :: { [AST.JSNode] } -ArgumentList : AssignmentExpression { $1 {- ArgumentList -}} - | ArgumentList Comma AssignmentExpression { $1++[$2]++$3 {- ArgumentList2 -} } - --- LeftHandSideExpression : See 11.2 --- NewExpression --- CallExpression -LeftHandSideExpression :: { [AST.JSNode] } -LeftHandSideExpression : NewExpression { $1 {- LeftHandSideExpression1 -}} - | CallExpression { $1 {- LeftHandSideExpression12 -}} - --- PostfixExpression : See 11.3 --- LeftHandSideExpression --- [no LineTerminator here] --- LeftHandSideExpression ++ --- [no LineTerminator here] --- LeftHandSideExpression -- -PostfixExpression :: { [AST.JSNode] } -PostfixExpression : LeftHandSideExpression { $1 {- PostfixExpression -} } - | PostfixExpression Increment {[fp (AST.NN (AST.JSExpressionPostfix "++" $1 $2))]} - | PostfixExpression Decrement {[fp (AST.NN (AST.JSExpressionPostfix "--" $1 $2))]} - --- UnaryExpression : See 11.4 --- PostfixExpression --- delete UnaryExpression --- void UnaryExpression --- typeof UnaryExpression --- ++ UnaryExpression --- -- UnaryExpression --- + UnaryExpression --- - UnaryExpression --- ~ UnaryExpression --- ! UnaryExpression -UnaryExpression :: { [AST.JSNode] } -UnaryExpression : PostfixExpression { $1 {- UnaryExpression -} } - | Delete UnaryExpression { ((fp (AST.NN (AST.JSUnary "delete " $1))):$2)} - | Void UnaryExpression { ((fp (AST.NN (AST.JSUnary "void " $1))):$2)} - | Typeof UnaryExpression { ((fp (AST.NN (AST.JSUnary "typeof " $1))):$2)} - | Increment UnaryExpression { ((fp (AST.NN (AST.JSUnary "++" $1))):$2) } - | Decrement UnaryExpression { ((fp (AST.NN (AST.JSUnary "--" $1))):$2)} - | Plus UnaryExpression { ((fp (AST.NN (AST.JSUnary "+" $1))):$2)} - | Minus UnaryExpression { ((fp (AST.NN (AST.JSUnary "-" $1))):$2)} - | Tilde UnaryExpression { ((fp (AST.NN (AST.JSUnary "~" $1))):$2)} - | Not UnaryExpression { ((fp (AST.NN (AST.JSUnary "!" $1))):$2)} - --- MultiplicativeExpression : See 11.5 --- UnaryExpression --- MultiplicativeExpression * UnaryExpression --- MultiplicativeExpression / UnaryExpression --- MultiplicativeExpression % UnaryExpression -MultiplicativeExpression :: { [AST.JSNode] } -MultiplicativeExpression : UnaryExpression { $1 {- MultiplicativeExpression -}} - | MultiplicativeExpression Mul UnaryExpression { [fp (AST.NN (AST.JSExpressionBinary "*" $1 $2 $3))]} - | MultiplicativeExpression Div UnaryExpression { [fp (AST.NN (AST.JSExpressionBinary "/" $1 $2 $3))]} - | MultiplicativeExpression Mod UnaryExpression { [fp (AST.NN (AST.JSExpressionBinary "%" $1 $2 $3))]} - --- AdditiveExpression : See 11.6 --- MultiplicativeExpression --- AdditiveExpression + MultiplicativeExpression --- AdditiveExpression - MultiplicativeExpression -AdditiveExpression :: { [AST.JSNode] } -AdditiveExpression : AdditiveExpression Plus MultiplicativeExpression { [fp (AST.NN (AST.JSExpressionBinary "+" $1 $2 $3))]} - | AdditiveExpression Minus MultiplicativeExpression { [fp (AST.NN (AST.JSExpressionBinary "-" $1 $2 $3))]} - | MultiplicativeExpression { $1 {- (goRegExp $1)-} {- AdditiveExpression -} } - --- ShiftExpression : See 11.7 --- AdditiveExpression --- ShiftExpression << AdditiveExpression --- ShiftExpression >> AdditiveExpression --- ShiftExpression >>> AdditiveExpression -ShiftExpression :: { [AST.JSNode] } -ShiftExpression : ShiftExpression Lsh AdditiveExpression { [fp (AST.NN (AST.JSExpressionBinary "<<" $1 $2 $3))]} - | ShiftExpression Rsh AdditiveExpression { [fp (AST.NN (AST.JSExpressionBinary ">>" $1 $2 $3))]} - | ShiftExpression Ursh AdditiveExpression { [fp (AST.NN (AST.JSExpressionBinary ">>>" $1 $2 $3))]} - | AdditiveExpression { $1 {- ShiftExpression -}} - --- RelationalExpression : See 11.8 --- ShiftExpression --- RelationalExpression < ShiftExpression --- RelationalExpression > ShiftExpression --- RelationalExpression <= ShiftExpression --- RelationalExpression >= ShiftExpression --- RelationalExpression instanceof ShiftExpression --- RelationalExpression in ShiftExpression -RelationalExpression :: { [AST.JSNode] } -RelationalExpression : ShiftExpression { $1 {- RelationalExpression -}} - | RelationalExpression Lt ShiftExpression { [fp (AST.NN (AST.JSExpressionBinary "<" $1 $2 $3))]} - | RelationalExpression Gt ShiftExpression { [fp (AST.NN (AST.JSExpressionBinary ">" $1 $2 $3))]} - | RelationalExpression Le ShiftExpression { [fp (AST.NN (AST.JSExpressionBinary "<=" $1 $2 $3))]} - | RelationalExpression Ge ShiftExpression { [fp (AST.NN (AST.JSExpressionBinary ">=" $1 $2 $3))]} - | RelationalExpression Instanceof ShiftExpression { [fp (AST.NN (AST.JSExpressionBinary " instanceof " $1 $2 $3))]} - | RelationalExpression In ShiftExpression { [fp (AST.NN (AST.JSExpressionBinary " in " $1 $2 $3))]} - --- RelationalExpressionNoIn : See 11.8 --- ShiftExpression --- RelationalExpressionNoIn < ShiftExpression --- RelationalExpressionNoIn > ShiftExpression --- RelationalExpressionNoIn <= ShiftExpression --- RelationalExpressionNoIn >= ShiftExpression --- RelationalExpressionNoIn instanceof ShiftExpression -RelationalExpressionNoIn :: { [AST.JSNode] } -RelationalExpressionNoIn : ShiftExpression { $1 {- RelationalExpressionNoIn -}} - | RelationalExpressionNoIn Lt ShiftExpression { [fp (AST.NN (AST.JSExpressionBinary "<" $1 $2 $3))]} - | RelationalExpressionNoIn Gt ShiftExpression { [fp (AST.NN (AST.JSExpressionBinary ">" $1 $2 $3))]} - | RelationalExpressionNoIn Le ShiftExpression { [fp (AST.NN (AST.JSExpressionBinary "<=" $1 $2 $3))]} - | RelationalExpressionNoIn Ge ShiftExpression { [fp (AST.NN (AST.JSExpressionBinary ">=" $1 $2 $3))]} - | RelationalExpressionNoIn Instanceof ShiftExpression { [fp (AST.NN (AST.JSExpressionBinary " instanceof " $1 $2 $3))]} - --- EqualityExpression : See 11.9 --- RelationalExpression --- EqualityExpression == RelationalExpression --- EqualityExpression != RelationalExpression --- EqualityExpression === RelationalExpression --- EqualityExpression !== RelationalExpression -EqualityExpression :: { [AST.JSNode] } -EqualityExpression : RelationalExpression { $1 {- EqualityExpression -} } - | EqualityExpression Equal RelationalExpression { [fp (AST.NN (AST.JSExpressionBinary "==" $1 $2 $3))]} - | EqualityExpression Ne RelationalExpression { [fp (AST.NN (AST.JSExpressionBinary "!=" $1 $2 $3))]} - | EqualityExpression StrictEq RelationalExpression { [fp (AST.NN (AST.JSExpressionBinary "===" $1 $2 $3))]} - | EqualityExpression StrictNe RelationalExpression { [fp (AST.NN (AST.JSExpressionBinary "!==" $1 $2 $3))]} - --- EqualityExpressionNoIn : See 11.9 --- RelationalExpressionNoIn --- EqualityExpressionNoIn == RelationalExpressionNoIn --- EqualityExpressionNoIn != RelationalExpressionNoIn --- EqualityExpressionNoIn === RelationalExpressionNoIn --- EqualityExpressionNoIn !== RelationalExpressionNoIn -EqualityExpressionNoIn :: { [AST.JSNode] } -EqualityExpressionNoIn : RelationalExpressionNoIn { $1 {- EqualityExpressionNoIn -} } - | EqualityExpressionNoIn Equal RelationalExpression { [fp (AST.NN (AST.JSExpressionBinary "==" $1 $2 $3))]} - | EqualityExpressionNoIn Ne RelationalExpression { [fp (AST.NN (AST.JSExpressionBinary "!=" $1 $2 $3))]} - | EqualityExpressionNoIn StrictEq RelationalExpression { [fp (AST.NN (AST.JSExpressionBinary "===" $1 $2 $3))]} - | EqualityExpressionNoIn StrictNe RelationalExpression { [fp (AST.NN (AST.JSExpressionBinary "!==" $1 $2 $3))]} - --- BitwiseANDExpression : See 11.10 --- EqualityExpression --- BitwiseANDExpression & EqualityExpression -BitwiseAndExpression :: { [AST.JSNode] } -BitwiseAndExpression : EqualityExpression { $1 {- BitwiseAndExpression -} } - | BitwiseAndExpression BitAnd EqualityExpression { [fp (AST.NN (AST.JSExpressionBinary "&" $1 $2 $3))]} - --- BitwiseANDExpressionNoIn : See 11.10 --- EqualityExpressionNoIn --- BitwiseANDExpressionNoIn & EqualityExpressionNoIn -BitwiseAndExpressionNoIn :: { [AST.JSNode] } -BitwiseAndExpressionNoIn : EqualityExpressionNoIn { $1 {- BitwiseAndExpression -} } - | BitwiseAndExpressionNoIn BitAnd EqualityExpressionNoIn { [fp (AST.NN (AST.JSExpressionBinary "&" $1 $2 $3))]} - --- BitwiseXORExpression : See 11.10 --- BitwiseANDExpression --- BitwiseXORExpression ^ BitwiseANDExpression -BitwiseXOrExpression :: { [AST.JSNode] } -BitwiseXOrExpression : BitwiseAndExpression { $1 {- BitwiseXOrExpression -} } - | BitwiseXOrExpression BitXor BitwiseAndExpression { [fp (AST.NN (AST.JSExpressionBinary "^" $1 $2 $3))]} - --- BitwiseXORExpressionNoIn : See 11.10 --- BitwiseANDExpressionNoIn --- BitwiseXORExpressionNoIn ^ BitwiseANDExpressionNoIn -BitwiseXOrExpressionNoIn :: { [AST.JSNode] } -BitwiseXOrExpressionNoIn : BitwiseAndExpressionNoIn { $1 {- BitwiseXOrExpression -} } - | BitwiseXOrExpressionNoIn BitXor BitwiseAndExpressionNoIn { [fp (AST.NN (AST.JSExpressionBinary "^" $1 $2 $3))]} - --- BitwiseORExpression : See 11.10 --- BitwiseXORExpression --- BitwiseORExpression | BitwiseXORExpression -BitwiseOrExpression :: { [AST.JSNode] } -BitwiseOrExpression : BitwiseXOrExpression { $1 {- BitwiseOrExpression -} } - | BitwiseOrExpression BitOr BitwiseXOrExpression { [fp (AST.NN (AST.JSExpressionBinary "|" $1 $2 $3))]} - --- BitwiseORExpressionNoIn : See 11.10 --- BitwiseXORExpressionNoIn --- BitwiseORExpressionNoIn | BitwiseXORExpressionNoIn -BitwiseOrExpressionNoIn :: { [AST.JSNode] } -BitwiseOrExpressionNoIn : BitwiseXOrExpressionNoIn { $1 {- BitwiseOrExpression -} } - | BitwiseOrExpressionNoIn BitOr BitwiseXOrExpressionNoIn { [fp (AST.NN (AST.JSExpressionBinary "|" $1 $2 $3))]} - --- LogicalANDExpression : See 11.11 --- BitwiseORExpression --- LogicalANDExpression && BitwiseORExpression -LogicalAndExpression :: { [AST.JSNode] } -LogicalAndExpression : BitwiseOrExpression { $1 {- LogicalAndExpression -} } - | LogicalAndExpression And BitwiseOrExpression { [fp (AST.NN (AST.JSExpressionBinary "&&" $1 $2 $3))]} - --- LogicalANDExpressionNoIn : See 11.11 --- BitwiseORExpressionNoIn --- LogicalANDExpressionNoIn && BitwiseORExpressionNoIn -LogicalAndExpressionNoIn :: { [AST.JSNode] } -LogicalAndExpressionNoIn : BitwiseOrExpressionNoIn { $1 {- LogicalAndExpression -} } - | LogicalAndExpressionNoIn And BitwiseOrExpressionNoIn { [fp (AST.NN (AST.JSExpressionBinary "&&" $1 $2 $3))]} - --- LogicalORExpression : See 11.11 --- LogicalANDExpression --- LogicalORExpression || LogicalANDExpression -LogicalOrExpression :: { [AST.JSNode] } -LogicalOrExpression : LogicalAndExpression { $1 {- LogicalOrExpression -} } - | LogicalOrExpression Or LogicalAndExpression { [fp (AST.NN (AST.JSExpressionBinary "||" $1 $2 $3))]} - --- LogicalORExpressionNoIn : See 11.11 --- LogicalANDExpressionNoIn --- LogicalORExpressionNoIn || LogicalANDExpressionNoIn -LogicalOrExpressionNoIn :: { [AST.JSNode] } -LogicalOrExpressionNoIn : LogicalAndExpressionNoIn { $1 {- LogicalOrExpression -} } - | LogicalOrExpressionNoIn Or LogicalAndExpressionNoIn { [fp (AST.NN (AST.JSExpressionBinary "||" $1 $2 $3))]} - --- ConditionalExpression : See 11.12 --- LogicalORExpression --- LogicalORExpression ? AssignmentExpression : AssignmentExpression -ConditionalExpression :: { [AST.JSNode] } -ConditionalExpression : LogicalOrExpression { $1 {- ConditionalExpression -} } - | LogicalOrExpression Hook AssignmentExpression Colon AssignmentExpression - { [fp (AST.NN (AST.JSExpressionTernary $1 $2 $3 $4 $5))] } - --- ConditionalExpressionNoIn : See 11.12 --- LogicalORExpressionNoIn --- LogicalORExpressionNoIn ? AssignmentExpressionNoIn : AssignmentExpressionNoIn -ConditionalExpressionNoIn :: { [AST.JSNode] } -ConditionalExpressionNoIn : LogicalOrExpressionNoIn { $1 {- ConditionalExpression -} } - | LogicalOrExpressionNoIn Hook AssignmentExpressionNoIn Colon AssignmentExpressionNoIn - { [fp (AST.NN (AST.JSExpressionTernary $1 $2 $3 $4 $5))] } - --- AssignmentExpression : See 11.13 --- ConditionalExpression --- LeftHandSideExpression AssignmentOperator AssignmentExpression -AssignmentExpression :: { [AST.JSNode] } -AssignmentExpression : ConditionalExpression { $1 {- AssignmentExpression -}} - | LeftHandSideExpression AssignmentOperator AssignmentExpression - { ($1++[$2]++$3) } - --- AssignmentExpressionNoIn : See 11.13 --- ConditionalExpressionNoIn --- LeftHandSideExpression AssignmentOperator AssignmentExpressionNoIn -AssignmentExpressionNoIn :: { [AST.JSNode] } -AssignmentExpressionNoIn : ConditionalExpressionNoIn { $1 {- AssignmentExpression -}} - | LeftHandSideExpression AssignmentOperator AssignmentExpressionNoIn - { ($1++[$2]++$3) } - --- AssignmentOperator : one of See 11.13 --- '=' | '*=' | '/=' | '%=' | '+=' | '-=' | '<<=' | '>>=' | '>>>=' | '&=' | '^=' | '|=' -AssignmentOperator :: { AST.JSNode } -AssignmentOperator : Assign { fp (AST.NN (AST.JSOperator $1))} - | SimpleAssign { fp (AST.NN (AST.JSOperator $1))} - --- Expression : See 11.14 --- AssignmentExpression --- Expression , AssignmentExpression -Expression :: { AST.JSNode } -Expression : AssignmentExpression { fp (AST.NN (AST.JSExpression $1)) {- Expression -} } - | Expression Comma AssignmentExpression { fp (AST.NN (AST.JSExpression ($1:[$2]++$3))) {- Expression2 -} } - --- ExpressionNoIn : See 11.14 --- AssignmentExpressionNoIn --- ExpressionNoIn , AssignmentExpressionNoIn -ExpressionNoIn :: { AST.JSNode } -ExpressionNoIn : AssignmentExpressionNoIn { fp (AST.NN (AST.JSExpression $1)) {- ExpressionNoIn -} } - | ExpressionNoIn Comma AssignmentExpressionNoIn { fp (AST.NN (AST.JSExpression ($1:[$2]++$3))) {- ExpressionNoIn2 -} } - --- TODO: still required? -ExpressionOpt :: { [AST.JSNode] } -ExpressionOpt : Expression { [$1] {- ExpressionOpt -}} - | { [] {- ExpressionOpt -}} - -ExpressionNoInOpt :: { [AST.JSNode] } -ExpressionNoInOpt : ExpressionNoIn { [$1] {- ExpressionOpt -}} - | { [] {- ExpressionOpt -}} - - --- Statement : See clause 12 --- Block --- VariableStatement --- EmptyStatement --- ExpressionStatement --- IfStatement --- IterationStatement --- ContinueStatement --- BreakStatement --- ReturnStatement --- WithStatement --- LabelledStatement --- SwitchStatement --- ThrowStatement --- TryStatement --- DebuggerStatement -Statement :: { AST.JSNode } -Statement : StatementNoEmpty { $1 {- Statement1 -}} - | EmptyStatement { $1 {- Statement3 -}} - -StatementNoEmpty :: { AST.JSNode } -StatementNoEmpty : StatementBlock { $1 {- StatementNoEmpty1 -}} - | VariableStatement { $1 {- StatementNoEmpty2 -}} - | ExpressionStatement { $1 {- StatementNoEmpty4 -}} - | IfStatement { $1 {- StatementNoEmpty5 -}} - | IterationStatement { $1 {- StatementNoEmpty6 -}} - | ContinueStatement { $1 {- StatementNoEmpty7 -}} - | BreakStatement { $1 {- StatementNoEmpty8 -}} - | ReturnStatement { $1 {- StatementNoEmpty9 -}} - | WithStatement { $1 {- StatementNoEmpty10 -}} - | LabelledStatement { $1 {- StatementNoEmpty11 -}} - | SwitchStatement { $1 {- StatementNoEmpty12 -}} - | ThrowStatement { $1 {- StatementNoEmpty13 -}} - | TryStatement { $1 {- StatementNoEmpty14 -}} - | DebuggerStatement { $1 {- StatementNoEmpty15 -}} - - -StatementBlock :: { AST.JSNode } -StatementBlock : LBrace RBrace { fp (AST.NN (AST.JSBlock [$1] [] [$2])) } - | LBrace StatementList RBrace { fp (AST.NN (AST.JSBlock [$1] $2 [$3])) } - --- Block : See 12.1 --- { StatementListopt } -Block :: { AST.JSNode } -Block : LBrace RBrace { fp (AST.NN (AST.JSBlock [$1] [] [$2])) } - | LBrace StatementList RBrace { fp (AST.NN (AST.JSBlock [$1] $2 [$3])) } - --- StatementList : See 12.1 --- Statement --- StatementList Statement -StatementList :: { [AST.JSNode] } -StatementList : Statement { [$1] {- StatementList1 -} } - | StatementList Statement { ($1++[$2]) {- StatementList2 -} } - --- VariableStatement : See 12.2 --- var VariableDeclarationList ; -VariableStatement :: { AST.JSNode } -VariableStatement : Var VariableDeclarationList AutoSemi { fp (AST.NN (AST.JSVariables $1 $2 $3))} - | Const VariableDeclarationList AutoSemi { fp (AST.NN (AST.JSVariables $1 $2 $3))} - --- VariableDeclarationList : See 12.2 --- VariableDeclaration --- VariableDeclarationList , VariableDeclaration -VariableDeclarationList :: { [AST.JSNode] } -VariableDeclarationList : VariableDeclaration { [$1] {- VariableDeclarationList -}} - | VariableDeclarationList Comma VariableDeclaration { ($1++[$2]++[$3]) {- VariableDeclarationList -}} - --- VariableDeclarationListNoIn : See 12.2 --- VariableDeclarationNoIn --- VariableDeclarationListNoIn , VariableDeclarationNoIn -VariableDeclarationListNoIn :: { [AST.JSNode] } -VariableDeclarationListNoIn : VariableDeclarationNoIn { [$1] {- VariableDeclarationList -}} - | VariableDeclarationListNoIn Comma VariableDeclarationNoIn { ($1++[$2]++[$3]) {- VariableDeclarationListNoIn -}} - --- VariableDeclaration : See 12.2 --- Identifier Initialiseropt -VariableDeclaration :: { AST.JSNode } -VariableDeclaration : Identifier { fp (AST.NN (AST.JSVarDecl $1 []))} - | Identifier Initializer { fp (AST.NN (AST.JSVarDecl $1 $2))} - --- VariableDeclarationNoIn : See 12.2 --- Identifier InitialiserNoInopt -VariableDeclarationNoIn :: { AST.JSNode } -VariableDeclarationNoIn : Identifier InitializerNoIn { fp (AST.NN (AST.JSVarDecl $1 $2)) } - | Identifier { fp (AST.NN (AST.JSVarDecl $1 [])) } - --- Initialiser : See 12.2 --- = AssignmentExpression -Initializer :: { [AST.JSNode] } -Initializer : SimpleAssign AssignmentExpression { $1:$2 {- Initializer -} } - --- InitialiserNoIn : See 12.2 --- = AssignmentExpressionNoIn -InitializerNoIn :: { [AST.JSNode] } -InitializerNoIn : SimpleAssign AssignmentExpressionNoIn { $1:$2 {- InitializerNoIn -}} - --- EmptyStatement : See 12.3 --- ; -EmptyStatement :: { AST.JSNode } -EmptyStatement : Semi { $1 } - --- ExpressionStatement : See 12.4 --- [lookahead not in {{, function}] Expression ; --- TODO: Sort out lookahead issue. Maybe by just putting production lower to set reduce/reduce conflict --- According to http://sideshowbarker.github.com/es5-spec/#x12.4, the ambiguity is with --- Block or FunctionDeclaration -ExpressionStatement :: { AST.JSNode } -ExpressionStatement : Expression { $1 {- ExpressionStatement -} } - - --- IfStatement : See 12.5 --- if ( Expression ) Statement else Statement --- if ( Expression ) Statement -IfStatement :: { AST.JSNode } -- +++XXXX++ -IfStatement : If LParen Expression RParen StatementSemi IfElseRest - { (fp (AST.NN (AST.JSIf $1 $2 $3 $4 $5 $6)) ) } - -IfElseRest :: { [AST.JSNode] } -IfElseRest : Else Statement { [$1,$2] } - | { [] } - -StatementSemi :: { [AST.JSNode] } -StatementSemi : StatementNoEmpty Semi { [$1,$2] {- StatementSemi1 -}} - | StatementNoEmpty { [$1] {- StatementSemi2 -}} - | Semi { [$1] {- StatementSemi3 -}} - - --- IterationStatement : See 12.6 --- do Statement while ( Expression ); --- while ( Expression ) Statement --- for (ExpressionNoInopt; Expressionopt ; Expressionopt ) Statement --- for ( var VariableDeclarationListNoIn; Expressionopt ; Expressionopt ) Statement --- for ( LeftHandSideExpression in Expression ) Statement --- for ( var VariableDeclarationNoIn in Expression ) Statement -IterationStatement :: { AST.JSNode } -IterationStatement : Do Statement While LParen Expression RParen AutoSemi - { fp (AST.NN (AST.JSDoWhile $1 $2 $3 $4 $5 $6 $7)) } - | While LParen Expression RParen Statement - { fp (AST.NN (AST.JSWhile $1 $2 $3 $4 $5)) } - | For LParen ExpressionNoInOpt Semi ExpressionOpt Semi ExpressionOpt RParen Statement - { fp (AST.NN (AST.JSFor $1 $2 $3 $4 $5 $6 $7 $8 $9)) } - | For LParen Var VariableDeclarationListNoIn Semi ExpressionOpt Semi ExpressionOpt RParen Statement - { fp (AST.NN (AST.JSForVar $1 $2 $3 $4 $5 $6 $7 $8 $9 $10)) } - | For LParen LeftHandSideExpression In Expression RParen Statement - { fp (AST.NN (AST.JSForIn $1 $2 $3 $4 $5 $6 $7)) } - | For LParen Var VariableDeclarationNoIn In Expression RParen Statement - { fp (AST.NN (AST.JSForVarIn $1 $2 $3 $4 $5 $6 $7 $8)) } - --- ContinueStatement : See 12.7 --- continue [no LineTerminator here] Identifieropt ; --- TODO: deal with [no LineTerminator here] -ContinueStatement :: { AST.JSNode } -ContinueStatement : Continue AutoSemi { fp (AST.NN (AST.JSContinue $1 [] $2)) } - | Continue Identifier AutoSemi { fp (AST.NN (AST.JSContinue $1 [$2] $3)) } - --- BreakStatement : See 12.8 --- break [no LineTerminator here] Identifieropt ; --- TODO: deal with [no LineTerminator here] -BreakStatement :: { AST.JSNode } -BreakStatement : Break AutoSemi { fp (AST.NN (AST.JSBreak $1 [] $2)) } - | Break Identifier AutoSemi { fp (AST.NN (AST.JSBreak $1 [$2] $3)) } - --- ReturnStatement : See 12.9 --- return [no LineTerminator here] Expressionopt ; --- TODO: deal with [no LineTerminator here] -ReturnStatement :: { AST.JSNode } -ReturnStatement : Return AutoSemi { fp (AST.NN (AST.JSReturn $1 [] $2)) } - | Return Expression AutoSemi { fp (AST.NN (AST.JSReturn $1 [$2] $3)) } - --- WithStatement : See 12.10 --- with ( Expression ) Statement -WithStatement :: { AST.JSNode } -WithStatement : With LParen Expression RParen Statement AutoSemi { fp (AST.NN (AST.JSWith $1 $2 $3 $4 [$5,$6])) } - --- SwitchStatement : See 12.11 --- switch ( Expression ) CaseBlock -SwitchStatement :: { AST.JSNode } -SwitchStatement : Switch LParen Expression RParen CaseBlock { (AST.NN (AST.JSSwitch $1 $2 $3 $4 $5)) } - --- CaseBlock : See 12.11 --- { CaseClausesopt } --- { CaseClausesopt DefaultClause CaseClausesopt } -CaseBlock :: { AST.JSNode } -CaseBlock : LBrace CaseClausesOpt RBrace { fp (AST.NN (AST.JSBlock [$1] $2 [$3])){- CaseBlock1 -}} - | LBrace CaseClausesOpt DefaultClause CaseClausesOpt RBrace { fp (AST.NN (AST.JSBlock [$1] ($2++[$3]++$4) [$5])){- CaseBlock2 -}} - --- CaseClauses : See 12.11 --- CaseClause --- CaseClauses CaseClause -CaseClausesOpt :: { [AST.JSNode] } -CaseClausesOpt : CaseClause { [$1] {- CaseClauses1 -}} - | CaseClausesOpt CaseClause { ($1++[$2]) {- CaseClauses2 -}} - | { [fp (AST.NT (AST.JSLiteral "") tokenPosnEmpty []) ] } -- { [] } - --- CaseClause : See 12.11 --- case Expression : StatementListopt -CaseClause :: { AST.JSNode } -CaseClause : Case Expression Colon StatementList { fp (AST.NN (AST.JSCase $1 $2 $3 $4)) } - | Case Expression Colon { fp (AST.NN (AST.JSCase $1 $2 $3 [])) } - --- DefaultClause : See 12.11 --- default : StatementListopt -DefaultClause :: { AST.JSNode } -DefaultClause : Default Colon { fp (AST.NN (AST.JSDefault $1 $2 [])) } - | Default Colon StatementList { fp (AST.NN (AST.JSDefault $1 $2 $3)) } - --- LabelledStatement : See 12.12 --- Identifier : Statement -LabelledStatement :: { AST.JSNode } -LabelledStatement : Identifier Colon Statement { fp (AST.NN (AST.JSLabelled $1 $2 $3)) } - --- ThrowStatement : See 12.13 --- throw [no LineTerminator here] Expression ; --- TODO : sort out no LineTerminator here --- Does it need a semi at the end? -ThrowStatement :: { AST.JSNode } -ThrowStatement : Throw Expression { fp (AST.NN (AST.JSThrow $1 $2)) } - --- Note: worked in updated syntax as per https://developer.mozilla.org/en/JavaScript/Reference/Statements/try...catch --- i.e., 0 or more catches, then an optional finally --- TryStatement : See 12.14 --- try Block Catch --- try Block Finally --- try Block Catch Finally -TryStatement :: { AST.JSNode } -TryStatement : Try Block Catches { fp (AST.NN (AST.JSTry $1 $2 $3) ) {- TryStatement1 -} } - | Try Block Finally { fp (AST.NN (AST.JSTry $1 $2 [$3]) ) {- TryStatement2 -} } - | Try Block Catches Finally { fp (AST.NN (AST.JSTry $1 $2 ($3++[$4])) ) {- TryStatement3 -} } - -Catches :: { [AST.JSNode] } -Catches : Catch { [$1] {- Catches 1 -} } - | Catches Catch { ($1++[$2]) {- Catches 2 -} } - --- Note: worked in updated syntax as per https://developer.mozilla.org/en/JavaScript/Reference/Statements/try...catch --- ::= 'catch' '(' Identifier ')' --- becomes --- ::= 'catch' '(' Identifier ')' --- | 'catch' '(' Identifier 'if' ConditionalExpression ')' -Catch :: { AST.JSNode } -Catch : CatchL LParen Identifier RParen Block { fp (AST.NN (AST.JSCatch $1 $2 $3 [ ] $4 $5)) } - | CatchL LParen Identifier If ConditionalExpression RParen Block { fp (AST.NN (AST.JSCatch $1 $2 $3 ($4:$5) $6 $7)) } - --- Finally : See 12.14 --- finally Block -Finally :: { AST.JSNode } -Finally : FinallyL Block { fp (AST.NN (AST.JSFinally $1 $2)) } - --- DebuggerStatement : See 12.15 --- debugger ; -DebuggerStatement :: { AST.JSNode } -DebuggerStatement : 'debugger' AutoSemi { fp (AST.NT (AST.JSLiteral "debugger") (ss $1) (gc $1)) } - --- FunctionDeclaration : See clause 13 --- function Identifier ( FormalParameterListopt ) { FunctionBody } -FunctionDeclaration :: { AST.JSNode } -FunctionDeclaration : Function Identifier LParen FormalParameterList RParen FunctionBody - { fp (AST.NN (AST.JSFunction $1 $2 $3 $4 $5 $6) ) } - | Function Identifier LParen RParen FunctionBody - { fp (AST.NN (AST.JSFunction $1 $2 $3 [] $4 $5) ) } - --- FunctionExpression : See clause 13 --- function Identifieropt ( FormalParameterListopt ) { FunctionBody } -FunctionExpression :: { AST.JSNode } -FunctionExpression : Function IdentifierOpt LParen RParen FunctionBody - { fp (AST.NN (AST.JSFunctionExpression $1 $2 $3 [] $4 $5) ) } - | Function IdentifierOpt LParen FormalParameterList RParen FunctionBody - { fp (AST.NN (AST.JSFunctionExpression $1 $2 $3 $4 $5 $6) ) } - -IdentifierOpt :: { [AST.JSNode] } -IdentifierOpt : Identifier { [$1] {- IdentifierOpt -}} - | { [] {- IdentifierOpt -}} - --- FormalParameterList : See clause 13 --- Identifier --- FormalParameterList , Identifier -FormalParameterList :: { [AST.JSNode] } -FormalParameterList : Identifier { [$1] {- FormalParameterList -}} - | FormalParameterList Comma Identifier { ($1++[$2]++[$3]) } - --- FunctionBody : See clause 13 --- SourceElementsopt -FunctionBody :: { AST.JSNode } -FunctionBody : LBrace SourceElements RBrace { (AST.NN (AST.JSBlock [$1] $2 [$3]) ) } - | LBrace RBrace { (AST.NN (AST.JSBlock [$1] [] [$2]) ) } - --- Program : See clause 14 --- SourceElementsopt - -Program :: { AST.JSNode } -Program : SourceElementsTop Eof { (combineTop $1 $2) {- Program -}} - | Eof { fp (AST.NN (AST.JSSourceElementsTop [$1])) } - --- For debugging/other entry points -LiteralMain :: { AST.JSNode } -LiteralMain : Literal Eof { $1 } - -PrimaryExpressionMain :: { AST.JSNode } -PrimaryExpressionMain : PrimaryExpression Eof { $1 } - -StatementMain :: { AST.JSNode } -StatementMain : Statement Eof { $1 } - - --- SourceElements : See clause 14 --- SourceElement --- SourceElements SourceElement -SourceElements :: { [AST.JSNode] } -SourceElements : SourceElement { [$1] {- SourceElements -} } - | SourceElements SourceElement { $1++[$2] {- SourceElements -} } - -SourceElementsTop :: { AST.JSNode } -SourceElementsTop : SourceElement { fp (AST.NN (AST.JSSourceElementsTop [$1]) ) } - | SourceElementsTop SourceElement { (combineSourceElementsTop $1 $2) } - --- SourceElement : --- Statement --- FunctionDeclaration -SourceElement :: { AST.JSNode } -SourceElement : Statement { $1 {- SourceElement1 -} } - | FunctionDeclaration { $1 {- SourceElement2 -} } - -{ -combineSourceElementsTop :: AST.JSNode -> AST.JSNode -> AST.JSNode -combineSourceElementsTop (AST.NN (AST.JSSourceElementsTop xs)) x1 = fp (AST.NN (AST.JSSourceElementsTop (xs++[x1]))) - -combineTop :: AST.JSNode -> AST.JSNode -> AST.JSNode -combineTop (AST.NN (AST.JSSourceElementsTop xs)) x1 = fp (AST.NN (AST.JSSourceElementsTop (xs++[x1]))) - - -parseError :: Token -> Alex a --- parseError = throwError . UnexpectedToken -parseError tok = alexError (show tok) - --- -------------------------------- - -{- -mex :: [AST.JSNode] -> TokenPosn -mex [] = tokenPosnEmpty -mex xs = ex (head xs) - -ex :: AST.JSNode -> TokenPosn -ex (AST.NN _node span _c) = span --} - ---ss token = toSrcSpan (token_span token) -ss :: Token -> TokenPosn -ss token = token_span token - --- ------------------------------ - -gc :: Token -> [CommentAnnotation] -gc token = token_comment token -mgc :: [Token] -> [CommentAnnotation] -mgc xs = concatMap gc xs - --- --------------------------------------------------------------------- - -fp :: AST.JSNode -> AST.JSNode -fp (AST.NN x) = (AST.NN x) -fp (AST.NT x p cs) = (AST.NT x p cs) -{- -fp (AST.NN x p cs) = (AST.NN x p' cs) - where - p' = case (filter (/= NoComment) cs) of - [] -> p - [(CommentA posn _)] -> posn - ((CommentA posn _):_) -> posn --} - -} - --- Set emacs mode --- Local Variables: --- mode:haskell --- End: diff --git a/src/Language/JavaScript/Parser/Grammar7.y b/src/Language/JavaScript/Parser/Grammar7.y new file mode 100644 --- /dev/null +++ b/src/Language/JavaScript/Parser/Grammar7.y @@ -0,0 +1,1580 @@ +{ +{-# LANGUAGE BangPatterns #-} +module Language.JavaScript.Parser.Grammar7 + ( parseProgram + , parseModule + , parseStatement + , parseExpression + , parseLiteral + ) where + +import Data.Char +import Data.Functor (($>)) +import Language.JavaScript.Parser.Lexer +import Language.JavaScript.Parser.ParserMonad +import Language.JavaScript.Parser.SrcLocation +import Language.JavaScript.Parser.Token +import qualified Language.JavaScript.Parser.AST as AST + +} + +-- The name of the generated function to be exported from the module +%name parseProgram Program +%name parseModule Module +%name parseLiteral LiteralMain +%name parseExpression ExpressionMain +%name parseStatement StatementMain + +%tokentype { Token } +%error { parseError } +%monad { Alex } { >>= } { return } +%lexer { lexCont } { EOFToken {} } + + +%token + + ';' { SemiColonToken {} } + ',' { CommaToken {} } + '?' { HookToken {} } + ':' { ColonToken {} } + '||' { OrToken {} } + '&&' { AndToken {} } + '|' { BitwiseOrToken {} } + '^' { BitwiseXorToken {} } + '&' { BitwiseAndToken {} } + '=>' { ArrowToken {} } + '===' { StrictEqToken {} } + '==' { EqToken {} } + '*=' { TimesAssignToken {} } + '/=' { DivideAssignToken {} } + '%=' { ModAssignToken {} } + '+=' { PlusAssignToken {} } + '-=' { MinusAssignToken {} } + '<<=' { LshAssignToken {} } + '>>=' { RshAssignToken {} } + '>>>=' { UrshAssignToken {} } + '&=' { AndAssignToken {} } + '^=' { XorAssignToken {} } + '|=' { OrAssignToken {} } + '=' { SimpleAssignToken {} } + '!==' { StrictNeToken {} } + '!=' { NeToken {} } + '<<' { LshToken {} } + '<=' { LeToken {} } + '<' { LtToken {} } + '>>>' { UrshToken {} } + '>>' { RshToken {} } + '>=' { GeToken {} } + '>' { GtToken {} } + '++' { IncrementToken {} } + '--' { DecrementToken {} } + '+' { PlusToken {} } + '-' { MinusToken {} } + '*' { MulToken {} } + '/' { DivToken {} } + '%' { ModToken {} } + '!' { NotToken {} } + '~' { BitwiseNotToken {} } + '...' { SpreadToken {} } + '.' { DotToken {} } + '[' { LeftBracketToken {} } + ']' { RightBracketToken {} } + '{' { LeftCurlyToken {} } + '}' { RightCurlyToken {} } + '(' { LeftParenToken {} } + ')' { RightParenToken {} } + + 'as' { AsToken {} } + 'autosemi' { AutoSemiToken {} } + 'async' { AsyncToken {} } + 'await' { AwaitToken {} } + 'break' { BreakToken {} } + 'case' { CaseToken {} } + 'catch' { CatchToken {} } + 'class' { ClassToken {} } + 'const' { ConstToken {} } + 'continue' { ContinueToken {} } + 'debugger' { DebuggerToken {} } + 'default' { DefaultToken {} } + 'delete' { DeleteToken {} } + 'do' { DoToken {} } + 'else' { ElseToken {} } + 'enum' { EnumToken {} } + 'export' { ExportToken {} } + 'extends' { ExtendsToken {} } + 'false' { FalseToken {} } + 'finally' { FinallyToken {} } + 'for' { ForToken {} } + 'function' { FunctionToken {} } + 'from' { FromToken {} } + 'get' { GetToken {} } + 'if' { IfToken {} } + 'import' { ImportToken {} } + 'in' { InToken {} } + 'instanceof' { InstanceofToken {} } + 'let' { LetToken {} } + 'new' { NewToken {} } + 'null' { NullToken {} } + 'of' { OfToken {} } + 'return' { ReturnToken {} } + 'set' { SetToken {} } + 'static' { StaticToken {} } + 'super' { SuperToken {} } + 'switch' { SwitchToken {} } + 'this' { ThisToken {} } + 'throw' { ThrowToken {} } + 'true' { TrueToken {} } + 'try' { TryToken {} } + 'typeof' { TypeofToken {} } + 'var' { VarToken {} } + 'void' { VoidToken {} } + 'while' { WhileToken {} } + 'with' { WithToken {} } + 'yield' { YieldToken {} } + + + 'ident' { IdentifierToken {} } + 'decimal' { DecimalToken {} } + 'hexinteger' { HexIntegerToken {} } + 'octal' { OctalToken {} } + 'string' { StringToken {} } + 'regex' { RegExToken {} } + 'tmplnosub' { NoSubstitutionTemplateToken {} } + 'tmplhead' { TemplateHeadToken {} } + 'tmplmiddle' { TemplateMiddleToken {} } + 'tmpltail' { TemplateTailToken {} } + + 'future' { FutureToken {} } + + 'tail' { TailToken {} } + + +%% + +-- --------------------------------------------------------------------- +-- Sort out automatically inserted semi-colons. +-- A MaybeSemi is an actual semi-colon or nothing. +-- An AutoSemu is either an actual semi-colon or 'virtual' semi-colon inserted +-- by the Alex lexer or nothing. + +MaybeSemi :: { AST.JSSemi } +MaybeSemi : ';' { AST.JSSemi (mkJSAnnot $1) } + | { AST.JSSemiAuto } + +AutoSemi :: { AST.JSSemi } +AutoSemi : ';' { AST.JSSemi (mkJSAnnot $1) } + | 'autosemi' { AST.JSSemiAuto } + | { AST.JSSemiAuto } + +-- --------------------------------------------------------------------- + +-- Helpers + +LParen :: { AST.JSAnnot } +LParen : '(' { mkJSAnnot $1 } + +RParen :: { AST.JSAnnot } +RParen : ')' { mkJSAnnot $1 } + +LBrace :: { AST.JSAnnot } +LBrace : '{' { mkJSAnnot $1 } + +RBrace :: { AST.JSAnnot } +RBrace : '}' { mkJSAnnot $1 } + +LSquare :: { AST.JSAnnot } +LSquare : '[' { mkJSAnnot $1 } + +RSquare :: { AST.JSAnnot } +RSquare : ']' { mkJSAnnot $1 } + +Comma :: { AST.JSAnnot } +Comma : ',' { mkJSAnnot $1 } + +Colon :: { AST.JSAnnot } +Colon : ':' { mkJSAnnot $1 } + +Semi :: { AST.JSAnnot } +Semi : ';' { mkJSAnnot $1 } + +Arrow :: { AST.JSAnnot } +Arrow : '=>' { mkJSAnnot $1 } + +Spread :: { AST.JSAnnot } +Spread : '...' { mkJSAnnot $1 } + +Dot :: { AST.JSAnnot } +Dot : '.' { mkJSAnnot $1 } + +As :: { AST.JSAnnot } +As : 'as' { mkJSAnnot $1 } + +Increment :: { AST.JSUnaryOp } +Increment : '++' { AST.JSUnaryOpIncr (mkJSAnnot $1) } + +Decrement :: { AST.JSUnaryOp } +Decrement : '--' { AST.JSUnaryOpDecr (mkJSAnnot $1) } + +Delete :: { AST.JSUnaryOp } +Delete : 'delete' { AST.JSUnaryOpDelete (mkJSAnnot $1) } + +Void :: { AST.JSUnaryOp } +Void : 'void' { AST.JSUnaryOpVoid (mkJSAnnot $1) } + +Typeof :: { AST.JSUnaryOp } +Typeof : 'typeof' { AST.JSUnaryOpTypeof (mkJSAnnot $1) } + +Plus :: { AST.JSBinOp } +Plus : '+' { AST.JSBinOpPlus (mkJSAnnot $1) } + +Minus :: { AST.JSBinOp } +Minus : '-' { AST.JSBinOpMinus (mkJSAnnot $1) } + +Tilde :: { AST.JSUnaryOp } +Tilde : '~' { AST.JSUnaryOpTilde (mkJSAnnot $1) } + +Not :: { AST.JSUnaryOp } +Not : '!' { AST.JSUnaryOpNot (mkJSAnnot $1) } + +Mul :: { AST.JSBinOp } +Mul : '*' { AST.JSBinOpTimes (mkJSAnnot $1) } + +Div :: { AST.JSBinOp } +Div : '/' { AST.JSBinOpDivide (mkJSAnnot $1) } + +Mod :: { AST.JSBinOp } +Mod : '%' { AST.JSBinOpMod (mkJSAnnot $1) } + +Lsh :: { AST.JSBinOp } +Lsh : '<<' { AST.JSBinOpLsh (mkJSAnnot $1) } + +Rsh :: { AST.JSBinOp } +Rsh : '>>' { AST.JSBinOpRsh (mkJSAnnot $1) } + +Ursh :: { AST.JSBinOp } +Ursh : '>>>' { AST.JSBinOpUrsh (mkJSAnnot $1) } + +Le :: { AST.JSBinOp } +Le : '<=' { AST.JSBinOpLe (mkJSAnnot $1) } + +Lt :: { AST.JSBinOp } +Lt : '<' { AST.JSBinOpLt (mkJSAnnot $1) } + +Ge :: { AST.JSBinOp } +Ge : '>=' { AST.JSBinOpGe (mkJSAnnot $1) } + +Gt :: { AST.JSBinOp } +Gt : '>' { AST.JSBinOpGt (mkJSAnnot $1) } + +In :: { AST.JSBinOp } +In : 'in' { AST.JSBinOpIn (mkJSAnnot $1) } + +Instanceof :: { AST.JSBinOp } +Instanceof : 'instanceof' { AST.JSBinOpInstanceOf (mkJSAnnot $1) } + +StrictEq :: { AST.JSBinOp } +StrictEq : '===' { AST.JSBinOpStrictEq (mkJSAnnot $1) } + +Equal :: { AST.JSBinOp } +Equal : '==' { AST.JSBinOpEq (mkJSAnnot $1) } + +StrictNe :: { AST.JSBinOp } +StrictNe : '!==' { AST.JSBinOpStrictNeq (mkJSAnnot $1) } + +Ne :: { AST.JSBinOp } +Ne : '!=' { AST.JSBinOpNeq (mkJSAnnot $1)} + +Of :: { AST.JSBinOp } +Of : 'of' { AST.JSBinOpOf (mkJSAnnot $1) } + +Or :: { AST.JSBinOp } +Or : '||' { AST.JSBinOpOr (mkJSAnnot $1) } + +And :: { AST.JSBinOp } +And : '&&' { AST.JSBinOpAnd (mkJSAnnot $1) } + +BitOr :: { AST.JSBinOp } +BitOr : '|' { AST.JSBinOpBitOr (mkJSAnnot $1) } + +BitAnd :: { AST.JSBinOp } +BitAnd : '&' { AST.JSBinOpBitAnd (mkJSAnnot $1) } + +BitXor :: { AST.JSBinOp } +BitXor : '^' { AST.JSBinOpBitXor (mkJSAnnot $1)} + +Hook :: { AST.JSAnnot } +Hook : '?' { mkJSAnnot $1 } + +SimpleAssign :: { AST.JSAnnot } +SimpleAssign : '=' { mkJSAnnot $1 } + +OpAssign :: { AST.JSAssignOp } +OpAssign : '*=' { AST.JSTimesAssign (mkJSAnnot $1) } + | '/=' { AST.JSDivideAssign (mkJSAnnot $1) } + | '%=' { AST.JSModAssign (mkJSAnnot $1) } + | '+=' { AST.JSPlusAssign (mkJSAnnot $1) } + | '-=' { AST.JSMinusAssign (mkJSAnnot $1) } + | '<<=' { AST.JSLshAssign (mkJSAnnot $1) } + | '>>=' { AST.JSRshAssign (mkJSAnnot $1) } + | '>>>=' { AST.JSUrshAssign (mkJSAnnot $1) } + | '&=' { AST.JSBwAndAssign (mkJSAnnot $1) } + | '^=' { AST.JSBwXorAssign (mkJSAnnot $1) } + | '|=' { AST.JSBwOrAssign (mkJSAnnot $1) } + +-- IdentifierName :: See 7.6 +-- IdentifierStart +-- IdentifierName IdentifierPart +-- Note: This production needs to precede the productions for all keyword +-- statements and PrimaryExpression. Contra the Happy documentation, in the +-- case of a reduce/reduce conflict, the *later* rule takes precedence, and +-- the ambiguity of, for example, `{break}` needs to resolve in favor of +-- `break` as a keyword and not as an identifier in property shorthand +-- syntax. +-- TODO: make this include any reserved word too, including future ones +IdentifierName :: { AST.JSExpression } +IdentifierName : Identifier {$1} + | 'async' { AST.JSIdentifier (mkJSAnnot $1) "async" } + | 'await' { AST.JSIdentifier (mkJSAnnot $1) "await" } + | 'break' { AST.JSIdentifier (mkJSAnnot $1) "break" } + | 'case' { AST.JSIdentifier (mkJSAnnot $1) "case" } + | 'catch' { AST.JSIdentifier (mkJSAnnot $1) "catch" } + | 'class' { AST.JSIdentifier (mkJSAnnot $1) "class" } + | 'const' { AST.JSIdentifier (mkJSAnnot $1) "const" } + | 'continue' { AST.JSIdentifier (mkJSAnnot $1) "continue" } + | 'debugger' { AST.JSIdentifier (mkJSAnnot $1) "debugger" } + | 'default' { AST.JSIdentifier (mkJSAnnot $1) "default" } + | 'delete' { AST.JSIdentifier (mkJSAnnot $1) "delete" } + | 'do' { AST.JSIdentifier (mkJSAnnot $1) "do" } + | 'else' { AST.JSIdentifier (mkJSAnnot $1) "else" } + | 'enum' { AST.JSIdentifier (mkJSAnnot $1) "enum" } + | 'export' { AST.JSIdentifier (mkJSAnnot $1) "export" } + | 'extends' { AST.JSIdentifier (mkJSAnnot $1) "extends" } + | 'false' { AST.JSIdentifier (mkJSAnnot $1) "false" } + | 'finally' { AST.JSIdentifier (mkJSAnnot $1) "finally" } + | 'for' { AST.JSIdentifier (mkJSAnnot $1) "for" } + | 'function' { AST.JSIdentifier (mkJSAnnot $1) "function" } + | 'if' { AST.JSIdentifier (mkJSAnnot $1) "if" } + | 'in' { AST.JSIdentifier (mkJSAnnot $1) "in" } + | 'instanceof' { AST.JSIdentifier (mkJSAnnot $1) "instanceof" } + | 'let' { AST.JSIdentifier (mkJSAnnot $1) "let" } + | 'new' { AST.JSIdentifier (mkJSAnnot $1) "new" } + | 'null' { AST.JSIdentifier (mkJSAnnot $1) "null" } + | 'of' { AST.JSIdentifier (mkJSAnnot $1) "of" } + | 'return' { AST.JSIdentifier (mkJSAnnot $1) "return" } + | 'static' { AST.JSIdentifier (mkJSAnnot $1) "static" } + | 'super' { AST.JSIdentifier (mkJSAnnot $1) "super" } + | 'switch' { AST.JSIdentifier (mkJSAnnot $1) "switch" } + | 'this' { AST.JSIdentifier (mkJSAnnot $1) "this" } + | 'throw' { AST.JSIdentifier (mkJSAnnot $1) "throw" } + | 'true' { AST.JSIdentifier (mkJSAnnot $1) "true" } + | 'try' { AST.JSIdentifier (mkJSAnnot $1) "try" } + | 'typeof' { AST.JSIdentifier (mkJSAnnot $1) "typeof" } + | 'var' { AST.JSIdentifier (mkJSAnnot $1) "var" } + | 'void' { AST.JSIdentifier (mkJSAnnot $1) "void" } + | 'while' { AST.JSIdentifier (mkJSAnnot $1) "while" } + | 'with' { AST.JSIdentifier (mkJSAnnot $1) "with" } + | 'future' { AST.JSIdentifier (mkJSAnnot $1) (tokenLiteral $1) } + +Var :: { AST.JSAnnot } +Var : 'var' { mkJSAnnot $1 } + +Let :: { AST.JSAnnot } +Let : 'let' { mkJSAnnot $1 } + +Const :: { AST.JSAnnot } +Const : 'const' { mkJSAnnot $1 } + +Import :: { AST.JSAnnot } +Import : 'import' { mkJSAnnot $1 } + +From :: { AST.JSAnnot } +From : 'from' { mkJSAnnot $1 } + +Export :: { AST.JSAnnot } +Export : 'export' { mkJSAnnot $1 } + +If :: { AST.JSAnnot } +If : 'if' { mkJSAnnot $1 } + +Else :: { AST.JSAnnot } +Else : 'else' { mkJSAnnot $1 } + +Do :: { AST.JSAnnot } +Do : 'do' { mkJSAnnot $1 } + +While :: { AST.JSAnnot } +While : 'while' { mkJSAnnot $1 } + +For :: { AST.JSAnnot } +For : 'for' { mkJSAnnot $1 } + +Continue :: { AST.JSAnnot } +Continue : 'continue' { mkJSAnnot $1 } + +Async :: { AST.JSAnnot } +Async : 'async' { mkJSAnnot $1 } + +Await :: { AST.JSAnnot } +Await : 'await' { mkJSAnnot $1 } + +Break :: { AST.JSAnnot } +Break : 'break' { mkJSAnnot $1 } + +Return :: { AST.JSAnnot } +Return : 'return' { mkJSAnnot $1 } + +With :: { AST.JSAnnot } +With : 'with' { mkJSAnnot $1 } + +Switch :: { AST.JSAnnot } +Switch : 'switch' { mkJSAnnot $1 } + +Case :: { AST.JSAnnot } +Case : 'case' { mkJSAnnot $1 } + +Default :: { AST.JSAnnot } +Default : 'default' { mkJSAnnot $1 } + +Throw :: { AST.JSAnnot } +Throw : 'throw' { mkJSAnnot $1 {- 'Throw' -} } + +Try :: { AST.JSAnnot } +Try : 'try' { mkJSAnnot $1 } + +CatchL :: { AST.JSAnnot } +CatchL : 'catch' { mkJSAnnot $1 } + +FinallyL :: { AST.JSAnnot } +FinallyL : 'finally' { mkJSAnnot $1 } + +Function :: { AST.JSAnnot } +Function : 'function' { mkJSAnnot $1 {- 'Function' -} } + +New :: { AST.JSAnnot } +New : 'new' { mkJSAnnot $1 } + +Class :: { AST.JSAnnot } +Class : 'class' { mkJSAnnot $1 } + +Extends :: { AST.JSAnnot } +Extends : 'extends' { mkJSAnnot $1 } + +Static :: { AST.JSAnnot } +Static : 'static' { mkJSAnnot $1 } + +Super :: { AST.JSExpression } +Super : 'super' { AST.JSLiteral (mkJSAnnot $1) "super" } + + +Eof :: { AST.JSAnnot } +Eof : 'tail' { mkJSAnnot $1 {- 'Eof' -} } + +-- Literal :: See 7.8 +-- NullLiteral +-- BooleanLiteral +-- NumericLiteral +-- StringLiteral +Literal :: { AST.JSExpression } +Literal : NullLiteral { $1 } + | BooleanLiteral { $1 } + | NumericLiteral { $1 } + | StringLiteral { $1 } + | RegularExpressionLiteral { $1 } + +NullLiteral :: { AST.JSExpression } +NullLiteral : 'null' { AST.JSLiteral (mkJSAnnot $1) "null" } + +BooleanLiteral :: { AST.JSExpression } +BooleanLiteral : 'true' { AST.JSLiteral (mkJSAnnot $1) "true" } + | 'false' { AST.JSLiteral (mkJSAnnot $1) "false" } + +-- ::= DecimalLiteral +-- | HexIntegerLiteral +-- | OctalLiteral +NumericLiteral :: { AST.JSExpression } +NumericLiteral : 'decimal' { AST.JSDecimal (mkJSAnnot $1) (tokenLiteral $1) } + | 'hexinteger' { AST.JSHexInteger (mkJSAnnot $1) (tokenLiteral $1) } + | 'octal' { AST.JSOctal (mkJSAnnot $1) (tokenLiteral $1) } + +StringLiteral :: { AST.JSExpression } +StringLiteral : 'string' { AST.JSStringLiteral (mkJSAnnot $1) (tokenLiteral $1) } + +-- ::= RegExp +RegularExpressionLiteral :: { AST.JSExpression } +RegularExpressionLiteral : 'regex' { AST.JSRegEx (mkJSAnnot $1) (tokenLiteral $1) } + +-- PrimaryExpression : See 11.1 +-- this +-- Identifier +-- Literal +-- ArrayLiteral +-- ObjectLiteral +-- ( Expression ) +PrimaryExpression :: { AST.JSExpression } +PrimaryExpression : 'this' { AST.JSLiteral (mkJSAnnot $1) "this" } + | Identifier { $1 {- 'PrimaryExpression1' -} } + | Literal { $1 {- 'PrimaryExpression2' -} } + | ArrayLiteral { $1 {- 'PrimaryExpression3' -} } + | ObjectLiteral { $1 {- 'PrimaryExpression4' -} } + | ClassExpression { $1 } + | GeneratorExpression { $1 } + | TemplateLiteral { mkJSTemplateLiteral Nothing $1 {- 'PrimaryExpression6' -} } + | LParen Expression RParen { AST.JSExpressionParen $1 $2 $3 } + +-- Identifier :: See 7.6 +-- IdentifierName but not ReservedWord +Identifier :: { AST.JSExpression } +Identifier : 'ident' { AST.JSIdentifier (mkJSAnnot $1) (tokenLiteral $1) } + | 'as' { AST.JSIdentifier (mkJSAnnot $1) "as" } + | 'get' { AST.JSIdentifier (mkJSAnnot $1) "get" } + | 'set' { AST.JSIdentifier (mkJSAnnot $1) "set" } + | 'from' { AST.JSIdentifier (mkJSAnnot $1) "from" } + | 'yield' { AST.JSIdentifier (mkJSAnnot $1) "yield" } + +-- Must follow Identifier; when ambiguous, `yield` as a keyword should take +-- precedence over `yield` as an identifier name. +Yield :: { AST.JSAnnot } +Yield : 'yield' { mkJSAnnot $1 } + + +SpreadExpression :: { AST.JSExpression } +SpreadExpression : Spread AssignmentExpression { AST.JSSpreadExpression $1 $2 {- 'SpreadExpression' -} } + +TemplateLiteral :: { JSUntaggedTemplate } +TemplateLiteral : 'tmplnosub' { JSUntaggedTemplate (mkJSAnnot $1) (tokenLiteral $1) [] } + | 'tmplhead' TemplateParts { JSUntaggedTemplate (mkJSAnnot $1) (tokenLiteral $1) $2 } + +TemplateParts :: { [AST.JSTemplatePart] } +TemplateParts : TemplateExpression RBrace 'tmplmiddle' TemplateParts { AST.JSTemplatePart $1 $2 ('}' : tokenLiteral $3) : $4 } + | TemplateExpression RBrace 'tmpltail' { AST.JSTemplatePart $1 $2 ('}' : tokenLiteral $3) : [] } + +-- This production only exists to ensure that inTemplate is set to True before +-- a tmplmiddle or tmpltail token is lexed. Since the lexer is always one token +-- ahead of the parser, setInTemplate needs to be called during a reduction +-- that is *two* tokens behind tmplmiddle/tmpltail. Accordingly, +-- TemplateExpression is always followed by an RBrace, which is lexed normally. +TemplateExpression :: { AST.JSExpression } +TemplateExpression : Expression {% setInTemplate True \$> $1 } + +-- ArrayLiteral : See 11.1.4 +-- [ Elisionopt ] +-- [ ElementList ] +-- [ ElementList , Elisionopt ] +ArrayLiteral :: { AST.JSExpression } +ArrayLiteral : LSquare RSquare { AST.JSArrayLiteral $1 [] $2 {- 'ArrayLiteral11' -} } + | LSquare Elision RSquare { AST.JSArrayLiteral $1 $2 $3 {- 'ArrayLiteral12' -} } + | LSquare ElementList RSquare { AST.JSArrayLiteral $1 $2 $3 {- 'ArrayLiteral13' -} } + | LSquare ElementList Elision RSquare { AST.JSArrayLiteral $1 ($2 ++ $3) $4 {- 'ArrayLiteral14' -} } + + +-- ElementList : See 11.1.4 +-- Elisionopt AssignmentExpression +-- ElementList , Elisionopt AssignmentExpression +ElementList :: { [AST.JSArrayElement] } +ElementList : Elision AssignmentExpression { $1 ++ [AST.JSArrayElement $2] {- 'ElementList1' -} } + | AssignmentExpression { [AST.JSArrayElement $1] {- 'ElementList2' -} } + | ElementList Elision AssignmentExpression { (($1)++($2 ++ [AST.JSArrayElement $3])) {- 'ElementList3' -} } + + +-- Elision : See 11.1.4 +-- , +-- Elision , +Elision :: { [AST.JSArrayElement] } +Elision : Comma { [AST.JSArrayComma $1] {- 'Elision1' -} } + | Comma Elision { (AST.JSArrayComma $1):$2 {- 'Elision2' -} } + +-- ObjectLiteral : See 11.1.5 +-- { } +-- { PropertyNameAndValueList } +-- { PropertyNameAndValueList , } +ObjectLiteral :: { AST.JSExpression } +ObjectLiteral : LBrace RBrace { AST.JSObjectLiteral $1 (AST.JSCTLNone AST.JSLNil) $2 {- 'ObjectLiteral1' -} } + | LBrace PropertyNameandValueList RBrace { AST.JSObjectLiteral $1 (AST.JSCTLNone $2) $3 {- 'ObjectLiteral2' -} } + | LBrace PropertyNameandValueList Comma RBrace { AST.JSObjectLiteral $1 (AST.JSCTLComma $2 $3) $4 {- 'ObjectLiteral3' -} } + +-- ::= ':' +-- | ',' ':' + +-- Seems we can have function declarations in the value part too +-- PropertyNameAndValueList : See 11.1.5 +-- PropertyAssignment +-- PropertyNameAndValueList , PropertyAssignment +PropertyNameandValueList :: { AST.JSCommaList AST.JSObjectProperty } +PropertyNameandValueList : PropertyAssignment { AST.JSLOne $1 {- 'PropertyNameandValueList1' -} } + | PropertyNameandValueList Comma PropertyAssignment { AST.JSLCons $1 $2 $3 {- 'PropertyNameandValueList2' -} } + +-- PropertyAssignment : See 11.1.5 +-- PropertyName : AssignmentExpression +-- get PropertyName() { FunctionBody } +-- set PropertyName( PropertySetParameterList ) { FunctionBody } +PropertyAssignment :: { AST.JSObjectProperty } +PropertyAssignment : PropertyName Colon AssignmentExpression { AST.JSPropertyNameandValue $1 $2 [$3] } + | IdentifierName { identifierToProperty $1 } + | MethodDefinition { AST.JSObjectMethod $1 } + +-- TODO: not clear if get/set are keywords, or just used in a specific context. Puzzling. +MethodDefinition :: { AST.JSMethodDefinition } +MethodDefinition : PropertyName LParen RParen FunctionBody + { AST.JSMethodDefinition $1 $2 AST.JSLNil $3 $4 } + | PropertyName LParen FormalParameterList RParen FunctionBody + { AST.JSMethodDefinition $1 $2 $3 $4 $5 } + | '*' PropertyName LParen RParen FunctionBody + { AST.JSGeneratorMethodDefinition (mkJSAnnot $1) $2 $3 AST.JSLNil $4 $5 } + | '*' PropertyName LParen FormalParameterList RParen FunctionBody + { AST.JSGeneratorMethodDefinition (mkJSAnnot $1) $2 $3 $4 $5 $6 } + -- Should be "get" in next, but is not a Token + | 'get' PropertyName LParen RParen FunctionBody + { AST.JSPropertyAccessor (AST.JSAccessorGet (mkJSAnnot $1)) $2 $3 AST.JSLNil $4 $5 } + -- Should be "set" in next, but is not a Token + | 'set' PropertyName LParen PropertySetParameterList RParen FunctionBody + { AST.JSPropertyAccessor (AST.JSAccessorSet (mkJSAnnot $1)) $2 $3 (AST.JSLOne $4) $5 $6 } + +-- PropertyName : See 11.1.5 +-- IdentifierName +-- StringLiteral +-- NumericLiteral +PropertyName :: { AST.JSPropertyName } +PropertyName : IdentifierName { propName $1 {- 'PropertyName1' -} } + | StringLiteral { propName $1 {- 'PropertyName2' -} } + | NumericLiteral { propName $1 {- 'PropertyName3' -} } + | LSquare AssignmentExpression RSquare { AST.JSPropertyComputed $1 $2 $3 {- 'PropertyName4' -} } + +-- PropertySetParameterList : See 11.1.5 +-- Identifier +PropertySetParameterList :: { AST.JSExpression } +PropertySetParameterList : AssignmentExpression { $1 {- 'PropertySetParameterList' -} } + +-- MemberExpression : See 11.2 +-- PrimaryExpression +-- FunctionExpression +-- MemberExpression [ Expression ] +-- MemberExpression . IdentifierName +-- new MemberExpression Arguments +MemberExpression :: { AST.JSExpression } +MemberExpression : PrimaryExpression { $1 {- 'MemberExpression1' -} } + | FunctionExpression { $1 {- 'MemberExpression2' -} } + | MemberExpression LSquare Expression RSquare { AST.JSMemberSquare $1 $2 $3 $4 {- 'MemberExpression3' -} } + | MemberExpression Dot IdentifierName { AST.JSMemberDot $1 $2 $3 {- 'MemberExpression4' -} } + | MemberExpression TemplateLiteral { mkJSTemplateLiteral (Just $1) $2 } + | Super LSquare Expression RSquare { AST.JSMemberSquare $1 $2 $3 $4 } + | Super Dot IdentifierName { AST.JSMemberDot $1 $2 $3 } + | New MemberExpression Arguments { mkJSMemberNew $1 $2 $3 {- 'MemberExpression5' -} } + +-- NewExpression : See 11.2 +-- MemberExpression +-- new NewExpression +NewExpression :: { AST.JSExpression } +NewExpression : MemberExpression { $1 {- 'NewExpression1' -} } + | New NewExpression { AST.JSNewExpression $1 $2 {- 'NewExpression2' -} } + +AwaitExpression :: { AST.JSExpression } +AwaitExpression + : Await Expression { AST.JSAwaitExpression $1 $2 } + +-- CallExpression : See 11.2 +-- MemberExpression Arguments +-- CallExpression Arguments +-- CallExpression [ Expression ] +-- CallExpression . IdentifierName +CallExpression :: { AST.JSExpression } +CallExpression : MemberExpression Arguments + { mkJSMemberExpression $1 $2 {- 'CallExpression1' -} } + | Super Arguments + { mkJSCallExpression $1 $2 } + | CallExpression Arguments + { mkJSCallExpression $1 $2 {- 'CallExpression2' -} } + | CallExpression LSquare Expression RSquare + { AST.JSCallExpressionSquare $1 $2 $3 $4 {- 'CallExpression3' -} } + | CallExpression Dot IdentifierName + { AST.JSCallExpressionDot $1 $2 $3 {- 'CallExpression4' -} } + | CallExpression TemplateLiteral + { mkJSTemplateLiteral (Just $1) $2 {- 'CallExpression5' -} } + +-- Arguments : See 11.2 +-- () +-- ( ArgumentList ) +Arguments :: { JSArguments } +Arguments : LParen RParen { JSArguments $1 AST.JSLNil $2 {- 'Arguments1' -} } + | LParen ArgumentList RParen { JSArguments $1 $2 $3 {- 'Arguments2' -} } + +-- ArgumentList : See 11.2 +-- AssignmentExpression +-- ArgumentList , AssignmentExpression +ArgumentList :: { AST.JSCommaList AST.JSExpression } +ArgumentList : AssignmentExpression { AST.JSLOne $1 {- 'ArgumentList1' -} } + | ArgumentList Comma AssignmentExpression { AST.JSLCons $1 $2 $3 {- 'ArgumentList2' -} } + +-- LeftHandSideExpression : See 11.2 +-- NewExpression +-- CallExpression +LeftHandSideExpression :: { AST.JSExpression } +LeftHandSideExpression : NewExpression { $1 {- 'LeftHandSideExpression1' -} } + | CallExpression { $1 {- 'LeftHandSideExpression12' -} } + | AwaitExpression { $1 {- 'LeftHandSideExpression13' -} } + +-- PostfixExpression : See 11.3 +-- LeftHandSideExpression +-- [no LineTerminator here] +-- LeftHandSideExpression ++ +-- [no LineTerminator here] +-- LeftHandSideExpression -- +PostfixExpression :: { AST.JSExpression } +PostfixExpression : LeftHandSideExpression { $1 {- 'PostfixExpression' -} } + | PostfixExpression Increment { AST.JSExpressionPostfix $1 $2 } + | PostfixExpression Decrement { AST.JSExpressionPostfix $1 $2 } + +-- UnaryExpression : See 11.4 +-- PostfixExpression +-- delete UnaryExpression +-- void UnaryExpression +-- typeof UnaryExpression +-- ++ UnaryExpression +-- -- UnaryExpression +-- + UnaryExpression +-- - UnaryExpression +-- ~ UnaryExpression +-- ! UnaryExpression +UnaryExpression :: { AST.JSExpression } +UnaryExpression : PostfixExpression { $1 {- 'UnaryExpression' -} } + | Delete UnaryExpression { AST.JSUnaryExpression $1 $2 } + | Void UnaryExpression { AST.JSUnaryExpression $1 $2 } + | Typeof UnaryExpression { AST.JSUnaryExpression $1 $2 } + | Increment UnaryExpression { AST.JSUnaryExpression $1 $2 } + | Decrement UnaryExpression { AST.JSUnaryExpression $1 $2 } + | Plus UnaryExpression { AST.JSUnaryExpression (mkUnary $1) $2 } + | Minus UnaryExpression { AST.JSUnaryExpression (mkUnary $1) $2 } + | Tilde UnaryExpression { AST.JSUnaryExpression $1 $2 } + | Not UnaryExpression { AST.JSUnaryExpression $1 $2 } + +-- MultiplicativeExpression : See 11.5 +-- UnaryExpression +-- MultiplicativeExpression * UnaryExpression +-- MultiplicativeExpression / UnaryExpression +-- MultiplicativeExpression % UnaryExpression +MultiplicativeExpression :: { AST.JSExpression } +MultiplicativeExpression : UnaryExpression { $1 {- 'MultiplicativeExpression' -} } + | MultiplicativeExpression Mul UnaryExpression { AST.JSExpressionBinary {- '*' -} $1 $2 $3 } + | MultiplicativeExpression Div UnaryExpression { AST.JSExpressionBinary {- '/' -} $1 $2 $3 } + | MultiplicativeExpression Mod UnaryExpression { AST.JSExpressionBinary {- '%' -} $1 $2 $3 } + +-- AdditiveExpression : See 11.6 +-- MultiplicativeExpression +-- AdditiveExpression + MultiplicativeExpression +-- AdditiveExpression - MultiplicativeExpression +AdditiveExpression :: { AST.JSExpression } +AdditiveExpression : AdditiveExpression Plus MultiplicativeExpression { AST.JSExpressionBinary {- '+' -} $1 $2 $3 } + | AdditiveExpression Minus MultiplicativeExpression { AST.JSExpressionBinary {- '-' -} $1 $2 $3 } + | MultiplicativeExpression { $1 {- 'AdditiveExpression' -} } + +-- ShiftExpression : See 11.7 +-- AdditiveExpression +-- ShiftExpression << AdditiveExpression +-- ShiftExpression >> AdditiveExpression +-- ShiftExpression >>> AdditiveExpression +ShiftExpression :: { AST.JSExpression } +ShiftExpression : ShiftExpression Lsh AdditiveExpression { AST.JSExpressionBinary {- '<<' -} $1 $2 $3 } + | ShiftExpression Rsh AdditiveExpression { AST.JSExpressionBinary {- '>>' -} $1 $2 $3 } + | ShiftExpression Ursh AdditiveExpression { AST.JSExpressionBinary {- '>>>' -} $1 $2 $3 } + | AdditiveExpression { $1 {- 'ShiftExpression' -} } + +-- RelationalExpression : See 11.8 +-- ShiftExpression +-- RelationalExpression < ShiftExpression +-- RelationalExpression > ShiftExpression +-- RelationalExpression <= ShiftExpression +-- RelationalExpression >= ShiftExpression +-- RelationalExpression instanceof ShiftExpression +-- RelationalExpression in ShiftExpression +RelationalExpression :: { AST.JSExpression } +RelationalExpression : ShiftExpression { $1 {- 'RelationalExpression' -} } + | RelationalExpression Lt ShiftExpression { AST.JSExpressionBinary {- '<' -} $1 $2 $3 } + | RelationalExpression Gt ShiftExpression { AST.JSExpressionBinary {- '>' -} $1 $2 $3 } + | RelationalExpression Le ShiftExpression { AST.JSExpressionBinary {- '<=' -} $1 $2 $3 } + | RelationalExpression Ge ShiftExpression { AST.JSExpressionBinary {- '>=' -} $1 $2 $3 } + | RelationalExpression Instanceof ShiftExpression { AST.JSExpressionBinary {- ' instanceof' -} $1 $2 $3 } + | RelationalExpression In ShiftExpression { AST.JSExpressionBinary {- ' in ' -} $1 $2 $3 } + +-- RelationalExpressionNoIn : See 11.8 +-- ShiftExpression +-- RelationalExpressionNoIn < ShiftExpression +-- RelationalExpressionNoIn > ShiftExpression +-- RelationalExpressionNoIn <= ShiftExpression +-- RelationalExpressionNoIn >= ShiftExpression +-- RelationalExpressionNoIn instanceof ShiftExpression +RelationalExpressionNoIn :: { AST.JSExpression } +RelationalExpressionNoIn : ShiftExpression { $1 {- 'RelationalExpressionNoIn' -} } + | RelationalExpressionNoIn Lt ShiftExpression { AST.JSExpressionBinary {- '<' -} $1 $2 $3 } + | RelationalExpressionNoIn Gt ShiftExpression { AST.JSExpressionBinary {- '>' -} $1 $2 $3 } + | RelationalExpressionNoIn Le ShiftExpression { AST.JSExpressionBinary {- '<=' -} $1 $2 $3 } + | RelationalExpressionNoIn Ge ShiftExpression { AST.JSExpressionBinary {- '>=' -} $1 $2 $3 } + | RelationalExpressionNoIn Instanceof ShiftExpression { AST.JSExpressionBinary {- ' instanceof ' -} $1 $2 $3 } + +-- EqualityExpression : See 11.9 +-- RelationalExpression +-- EqualityExpression == RelationalExpression +-- EqualityExpression != RelationalExpression +-- EqualityExpression === RelationalExpression +-- EqualityExpression !== RelationalExpression +EqualityExpression :: { AST.JSExpression } +EqualityExpression : RelationalExpression { $1 {- 'EqualityExpression' -} } + | EqualityExpression Equal RelationalExpression { AST.JSExpressionBinary {- '==' -} $1 $2 $3 } + | EqualityExpression Ne RelationalExpression { AST.JSExpressionBinary {- '!=' -} $1 $2 $3 } + | EqualityExpression StrictEq RelationalExpression { AST.JSExpressionBinary {- '===' -} $1 $2 $3 } + | EqualityExpression StrictNe RelationalExpression { AST.JSExpressionBinary {- '!==' -} $1 $2 $3 } + +-- EqualityExpressionNoIn : See 11.9 +-- RelationalExpressionNoIn +-- EqualityExpressionNoIn == RelationalExpressionNoIn +-- EqualityExpressionNoIn != RelationalExpressionNoIn +-- EqualityExpressionNoIn === RelationalExpressionNoIn +-- EqualityExpressionNoIn !== RelationalExpressionNoIn +EqualityExpressionNoIn :: { AST.JSExpression } +EqualityExpressionNoIn : RelationalExpressionNoIn { $1 {- 'EqualityExpressionNoIn' -} } + | EqualityExpressionNoIn Equal RelationalExpression { AST.JSExpressionBinary {- '==' -} $1 $2 $3 } + | EqualityExpressionNoIn Ne RelationalExpression { AST.JSExpressionBinary {- '!=' -} $1 $2 $3 } + | EqualityExpressionNoIn StrictEq RelationalExpression { AST.JSExpressionBinary {- '===' -} $1 $2 $3 } + | EqualityExpressionNoIn StrictNe RelationalExpression { AST.JSExpressionBinary {- '!==' -} $1 $2 $3 } + +-- BitwiseANDExpression : See 11.10 +-- EqualityExpression +-- BitwiseANDExpression & EqualityExpression +BitwiseAndExpression :: { AST.JSExpression } +BitwiseAndExpression : EqualityExpression { $1 {- 'BitwiseAndExpression' -} } + | BitwiseAndExpression BitAnd EqualityExpression { AST.JSExpressionBinary {- '&' -} $1 $2 $3 } + +-- BitwiseANDExpressionNoIn : See 11.10 +-- EqualityExpressionNoIn +-- BitwiseANDExpressionNoIn & EqualityExpressionNoIn +BitwiseAndExpressionNoIn :: { AST.JSExpression } +BitwiseAndExpressionNoIn : EqualityExpressionNoIn { $1 {- 'BitwiseAndExpression' -} } + | BitwiseAndExpressionNoIn BitAnd EqualityExpressionNoIn { AST.JSExpressionBinary {- '&' -} $1 $2 $3 } + +-- BitwiseXORExpression : See 11.10 +-- BitwiseANDExpression +-- BitwiseXORExpression ^ BitwiseANDExpression +BitwiseXOrExpression :: { AST.JSExpression } +BitwiseXOrExpression : BitwiseAndExpression { $1 {- 'BitwiseXOrExpression' -} } + | BitwiseXOrExpression BitXor BitwiseAndExpression { AST.JSExpressionBinary {- '^' -} $1 $2 $3 } + +-- BitwiseXORExpressionNoIn : See 11.10 +-- BitwiseANDExpressionNoIn +-- BitwiseXORExpressionNoIn ^ BitwiseANDExpressionNoIn +BitwiseXOrExpressionNoIn :: { AST.JSExpression } +BitwiseXOrExpressionNoIn : BitwiseAndExpressionNoIn { $1 {- 'BitwiseXOrExpression' -} } + | BitwiseXOrExpressionNoIn BitXor BitwiseAndExpressionNoIn { AST.JSExpressionBinary {- '^' -} $1 $2 $3 } + +-- BitwiseORExpression : See 11.10 +-- BitwiseXORExpression +-- BitwiseORExpression | BitwiseXORExpression +BitwiseOrExpression :: { AST.JSExpression } +BitwiseOrExpression : BitwiseXOrExpression { $1 {- 'BitwiseOrExpression' -} } + | BitwiseOrExpression BitOr BitwiseXOrExpression { AST.JSExpressionBinary {- '|' -} $1 $2 $3 } + +-- BitwiseORExpressionNoIn : See 11.10 +-- BitwiseXORExpressionNoIn +-- BitwiseORExpressionNoIn | BitwiseXORExpressionNoIn +BitwiseOrExpressionNoIn :: { AST.JSExpression } +BitwiseOrExpressionNoIn : BitwiseXOrExpressionNoIn { $1 {- 'BitwiseOrExpression' -} } + | BitwiseOrExpressionNoIn BitOr BitwiseXOrExpressionNoIn { AST.JSExpressionBinary {- '|' -} $1 $2 $3 } + +-- LogicalANDExpression : See 11.11 +-- BitwiseORExpression +-- LogicalANDExpression && BitwiseORExpression +LogicalAndExpression :: { AST.JSExpression } +LogicalAndExpression : BitwiseOrExpression { $1 {- 'LogicalAndExpression' -} } + | LogicalAndExpression And BitwiseOrExpression { AST.JSExpressionBinary {- '&&' -} $1 $2 $3 } + +-- LogicalANDExpressionNoIn : See 11.11 +-- BitwiseORExpressionNoIn +-- LogicalANDExpressionNoIn && BitwiseORExpressionNoIn +LogicalAndExpressionNoIn :: { AST.JSExpression } +LogicalAndExpressionNoIn : BitwiseOrExpressionNoIn { $1 {- 'LogicalAndExpression' -} } + | LogicalAndExpressionNoIn And BitwiseOrExpressionNoIn { AST.JSExpressionBinary {- '&&' -} $1 $2 $3 } + +-- LogicalORExpression : See 11.11 +-- LogicalANDExpression +-- LogicalORExpression || LogicalANDExpression +LogicalOrExpression :: { AST.JSExpression } +LogicalOrExpression : LogicalAndExpression { $1 {- 'LogicalOrExpression' -} } + | LogicalOrExpression Or LogicalAndExpression { AST.JSExpressionBinary {- '||' -} $1 $2 $3 } + +-- LogicalORExpressionNoIn : See 11.11 +-- LogicalANDExpressionNoIn +-- LogicalORExpressionNoIn || LogicalANDExpressionNoIn +LogicalOrExpressionNoIn :: { AST.JSExpression } +LogicalOrExpressionNoIn : LogicalAndExpressionNoIn { $1 {- 'LogicalOrExpression' -} } + | LogicalOrExpressionNoIn Or LogicalAndExpressionNoIn { AST.JSExpressionBinary {- '||' -} $1 $2 $3 } + +-- ConditionalExpression : See 11.12 +-- LogicalORExpression +-- LogicalORExpression ? AssignmentExpression : AssignmentExpression +ConditionalExpression :: { AST.JSExpression } +ConditionalExpression : LogicalOrExpression { $1 {- 'ConditionalExpression1' -} } + | LogicalOrExpression Hook AssignmentExpression Colon AssignmentExpression + { AST.JSExpressionTernary $1 $2 $3 $4 $5 {- 'ConditionalExpression2' -} } + +-- ConditionalExpressionNoIn : See 11.12 +-- LogicalORExpressionNoIn +-- LogicalORExpressionNoIn ? AssignmentExpressionNoIn : AssignmentExpressionNoIn +ConditionalExpressionNoIn :: { AST.JSExpression } +ConditionalExpressionNoIn : LogicalOrExpressionNoIn { $1 {- 'ConditionalExpressionNoIn1' -} } + | LogicalOrExpressionNoIn Hook AssignmentExpressionNoIn Colon AssignmentExpressionNoIn + { AST.JSExpressionTernary $1 $2 $3 $4 $5 {- 'ConditionalExpressionNoIn2' -} } + +-- AssignmentExpression : See 11.13 +-- ConditionalExpression +-- LeftHandSideExpression AssignmentOperator AssignmentExpression +AssignmentExpression :: { AST.JSExpression } +AssignmentExpression : ConditionalExpression { $1 {- 'AssignmentExpression1' -} } + | YieldExpression { $1 } + | LeftHandSideExpression AssignmentOperator AssignmentExpression + { AST.JSAssignExpression $1 $2 $3 {- 'AssignmentExpression2' -} } + | SpreadExpression { $1 } + +-- AssignmentExpressionNoIn : See 11.13 +-- ConditionalExpressionNoIn +-- LeftHandSideExpression AssignmentOperator AssignmentExpressionNoIn +AssignmentExpressionNoIn :: { AST.JSExpression } +AssignmentExpressionNoIn : ConditionalExpressionNoIn { $1 {- 'AssignmentExpressionNoIn1' -} } + | YieldExpression { $1 } + | LeftHandSideExpression AssignmentOperator AssignmentExpressionNoIn + { AST.JSAssignExpression $1 $2 $3 {- 'AssignmentExpressionNoIn1' -} } + +-- AssignmentOperator : one of See 11.13 +-- '=' | '*=' | '/=' | '%=' | '+=' | '-=' | '<<=' | '>>=' | '>>>=' | '&=' | '^=' | '|=' +AssignmentOperator :: { AST.JSAssignOp } +AssignmentOperator : OpAssign { $1 } + | SimpleAssign { AST.JSAssign $1 {- 'SimpleAssign' -} } + +-- Expression : See 11.14 +-- AssignmentExpression +-- Expression , AssignmentExpression +Expression :: { AST.JSExpression } +Expression : AssignmentExpression { $1 {- 'Expression' -} } + | Expression Comma AssignmentExpression { AST.JSCommaExpression $1 $2 $3 {- 'Expression2' -} } + +-- ExpressionNoIn : See 11.14 +-- AssignmentExpressionNoIn +-- ExpressionNoIn , AssignmentExpressionNoIn +ExpressionNoIn :: { AST.JSExpression } +ExpressionNoIn : AssignmentExpressionNoIn { $1 {- 'ExpressionNoIn' -} } + | ExpressionNoIn Comma AssignmentExpressionNoIn { AST.JSCommaExpression $1 $2 $3 {- 'ExpressionNoIn2' -} } + +-- TODO: still required? +ExpressionOpt :: { AST.JSCommaList AST.JSExpression } +ExpressionOpt : Expression { AST.JSLOne $1 {- 'ExpressionOpt1' -} } + | { AST.JSLNil {- 'ExpressionOpt2' -} } + +ExpressionNoInOpt :: { AST.JSCommaList AST.JSExpression } +ExpressionNoInOpt : ExpressionNoIn { AST.JSLOne $1 {- 'ExpressionOpt1' -} } + | { AST.JSLNil {- 'ExpressionOpt2' -} } + + +-- Statement : See clause 12 +-- Block +-- VariableStatement +-- EmptyStatement +-- ExpressionStatement +-- IfStatement +-- IterationStatement +-- ContinueStatement +-- BreakStatement +-- ReturnStatement +-- WithStatement +-- LabelledStatement +-- SwitchStatement +-- ThrowStatement +-- TryStatement +-- DebuggerStatement +Statement :: { AST.JSStatement } +Statement : StatementNoEmpty { $1 {- 'Statement1' -} } + | EmptyStatement { $1 {- 'Statement2' -} } + +StatementNoEmpty :: { AST.JSStatement } +StatementNoEmpty + : IfStatement { $1 {- 'StatementNoEmpty5' -} } + | ContinueStatement { $1 {- 'StatementNoEmpty7' -} } + | BreakStatement { $1 {- 'StatementNoEmpty8' -} } + | ReturnStatement { $1 {- 'StatementNoEmpty9' -} } + | WithStatement { $1 {- 'StatementNoEmpty10' -} } + | LabelledStatement { $1 {- 'StatementNoEmpty11' -} } + | SwitchStatement { $1 {- 'StatementNoEmpty12' -} } + | ThrowStatement { $1 {- 'StatementNoEmpty13' -} } + | TryStatement { $1 {- 'StatementNoEmpty14' -} } + | StatementBlock { $1 {- 'StatementNoEmpty1' -} } + | VariableStatement { $1 {- 'StatementNoEmpty2' -} } + | IterationStatement { $1 {- 'StatementNoEmpty6' -} } + | ExpressionStatement { $1 {- 'StatementNoEmpty4' -} } + | AsyncFunctionStatement { $1 {- 'StatementNoEmpty15' -} } + | DebuggerStatement { $1 {- 'StatementNoEmpty15' -} } + + + +StatementBlock :: { AST.JSStatement } +StatementBlock : Block MaybeSemi { blockToStatement $1 $2 {- 'StatementBlock1' -} } + + +-- Block : See 12.1 +-- { StatementListopt } +Block :: { AST.JSBlock } +Block : LBrace RBrace { AST.JSBlock $1 [] $2 {- 'Block1' -} } + | LBrace StatementList RBrace { AST.JSBlock $1 $2 $3 {- 'Block2' -} } + +-- StatementList : See 12.1 +-- Statement +-- StatementList Statement +StatementList :: { [AST.JSStatement] } +StatementList : Statement { [$1] {- 'StatementList1' -} } + | StatementList Statement { ($1++[$2]) {- 'StatementList2' -} } + +-- VariableStatement : See 12.2 +-- var VariableDeclarationList ; +VariableStatement :: { AST.JSStatement } +VariableStatement : Var VariableDeclarationList MaybeSemi { AST.JSVariable $1 $2 $3 {- 'VariableStatement1' -} } + | Let VariableDeclarationList MaybeSemi { AST.JSLet $1 $2 $3 {- 'VariableStatement2' -} } + | Const VariableDeclarationList MaybeSemi { AST.JSConstant $1 $2 $3 {- 'VariableStatement3' -} } + +-- VariableDeclarationList : See 12.2 +-- VariableDeclaration +-- VariableDeclarationList , VariableDeclaration +VariableDeclarationList :: { AST.JSCommaList AST.JSExpression } +VariableDeclarationList : VariableDeclaration { AST.JSLOne $1 {- 'VariableDeclarationList1' -} } + | VariableDeclarationList Comma VariableDeclaration { AST.JSLCons $1 $2 $3 {- 'VariableDeclarationList2' -} } + +-- VariableDeclarationListNoIn : See 12.2 +-- VariableDeclarationNoIn +-- VariableDeclarationListNoIn , VariableDeclarationNoIn +VariableDeclarationListNoIn :: { AST.JSCommaList AST.JSExpression } +VariableDeclarationListNoIn : VariableDeclarationNoIn { AST.JSLOne $1 {- 'VariableDeclarationListNoIn1' -} } + | VariableDeclarationListNoIn Comma VariableDeclarationNoIn { AST.JSLCons $1 $2 $3 {- 'VariableDeclarationListNoIn2' -} } + +-- VariableDeclaration : See 12.2 +-- Identifier Initialiseropt +VariableDeclaration :: { AST.JSExpression } +VariableDeclaration : PrimaryExpression SimpleAssign AssignmentExpression { AST.JSVarInitExpression $1 (AST.JSVarInit $2 $3) {- 'JSVarInitExpression1' -} } + | Identifier { AST.JSVarInitExpression $1 AST.JSVarInitNone {- 'JSVarInitExpression2' -} } + +-- VariableDeclarationNoIn : See 12.2 +-- Identifier InitialiserNoInopt +VariableDeclarationNoIn :: { AST.JSExpression } +VariableDeclarationNoIn : PrimaryExpression SimpleAssign AssignmentExpression { AST.JSVarInitExpression $1 (AST.JSVarInit $2 $3) {- 'JSVarInitExpressionInit2' -} } + | Identifier { AST.JSVarInitExpression $1 AST.JSVarInitNone {- 'JSVarInitExpression2' -} } + +-- EmptyStatement : See 12.3 +-- ; +EmptyStatement :: { AST.JSStatement } +EmptyStatement : Semi { AST.JSEmptyStatement $1 {- 'EmptyStatement' -} } + +-- ExpressionStatement : See 12.4 +-- [lookahead not in {{, function}] Expression ; +-- TODO: Sort out lookahead issue. Maybe by just putting production lower to set reduce/reduce conflict +-- According to http://sideshowbarker.github.com/es5-spec/#x12.4, the ambiguity is with +-- Block or FunctionDeclaration +ExpressionStatement :: { AST.JSStatement } +ExpressionStatement : Expression MaybeSemi { expressionToStatement $1 $2 {- 'ExpressionStatement' -} } + + +-- IfStatement : See 12.5 +-- if ( Expression ) Statement else Statement +-- if ( Expression ) Statement +IfStatement :: { AST.JSStatement } -- +++XXXX++ +IfStatement : If LParen Expression RParen EmptyStatement + { AST.JSIf $1 $2 $3 $4 $5 {- 'IfStatement1' -} } + | If LParen Expression RParen StatementNoEmpty Else Statement + { AST.JSIfElse $1 $2 $3 $4 $5 $6 $7 {- 'IfStatement3' -} } + | If LParen Expression RParen StatementNoEmpty + { AST.JSIf $1 $2 $3 $4 $5 {- 'IfStatement3' -} } + | If LParen Expression RParen EmptyStatement Else Statement + { AST.JSIfElse $1 $2 $3 $4 $5 $6 $7 {- 'IfStatement4' -} } + +-- IterationStatement : See 12.6 +-- do Statement while ( Expression ); +-- while ( Expression ) Statement +-- for (ExpressionNoInopt; Expressionopt ; Expressionopt ) Statement +-- for ( var VariableDeclarationListNoIn; Expressionopt ; Expressionopt ) Statement +-- for ( LeftHandSideExpression in Expression ) Statement +-- for ( var VariableDeclarationNoIn in Expression ) Statement +IterationStatement :: { AST.JSStatement } +IterationStatement : Do StatementNoEmpty While LParen Expression RParen MaybeSemi + { AST.JSDoWhile $1 $2 $3 $4 $5 $6 $7 {- 'IterationStatement1' -} } + | While LParen Expression RParen Statement + { AST.JSWhile $1 $2 $3 $4 $5 {- 'IterationStatement2' -} } + | For LParen ExpressionNoInOpt Semi ExpressionOpt Semi ExpressionOpt RParen Statement + { AST.JSFor $1 $2 $3 $4 $5 $6 $7 $8 $9 {- 'IterationStatement3' -} } + | For LParen Var VariableDeclarationListNoIn Semi ExpressionOpt Semi ExpressionOpt RParen Statement + { AST.JSForVar $1 $2 $3 $4 $5 $6 $7 $8 $9 $10 {- 'IterationStatement4' -} } + | For LParen LeftHandSideExpression In Expression RParen Statement + { AST.JSForIn $1 $2 $3 $4 $5 $6 $7 {- 'IterationStatement 5' -} } + | For LParen Var VariableDeclarationNoIn In Expression RParen Statement + { AST.JSForVarIn $1 $2 $3 $4 $5 $6 $7 $8 {- 'IterationStatement6' -} } + | For LParen Let VariableDeclarationListNoIn Semi ExpressionOpt Semi ExpressionOpt RParen Statement + { AST.JSForLet $1 $2 $3 $4 $5 $6 $7 $8 $9 $10 {- 'IterationStatement 7' -} } + | For LParen Let VariableDeclarationNoIn In Expression RParen Statement + { AST.JSForLetIn $1 $2 $3 $4 $5 $6 $7 $8 {- 'IterationStatement 8' -} } + | For LParen Let VariableDeclarationNoIn Of Expression RParen Statement + { AST.JSForLetOf $1 $2 $3 $4 $5 $6 $7 $8 {- 'IterationStatement 9' -} } + | For LParen LeftHandSideExpression Of Expression RParen Statement + { AST.JSForOf $1 $2 $3 $4 $5 $6 $7 {- 'IterationStatement 10'-} } + | For LParen Var VariableDeclarationNoIn Of Expression RParen Statement + { AST.JSForVarOf $1 $2 $3 $4 $5 $6 $7 $8 {- 'IterationStatement 11' -} } + | For LParen Const VariableDeclarationListNoIn Semi ExpressionOpt Semi ExpressionOpt RParen Statement + { AST.JSForConst $1 $2 $3 $4 $5 $6 $7 $8 $9 $10 {- 'IterationStatement 12' -} } + | For LParen Const VariableDeclarationNoIn In Expression RParen Statement + { AST.JSForConstIn $1 $2 $3 $4 $5 $6 $7 $8 {- 'IterationStatement 13' -} } + | For LParen Const VariableDeclarationNoIn Of Expression RParen Statement + { AST.JSForConstOf $1 $2 $3 $4 $5 $6 $7 $8 {- 'IterationStatement 14' -} } + +-- ContinueStatement : See 12.7 +-- continue [no LineTerminator here] Identifieropt ; +ContinueStatement :: { AST.JSStatement } +ContinueStatement : Continue AutoSemi { AST.JSContinue $1 AST.JSIdentNone $2 {- 'ContinueStatement1' -} } + | Continue Identifier MaybeSemi { AST.JSContinue $1 (identName $2) $3 {- 'ContinueStatement2' -} } + +-- BreakStatement : See 12.8 +-- break [no LineTerminator here] Identifieropt ; +BreakStatement :: { AST.JSStatement } +BreakStatement : Break AutoSemi { AST.JSBreak $1 AST.JSIdentNone $2 {- 'BreakStatement1' -} } + | Break Identifier MaybeSemi { AST.JSBreak $1 (identName $2) $3 {- 'BreakStatement2' -} } + +-- ReturnStatement : See 12.9 +-- return [no LineTerminator here] Expressionopt ; +ReturnStatement :: { AST.JSStatement } +ReturnStatement : Return AutoSemi { AST.JSReturn $1 Nothing $2 } + | Return Expression MaybeSemi { AST.JSReturn $1 (Just $2) $3 } + +-- WithStatement : See 12.10 +-- with ( Expression ) Statement +WithStatement :: { AST.JSStatement } +WithStatement : With LParen Expression RParen Statement MaybeSemi { AST.JSWith $1 $2 $3 $4 $5 $6 } + +-- SwitchStatement : See 12.11 +-- switch ( Expression ) CaseBlock +SwitchStatement :: { AST.JSStatement } +SwitchStatement : Switch LParen Expression RParen LBrace CaseBlock RBrace MaybeSemi { AST.JSSwitch $1 $2 $3 $4 $5 $6 $7 $8 } + +-- CaseBlock : See 12.11 +-- { CaseClausesopt } +-- { CaseClausesopt DefaultClause CaseClausesopt } +CaseBlock :: { [AST.JSSwitchParts] } +CaseBlock : CaseClausesOpt { $1 {- 'CaseBlock1' -} } + | CaseClausesOpt DefaultClause CaseClausesOpt { $1++[$2]++$3 {- 'CaseBlock2' -} } + +-- CaseClauses : See 12.11 +-- CaseClause +-- CaseClauses CaseClause +CaseClausesOpt :: { [AST.JSSwitchParts] } +CaseClausesOpt : CaseClause { [$1] {- 'CaseClausesOpt1' -} } + | CaseClausesOpt CaseClause { ($1++[$2]) {- 'CaseClausesOpt2' -} } + | { [] {- 'CaseClausesOpt3' -} } + +-- CaseClause : See 12.11 +-- case Expression : StatementListopt +CaseClause :: { AST.JSSwitchParts } +CaseClause : Case Expression Colon StatementList { AST.JSCase $1 $2 $3 $4 {- 'CaseClause1' -} } + | Case Expression Colon { AST.JSCase $1 $2 $3 [] {- 'CaseClause2' -} } + +-- DefaultClause : See 12.11 +-- default : StatementListopt +DefaultClause :: { AST.JSSwitchParts } +DefaultClause : Default Colon { AST.JSDefault $1 $2 [] {- 'DefaultClause1' -} } + | Default Colon StatementList { AST.JSDefault $1 $2 $3 {- 'DefaultClause2' -} } + +-- LabelledStatement : See 12.12 +-- Identifier : Statement +LabelledStatement :: { AST.JSStatement } +LabelledStatement : Identifier Colon Statement { AST.JSLabelled (identName $1) $2 $3 {- 'LabelledStatement' -} } + +-- ThrowStatement : See 12.13 +-- throw [no LineTerminator here] Expression ; +ThrowStatement :: { AST.JSStatement } +ThrowStatement : Throw Expression MaybeSemi { AST.JSThrow $1 $2 $3 {- 'ThrowStatement' -} } + +-- Note: worked in updated syntax as per https://developer.mozilla.org/en/JavaScript/Reference/Statements/try...catch +-- i.e., 0 or more catches, then an optional finally +-- TryStatement : See 12.14 +-- try Block Catch +-- try Block Finally +-- try Block Catch Finally +TryStatement :: { AST.JSStatement } +TryStatement : Try Block Catches { AST.JSTry $1 $2 $3 AST.JSNoFinally {- 'TryStatement1' -} } + | Try Block Finally { AST.JSTry $1 $2 [] $3 {- 'TryStatement2' -} } + | Try Block Catches Finally { AST.JSTry $1 $2 $3 $4 {- 'TryStatement3' -} } + +Catches :: { [AST.JSTryCatch] } +Catches : Catch { [$1] {- 'Catches1' -} } + | Catches Catch { ($1++[$2]) {- 'Catches2' -} } + +-- Note: worked in updated syntax as per https://developer.mozilla.org/en/JavaScript/Reference/Statements/try...catch +-- ::= 'catch' '(' Identifier ')' +-- becomes +-- ::= 'catch' '(' Identifier ')' +-- | 'catch' '(' Identifier 'if' ConditionalExpression ')' +Catch :: { AST.JSTryCatch } +Catch : CatchL LParen Identifier RParen Block { AST.JSCatch $1 $2 $3 $4 $5 {- 'Catch1' -} } + | CatchL LParen Identifier If ConditionalExpression RParen Block { AST.JSCatchIf $1 $2 $3 $4 $5 $6 $7 {- 'Catch2' -} } + +-- Finally : See 12.14 +-- finally Block +Finally :: { AST.JSTryFinally } +Finally : FinallyL Block { AST.JSFinally $1 $2 {- 'Finally' -} } + +-- DebuggerStatement : See 12.15 +-- debugger ; +DebuggerStatement :: { AST.JSStatement } +DebuggerStatement : 'debugger' MaybeSemi { AST.JSExpressionStatement (AST.JSLiteral (mkJSAnnot $1) "debugger") $2 {- 'DebuggerStatement' -} } + +-- FunctionDeclaration : See clause 13 +-- function Identifier ( FormalParameterListopt ) { FunctionBody } +FunctionDeclaration :: { AST.JSStatement } +FunctionDeclaration : NamedFunctionExpression MaybeSemi { expressionToStatement $1 $2 {- 'FunctionDeclaration1' -} } + +AsyncFunctionStatement :: { AST.JSStatement } +AsyncFunctionStatement : Async NamedFunctionExpression MaybeSemi { expressionToAsyncFunction $1 $2 $3 {- 'AsyncFunctionStatement1' -} } + +-- FunctionExpression : See clause 13 +-- function Identifieropt ( FormalParameterListopt ) { FunctionBody } +FunctionExpression :: { AST.JSExpression } +FunctionExpression : ArrowFunctionExpression { $1 {- 'ArrowFunctionExpression' -} } + | LambdaExpression { $1 {- 'FunctionExpression1' -} } + | NamedFunctionExpression { $1 {- 'FunctionExpression2' -} } + +ArrowFunctionExpression :: { AST.JSExpression } +ArrowFunctionExpression : ArrowParameterList Arrow StatementOrBlock + { AST.JSArrowExpression $1 $2 $3 } + +ArrowParameterList :: { AST.JSArrowParameterList } +ArrowParameterList : PrimaryExpression {%^ toArrowParameterList $1 } + | LParen RParen + { AST.JSParenthesizedArrowParameterList $1 AST.JSLNil $2 } + +StatementOrBlock :: { AST.JSStatement } +StatementOrBlock : Block MaybeSemi { blockToStatement $1 $2 } + | Expression MaybeSemi { expressionToStatement $1 $2 } + +-- StatementListItem : +-- Statement +-- Declaration +StatementListItem :: { AST.JSStatement } +StatementListItem : Statement { $1 } + +NamedFunctionExpression :: { AST.JSExpression } +NamedFunctionExpression : Function Identifier LParen RParen FunctionBody + { AST.JSFunctionExpression $1 (identName $2) $3 AST.JSLNil $4 $5 {- 'NamedFunctionExpression1' -} } + | Function Identifier LParen FormalParameterList RParen FunctionBody + { AST.JSFunctionExpression $1 (identName $2) $3 $4 $5 $6 {- 'NamedFunctionExpression2' -} } + +LambdaExpression :: { AST.JSExpression } +LambdaExpression : Function LParen RParen FunctionBody + { AST.JSFunctionExpression $1 AST.JSIdentNone $2 AST.JSLNil $3 $4 {- 'LambdaExpression1' -} } + | Function LParen FormalParameterList RParen FunctionBody + { AST.JSFunctionExpression $1 AST.JSIdentNone $2 $3 $4 $5 {- 'LambdaExpression2' -} } + +-- GeneratorDeclaration : +-- function * BindingIdentifier ( FormalParameters ) { GeneratorBody } +-- function * ( FormalParameters ) { GeneratorBody } +GeneratorDeclaration :: { AST.JSStatement } +GeneratorDeclaration : NamedGeneratorExpression MaybeSemi { expressionToStatement $1 $2 } + +-- GeneratorExpression : +-- function * BindingIdentifieropt ( FormalParameters ) { GeneratorBody } +-- GeneratorBody : +-- FunctionBody +GeneratorExpression :: { AST.JSExpression } +GeneratorExpression : NamedGeneratorExpression { $1 } + | Function '*' LParen RParen FunctionBody + { AST.JSGeneratorExpression $1 (mkJSAnnot $2) AST.JSIdentNone $3 AST.JSLNil $4 $5 } + | Function '*' LParen FormalParameterList RParen FunctionBody + { AST.JSGeneratorExpression $1 (mkJSAnnot $2) AST.JSIdentNone $3 $4 $5 $6 } + +NamedGeneratorExpression :: { AST.JSExpression } +NamedGeneratorExpression : Function '*' Identifier LParen RParen FunctionBody + { AST.JSGeneratorExpression $1 (mkJSAnnot $2) (identName $3) $4 AST.JSLNil $5 $6 } + | Function '*' Identifier LParen FormalParameterList RParen FunctionBody + { AST.JSGeneratorExpression $1 (mkJSAnnot $2) (identName $3) $4 $5 $6 $7 } + +-- YieldExpression : +-- yield +-- yield [no LineTerminator here] AssignmentExpression +-- yield [no LineTerminator here] * AssignmentExpression +YieldExpression :: { AST.JSExpression } +YieldExpression : Yield { AST.JSYieldExpression $1 Nothing } + | Yield AssignmentExpression { AST.JSYieldExpression $1 (Just $2) } + | Yield '*' AssignmentExpression { AST.JSYieldFromExpression $1 (mkJSAnnot $2) $3 } + + +IdentifierOpt :: { AST.JSIdent } +IdentifierOpt : Identifier { identName $1 {- 'IdentifierOpt1' -} } + | { AST.JSIdentNone {- 'IdentifierOpt2' -} } + +-- FormalParameterList : See clause 13 +-- Identifier +-- FormalParameterList , Identifier +FormalParameterList :: { AST.JSCommaList AST.JSExpression } +FormalParameterList : AssignmentExpression { AST.JSLOne $1 {- 'FormalParameterList1' -} } + | FormalParameterList Comma AssignmentExpression { AST.JSLCons $1 $2 $3 {- 'FormalParameterList2' -} } + +-- FunctionBody : See clause 13 +-- SourceElementsopt +FunctionBody :: { AST.JSBlock } +FunctionBody : Block { $1 {- 'FunctionBody1' -} } + +-- ClassDeclaration : +-- class BindingIdentifier ClassTail +-- class ClassTail +-- ClassExpression : +-- class BindingIdentifieropt ClassTail +-- ClassTail : +-- ClassHeritageopt { ClassBodyopt } +ClassDeclaration :: { AST.JSStatement } +ClassDeclaration : Class Identifier ClassHeritage LBrace ClassBody RBrace { AST.JSClass $1 (identName $2) $3 $4 $5 $6 AST.JSSemiAuto } + +ClassExpression :: { AST.JSExpression } +ClassExpression : Class Identifier ClassHeritage LBrace ClassBody RBrace { AST.JSClassExpression $1 (identName $2) $3 $4 $5 $6 } + | Class ClassHeritage LBrace ClassBody RBrace { AST.JSClassExpression $1 AST.JSIdentNone $2 $3 $4 $5 } + +-- ClassHeritage : +-- extends LeftHandSideExpression +ClassHeritage :: { AST.JSClassHeritage } +ClassHeritage : Extends LeftHandSideExpression { AST.JSExtends $1 $2 } + | { AST.JSExtendsNone } + +-- ClassBody : +-- ClassElementList +-- ClassElementList : +-- ClassElement +-- ClassElementList ClassElement +ClassBody :: { [AST.JSClassElement] } +ClassBody : { [] } + | ClassBody ClassElement { $1 ++ [$2] } + +-- ClassElement : +-- MethodDefinition +-- static MethodDefinition +-- ; +ClassElement :: { AST.JSClassElement } +ClassElement : MethodDefinition { AST.JSClassInstanceMethod $1 } + | Static MethodDefinition { AST.JSClassStaticMethod $1 $2 } + | Semi { AST.JSClassSemi $1 } + +-- Program : See clause 14 +-- SourceElementsopt + +Program :: { AST.JSAST } +Program : StatementList Eof { AST.JSAstProgram $1 $2 {- 'Program1' -} } + | Eof { AST.JSAstProgram [] $1 {- 'Program2' -} } + +-- Module : See 15.2 +-- ModuleBody[opt] +-- +-- ModuleBody : +-- ModuleItemList +Module :: { AST.JSAST } +Module : ModuleItemList Eof { AST.JSAstModule $1 $2 {- 'Module1' -} } + | Eof { AST.JSAstModule [] $1 {- 'Module2' -} } + +-- ModuleItemList : +-- ModuleItem +-- ModuleItemList ModuleItem +ModuleItemList :: { [AST.JSModuleItem] } +ModuleItemList : ModuleItem { [$1] {- 'ModuleItemList1' -} } + | ModuleItemList ModuleItem { ($1++[$2]) {- 'ModuleItemList2' -} } + +-- ModuleItem : +-- ImportDeclaration +-- ExportDeclaration +-- StatementListItem +ModuleItem :: { AST.JSModuleItem } +ModuleItem : Import ImportDeclaration + { AST.JSModuleImportDeclaration $1 $2 {- 'ModuleItem1' -} } + | Export ExportDeclaration + { AST.JSModuleExportDeclaration $1 $2 {- 'ModuleItem1' -} } + | StatementListItem + { AST.JSModuleStatementListItem $1 {- 'ModuleItem2' -} } + +ImportDeclaration :: { AST.JSImportDeclaration } +ImportDeclaration : ImportClause FromClause AutoSemi + { AST.JSImportDeclaration $1 $2 $3 } + | 'string' AutoSemi + { AST.JSImportDeclarationBare (mkJSAnnot $1) (tokenLiteral $1) $2 } + +ImportClause :: { AST.JSImportClause } +ImportClause : IdentifierName + { AST.JSImportClauseDefault (identName $1) } + | NameSpaceImport + { AST.JSImportClauseNameSpace $1 } + | NamedImports + { AST.JSImportClauseNamed $1 } + | IdentifierName ',' NameSpaceImport + { AST.JSImportClauseDefaultNameSpace (identName $1) (mkJSAnnot $2) $3 } + | IdentifierName ',' NamedImports + { AST.JSImportClauseDefaultNamed (identName $1) (mkJSAnnot $2) $3 } + +FromClause :: { AST.JSFromClause } +FromClause : From 'string' + { AST.JSFromClause $1 (mkJSAnnot $2) (tokenLiteral $2) } + +NameSpaceImport :: { AST.JSImportNameSpace } +NameSpaceImport : Mul As IdentifierName + { AST.JSImportNameSpace $1 $2 (identName $3) } + +NamedImports :: { AST.JSImportsNamed } +NamedImports : LBrace ImportsList RBrace + { AST.JSImportsNamed $1 $2 $3 } + +ImportsList :: { AST.JSCommaList AST.JSImportSpecifier } +ImportsList : ImportSpecifier + { AST.JSLOne $1 } + | ImportsList Comma ImportSpecifier + { AST.JSLCons $1 $2 $3 } + +ImportSpecifier :: { AST.JSImportSpecifier } +ImportSpecifier : IdentifierName + { AST.JSImportSpecifier (identName $1) } + | IdentifierName As IdentifierName + { AST.JSImportSpecifierAs (identName $1) $2 (identName $3) } + +-- ExportDeclaration : See 15.2.3 +-- [ ] export * FromClause ; +-- [x] export ExportClause FromClause ; +-- [x] export ExportClause ; +-- [x] export VariableStatement +-- [ ] export Declaration +-- [ ] Declaration : +-- [ ] HoistableDeclaration +-- [x] ClassDeclaration +-- [x] LexicalDeclaration +-- [ ] HoistableDeclaration : +-- [x] FunctionDeclaration +-- [x] GeneratorDeclaration +-- [ ] AsyncFunctionDeclaration +-- [ ] AsyncGeneratorDeclaration +-- [ ] export default HoistableDeclaration[Default] +-- [ ] export default ClassDeclaration[Default] +-- [ ] export default [lookahead ∉ { function, class }] AssignmentExpression[In] ; +ExportDeclaration :: { AST.JSExportDeclaration } +ExportDeclaration : ExportClause FromClause AutoSemi + { AST.JSExportFrom $1 $2 $3 {- 'ExportDeclaration1' -} } + | ExportClause AutoSemi + { AST.JSExportLocals $1 $2 {- 'ExportDeclaration2' -} } + | VariableStatement AutoSemi + { AST.JSExport $1 $2 {- 'ExportDeclaration3' -} } + | FunctionDeclaration AutoSemi + { AST.JSExport $1 $2 {- 'ExportDeclaration4' -} } + | GeneratorDeclaration AutoSemi + { AST.JSExport $1 $2 {- 'ExportDeclaration5' -} } + | ClassDeclaration AutoSemi + { AST.JSExport $1 $2 {- 'ExportDeclaration6' -} } + +-- ExportClause : +-- { } +-- { ExportsList } +-- { ExportsList , } +ExportClause :: { AST.JSExportClause } +ExportClause : LBrace RBrace + { AST.JSExportClause $1 AST.JSLNil $2 {- 'ExportClause1' -} } + | LBrace ExportsList RBrace + { AST.JSExportClause $1 $2 $3 {- 'ExportClause2' -} } + +-- ExportsList : +-- ExportSpecifier +-- ExportsList , ExportSpecifier +ExportsList :: { AST.JSCommaList AST.JSExportSpecifier } +ExportsList : ExportSpecifier + { AST.JSLOne $1 {- 'ExportsList1' -} } + | ExportsList Comma ExportSpecifier + { AST.JSLCons $1 $2 $3 {- 'ExportsList2' -} } + +-- ExportSpecifier : +-- IdentifierName +-- IdentifierName as IdentifierName +ExportSpecifier :: { AST.JSExportSpecifier } +ExportSpecifier : IdentifierName + { AST.JSExportSpecifier (identName $1) {- 'ExportSpecifier1' -} } + | IdentifierName As IdentifierName + { AST.JSExportSpecifierAs (identName $1) $2 (identName $3) {- 'ExportSpecifier2' -} } + +-- For debugging/other entry points +LiteralMain :: { AST.JSAST } +LiteralMain : Literal Eof { AST.JSAstLiteral $1 $2 {- 'LiteralMain' -} } + +ExpressionMain :: { AST.JSAST } +ExpressionMain : Expression Eof { AST.JSAstExpression $1 $2 {- 'ExpressionMain' -} } + +StatementMain :: { AST.JSAST } +StatementMain : StatementNoEmpty Eof { AST.JSAstStatement $1 $2 {- 'StatementMain' -} } + +{ + +-- Need this type while build the AST, but is not actually part of the AST. +data JSArguments = JSArguments AST.JSAnnot (AST.JSCommaList AST.JSExpression) AST.JSAnnot -- ^lb, args, rb +data JSUntaggedTemplate = JSUntaggedTemplate !AST.JSAnnot !String ![AST.JSTemplatePart] -- lquot, head, parts + +blockToStatement :: AST.JSBlock -> AST.JSSemi -> AST.JSStatement +blockToStatement (AST.JSBlock a b c) s = AST.JSStatementBlock a b c s + +expressionToStatement :: AST.JSExpression -> AST.JSSemi -> AST.JSStatement +expressionToStatement (AST.JSFunctionExpression a b@(AST.JSIdentName{}) c d e f) s = AST.JSFunction a b c d e f s +expressionToStatement (AST.JSGeneratorExpression a b c@(AST.JSIdentName{}) d e f g) s = AST.JSGenerator a b c d e f g s +expressionToStatement (AST.JSAssignExpression lhs op rhs) s = AST.JSAssignStatement lhs op rhs s +expressionToStatement (AST.JSMemberExpression e l a r) s = AST.JSMethodCall e l a r s +expressionToStatement (AST.JSClassExpression a b@(AST.JSIdentName{}) c d e f) s = AST.JSClass a b c d e f s +expressionToStatement exp s = AST.JSExpressionStatement exp s + +expressionToAsyncFunction :: AST.JSAnnot -> AST.JSExpression -> AST.JSSemi -> AST.JSStatement +expressionToAsyncFunction aa (AST.JSFunctionExpression a b@(AST.JSIdentName{}) c d e f) s = AST.JSAsyncFunction aa a b c d e f s +expressionToAsyncFunction _aa _exp _s = error "Bad async function." + +mkJSCallExpression :: AST.JSExpression -> JSArguments -> AST.JSExpression +mkJSCallExpression e (JSArguments l arglist r) = AST.JSCallExpression e l arglist r + +mkJSMemberExpression :: AST.JSExpression -> JSArguments -> AST.JSExpression +mkJSMemberExpression e (JSArguments l arglist r) = AST.JSMemberExpression e l arglist r + +mkJSMemberNew :: AST.JSAnnot -> AST.JSExpression -> JSArguments -> AST.JSExpression +mkJSMemberNew a e (JSArguments l arglist r) = AST.JSMemberNew a e l arglist r + +parseError :: Token -> Alex a +parseError = alexError . show + +mkJSAnnot :: Token -> AST.JSAnnot +mkJSAnnot a = AST.JSAnnot (tokenSpan a) (tokenComment a) + +mkJSTemplateLiteral :: Maybe AST.JSExpression -> JSUntaggedTemplate -> AST.JSExpression +mkJSTemplateLiteral tag (JSUntaggedTemplate a h ps) = AST.JSTemplateLiteral tag a h ps + +-- --------------------------------------------------------------------- +-- | mkUnary : The parser detects '+' and '-' as the binary version of these +-- operator. This function converts from the binary version to the unary +-- version. +mkUnary :: AST.JSBinOp -> AST.JSUnaryOp +mkUnary (AST.JSBinOpMinus annot) = AST.JSUnaryOpMinus annot +mkUnary (AST.JSBinOpPlus annot) = AST.JSUnaryOpPlus annot + +mkUnary x = error $ "Invalid unary op : " ++ show x + +identName :: AST.JSExpression -> AST.JSIdent +identName (AST.JSIdentifier a s) = AST.JSIdentName a s +identName x = error $ "Cannot convert '" ++ show x ++ "' to a JSIdentName." + +propName :: AST.JSExpression -> AST.JSPropertyName +propName (AST.JSIdentifier a s) = AST.JSPropertyIdent a s +propName (AST.JSDecimal a s) = AST.JSPropertyNumber a s +propName (AST.JSHexInteger a s) = AST.JSPropertyNumber a s +propName (AST.JSOctal a s) = AST.JSPropertyNumber a s +propName (AST.JSStringLiteral a s) = AST.JSPropertyString a s +propName x = error $ "Cannot convert '" ++ show x ++ "' to a JSPropertyName." + +identifierToProperty :: AST.JSExpression -> AST.JSObjectProperty +identifierToProperty (AST.JSIdentifier a s) = AST.JSPropertyIdentRef a s +identifierToProperty x = error $ "Cannot convert '" ++ show x ++ "' to a JSObjectProperty." + +toArrowParameterList :: AST.JSExpression -> Token -> Alex AST.JSArrowParameterList +toArrowParameterList (AST.JSIdentifier a s) = const . return $ AST.JSUnparenthesizedArrowParameter (AST.JSIdentName a s) +toArrowParameterList (AST.JSExpressionParen lb x rb) = const . return $ AST.JSParenthesizedArrowParameterList lb (commasToCommaList x) rb +toArrowParameterList _ = parseError + +commasToCommaList :: AST.JSExpression -> AST.JSCommaList AST.JSExpression +commasToCommaList (AST.JSCommaExpression l c r) = AST.JSLCons (commasToCommaList l) c r +commasToCommaList x = AST.JSLOne x + +} diff --git a/src/Language/JavaScript/Parser/Lexer.x b/src/Language/JavaScript/Parser/Lexer.x --- a/src/Language/JavaScript/Parser/Lexer.x +++ b/src/Language/JavaScript/Parser/Lexer.x @@ -1,21 +1,28 @@ { +{-# LANGUAGE CPP #-} +{-# OPTIONS_GHC -funbox-strict-fields #-} -module Language.JavaScript.Parser.Lexer ( - Token(..) - , AlexPosn(..) +#if __GLASGOW_HASKELL__ >= 800 +-- Alex generates code with these warnings so we'll just ignore them. +{-# OPTIONS_GHC -Wno-unused-matches #-} +{-# OPTIONS_GHC -Wno-unused-imports #-} +#endif + +module Language.JavaScript.Parser.Lexer + ( Token (..) , Alex , lexCont , alexError , runAlex + , alexTestTokeniser + , setInTemplate ) where ---import Control.Monad import Language.JavaScript.Parser.LexerUtils import Language.JavaScript.Parser.ParserMonad import Language.JavaScript.Parser.SrcLocation import Language.JavaScript.Parser.Token import qualified Data.Map as Map ---import Data.Word (Word8) } @@ -30,9 +37,10 @@ $ht = \t -- horizontal tab $sq = ' -- single quote $dq = \" -- double quote -$digit = 0-9 -- digits -$alpha = [a-zA-Z] -- alphabetic characters -$digit = 0-9 +$digit = 0-9 -- digits +$oct_digit = [0-7] +$hex_digit = [0-9a-fA-F] +$alpha = [a-zA-Z] -- alphabetic characters $non_zero_digit = 1-9 $ident_letter = [a-zA-Z_] @eol_pattern = $lf | $cr $lf | $cr $lf @@ -43,11 +51,11 @@ $any_char = [\x00-\xff] -$any_unicode_char = [\x00-\xffff] +$any_unicode_char = [\x00-\x10ffff] $eol_char = [\x000A\x000D\x2028\x2029] -- any end of line character ---$eol_char = [$lf $cr] -- any end of line character +-- $eol_char = [$lf $cr] -- any end of line character $not_eol_char = ~$eol_char -- anything but an end of line character @@ -60,27 +68,44 @@ -- {String Chars1} = {Printable} + {HT} - ["\] -- {String Chars2} = {Printable} + {HT} - [\''] -$StringChars1 = [$printable $ht] # [$dq \\] -$StringChars2 = [$printable $ht] # [$sq \\] +-- $StringCharsDoubleQuote = [$printable $ht] # [$dq \\] +-- $StringCharsSingleQuote = [$printable $ht] # [$sq \\] +$string_chars = [^ \n \r ' \" \\] + +-- See e.g. http://es5.github.io/x7.html#x7.8.4 (Table 4) +@sq_escapes = \\ ( \\ | ' | \" | \s | \- | b | f | n | r | t | v | 0 | x ) +@dq_escapes = \\ ( \\ | ' | \" | \s | \- | b | f | n | r | t | v | 0 | x ) + +@unicode_escape = \\ u $hex_digit{4} + +@string_parts = $string_chars | \\ $digit | $ls | $ps + +@non_escape_char = \\ [^ \n \\ ] + +@stringCharsSingleQuote = @string_parts | @sq_escapes | @unicode_escape | $dq | @non_escape_char +@stringCharsDoubleQuote = @string_parts | @dq_escapes | @unicode_escape | $sq | @non_escape_char + +-- Character values < 0x20. +$low_unprintable = [\x00-\x1f] + -- LineContinuation :: \ LineTerminatorSequence @LineContinuation = [\\] @LineTerminatorSequence -$short_str_char = [^ \n \r ' \" \\] - --- {Hex Digit} = {Digit} + [ABCDEF] + [abcdef] -@HexDigit = $digit | [a-fA-F] --- {Oct Digit} = {Digit} + [01234567] -@OctDigit = $digit | [0-7] -- {RegExp Chars} = {Letter}+{Digit}+['^']+['$']+['*']+['+']+['?']+['{']+['}']+['|']+['-']+['.']+[',']+['#']+['[']+[']']+['_']+['<']+['>'] ---$RegExpChars = [$alpha $digit \^\$\*\+\?\{\}\|\-\.\,\#\[\]\_\<\>] ---$RegExpChars = [$printable] # [\\] +-- $RegExpChars = [$alpha $digit \^\$\*\+\?\{\}\|\-\.\,\#\[\]\_\<\>] +-- $RegExpChars = [$printable] # [\\] -- {Non Terminator} = {String Chars1} - {CR} - {LF} ---$NonTerminator = $StringChars1 # [$cr $lf] -$NonTerminator = [$printable] # [$cr $lf] --- {Non Zero Digits}={Digit}-[0] +-- $NonTerminator = $StringCharsDoubleQuote # [$cr $lf] +$regNonTerminator = [$printable] # [$cr $lf] + +$reg_char_class_chars = [^ $cr $lf \[ \] ] +@reg_char_class_escapes = \\ ( \[ | \] ) +@regCharClass = \[ ($reg_char_class_chars | @reg_char_class_escapes)* \] + + -- ~ (LineTerminator | MUL | BSLASH | DIV) $RegExpFirstChar = [$printable] # [ $cr $lf \* \\ \/] -- ~ ( LineTerminator | BSLASH | DIV ) @@ -116,7 +141,6 @@ -- * \u205f — Medium mathematical space -- * \u3000 — Ideographic space ---$white_char = [\ \f\v\t\r\n] -- Note: from edition 5 the BOM (\xfeff) is also considered whitespace $white_char = [\x0009\x000a\x000b\x000c\x000d\x0020\x00a0\x1680\x180e\x2000\x2001\x2002\x2003\x2004\x2005\x2006\x2007\x2008\x2009\x200a\x2028\x2029\x202f\x205f\x3000\xfeff] @@ -164,12 +188,21 @@ @IdentifierPart = @IdentifierStart | $UnicodeCombiningMark | $UnicodeDigit | UnicodeConnectorPunctuation [\\] @UnicodeEscapeSequence | $ZWNJ | $ZWJ +-- TemplateCharacter :: +-- $ [lookahead ≠ { ] +-- \ EscapeSequence +-- LineContinuation +-- LineTerminatorSequence +-- SourceCharacter but not one of ` or \ or $ or LineTerminator +@TemplateCharacters = (\$* ($any_unicode_char # [\$\\`\{] | \\ $any_unicode_char) | \\ $any_unicode_char | \{)* \$* + -- ! ------------------------------------------------- Terminals tokens :- -- State: 0 is regex allowed, 1 is / or /= allowed +-- 2 is a special state for parsing characters inside templates -<0> () ; -- { registerStates lexToken reg divide } +<0> () ; -- { registerStates lexToken reg divide template } -- Skip Whitespace $white_char+ { adapt (mkString wsToken) } @@ -203,25 +236,33 @@ -- @IDHead(@IDTail)* { \loc len str -> keywordOrIdent (take len str) loc } @IdentifierStart(@IdentifierPart)* { \ap@(loc,_,_,str) len -> keywordOrIdent (take len str) (toTokenPosn loc) } +-- ECMA-262 : Section 7.8.4 String Literals -- StringLiteral = '"' ( {String Chars1} | '\' {Printable} )* '"' -- | '' ( {String Chars2} | '\' {Printable} )* '' - $dq ( $StringChars1 | \\ $printable | @LineContinuation )* $dq - | $sq ( $StringChars2 | \\ $printable | @LineContinuation )* $sq { adapt (mkString stringToken) } + $dq (@stringCharsDoubleQuote *) $dq + | $sq (@stringCharsSingleQuote *) $sq { adapt (mkString stringToken) } -- HexIntegerLiteral = '0x' {Hex Digit}+ - ("0x"|"0X") @HexDigit+ { adapt (mkString hexIntegerToken) } + ("0x"|"0X") $hex_digit+ { adapt (mkString hexIntegerToken) } -- OctalLiteral = '0' {Octal Digit}+ - ("0") @OctDigit+ { adapt (mkString octalToken) } + ("0") $oct_digit+ { adapt (mkString octalToken) } -- RegExp = '/' ({RegExp Chars} | '\' {Non Terminator})+ '/' ( 'g' | 'i' | 'm' )* --- "/" ($RegExpChars | "\" $NonTerminator)+ "/" ("g"|"i"|"m")* { mkString regExToken } --- Based on the Jint version - "/" ($RegExpFirstChar | "\" $NonTerminator) ($RegExpChars | "\" $NonTerminator)* "/" ("g"|"i"|"m")* { adapt (mkString regExToken) } + "/" + ("\" $regNonTerminator | @regCharClass | $RegExpFirstChar) + ("\" $regNonTerminator | @regCharClass | $RegExpChars)* "/" ("g"|"i"|"m")* { adapt (mkString regExToken) } + "`" @TemplateCharacters "`" { adapt (mkString' NoSubstitutionTemplateToken) } + "`" @TemplateCharacters "${" { adapt (mkString' TemplateHeadToken) } +