1 ;;; tests/parser.el --- Some tests for js2-mode.
3 ;; Copyright (C) 2009, 2011-2013 Free Software Foundation, Inc.
5 ;; This file is part of GNU Emacs.
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.
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.
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/>.
26 (defmacro js2-deftest (name buffer-contents &rest body)
27 `(ert-deftest ,(intern (format "js2-%s" name)) ()
30 (insert ,buffer-contents))
34 (fundamental-mode)))))
36 (put 'js2-deftest 'lisp-indent-function 'defun)
38 (defun js2-test-string-to-ast (s)
39 (ert-with-test-buffer (:name 'origin)
42 (should (null js2-mode-buffer-dirty-p))
45 (defun* js2-test-parse-string (code-string &key syntax-error errors-count
47 (let ((ast (js2-test-string-to-ast code-string)))
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)
57 (skip-chars-backward " \t\n")
58 (should (string= (or reference code-string)
59 (buffer-substring-no-properties
60 (point-min) (point))))))))
62 (defmacro* js2-deftest-parse (name code-string &key bind syntax-error errors-count
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
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))))
77 (put 'js2-deftest-parse 'lisp-indent-function 'defun)
81 (js2-deftest-parse variable-assignment
84 (js2-deftest-parse empty-object-literal
87 (js2-deftest-parse empty-array-literal
90 (js2-deftest-parse array-with-missing-elements
93 (js2-deftest-parse comma-after-regexp
96 (js2-deftest-parse return-statement
97 "function foo() {\n return 2;\n}")
99 (js2-deftest-parse function-statement
100 "function foo() {\n}")
102 (js2-deftest-parse function-statement-inside-block
103 "if (true) {\n function foo() {\n }\n}")
105 (js2-deftest-parse function-expression-statements-are-verboten
106 "function() {}" :syntax-error "(")
108 (js2-deftest-parse member-expr-as-function-name
109 "function a.b.c[2](x, y) {\n}"
110 :bind ((js2-allow-member-expr-as-function-name t)))
112 (js2-deftest-parse named-function-expression
113 "a = function b() {};")
115 ;;; Callers of `js2-valid-prop-name-token'
117 (js2-deftest-parse parse-property-access-when-not-keyword
120 (js2-deftest-parse parse-property-access-when-keyword
122 :bind ((js2-allow-keywords-as-property-names t)))
124 (js2-deftest-parse parse-property-access-when-keyword-no-xml
126 :bind ((js2-allow-keywords-as-property-names t)
127 (js2-compiler-xml-available nil)))
129 (js2-deftest-parse parse-object-literal-when-not-keyword
132 (js2-deftest-parse parse-object-literal-when-keyword
134 :bind ((js2-allow-keywords-as-property-names t)))
136 ;;; 'of' contextual keyword
138 (js2-deftest-parse parse-legacy-array-comp-loop-with-of
139 "[a for (a of [])];")
141 (js2-deftest-parse parse-array-comp-loop
142 "[for (a of []) a];")
144 (js2-deftest-parse parse-for-of
145 "for (var a of []) {\n}")
147 (js2-deftest-parse of-can-be-var-name
150 (js2-deftest-parse of-can-be-function-name
151 "function of() {\n}")
153 ;;; Destructuring binding
155 (js2-deftest-parse destruct-in-declaration
156 "var {a, b} = {a: 1, b: 2};")
158 (js2-deftest-parse destruct-in-arguments
159 "function f({a: aa, b: bb}) {\n}")
161 (js2-deftest-parse destruct-in-array-comp-loop
162 "[a + b for ([a, b] in [[0, 1], [1, 2]])];")
164 (js2-deftest-parse destruct-in-catch-clause
165 "try {\n} catch ({a, b}) {\n a + b;\n}")
167 ;;; Function parameters
169 (js2-deftest-parse function-with-default-parameters
170 "function foo(a = 1, b = a + 1) {\n}")
172 (js2-deftest-parse function-with-no-default-after-default
173 "function foo(a = 1, b) {\n}"
176 (js2-deftest-parse function-with-destruct-after-default
177 "function foo(a = 1, {b, c}) {\n}"
180 (js2-deftest-parse function-with-rest-parameter
181 "function foo(a, b, ...rest) {\n}")
183 (js2-deftest-parse function-with-param-after-rest-parameter
184 "function foo(a, ...b, rest) {\n}"
185 :syntax-error "rest")
187 (js2-deftest-parse function-with-destruct-after-rest-parameter
188 "function foo(a, ...b, {}) {\n}"
191 (js2-deftest-parse function-with-rest-after-default-parameter
192 "function foo(a = 1, ...rest) {\n}")
196 (js2-deftest-parse spread-in-array-literal
197 "[1, ...[2, 3], 4, ...[5, 6]];")
199 (js2-deftest-parse spread-in-function-call
200 "f(3, ...[t(2), t(3)], 42, ...[t(4)]);")
204 (js2-deftest-parse arrow-function-with-empty-args-and-no-curlies
205 "() => false;" :reference "() => {false};")
207 (js2-deftest-parse arrow-function-with-args-and-curlies
208 "(a, b = 1, ...c) => { c;\n};")
210 (js2-deftest-parse parenless-arrow-function-prohibits-rest
211 "...b => {b + 1;};" :syntax-error "=>" :errors-count 2)
213 (js2-deftest-parse parenless-arrow-function-prohibits-destructuring
214 "[a, b] => {a + b;};" :syntax-error "=>" :errors-count 5)
216 ;;; Automatic semicolon insertion
218 (js2-deftest-parse no-auto-semi-insertion-after-if
221 (js2-deftest-parse auto-semi-insertion-after-function
222 "a = function() {}" :reference "a = function() {};")
224 (js2-deftest-parse auto-semi-one-variable-per-line
225 "x\ny" :reference "x;\ny;")
229 (js2-deftest-parse labeled-stmt-node
230 "foo:\nbar:\nx = y + 1;")
232 (js2-deftest no-label-node-inside-expr "x = y:"
233 (let (js2-parse-interruptable-p)
235 (let ((assignment (js2-expr-stmt-node-expr (car (js2-scope-kids js2-mode-ast)))))
236 (should (js2-name-node-p (js2-assign-node-right assignment)))))
238 (js2-deftest-parse label-and-loops "for (; ; ) {
247 (js2-deftest-parse legacy-generator "function foo() {\n yield 1;\n}")
249 (js2-deftest-parse legacy-generator-cannot-return
250 "function foo() {\n yield 1;\n return 2;\n}" :syntax-error "return 2")
252 (js2-deftest-parse harmony-generator "function* bar() {\n yield 2;\n return 3;\n}")
254 (js2-deftest-parse harmony-generator-yield-star "(function*(a) { yield* a;\n});")
258 (js2-deftest-parse parse-legacy-array-comp-loop-with-filter
259 "[a for (a in b) if (a == 2)];")
261 (js2-deftest-parse parse-array-comp-loop-with-filters
262 "[for (a in b) if (a == 2) if (b != 10) a];")
266 (js2-deftest ast-symbol-table-includes-fn-node "function foo() {}"
268 (let ((entry (js2-scope-get-symbol js2-mode-ast 'foo)))
269 (should (= (js2-symbol-decl-type entry) js2-FUNCTION))
270 (should (equal (js2-symbol-name entry) "foo"))
271 (should (js2-function-node-p (js2-symbol-ast-node entry)))))
273 (js2-deftest fn-symbol-table-includes-nested-fn "function foo() {
278 (let* ((scope (js2-node-at-point (point-min)))
279 (fn-entry (js2-scope-get-symbol scope 'bar))
280 (var-entry (js2-scope-get-symbol scope 'x)))
281 (should (string= (js2-name-node-name (js2-function-node-name scope)) "foo"))
282 (should (= (js2-symbol-decl-type fn-entry) js2-FUNCTION))
283 (should (js2-function-node-p (js2-symbol-ast-node fn-entry)))
284 (should (= (js2-symbol-decl-type var-entry) js2-VAR))
285 (should (js2-name-node-p (js2-symbol-ast-node var-entry)))))
289 (js2-deftest get-token "(1+1)"
291 (should (eq js2-LP (js2-next-token)))
292 (should (eq js2-NUMBER (js2-next-token)))
293 (should (eq js2-ADD (js2-next-token)))
294 (should (eq js2-NUMBER (js2-next-token)))
295 (should (eq js2-RP (js2-next-token))))
297 (js2-deftest unget-token "()"
299 (should (eq js2-LP (js2-next-token)))
301 (should (eq js2-LP (js2-next-token)))
302 (should (eq js2-RP (js2-next-token))))
304 (js2-deftest get-token-or-eol "x\n++;"
306 (should (eq js2-NAME (js2-next-token)))
307 (should (eq js2-EOL (js2-peek-token-or-eol)))
308 (should (eq js2-INC (js2-next-token)))
309 (should (eq js2-SEMI (js2-peek-token-or-eol))))
311 (js2-deftest unget-token-over-eol-and-comment "x\n//abc\ny"
313 (should (eq js2-NAME (js2-next-token)))
314 (should (eq js2-NAME (js2-next-token)))
315 (should (equal "y" (js2-current-token-string)))
317 (should (eq js2-NAME (js2-current-token-type)))
318 (should (equal "x" (js2-current-token-string))))
320 (js2-deftest ts-seek "(1+2)"
322 (should (eq js2-LP (js2-next-token)))
323 (should (eq js2-NUMBER (js2-next-token)))
325 (let ((state (make-js2-ts-state)))
326 (should (eq js2-NUMBER (js2-next-token)))
327 (should (eq js2-ADD (js2-next-token)))
329 (should (eq 1 js2-ti-lookahead))
330 (should (eq js2-NUMBER (js2-next-token)))
331 (should (eq 1 (js2-token-number
332 (js2-current-token))))))
336 (js2-deftest for-node-with-error-len "for "
338 (let ((node (js2-node-at-point (point-min))))
339 (should (= (js2-node-len (js2-node-parent node)) 4))))
341 (js2-deftest function-without-parens-error "function b {}"
342 ;; Should finish the parse.