1 |
|
2 |
|
3 |
|
4 |
|
5 |
|
6 |
|
7 | "use strict";
|
8 |
|
9 |
|
10 |
|
11 |
|
12 |
|
13 | module.exports = function(context) {
|
14 |
|
15 | var ALL_NODES = context.options[0] !== "functions";
|
16 | var EXCEPT_COND_ASSIGN = ALL_NODES && context.options[1] && context.options[1].conditionalAssign === false;
|
17 | var sourceCode = context.getSourceCode();
|
18 |
|
19 | |
20 |
|
21 |
|
22 |
|
23 |
|
24 |
|
25 | function ruleApplies(node) {
|
26 | return ALL_NODES || node.type === "FunctionExpression" || node.type === "ArrowFunctionExpression";
|
27 | }
|
28 |
|
29 | |
30 |
|
31 |
|
32 |
|
33 |
|
34 |
|
35 | function isParenthesised(node) {
|
36 | var previousToken = context.getTokenBefore(node),
|
37 | nextToken = context.getTokenAfter(node);
|
38 |
|
39 | return previousToken && nextToken &&
|
40 | previousToken.value === "(" && previousToken.range[1] <= node.range[0] &&
|
41 | nextToken.value === ")" && nextToken.range[0] >= node.range[1];
|
42 | }
|
43 |
|
44 | |
45 |
|
46 |
|
47 |
|
48 |
|
49 |
|
50 | function isParenthesisedTwice(node) {
|
51 | var previousToken = context.getTokenBefore(node, 1),
|
52 | nextToken = context.getTokenAfter(node, 1);
|
53 |
|
54 | return isParenthesised(node) && previousToken && nextToken &&
|
55 | previousToken.value === "(" && previousToken.range[1] <= node.range[0] &&
|
56 | nextToken.value === ")" && nextToken.range[0] >= node.range[1];
|
57 | }
|
58 |
|
59 | |
60 |
|
61 |
|
62 |
|
63 |
|
64 |
|
65 | function hasExcessParens(node) {
|
66 | return ruleApplies(node) && isParenthesised(node);
|
67 | }
|
68 |
|
69 | |
70 |
|
71 |
|
72 |
|
73 |
|
74 |
|
75 |
|
76 | function hasDoubleExcessParens(node) {
|
77 | return ruleApplies(node) && isParenthesisedTwice(node);
|
78 | }
|
79 |
|
80 | |
81 |
|
82 |
|
83 |
|
84 |
|
85 |
|
86 | function isCondAssignException(node) {
|
87 | return EXCEPT_COND_ASSIGN && node.test.type === "AssignmentExpression";
|
88 | }
|
89 |
|
90 | |
91 |
|
92 |
|
93 |
|
94 |
|
95 |
|
96 |
|
97 |
|
98 | function hasExcessParensNoLineTerminator(token, node) {
|
99 | if (token.loc.end.line === node.loc.start.line) {
|
100 | return hasExcessParens(node);
|
101 | }
|
102 |
|
103 | return hasDoubleExcessParens(node);
|
104 | }
|
105 |
|
106 | |
107 |
|
108 |
|
109 |
|
110 |
|
111 | function isHeadOfExpressionStatement(node) {
|
112 | var parent = node.parent;
|
113 | while (parent) {
|
114 | switch (parent.type) {
|
115 | case "SequenceExpression":
|
116 | if (parent.expressions[0] !== node || isParenthesised(node)) {
|
117 | return false;
|
118 | }
|
119 | break;
|
120 |
|
121 | case "UnaryExpression":
|
122 | case "UpdateExpression":
|
123 | if (parent.prefix || isParenthesised(node)) {
|
124 | return false;
|
125 | }
|
126 | break;
|
127 |
|
128 | case "BinaryExpression":
|
129 | case "LogicalExpression":
|
130 | if (parent.left !== node || isParenthesised(node)) {
|
131 | return false;
|
132 | }
|
133 | break;
|
134 |
|
135 | case "ConditionalExpression":
|
136 | if (parent.test !== node || isParenthesised(node)) {
|
137 | return false;
|
138 | }
|
139 | break;
|
140 |
|
141 | case "CallExpression":
|
142 | if (parent.callee !== node || isParenthesised(node)) {
|
143 | return false;
|
144 | }
|
145 | break;
|
146 |
|
147 | case "MemberExpression":
|
148 | if (parent.object !== node || isParenthesised(node)) {
|
149 | return false;
|
150 | }
|
151 | break;
|
152 |
|
153 | case "ExpressionStatement":
|
154 | return true;
|
155 |
|
156 | default:
|
157 | return false;
|
158 | }
|
159 |
|
160 | node = parent;
|
161 | parent = parent.parent;
|
162 | }
|
163 |
|
164 |
|
165 | throw new Error("unreachable");
|
166 | }
|
167 |
|
168 | |
169 |
|
170 |
|
171 |
|
172 |
|
173 |
|
174 | function precedence(node) {
|
175 |
|
176 | switch (node.type) {
|
177 | case "SequenceExpression":
|
178 | return 0;
|
179 |
|
180 | case "AssignmentExpression":
|
181 | case "ArrowFunctionExpression":
|
182 | case "YieldExpression":
|
183 | return 1;
|
184 |
|
185 | case "ConditionalExpression":
|
186 | return 3;
|
187 |
|
188 | case "LogicalExpression":
|
189 | switch (node.operator) {
|
190 | case "||":
|
191 | return 4;
|
192 | case "&&":
|
193 | return 5;
|
194 |
|
195 | }
|
196 |
|
197 |
|
198 | case "BinaryExpression":
|
199 | switch (node.operator) {
|
200 | case "|":
|
201 | return 6;
|
202 | case "^":
|
203 | return 7;
|
204 | case "&":
|
205 | return 8;
|
206 | case "==":
|
207 | case "!=":
|
208 | case "===":
|
209 | case "!==":
|
210 | return 9;
|
211 | case "<":
|
212 | case "<=":
|
213 | case ">":
|
214 | case ">=":
|
215 | case "in":
|
216 | case "instanceof":
|
217 | return 10;
|
218 | case "<<":
|
219 | case ">>":
|
220 | case ">>>":
|
221 | return 11;
|
222 | case "+":
|
223 | case "-":
|
224 | return 12;
|
225 | case "*":
|
226 | case "/":
|
227 | case "%":
|
228 | return 13;
|
229 |
|
230 | }
|
231 |
|
232 | case "UnaryExpression":
|
233 | return 14;
|
234 | case "UpdateExpression":
|
235 | return 15;
|
236 | case "CallExpression":
|
237 |
|
238 | if (node.callee.type === "FunctionExpression") {
|
239 | return -1;
|
240 | }
|
241 | return 16;
|
242 | case "NewExpression":
|
243 | return 17;
|
244 |
|
245 | }
|
246 | return 18;
|
247 | }
|
248 |
|
249 | |
250 |
|
251 |
|
252 |
|
253 |
|
254 |
|
255 | function report(node) {
|
256 | var previousToken = context.getTokenBefore(node);
|
257 | context.report(node, previousToken.loc.start, "Gratuitous parentheses around expression.");
|
258 | }
|
259 |
|
260 | |
261 |
|
262 |
|
263 |
|
264 |
|
265 |
|
266 | function dryUnaryUpdate(node) {
|
267 | if (hasExcessParens(node.argument) && precedence(node.argument) >= precedence(node)) {
|
268 | report(node.argument);
|
269 | }
|
270 | }
|
271 |
|
272 | |
273 |
|
274 |
|
275 |
|
276 |
|
277 |
|
278 | function dryCallNew(node) {
|
279 | if (hasExcessParens(node.callee) && precedence(node.callee) >= precedence(node) && !(
|
280 | node.type === "CallExpression" &&
|
281 | node.callee.type === "FunctionExpression" &&
|
282 |
|
283 | !hasDoubleExcessParens(node.callee)
|
284 | )) {
|
285 | report(node.callee);
|
286 | }
|
287 | if (node.arguments.length === 1) {
|
288 | if (hasDoubleExcessParens(node.arguments[0]) && precedence(node.arguments[0]) >= precedence({type: "AssignmentExpression"})) {
|
289 | report(node.arguments[0]);
|
290 | }
|
291 | } else {
|
292 | [].forEach.call(node.arguments, function(arg) {
|
293 | if (hasExcessParens(arg) && precedence(arg) >= precedence({type: "AssignmentExpression"})) {
|
294 | report(arg);
|
295 | }
|
296 | });
|
297 | }
|
298 | }
|
299 |
|
300 | |
301 |
|
302 |
|
303 |
|
304 |
|
305 |
|
306 | function dryBinaryLogical(node) {
|
307 | var prec = precedence(node);
|
308 | if (hasExcessParens(node.left) && precedence(node.left) >= prec) {
|
309 | report(node.left);
|
310 | }
|
311 | if (hasExcessParens(node.right) && precedence(node.right) > prec) {
|
312 | report(node.right);
|
313 | }
|
314 | }
|
315 |
|
316 | return {
|
317 | "ArrayExpression": function(node) {
|
318 | [].forEach.call(node.elements, function(e) {
|
319 | if (e && hasExcessParens(e) && precedence(e) >= precedence({type: "AssignmentExpression"})) {
|
320 | report(e);
|
321 | }
|
322 | });
|
323 | },
|
324 | "ArrowFunctionExpression": function(node) {
|
325 | if (node.body.type !== "BlockStatement") {
|
326 | if (node.body.type !== "ObjectExpression" && hasExcessParens(node.body) && precedence(node.body) >= precedence({type: "AssignmentExpression"})) {
|
327 | report(node.body);
|
328 | return;
|
329 | }
|
330 |
|
331 |
|
332 | if (node.body.type === "ObjectExpression" && hasDoubleExcessParens(node.body)) {
|
333 | report(node.body);
|
334 | return;
|
335 | }
|
336 | }
|
337 | },
|
338 | "AssignmentExpression": function(node) {
|
339 | if (hasExcessParens(node.right) && precedence(node.right) >= precedence(node)) {
|
340 | report(node.right);
|
341 | }
|
342 | },
|
343 | "BinaryExpression": dryBinaryLogical,
|
344 | "CallExpression": dryCallNew,
|
345 | "ConditionalExpression": function(node) {
|
346 | if (hasExcessParens(node.test) && precedence(node.test) >= precedence({type: "LogicalExpression", operator: "||"})) {
|
347 | report(node.test);
|
348 | }
|
349 | if (hasExcessParens(node.consequent) && precedence(node.consequent) >= precedence({type: "AssignmentExpression"})) {
|
350 | report(node.consequent);
|
351 | }
|
352 | if (hasExcessParens(node.alternate) && precedence(node.alternate) >= precedence({type: "AssignmentExpression"})) {
|
353 | report(node.alternate);
|
354 | }
|
355 | },
|
356 | "DoWhileStatement": function(node) {
|
357 | if (hasDoubleExcessParens(node.test) && !isCondAssignException(node)) {
|
358 | report(node.test);
|
359 | }
|
360 | },
|
361 | "ExpressionStatement": function(node) {
|
362 | var firstToken, secondToken, firstTokens;
|
363 | if (hasExcessParens(node.expression)) {
|
364 | firstTokens = context.getFirstTokens(node.expression, 2);
|
365 | firstToken = firstTokens[0];
|
366 | secondToken = firstTokens[1];
|
367 |
|
368 | if (
|
369 | !firstToken ||
|
370 | firstToken.value !== "{" &&
|
371 | firstToken.value !== "function" &&
|
372 | firstToken.value !== "class" &&
|
373 | (
|
374 | firstToken.value !== "let" ||
|
375 | !secondToken ||
|
376 | secondToken.value !== "["
|
377 | )
|
378 | ) {
|
379 | report(node.expression);
|
380 | }
|
381 | }
|
382 | },
|
383 | "ForInStatement": function(node) {
|
384 | if (hasExcessParens(node.right)) {
|
385 | report(node.right);
|
386 | }
|
387 | },
|
388 | "ForOfStatement": function(node) {
|
389 | if (hasExcessParens(node.right)) {
|
390 | report(node.right);
|
391 | }
|
392 | },
|
393 | "ForStatement": function(node) {
|
394 | if (node.init && hasExcessParens(node.init)) {
|
395 | report(node.init);
|
396 | }
|
397 |
|
398 | if (node.test && hasExcessParens(node.test) && !isCondAssignException(node)) {
|
399 | report(node.test);
|
400 | }
|
401 |
|
402 | if (node.update && hasExcessParens(node.update)) {
|
403 | report(node.update);
|
404 | }
|
405 | },
|
406 | "IfStatement": function(node) {
|
407 | if (hasDoubleExcessParens(node.test) && !isCondAssignException(node)) {
|
408 | report(node.test);
|
409 | }
|
410 | },
|
411 | "LogicalExpression": dryBinaryLogical,
|
412 | "MemberExpression": function(node) {
|
413 | if (
|
414 | hasExcessParens(node.object) &&
|
415 | precedence(node.object) >= precedence(node) &&
|
416 | (
|
417 | node.computed ||
|
418 | !(
|
419 | (node.object.type === "Literal" &&
|
420 | typeof node.object.value === "number" &&
|
421 | /^[0-9]+$/.test(context.getFirstToken(node.object).value))
|
422 | ||
|
423 |
|
424 | (node.object.type === "Literal" && node.object.regex)
|
425 | )
|
426 | ) &&
|
427 | !(
|
428 | (node.object.type === "FunctionExpression" || node.object.type === "ClassExpression") &&
|
429 | isHeadOfExpressionStatement(node) &&
|
430 | !hasDoubleExcessParens(node.object)
|
431 | )
|
432 | ) {
|
433 | report(node.object);
|
434 | }
|
435 | if (node.computed && hasExcessParens(node.property)) {
|
436 | report(node.property);
|
437 | }
|
438 | },
|
439 | "NewExpression": dryCallNew,
|
440 | "ObjectExpression": function(node) {
|
441 | [].forEach.call(node.properties, function(e) {
|
442 | var v = e.value;
|
443 | if (v && hasExcessParens(v) && precedence(v) >= precedence({type: "AssignmentExpression"})) {
|
444 | report(v);
|
445 | }
|
446 | });
|
447 | },
|
448 | "ReturnStatement": function(node) {
|
449 | var returnToken = sourceCode.getFirstToken(node);
|
450 |
|
451 | if (node.argument &&
|
452 | hasExcessParensNoLineTerminator(returnToken, node.argument) &&
|
453 |
|
454 | !(node.argument.type === "Literal" && node.argument.regex)) {
|
455 | report(node.argument);
|
456 | }
|
457 | },
|
458 | "SequenceExpression": function(node) {
|
459 | [].forEach.call(node.expressions, function(e) {
|
460 | if (hasExcessParens(e) && precedence(e) >= precedence(node)) {
|
461 | report(e);
|
462 | }
|
463 | });
|
464 | },
|
465 | "SwitchCase": function(node) {
|
466 | if (node.test && hasExcessParens(node.test)) {
|
467 | report(node.test);
|
468 | }
|
469 | },
|
470 | "SwitchStatement": function(node) {
|
471 | if (hasDoubleExcessParens(node.discriminant)) {
|
472 | report(node.discriminant);
|
473 | }
|
474 | },
|
475 | "ThrowStatement": function(node) {
|
476 | var throwToken = sourceCode.getFirstToken(node);
|
477 |
|
478 | if (hasExcessParensNoLineTerminator(throwToken, node.argument)) {
|
479 | report(node.argument);
|
480 | }
|
481 | },
|
482 | "UnaryExpression": dryUnaryUpdate,
|
483 | "UpdateExpression": dryUnaryUpdate,
|
484 | "VariableDeclarator": function(node) {
|
485 | if (node.init && hasExcessParens(node.init) &&
|
486 | precedence(node.init) >= precedence({type: "AssignmentExpression"}) &&
|
487 |
|
488 | !(node.init.type === "Literal" && node.init.regex)) {
|
489 | report(node.init);
|
490 | }
|
491 | },
|
492 | "WhileStatement": function(node) {
|
493 | if (hasDoubleExcessParens(node.test) && !isCondAssignException(node)) {
|
494 | report(node.test);
|
495 | }
|
496 | },
|
497 | "WithStatement": function(node) {
|
498 | if (hasDoubleExcessParens(node.object)) {
|
499 | report(node.object);
|
500 | }
|
501 | },
|
502 | "YieldExpression": function(node) {
|
503 | var yieldToken;
|
504 |
|
505 | if (node.argument) {
|
506 | yieldToken = sourceCode.getFirstToken(node);
|
507 |
|
508 | if ((precedence(node.argument) >= precedence(node) &&
|
509 | hasExcessParensNoLineTerminator(yieldToken, node.argument)) ||
|
510 | hasDoubleExcessParens(node.argument)) {
|
511 | report(node.argument);
|
512 | }
|
513 | }
|
514 | }
|
515 | };
|
516 |
|
517 | };
|
518 |
|
519 | module.exports.schema = {
|
520 | "anyOf": [
|
521 | {
|
522 | "type": "array",
|
523 | "items": [
|
524 | {
|
525 | "enum": ["functions"]
|
526 | }
|
527 | ],
|
528 | "minItems": 0,
|
529 | "maxItems": 1
|
530 | },
|
531 | {
|
532 | "type": "array",
|
533 | "items": [
|
534 | {
|
535 | "enum": ["all"]
|
536 | },
|
537 | {
|
538 | "type": "object",
|
539 | "properties": {
|
540 | "conditionalAssign": {"type": "boolean"}
|
541 | },
|
542 | "additionalProperties": false
|
543 | }
|
544 | ],
|
545 | "minItems": 0,
|
546 | "maxItems": 2
|
547 | }
|
548 | ]
|
549 | };
|