[d565449] | 1 | /**
|
---|
| 2 | * @fileoverview Disallow Labeled Statements
|
---|
| 3 | * @author Nicholas C. Zakas
|
---|
| 4 | */
|
---|
| 5 | "use strict";
|
---|
| 6 |
|
---|
| 7 | //------------------------------------------------------------------------------
|
---|
| 8 | // Requirements
|
---|
| 9 | //------------------------------------------------------------------------------
|
---|
| 10 |
|
---|
| 11 | const astUtils = require("./utils/ast-utils");
|
---|
| 12 |
|
---|
| 13 | //------------------------------------------------------------------------------
|
---|
| 14 | // Rule Definition
|
---|
| 15 | //------------------------------------------------------------------------------
|
---|
| 16 |
|
---|
| 17 | /** @type {import('../shared/types').Rule} */
|
---|
| 18 | module.exports = {
|
---|
| 19 | meta: {
|
---|
| 20 | type: "suggestion",
|
---|
| 21 |
|
---|
| 22 | docs: {
|
---|
| 23 | description: "Disallow labeled statements",
|
---|
| 24 | recommended: false,
|
---|
| 25 | url: "https://eslint.org/docs/latest/rules/no-labels"
|
---|
| 26 | },
|
---|
| 27 |
|
---|
| 28 | schema: [
|
---|
| 29 | {
|
---|
| 30 | type: "object",
|
---|
| 31 | properties: {
|
---|
| 32 | allowLoop: {
|
---|
| 33 | type: "boolean",
|
---|
| 34 | default: false
|
---|
| 35 | },
|
---|
| 36 | allowSwitch: {
|
---|
| 37 | type: "boolean",
|
---|
| 38 | default: false
|
---|
| 39 | }
|
---|
| 40 | },
|
---|
| 41 | additionalProperties: false
|
---|
| 42 | }
|
---|
| 43 | ],
|
---|
| 44 |
|
---|
| 45 | messages: {
|
---|
| 46 | unexpectedLabel: "Unexpected labeled statement.",
|
---|
| 47 | unexpectedLabelInBreak: "Unexpected label in break statement.",
|
---|
| 48 | unexpectedLabelInContinue: "Unexpected label in continue statement."
|
---|
| 49 | }
|
---|
| 50 | },
|
---|
| 51 |
|
---|
| 52 | create(context) {
|
---|
| 53 | const options = context.options[0];
|
---|
| 54 | const allowLoop = options && options.allowLoop;
|
---|
| 55 | const allowSwitch = options && options.allowSwitch;
|
---|
| 56 | let scopeInfo = null;
|
---|
| 57 |
|
---|
| 58 | /**
|
---|
| 59 | * Gets the kind of a given node.
|
---|
| 60 | * @param {ASTNode} node A node to get.
|
---|
| 61 | * @returns {string} The kind of the node.
|
---|
| 62 | */
|
---|
| 63 | function getBodyKind(node) {
|
---|
| 64 | if (astUtils.isLoop(node)) {
|
---|
| 65 | return "loop";
|
---|
| 66 | }
|
---|
| 67 | if (node.type === "SwitchStatement") {
|
---|
| 68 | return "switch";
|
---|
| 69 | }
|
---|
| 70 | return "other";
|
---|
| 71 | }
|
---|
| 72 |
|
---|
| 73 | /**
|
---|
| 74 | * Checks whether the label of a given kind is allowed or not.
|
---|
| 75 | * @param {string} kind A kind to check.
|
---|
| 76 | * @returns {boolean} `true` if the kind is allowed.
|
---|
| 77 | */
|
---|
| 78 | function isAllowed(kind) {
|
---|
| 79 | switch (kind) {
|
---|
| 80 | case "loop": return allowLoop;
|
---|
| 81 | case "switch": return allowSwitch;
|
---|
| 82 | default: return false;
|
---|
| 83 | }
|
---|
| 84 | }
|
---|
| 85 |
|
---|
| 86 | /**
|
---|
| 87 | * Checks whether a given name is a label of a loop or not.
|
---|
| 88 | * @param {string} label A name of a label to check.
|
---|
| 89 | * @returns {boolean} `true` if the name is a label of a loop.
|
---|
| 90 | */
|
---|
| 91 | function getKind(label) {
|
---|
| 92 | let info = scopeInfo;
|
---|
| 93 |
|
---|
| 94 | while (info) {
|
---|
| 95 | if (info.label === label) {
|
---|
| 96 | return info.kind;
|
---|
| 97 | }
|
---|
| 98 | info = info.upper;
|
---|
| 99 | }
|
---|
| 100 |
|
---|
| 101 | /* c8 ignore next */
|
---|
| 102 | return "other";
|
---|
| 103 | }
|
---|
| 104 |
|
---|
| 105 | //--------------------------------------------------------------------------
|
---|
| 106 | // Public
|
---|
| 107 | //--------------------------------------------------------------------------
|
---|
| 108 |
|
---|
| 109 | return {
|
---|
| 110 | LabeledStatement(node) {
|
---|
| 111 | scopeInfo = {
|
---|
| 112 | label: node.label.name,
|
---|
| 113 | kind: getBodyKind(node.body),
|
---|
| 114 | upper: scopeInfo
|
---|
| 115 | };
|
---|
| 116 | },
|
---|
| 117 |
|
---|
| 118 | "LabeledStatement:exit"(node) {
|
---|
| 119 | if (!isAllowed(scopeInfo.kind)) {
|
---|
| 120 | context.report({
|
---|
| 121 | node,
|
---|
| 122 | messageId: "unexpectedLabel"
|
---|
| 123 | });
|
---|
| 124 | }
|
---|
| 125 |
|
---|
| 126 | scopeInfo = scopeInfo.upper;
|
---|
| 127 | },
|
---|
| 128 |
|
---|
| 129 | BreakStatement(node) {
|
---|
| 130 | if (node.label && !isAllowed(getKind(node.label.name))) {
|
---|
| 131 | context.report({
|
---|
| 132 | node,
|
---|
| 133 | messageId: "unexpectedLabelInBreak"
|
---|
| 134 | });
|
---|
| 135 | }
|
---|
| 136 | },
|
---|
| 137 |
|
---|
| 138 | ContinueStatement(node) {
|
---|
| 139 | if (node.label && !isAllowed(getKind(node.label.name))) {
|
---|
| 140 | context.report({
|
---|
| 141 | node,
|
---|
| 142 | messageId: "unexpectedLabelInContinue"
|
---|
| 143 | });
|
---|
| 144 | }
|
---|
| 145 | }
|
---|
| 146 | };
|
---|
| 147 |
|
---|
| 148 | }
|
---|
| 149 | };
|
---|