| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298 | /** * @fileoverview Rule to flag non-matching identifiers * @author Matthieu Larcher */"use strict";//------------------------------------------------------------------------------// Rule Definition//------------------------------------------------------------------------------/** @type {import('../shared/types').Rule} */module.exports = {    meta: {        type: "suggestion",        docs: {            description: "Require identifiers to match a specified regular expression",            recommended: false,            url: "https://eslint.org/docs/rules/id-match"        },        schema: [            {                type: "string"            },            {                type: "object",                properties: {                    properties: {                        type: "boolean",                        default: false                    },                    classFields: {                        type: "boolean",                        default: false                    },                    onlyDeclarations: {                        type: "boolean",                        default: false                    },                    ignoreDestructuring: {                        type: "boolean",                        default: false                    }                },                additionalProperties: false            }        ],        messages: {            notMatch: "Identifier '{{name}}' does not match the pattern '{{pattern}}'.",            notMatchPrivate: "Identifier '#{{name}}' does not match the pattern '{{pattern}}'."        }    },    create(context) {        //--------------------------------------------------------------------------        // Options        //--------------------------------------------------------------------------        const pattern = context.options[0] || "^.+$",            regexp = new RegExp(pattern, "u");        const options = context.options[1] || {},            checkProperties = !!options.properties,            checkClassFields = !!options.classFields,            onlyDeclarations = !!options.onlyDeclarations,            ignoreDestructuring = !!options.ignoreDestructuring;        let globalScope;        //--------------------------------------------------------------------------        // Helpers        //--------------------------------------------------------------------------        // contains reported nodes to avoid reporting twice on destructuring with shorthand notation        const reportedNodes = new Set();        const ALLOWED_PARENT_TYPES = new Set(["CallExpression", "NewExpression"]);        const DECLARATION_TYPES = new Set(["FunctionDeclaration", "VariableDeclarator"]);        const IMPORT_TYPES = new Set(["ImportSpecifier", "ImportNamespaceSpecifier", "ImportDefaultSpecifier"]);        /**         * Checks whether the given node represents a reference to a global variable that is not declared in the source code.         * These identifiers will be allowed, as it is assumed that user has no control over the names of external global variables.         * @param {ASTNode} node `Identifier` node to check.         * @returns {boolean} `true` if the node is a reference to a global variable.         */        function isReferenceToGlobalVariable(node) {            const variable = globalScope.set.get(node.name);            return variable && variable.defs.length === 0 &&                variable.references.some(ref => ref.identifier === node);        }        /**         * Checks if a string matches the provided pattern         * @param {string} name The string to check.         * @returns {boolean} if the string is a match         * @private         */        function isInvalid(name) {            return !regexp.test(name);        }        /**         * Checks if a parent of a node is an ObjectPattern.         * @param {ASTNode} node The node to check.         * @returns {boolean} if the node is inside an ObjectPattern         * @private         */        function isInsideObjectPattern(node) {            let { parent } = node;            while (parent) {                if (parent.type === "ObjectPattern") {                    return true;                }                parent = parent.parent;            }            return false;        }        /**         * Verifies if we should report an error or not based on the effective         * parent node and the identifier name.         * @param {ASTNode} effectiveParent The effective parent node of the node to be reported         * @param {string} name The identifier name of the identifier node         * @returns {boolean} whether an error should be reported or not         */        function shouldReport(effectiveParent, name) {            return (!onlyDeclarations || DECLARATION_TYPES.has(effectiveParent.type)) &&                !ALLOWED_PARENT_TYPES.has(effectiveParent.type) && isInvalid(name);        }        /**         * Reports an AST node as a rule violation.         * @param {ASTNode} node The node to report.         * @returns {void}         * @private         */        function report(node) {            /*             * We used the range instead of the node because it's possible             * for the same identifier to be represented by two different             * nodes, with the most clear example being shorthand properties:             * { foo }             * In this case, "foo" is represented by one node for the name             * and one for the value. The only way to know they are the same             * is to look at the range.             */            if (!reportedNodes.has(node.range.toString())) {                const messageId = (node.type === "PrivateIdentifier")                    ? "notMatchPrivate" : "notMatch";                context.report({                    node,                    messageId,                    data: {                        name: node.name,                        pattern                    }                });                reportedNodes.add(node.range.toString());            }        }        return {            Program() {                globalScope = context.getScope();            },            Identifier(node) {                const name = node.name,                    parent = node.parent,                    effectiveParent = (parent.type === "MemberExpression") ? parent.parent : parent;                if (isReferenceToGlobalVariable(node)) {                    return;                }                if (parent.type === "MemberExpression") {                    if (!checkProperties) {                        return;                    }                    // Always check object names                    if (parent.object.type === "Identifier" &&                        parent.object.name === name) {                        if (isInvalid(name)) {                            report(node);                        }                    // Report AssignmentExpressions left side's assigned variable id                    } else if (effectiveParent.type === "AssignmentExpression" &&                        effectiveParent.left.type === "MemberExpression" &&                        effectiveParent.left.property.name === node.name) {                        if (isInvalid(name)) {                            report(node);                        }                    // Report AssignmentExpressions only if they are the left side of the assignment                    } else if (effectiveParent.type === "AssignmentExpression" && effectiveParent.right.type !== "MemberExpression") {                        if (isInvalid(name)) {                            report(node);                        }                    }                // For https://github.com/eslint/eslint/issues/15123                } else if (                    parent.type === "Property" &&                    parent.parent.type === "ObjectExpression" &&                    parent.key === node &&                    !parent.computed                ) {                    if (checkProperties && isInvalid(name)) {                        report(node);                    }                /*                 * Properties have their own rules, and                 * AssignmentPattern nodes can be treated like Properties:                 * e.g.: const { no_camelcased = false } = bar;                 */                } else if (parent.type === "Property" || parent.type === "AssignmentPattern") {                    if (parent.parent && parent.parent.type === "ObjectPattern") {                        if (!ignoreDestructuring && parent.shorthand && parent.value.left && isInvalid(name)) {                            report(node);                        }                        const assignmentKeyEqualsValue = parent.key.name === parent.value.name;                        // prevent checking righthand side of destructured object                        if (!assignmentKeyEqualsValue && parent.key === node) {                            return;                        }                        const valueIsInvalid = parent.value.name && isInvalid(name);                        // ignore destructuring if the option is set, unless a new identifier is created                        if (valueIsInvalid && !(assignmentKeyEqualsValue && ignoreDestructuring)) {                            report(node);                        }                    }                    // never check properties or always ignore destructuring                    if ((!checkProperties && !parent.computed) || (ignoreDestructuring && isInsideObjectPattern(node))) {                        return;                    }                    // don't check right hand side of AssignmentExpression to prevent duplicate warnings                    if (parent.right !== node && shouldReport(effectiveParent, name)) {                        report(node);                    }                // Check if it's an import specifier                } else if (IMPORT_TYPES.has(parent.type)) {                    // Report only if the local imported identifier is invalid                    if (parent.local && parent.local.name === node.name && isInvalid(name)) {                        report(node);                    }                } else if (parent.type === "PropertyDefinition") {                    if (checkClassFields && isInvalid(name)) {                        report(node);                    }                // Report anything that is invalid that isn't a CallExpression                } else if (shouldReport(effectiveParent, name)) {                    report(node);                }            },            "PrivateIdentifier"(node) {                const isClassField = node.parent.type === "PropertyDefinition";                if (isClassField && !checkClassFields) {                    return;                }                if (isInvalid(node.name)) {                    report(node);                }            }        };    }};
 |