2024-08-09 12:04:48 +00:00
|
|
|
/**
|
|
|
|
* @fileoverview Rule to flag use constant conditions
|
|
|
|
* @author Christian Schulz <http://rndm.de>
|
|
|
|
*/
|
|
|
|
|
|
|
|
"use strict";
|
|
|
|
|
2024-08-21 06:34:30 +00:00
|
|
|
const { isConstant } = require("./utils/ast-utils");
|
|
|
|
|
2024-08-09 12:04:48 +00:00
|
|
|
//------------------------------------------------------------------------------
|
|
|
|
// Helpers
|
|
|
|
//------------------------------------------------------------------------------
|
|
|
|
|
|
|
|
//------------------------------------------------------------------------------
|
|
|
|
// Rule Definition
|
|
|
|
//------------------------------------------------------------------------------
|
|
|
|
|
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: "problem",
|
|
|
|
|
|
|
|
docs: {
|
2024-08-21 06:34:30 +00:00
|
|
|
description: "Disallow constant expressions in conditions",
|
2024-08-09 12:04:48 +00:00
|
|
|
recommended: true,
|
2024-08-21 06:34:30 +00:00
|
|
|
url: "https://eslint.org/docs/latest/rules/no-constant-condition"
|
2024-08-09 12:04:48 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
schema: [
|
|
|
|
{
|
|
|
|
type: "object",
|
|
|
|
properties: {
|
|
|
|
checkLoops: {
|
|
|
|
type: "boolean",
|
|
|
|
default: true
|
|
|
|
}
|
|
|
|
},
|
|
|
|
additionalProperties: false
|
|
|
|
}
|
|
|
|
],
|
|
|
|
|
|
|
|
messages: {
|
|
|
|
unexpected: "Unexpected constant condition."
|
|
|
|
}
|
|
|
|
},
|
|
|
|
|
|
|
|
create(context) {
|
|
|
|
const options = context.options[0] || {},
|
|
|
|
checkLoops = options.checkLoops !== false,
|
|
|
|
loopSetStack = [];
|
2024-08-21 06:34:30 +00:00
|
|
|
const sourceCode = context.sourceCode;
|
2024-08-09 12:04:48 +00:00
|
|
|
|
|
|
|
let loopsInCurrentScope = new Set();
|
|
|
|
|
|
|
|
//--------------------------------------------------------------------------
|
|
|
|
// Helpers
|
|
|
|
//--------------------------------------------------------------------------
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Tracks when the given node contains a constant condition.
|
|
|
|
* @param {ASTNode} node The AST node to check.
|
|
|
|
* @returns {void}
|
|
|
|
* @private
|
|
|
|
*/
|
|
|
|
function trackConstantConditionLoop(node) {
|
2024-08-21 06:34:30 +00:00
|
|
|
if (node.test && isConstant(sourceCode.getScope(node), node.test, true)) {
|
2024-08-09 12:04:48 +00:00
|
|
|
loopsInCurrentScope.add(node);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Reports when the set contains the given constant condition node
|
|
|
|
* @param {ASTNode} node The AST node to check.
|
|
|
|
* @returns {void}
|
|
|
|
* @private
|
|
|
|
*/
|
|
|
|
function checkConstantConditionLoopInSet(node) {
|
|
|
|
if (loopsInCurrentScope.has(node)) {
|
|
|
|
loopsInCurrentScope.delete(node);
|
|
|
|
context.report({ node: node.test, messageId: "unexpected" });
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Reports when the given node contains a constant condition.
|
|
|
|
* @param {ASTNode} node The AST node to check.
|
|
|
|
* @returns {void}
|
|
|
|
* @private
|
|
|
|
*/
|
|
|
|
function reportIfConstant(node) {
|
2024-08-21 06:34:30 +00:00
|
|
|
if (node.test && isConstant(sourceCode.getScope(node), node.test, true)) {
|
2024-08-09 12:04:48 +00:00
|
|
|
context.report({ node: node.test, messageId: "unexpected" });
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Stores current set of constant loops in loopSetStack temporarily
|
|
|
|
* and uses a new set to track constant loops
|
|
|
|
* @returns {void}
|
|
|
|
* @private
|
|
|
|
*/
|
|
|
|
function enterFunction() {
|
|
|
|
loopSetStack.push(loopsInCurrentScope);
|
|
|
|
loopsInCurrentScope = new Set();
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Reports when the set still contains stored constant conditions
|
|
|
|
* @returns {void}
|
|
|
|
* @private
|
|
|
|
*/
|
|
|
|
function exitFunction() {
|
|
|
|
loopsInCurrentScope = loopSetStack.pop();
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Checks node when checkLoops option is enabled
|
|
|
|
* @param {ASTNode} node The AST node to check.
|
|
|
|
* @returns {void}
|
|
|
|
* @private
|
|
|
|
*/
|
|
|
|
function checkLoop(node) {
|
|
|
|
if (checkLoops) {
|
|
|
|
trackConstantConditionLoop(node);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
//--------------------------------------------------------------------------
|
|
|
|
// Public
|
|
|
|
//--------------------------------------------------------------------------
|
|
|
|
|
|
|
|
return {
|
|
|
|
ConditionalExpression: reportIfConstant,
|
|
|
|
IfStatement: reportIfConstant,
|
|
|
|
WhileStatement: checkLoop,
|
|
|
|
"WhileStatement:exit": checkConstantConditionLoopInSet,
|
|
|
|
DoWhileStatement: checkLoop,
|
|
|
|
"DoWhileStatement:exit": checkConstantConditionLoopInSet,
|
|
|
|
ForStatement: checkLoop,
|
|
|
|
"ForStatement > .test": node => checkLoop(node.parent),
|
|
|
|
"ForStatement:exit": checkConstantConditionLoopInSet,
|
|
|
|
FunctionDeclaration: enterFunction,
|
|
|
|
"FunctionDeclaration:exit": exitFunction,
|
|
|
|
FunctionExpression: enterFunction,
|
|
|
|
"FunctionExpression:exit": exitFunction,
|
|
|
|
YieldExpression: () => loopsInCurrentScope.clear()
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
};
|