code.delx.au - gnu-emacs-elpa/blob - tests/parser.el

   1 ;;; tests/parser.el --- Some tests for js2-mode.
   2
   3 ;; Copyright (C) 2009, 2011-2013  Free Software Foundation, Inc.
   4
   5 ;; This file is part of GNU Emacs.
   6
   7 ;; GNU Emacs is free software: you can redistribute it and/or modify
   8 ;; it under the terms of the GNU General Public License as published by
   9 ;; the Free Software Foundation, either version 3 of the License, or
  10 ;; (at your option) any later version.
  11
  12 ;; GNU Emacs is distributed in the hope that it will be useful,
  13 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 ;; GNU General Public License for more details.
  16
  17 ;; You should have received a copy of the GNU General Public License
  18 ;; along with GNU Emacs.  If not, see <http://www.gnu.org/licenses/>.
  19
  20 ;;; Code:
  21
  22 (require 'ert)
  23 (require 'ert-x)
  24 (require 'js2-mode)
  25
  26 (defmacro js2-deftest (name buffer-contents &rest body)
  27   `(ert-deftest ,(intern (format "js2-%s" name)) ()
  28      (with-temp-buffer
  29        (save-excursion
  30          (insert ,buffer-contents))
  31        (unwind-protect
  32            (progn
  33              ,@body)
  34          (fundamental-mode)))))
  35
  36 (put 'js2-deftest 'lisp-indent-function 'defun)
  37
  38 (defun js2-test-string-to-ast (s)
  39   (ert-with-test-buffer (:name 'origin)
  40     (insert s)
  41     (js2-mode)
  42     (should (null js2-mode-buffer-dirty-p))
  43     js2-mode-ast))
  44
  45 (defun* js2-test-parse-string (code-string &key syntax-error errors-count
  46                                                 reference)
  47   (let ((ast (js2-test-string-to-ast code-string)))
  48     (if syntax-error
  49         (let ((errors (js2-ast-root-errors ast)))
  50           (should (= (or errors-count 1) (length errors)))
  51           (destructuring-bind (_ pos len) (first errors)
  52             (should (string= syntax-error (substring code-string
  53                                                      (1- pos) (+ pos len -1))))))
  54       (should (= 0 (length (js2-ast-root-errors ast))))
  55       (ert-with-test-buffer (:name 'copy)
  56         (js2-print-tree ast)
  57         (skip-chars-backward " \t\n")
  58         (should (string= (or reference code-string)
  59                          (buffer-substring-no-properties
  60                           (point-min) (point))))))))
  61
  62 (defmacro* js2-deftest-parse (name code-string &key bind syntax-error errors-count
  63                                                     reference)
  64   "Parse CODE-STRING.  If SYNTAX-ERROR is nil, print syntax tree
  65 with `js2-print-tree' and assert the result to be equal to
  66 REFERENCE, if present, or the original string.  If SYNTAX-ERROR
  67 is passed, expect syntax error highlighting substring equal to
  68 SYNTAX-ERROR value.  BIND defines bindings to apply them around
  69 the test."
  70   `(ert-deftest ,(intern (format "js2-%s" name)) ()
  71      (let ,(append bind '((js2-basic-offset 2)))
  72        (js2-test-parse-string ,code-string
  73                               :syntax-error ,syntax-error
  74                               :errors-count ,errors-count
  75                               :reference ,reference))))
  76
  77 (put 'js2-deftest-parse 'lisp-indent-function 'defun)
  78
  79 ;;; Basics
  80
  81 (js2-deftest-parse variable-assignment
  82   "a = 1;")
  83
  84 (js2-deftest-parse empty-object-literal
  85   "b = {};")
  86
  87 (js2-deftest-parse empty-array-literal
  88   "c = [];")
  89
  90 (js2-deftest-parse comma-after-regexp
  91   "d = /eee/, 42;")
  92
  93 (js2-deftest-parse return-statement
  94   "function foo() {\n  return 2;\n}")
  95
  96 (js2-deftest-parse function-statement
  97   "function foo() {\n}")
  98
  99 (js2-deftest-parse function-expression-statements-are-verboten
 100   "function() {}" :syntax-error "(")
 101
 102 (js2-deftest-parse member-expr-as-function-name
 103   "function a.b.c[2](x, y) {\n}"
 104   :bind ((js2-allow-member-expr-as-function-name t)))
 105
 106 (js2-deftest-parse named-function-expression
 107   "a = function b() {};")
 108
 109 ;;; Callers of `js2-valid-prop-name-token'
 110
 111 (js2-deftest-parse parse-property-access-when-not-keyword
 112   "A.foo = 3;")
 113
 114 (js2-deftest-parse parse-property-access-when-keyword
 115   "A.in = 3;"
 116   :bind ((js2-allow-keywords-as-property-names t)))
 117
 118 (js2-deftest-parse parse-property-access-when-keyword-no-xml
 119   "A.in = 3;"
 120   :bind ((js2-allow-keywords-as-property-names t)
 121          (js2-compiler-xml-available nil)))
 122
 123 (js2-deftest-parse parse-object-literal-when-not-keyword
 124   "a = {b: 1};")
 125
 126 (js2-deftest-parse parse-object-literal-when-keyword
 127   "a = {in: 1};"
 128   :bind ((js2-allow-keywords-as-property-names t)))
 129
 130 ;;; 'of' contextual keyword
 131
 132 (js2-deftest-parse parse-array-comp-loop-with-of
 133   "[a for (a of [])];")
 134
 135 (js2-deftest-parse parse-for-of
 136   "for (var a of []) {\n}")
 137
 138 (js2-deftest-parse of-can-be-var-name
 139   "var of = 3;")
 140
 141 (js2-deftest-parse of-can-be-function-name
 142   "function of() {\n}")
 143
 144 ;;; Destructuring binding
 145
 146 (js2-deftest-parse destruct-in-declaration
 147   "var {a, b} = {a: 1, b: 2};")
 148
 149 (js2-deftest-parse destruct-in-arguments
 150   "function f({a: aa, b: bb}) {\n}")
 151
 152 (js2-deftest-parse destruct-in-array-comp-loop
 153   "[a + b for ([a, b] in [[0, 1], [1, 2]])];")
 154
 155 (js2-deftest-parse destruct-in-catch-clause
 156   "try {\n} catch ({a, b}) {\n  a + b;\n}")
 157
 158 ;;; Function parameters
 159
 160 (js2-deftest-parse function-with-default-parameters
 161   "function foo(a = 1, b = a + 1) {\n}")
 162
 163 (js2-deftest-parse function-with-no-default-after-default
 164   "function foo(a = 1, b) {\n}"
 165   :syntax-error "b")
 166
 167 (js2-deftest-parse function-with-destruct-after-default
 168   "function foo(a = 1, {b, c}) {\n}"
 169   :syntax-error "{")
 170
 171 (js2-deftest-parse function-with-rest-parameter
 172   "function foo(a, b, ...rest) {\n}")
 173
 174 (js2-deftest-parse function-with-param-after-rest-parameter
 175   "function foo(a, ...b, rest) {\n}"
 176   :syntax-error "rest")
 177
 178 (js2-deftest-parse function-with-destruct-after-rest-parameter
 179   "function foo(a, ...b, {}) {\n}"
 180   :syntax-error "{}")
 181
 182 (js2-deftest-parse function-with-rest-after-default-parameter
 183   "function foo(a = 1, ...rest) {\n}")
 184
 185 ;;; Spread operator
 186
 187 (js2-deftest-parse spread-in-array-literal
 188   "[1, ...[2, 3], 4, ...[5, 6]];")
 189
 190 (js2-deftest-parse spread-in-function-call
 191   "f(3, ...[t(2), t(3)], 42, ...[t(4)]);")
 192
 193 ;;; Arrow functions
 194
 195 (js2-deftest-parse arrow-function-with-empty-args-and-no-curlies
 196   "() => false;" :reference "() => {false};")
 197
 198 (js2-deftest-parse arrow-function-with-args-and-curlies
 199   "(a, b = 1, ...c) => {  c;\n};")
 200
 201 (js2-deftest-parse parenless-arrow-function-prohibits-rest
 202   "...b => {b + 1;};" :syntax-error "=>" :errors-count 2)
 203
 204 (js2-deftest-parse parenless-arrow-function-prohibits-destructuring
 205   "[a, b] => {a + b;};" :syntax-error "=>" :errors-count 5)
 206
 207 ;;; Automatic semicolon insertion
 208
 209 (js2-deftest-parse no-auto-semi-insertion-after-if
 210   "if (true) {\n}")
 211
 212 (js2-deftest-parse auto-semi-insertion-after-function
 213   "a = function() {}" :reference "a = function() {};")
 214
 215 (js2-deftest-parse auto-semi-one-variable-per-line
 216   "x\ny" :reference "x;\ny;")
 217
 218 ;;; Labels
 219
 220 (js2-deftest-parse labeled-stmt-node
 221   "foo:\nbar:\nx = y + 1;")
 222
 223 (js2-deftest no-label-node-inside-expr "x = y:"
 224   (let (js2-parse-interruptable-p)
 225     (js2-mode))
 226   (let ((assignment (js2-expr-stmt-node-expr (car (js2-scope-kids js2-mode-ast)))))
 227     (should (js2-name-node-p (js2-assign-node-right assignment)))))
 228
 229 (js2-deftest-parse label-and-loops "for (; ; ) {
 230   loop:
 231   for (; ; ) {
 232     continue loop;
 233   }
 234 }")
 235
 236 ;;; Generators
 237
 238 (js2-deftest-parse legacy-generator "function foo() {\n  yield 1;\n}")
 239
 240 (js2-deftest-parse legacy-generator-cannot-return
 241   "function foo() {\n  yield 1;\n return 2;\n}" :syntax-error "return 2")
 242
 243 (js2-deftest-parse harmony-generator "function* bar() {\n  yield 2;\n  return 3;\n}")
 244
 245 ;;; Scopes
 246
 247 (js2-deftest ast-symbol-table-includes-fn-node "function foo() {}"
 248   (js2-mode)
 249   (let ((entry (js2-scope-get-symbol js2-mode-ast 'foo)))
 250     (should (= (js2-symbol-decl-type entry) js2-FUNCTION))
 251     (should (equal (js2-symbol-name entry) "foo"))
 252     (should (js2-function-node-p (js2-symbol-ast-node entry)))))
 253
 254 (js2-deftest fn-symbol-table-includes-nested-fn "function foo() {
 255   function bar() {}
 256   var x;
 257 }"
 258   (js2-mode)
 259   (let* ((scope (js2-node-at-point (point-min)))
 260          (fn-entry (js2-scope-get-symbol scope 'bar))
 261          (var-entry (js2-scope-get-symbol scope 'x)))
 262     (should (string= (js2-name-node-name (js2-function-node-name scope)) "foo"))
 263     (should (= (js2-symbol-decl-type fn-entry) js2-FUNCTION))
 264     (should (js2-function-node-p (js2-symbol-ast-node fn-entry)))
 265     (should (= (js2-symbol-decl-type var-entry) js2-VAR))
 266     (should (js2-name-node-p (js2-symbol-ast-node var-entry)))))
 267
 268 ;;; Tokenizer
 269
 270 (js2-deftest get-token "(1+1)"
 271   (js2-init-scanner)
 272   (should (eq js2-LP (js2-next-token)))
 273   (should (eq js2-NUMBER (js2-next-token)))
 274   (should (eq js2-ADD (js2-next-token)))
 275   (should (eq js2-NUMBER (js2-next-token)))
 276   (should (eq js2-RP (js2-next-token))))
 277
 278 (js2-deftest unget-token "()"
 279   (js2-init-scanner)
 280   (should (eq js2-LP (js2-next-token)))
 281   (js2-unget-token)
 282   (should (eq js2-LP (js2-next-token)))
 283   (should (eq js2-RP (js2-next-token))))
 284
 285 (js2-deftest get-token-or-eol "x\n++;"
 286   (js2-init-scanner)
 287   (should (eq js2-NAME (js2-next-token)))
 288   (should (eq js2-EOL (js2-peek-token-or-eol)))
 289   (should (eq js2-INC (js2-next-token)))
 290   (should (eq js2-SEMI (js2-peek-token-or-eol))))
 291
 292 (js2-deftest unget-token-over-eol-and-comment "x\n//abc\ny"
 293   (js2-init-scanner)
 294   (should (eq js2-NAME (js2-next-token)))
 295   (should (eq js2-NAME (js2-next-token)))
 296   (should (equal "y" (js2-current-token-string)))
 297   (js2-unget-token)
 298   (should (eq js2-NAME (js2-current-token-type)))
 299   (should (equal "x" (js2-current-token-string))))
 300
 301 (js2-deftest ts-seek "(1+2)"
 302   (js2-init-scanner)
 303   (should (eq js2-LP (js2-next-token)))
 304   (should (eq js2-NUMBER (js2-next-token)))
 305   (js2-unget-token)
 306   (let ((state (make-js2-ts-state)))
 307     (should (eq js2-NUMBER (js2-next-token)))
 308     (should (eq js2-ADD (js2-next-token)))
 309     (js2-ts-seek state)
 310     (should (eq 1 js2-ti-lookahead))
 311     (should (eq js2-NUMBER (js2-next-token)))
 312     (should (eq 1 (js2-token-number
 313                    (js2-current-token))))))
 314
 315 ;;; Error handling
 316
 317 (js2-deftest for-node-with-error-len "for "
 318   (js2-mode)
 319   (let ((node (js2-node-at-point (point-min))))
 320     (should (= (js2-node-len (js2-node-parent node)) 4))))
 321
 322 (js2-deftest function-without-parens-error "function b {}"
 323   ;; Should finish the parse.
 324   (js2-mode))