2024-08-09 12:04:48 +00:00
|
|
|
/**
|
|
|
|
* @fileoverview Flag expressions in statement position that do not side effect
|
|
|
|
* @author Michael Ficarra
|
|
|
|
*/
|
|
|
|
"use strict";
|
|
|
|
|
2024-08-21 06:34:30 +00:00
|
|
|
const astUtils = require("./utils/ast-utils");
|
|
|
|
|
2024-08-09 12:04:48 +00:00
|
|
|
//------------------------------------------------------------------------------
|
|
|
|
// Rule Definition
|
|
|
|
//------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Returns `true`.
|
|
|
|
* @returns {boolean} `true`.
|
|
|
|
*/
|
|
|
|
function alwaysTrue() {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Returns `false`.
|
|
|
|
* @returns {boolean} `false`.
|
|
|
|
*/
|
|
|
|
function alwaysFalse() {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2024-08-21 06:34:30 +00:00
|
|
|
/** @type {import('../shared/types').Rule} */
|
2024-08-09 12:04:48 +00:00
|
|
|
module.exports = {
|
|
|
|
meta: {
|
|
|
|
type: "suggestion",
|
|
|
|
|
|
|
|
docs: {
|
2024-08-21 06:34:30 +00:00
|
|
|
description: "Disallow unused expressions",
|
2024-08-09 12:04:48 +00:00
|
|
|
recommended: false,
|
2024-08-21 06:34:30 +00:00
|
|
|
url: "https://eslint.org/docs/latest/rules/no-unused-expressions"
|
2024-08-09 12:04:48 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
schema: [
|
|
|
|
{
|
|
|
|
type: "object",
|
|
|
|
properties: {
|
|
|
|
allowShortCircuit: {
|
|
|
|
type: "boolean",
|
|
|
|
default: false
|
|
|
|
},
|
|
|
|
allowTernary: {
|
|
|
|
type: "boolean",
|
|
|
|
default: false
|
|
|
|
},
|
|
|
|
allowTaggedTemplates: {
|
|
|
|
type: "boolean",
|
|
|
|
default: false
|
|
|
|
},
|
|
|
|
enforceForJSX: {
|
|
|
|
type: "boolean",
|
|
|
|
default: false
|
|
|
|
}
|
|
|
|
},
|
|
|
|
additionalProperties: false
|
|
|
|
}
|
|
|
|
],
|
|
|
|
|
|
|
|
messages: {
|
|
|
|
unusedExpression: "Expected an assignment or function call and instead saw an expression."
|
|
|
|
}
|
|
|
|
},
|
|
|
|
|
|
|
|
create(context) {
|
|
|
|
const config = context.options[0] || {},
|
|
|
|
allowShortCircuit = config.allowShortCircuit || false,
|
|
|
|
allowTernary = config.allowTernary || false,
|
|
|
|
allowTaggedTemplates = config.allowTaggedTemplates || false,
|
|
|
|
enforceForJSX = config.enforceForJSX || false;
|
|
|
|
|
|
|
|
/**
|
2024-08-21 06:34:30 +00:00
|
|
|
* Has AST suggesting a directive.
|
2024-08-09 12:04:48 +00:00
|
|
|
* @param {ASTNode} node any node
|
|
|
|
* @returns {boolean} whether the given node structurally represents a directive
|
|
|
|
*/
|
|
|
|
function looksLikeDirective(node) {
|
|
|
|
return node.type === "ExpressionStatement" &&
|
|
|
|
node.expression.type === "Literal" && typeof node.expression.value === "string";
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2024-08-21 06:34:30 +00:00
|
|
|
* Gets the leading sequence of members in a list that pass the predicate.
|
2024-08-09 12:04:48 +00:00
|
|
|
* @param {Function} predicate ([a] -> Boolean) the function used to make the determination
|
|
|
|
* @param {a[]} list the input list
|
|
|
|
* @returns {a[]} the leading sequence of members in the given list that pass the given predicate
|
|
|
|
*/
|
|
|
|
function takeWhile(predicate, list) {
|
|
|
|
for (let i = 0; i < list.length; ++i) {
|
|
|
|
if (!predicate(list[i])) {
|
|
|
|
return list.slice(0, i);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return list.slice();
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2024-08-21 06:34:30 +00:00
|
|
|
* Gets leading directives nodes in a Node body.
|
2024-08-09 12:04:48 +00:00
|
|
|
* @param {ASTNode} node a Program or BlockStatement node
|
|
|
|
* @returns {ASTNode[]} the leading sequence of directive nodes in the given node's body
|
|
|
|
*/
|
|
|
|
function directives(node) {
|
|
|
|
return takeWhile(looksLikeDirective, node.body);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2024-08-21 06:34:30 +00:00
|
|
|
* Detect if a Node is a directive.
|
2024-08-09 12:04:48 +00:00
|
|
|
* @param {ASTNode} node any node
|
|
|
|
* @returns {boolean} whether the given node is considered a directive in its current position
|
|
|
|
*/
|
2024-08-21 06:34:30 +00:00
|
|
|
function isDirective(node) {
|
|
|
|
|
|
|
|
/**
|
|
|
|
* https://tc39.es/ecma262/#directive-prologue
|
|
|
|
*
|
|
|
|
* Only `FunctionBody`, `ScriptBody` and `ModuleBody` can have directive prologue.
|
|
|
|
* Class static blocks do not have directive prologue.
|
|
|
|
*/
|
|
|
|
return astUtils.isTopLevelExpressionStatement(node) && directives(node.parent).includes(node);
|
2024-08-09 12:04:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* The member functions return `true` if the type has no side-effects.
|
|
|
|
* Unknown nodes are handled as `false`, then this rule ignores those.
|
|
|
|
*/
|
|
|
|
const Checker = Object.assign(Object.create(null), {
|
|
|
|
isDisallowed(node) {
|
|
|
|
return (Checker[node.type] || alwaysFalse)(node);
|
|
|
|
},
|
|
|
|
|
|
|
|
ArrayExpression: alwaysTrue,
|
|
|
|
ArrowFunctionExpression: alwaysTrue,
|
|
|
|
BinaryExpression: alwaysTrue,
|
|
|
|
ChainExpression(node) {
|
|
|
|
return Checker.isDisallowed(node.expression);
|
|
|
|
},
|
|
|
|
ClassExpression: alwaysTrue,
|
|
|
|
ConditionalExpression(node) {
|
|
|
|
if (allowTernary) {
|
|
|
|
return Checker.isDisallowed(node.consequent) || Checker.isDisallowed(node.alternate);
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
},
|
|
|
|
FunctionExpression: alwaysTrue,
|
|
|
|
Identifier: alwaysTrue,
|
|
|
|
JSXElement() {
|
|
|
|
return enforceForJSX;
|
|
|
|
},
|
|
|
|
JSXFragment() {
|
|
|
|
return enforceForJSX;
|
|
|
|
},
|
|
|
|
Literal: alwaysTrue,
|
|
|
|
LogicalExpression(node) {
|
|
|
|
if (allowShortCircuit) {
|
|
|
|
return Checker.isDisallowed(node.right);
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
},
|
|
|
|
MemberExpression: alwaysTrue,
|
|
|
|
MetaProperty: alwaysTrue,
|
|
|
|
ObjectExpression: alwaysTrue,
|
|
|
|
SequenceExpression: alwaysTrue,
|
|
|
|
TaggedTemplateExpression() {
|
|
|
|
return !allowTaggedTemplates;
|
|
|
|
},
|
|
|
|
TemplateLiteral: alwaysTrue,
|
|
|
|
ThisExpression: alwaysTrue,
|
|
|
|
UnaryExpression(node) {
|
|
|
|
return node.operator !== "void" && node.operator !== "delete";
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
return {
|
|
|
|
ExpressionStatement(node) {
|
2024-08-21 06:34:30 +00:00
|
|
|
if (Checker.isDisallowed(node.expression) && !isDirective(node)) {
|
2024-08-09 12:04:48 +00:00
|
|
|
context.report({ node, messageId: "unusedExpression" });
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
};
|