| 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" });                }            }        };    }};
 |