diff --git a/designs/2024-baseline-support/README.md b/designs/2024-baseline-support/README.md new file mode 100644 index 00000000..82ae93b5 --- /dev/null +++ b/designs/2024-baseline-support/README.md @@ -0,0 +1,380 @@ +- Repo: eslint/eslint +- Start Date: 2024-04-20 +- RFC PR: (leave this empty, to be filled in later) +- Authors: [Iacovos Constantinou](https://github.com/softius) + +# Introduce a way to suppress violations + +## Summary + + + +Suppress existing violations, so that they are not being reported in subsequent runs. It allows developers to enable one or more lint rules and be notified only when new violations show up. + +## Motivation + + + +Enabling a new lint rule as `error` can be painful when the codebase has many violations and the rule isn't auto-fixable. A good example is [`@typescript-eslint/no-explicit-any`](https://typescript-eslint.io/rules/no-explicit-any/). Unless the rule is enabled during the early stages of the project, it becomes harder and harder to enable it as the codebase grows. Existing violations must be resolved before enabling the rule, but while doing that other violations might creep in. + +This can be counterintuitive for enabling new rules as `error`, since the developers need to address the violations before-hand in one way or another. The suggested solution suppress existing violations, allowing the developers to address these at their own pace. It also reports any new violations making it easier to identify and address them. + +## Detailed Design + + + +We are storing all the violations that we would like to suppress into a separate file. This file is a JSON file containing the number of errors that must be ignored for each rule in each file. By design, no violations are suppressed - in other words, this feature doesn't affect existing or new projects, unless the developers explicitly suppress one or more violations. + +### File format + +The JSON file includes details about the file where the violations are found, the rule name and the number of violations. As an example, the following indicates that the file `"src/app/components/foobar/foobar.component.ts"` has one violation for the rule `@typescript-eslint/no-explicit-any` that we want to suppress. All paths are relative to CWD, for portability reasons. + +``` +{ + "src/app/components/foobar/foobar.component.ts": { + "@typescript-eslint/no-explicit-any": { + count: 1 + } + } +} +``` + +The file is stored in `.eslint-suppressions.json` , unless otherwise specified. + +### Suppressing all violations + +A new option `--suppress-all` wil be introduced to ESLint CLI. When provided, the JSON file is generated and saved in `.eslint-suppressions.json`. If the file already exists, it gets over-written. Note that this is a boolean flag option (no values are accepted). + +``` bash +eslint --suppress-all ./src +``` + +### Suppressing violations of a specific rule + +A new option `--suppress-rule [RULE1]` will be introduced to ESLint CLI. When provided, the existing suppressions file will be updated to include any existing violation of the provided rule. The suppressions file will be created if not already exists. Note that this is option can accept an array of string values. + +``` bash +eslint --suppress-rule '@typescript-eslint/no-explicit-any' --suppress-rule '@typescript-eslint/member-ordering' ./src +``` + +### Changing the location of the suppressions file + +A new option `--suppressions-location` will be introduced to ESLint CLI. When provided, the suppressions file will be loaded and saved to the provided location. Note that this is a string flag option (value is required). + +``` bash +eslint --suppress-all --suppressions-location /home/user/project/mycache ./src +``` + +### Maintaining a lean suppressions file + +When working with suppressed violations, it's possible to address a violation without updating the suppressions file. This oversight can allow new violations to go unnoticed. To prevent this, eslint can exit with an error code if there are outdated (unmatched) suppressions. + +Consider the following scenario: + +* The developer runs `eslint --supress-all ./src` to create the suppressions file. +* Running `eslint ./src` reports no violations and exits with status 0. +* After fixing a violation, the suppressions file still contains the now-resolved violation. +* Running `eslint ./src` again reports no violations but exits with a non-zero status code, indicating the suppressions file needs updating. + +To address this, a new option `--prune-suppressions` will be introduced to ESLint. This boolean flag removes resolved violations from the suppressions file without adding new ones, unlike `--suppress-all`. + +``` bash +eslint --prune-suppressions ./src +eslint --prune-suppressions --suppressions-location /home/user/project/mycache ./src +``` + +### Execution details + +The suggested solution always compares against the existing suppressions file, typically `.eslint-suppressions.json`, unless `--suppressions-location` is specified. This makes it easier for existing and new projects to adopt this feature without the need to adjust scripts in `package.json` and CI/CD workflows. + +To perform the comparison, we will go through each result and message from `ESLint.lintFiles`, checking each error `(severity == 2)` against the suppressions file. By design, we ignore warnings since they don't cause eslint to exit with an error code and serve a different purpose. If the file and rule are listed in the suppressions file, we can move the message to `LintResult#suppressedMessages` and ignore the result message. + +Here is a high-level overview of the execution flow: + +1. **Check for Options** + * If both `--suppress-all` and `--suppress-rule` are passed, exit with an error (these options are mutually exclusive). + * If either option is passed, update the suppressions file based on the `results`. + * If no option is passed, check if the suppressions file exists, considering `--suppressions-location`. +2. **Match Errors Against Suppressions** + * For each file, count the number of errors per rule. + * For each rule in each file, compare the number of errors against the counter from the suppressions file. + * If number of errors equals to the counter in the suppressions file, move the messages to `LintResult#suppressedMessages` and ignore the corresponding result messages. Remove the entry from the suppressions file, in memory. + * If the number of errors is less than the counter in the suppressions file, move the messages to `LintResult#suppressedMessages` and ignore the corresponding result messages. Also, set the counter to the new number, in memory. + * If the number of errors is greater than the counter in the suppressions file, report all the errors as usual. Remove the entry from the suppressions file, in memory. +3. **Prune unmatched suppressions** + * If `--prune-suppressions` is passed, take the updated suppressions from memory to check which suppressions are left. + * For each suppression left, update the suppressions file by either reducing the count or removing the suppression. +4. **Report and exit** + * Exit with a non-zero status if there are unmatched suppressions, optionally listing them in verbose mode. + * Otherwise, list remaining errors as usual. + +Note that the error detection in `cli.js` occurs before the error counting. This allow us to update the suppressions file and modify the errors, before it is time to count errors. Please refer to the last example of the "Implementation notes" for more details. + +Furthermore, ESLint cache (`--cache`) must include the full list of detected violations, even those in the suppressions file. This approach has the following benefits: + +- Generating the suppressions file can be based on the cache file and should be faster when the cache file is used. +- Allows developers to update the suppressions file and then re-lint still taking the same cache into consideration. +- It even allows developers to delete the suppressions file and still take advantage of the cached file in subsequent runs. + +### Implementation notes + +To introduce the above-mentioned options, we will need to: + +* add the new options in `default-cli-options.js`. +* adjust the config for optionator. +* add the new options as comments and arguments for eslint. +* update documentation to explain the newly introduced feature. + +A new type must be created to represent the suppressions file: + +``` js +/** + * @typedef {Record} SuppressedViolations + */ +``` + +A new class must be created to manage the suppressions file: + +``` js +class SuppressedViolationsManager { + /** + * Creates a new instance of SuppressedViolationsManager. + * @param {string} suppressionsLocation The location of the suppressions file. + */ + constructor(suppressionsLocation) {} + + /** + * Updates the suppressions file based on the current violations. + * + * @param {LintResult[]} results The lint results. + * @returns {void} + */ + suppressAll(results) + + /** + * Updates the suppressions file based on the current violations and the provided rule. + * + * @param {LintResult[]} results The lint results. + * @param {string[]} rules The rules to suppress. + * @returns {void} + */ + suppressRules(results, rules) + + /** + * Removes old suppressions that do not occur anymore. + * @returns {void} + */ + prune() + + /** + * Checks the provided suppressions against the lint results. + * + * It returns the lint result, with: + * LintResult#messages indicating all the errors that are not in the suppressions file, + * LintResult#suppressedMessages indicating all the matched errors from the suppressions file, + * as well as the unmatched suppressions. + * + * @param {LintResult[]} results The lint results. + * @param {SuppressedViolations} suppressions The suppressions. + * @returns {{ + * results: LintResult[], + * unmatched: SuppressedViolations + * }} + */ + applySuppressions(results, suppressions) + + /** + * Loads the suppressions file. + * @returns {SuppressedViolations} + */ + load() + + /** + * Updates the suppressions file. + * @param {SuppressedViolations} suppressions The suppressions to save. + * @returns {void} + * @private + */ + save(suppressions) +} +``` + +The resolution of the suppressions file must happen outside of the above class. An idea is to make `getCacheFile` in `lib/eslint/eslint-helpers.js` a bit more abstract so that we can inject the prefix i.e. `.cache_` or `.suppressions_` when a directory is provided. This way both `cache-location` and `suppressions-location` are consistent and following the same pattern. + +Once the above are in place, `cli.js` should look something like: + +``` js +// ... +if (options.fix) { + debug("Fix mode enabled - applying fixes"); + await ActiveESLint.outputFixes(results); +} + +const suppressionsFileLocation = getCacheFile(options.suppressionsLocation, cwd, 'suppressions_'); +if (options.suppressAll || options.suppressRule || options.pruneSuppressions || fs.existsSync(suppressionsFileLocation)) { + const suppressionsManager = new SuppressedViolationsManager(suppressionsFileLocation); + if (options.suppressAll) { + suppressionsManager.suppressAll(results); + } else if (options.suppressRule) { + suppressionsManager.suppressByRule(results, options.suppressRule); + } else if (options.pruneSuppressions) { + suppressionsManager.prune(); + } + + const suppressionResults = suppressionsManager.applySuppressions(results, suppressionsManager.load()); + if (suppressionResults.unmatched.length > 0) { + log.error("There are left suppressions that do not occur anymore. Consider re-running the command with `--prune-suppressions`."); + return 2; + } + + results = suppressionResults.results; +} + +let resultsToPrint = results; + +if (options.quiet) { + debug("Quiet mode enabled - filtering out warnings"); + resultsToPrint = ActiveESLint.getErrorResults(resultsToPrint); +} + +//... +``` + +## Documentation + + + +We should update [Command Line Interface Reference](https://eslint.org/docs/latest/use/command-line-interface) to document the newly introduced options. A dedicated section should be added in Documentation to explain how the new suppression system works. + +## Drawbacks + + + +The suggested solution can be used only when linting files. It can not be leveraged when using `stdin` since it relies on file paths. + +## Backwards Compatibility Analysis + + + +If the suppressions file does not exist, ESLint CLI behavior will not change. This change is therefore backwards compatible to start with. + +If the suppressions file is already generated, ESLint CLI will compare the errors against the violations included in the suppressions file. Hence it might report less errors than before and someone might argue that this is not backwards compatible since the behavior changes for them. However, as discussed earlier this should facilitate the adoption of the suggested solution without worrying about adjusting scripts in `package.json` and CI/CD workflow. Plus, the suppressions file can be easily deleted and cancel the new behavior. + +Furthermore, we are adding one more reason to exit with an error code (see "Maintaining a lean suppressions file"). This might have some negative side-effects to wrapper scripts that assume that error messages are available when that happens. We could introduce a different exit code, to differentiate between exiting due to unresolved errors or ignored errors that do not occur anymore. + +## Alternatives + + + +Unfortunately existing approaches do not address the issue at its core and come with their own set of drawbacks. It is worth mentioning that the suggested solution is based on [how baseline works in PHPStan](https://phpstan.org/user-guide/baseline) and bulk suppressions from [@rushstack/eslint-bulk](https://www.npmjs.com/package/@rushstack/eslint-bulk). + +The following sections are extracted from [Change Request: Introduce a system to suppress existing errors](https://github.com/eslint/eslint/issues/16755) where [@jfmengels](https://github.com/jfmengels) did a detailed analysis about existing approaches and their drawbacks. + +### Using warnings + +This use-case is apparently what the "warn" severity level is for. + +A large problem with warnings is that as soon as there are more than a few warnings, you don't notice new ones showing up. A common practice I've seen quite often is to avoid warnings altogether, and to only use errors to avoid new problems creeping in. But that doesn't solve the problem of all the existing errors. + +Also, users can too easily ignore the new errors, so in a way, the rule is enabled without being enforced when IMO the point of a linter is to enforce rules. + +### Using disable comments + +One can use disable comments to temporarily suppress errors, by adding a comment like `/* eslint-disable rule-name -- FIX THIS LATER */` + +"Disable comments" can be used to enable a rule as an error early, by adding them everywhere where an error is currently reported (and that is actually something that can be automated by some linters). + +But "disable comments" have the tendency to be hard to distinguish from other "disable comments" created for reasons such as false positives or disagreements on the rule, especially when there is no enforced need to add a message on the comment. Meaning that once you decide to tackle the existing errors, they can be hard to detect (or to distinguish from ones that are disabled for good reasons). + +They also "pollute" the codebase in a way that is quite visible, and makes users numb to the fact of using "disable comments". + +### Ignoring parts of the project + +It is also possible to simply disable the rule in each file that is currently reporting errors, either through manually configuring the rule in the ESLint config, or by adding a disable comment at the top of the file that disables the rule for the entire file. + +This has multiple downsides: + +* While new errors are enforced in the other files, new errors can creep in the ignored files +* If/when the errors in the ignored files get removed, the user has to remember to re-enable the rule on this file. Otherwise new errors can creep in. + +## Open Questions + + + +None so far. + +## Help Needed + + + +I expect to implement this change. + +## Frequently Asked Questions + + + +### Does this count warnings? + +No, we are only counting errors when updating the suppressions file. Also only errors are considered when checking against the suppressions file. + +## Related Discussions + +* [Change Request: Introduce a system to suppress existing errors](https://github.com/eslint/eslint/issues/16755) +* [PHPStan - The Baseline](https://phpstan.org/user-guide/baseline) +* [@rushstack/eslint-bulk](https://www.npmjs.com/package/@rushstack/eslint-bulk) + +