187 lines
		
	
	
		
			6.1 KiB
		
	
	
	
		
			JavaScript
		
	
	
	
	
	
			
		
		
	
	
			187 lines
		
	
	
		
			6.1 KiB
		
	
	
	
		
			JavaScript
		
	
	
	
	
	
/**
 | 
						|
 * @fileoverview Flag expressions in statement position that do not side effect
 | 
						|
 * @author Michael Ficarra
 | 
						|
 */
 | 
						|
"use strict";
 | 
						|
 | 
						|
const astUtils = require("./utils/ast-utils");
 | 
						|
 | 
						|
//------------------------------------------------------------------------------
 | 
						|
// 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/latest/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
 | 
						|
         * @returns {boolean} whether the given node is considered a directive in its current position
 | 
						|
         */
 | 
						|
        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);
 | 
						|
        }
 | 
						|
 | 
						|
        /**
 | 
						|
         * 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.report({ node, messageId: "unusedExpression" });
 | 
						|
                }
 | 
						|
            }
 | 
						|
        };
 | 
						|
    }
 | 
						|
};
 |