123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189 |
- /**
- * @fileoverview Flag expressions in statement position that do not side effect
- * @author Michael Ficarra
- */
- "use strict";
- //------------------------------------------------------------------------------
- // Rule Definition
- //------------------------------------------------------------------------------
- /**
- * Returns `true`.
- * @returns {boolean} `true`.
- */
- function alwaysTrue() {
- return true;
- }
- /**
- * Returns `false`.
- * @returns {boolean} `false`.
- */
- function alwaysFalse() {
- return false;
- }
- /** @type {import('../shared/types').Rule} */
- module.exports = {
- meta: {
- type: "suggestion",
- docs: {
- description: "Disallow unused expressions",
- recommended: false,
- url: "https://eslint.org/docs/rules/no-unused-expressions"
- },
- 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;
- /**
- * Has AST suggesting a directive.
- * @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";
- }
- /**
- * Gets the leading sequence of members in a list that pass the predicate.
- * @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();
- }
- /**
- * Gets leading directives nodes in a Node body.
- * @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);
- }
- /**
- * Detect if a Node is a directive.
- * @param {ASTNode} node any node
- * @param {ASTNode[]} ancestors the given node's ancestors
- * @returns {boolean} whether the given node is considered a directive in its current position
- */
- function isDirective(node, ancestors) {
- const parent = ancestors[ancestors.length - 1],
- grandparent = ancestors[ancestors.length - 2];
- /**
- * https://tc39.es/ecma262/#directive-prologue
- *
- * Only `FunctionBody`, `ScriptBody` and `ModuleBody` can have directive prologue.
- * Class static blocks do not have directive prologue.
- */
- return (parent.type === "Program" || parent.type === "BlockStatement" &&
- (/Function/u.test(grandparent.type))) &&
- directives(parent).includes(node);
- }
- /**
- * 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) {
- if (Checker.isDisallowed(node.expression) && !isDirective(node, context.getAncestors())) {
- context.report({ node, messageId: "unusedExpression" });
- }
- }
- };
- }
- };
|