blob: 7d7ac206c135f30bf01e9d0d55a3fe4e8ea88707 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
/**
* @fileoverview Disallow Labeled Statements
* @author Nicholas C. Zakas
* @copyright 2014 Nicholas C. Zakas. All rights reserved.
* See LICENSE in root directory for full license.
*/
"use strict";
//------------------------------------------------------------------------------
// Constants
//------------------------------------------------------------------------------
var LOOP_TYPES = /^(?:While|DoWhile|For|ForIn|ForOf)Statement$/;
//------------------------------------------------------------------------------
// Rule Definition
//------------------------------------------------------------------------------
module.exports = function(context) {
var options = context.options[0];
var allowLoop = Boolean(options && options.allowLoop);
var allowSwitch = Boolean(options && options.allowSwitch);
var scopeInfo = null;
/**
* Gets the kind of a given node.
*
* @param {ASTNode} node - A node to get.
* @returns {string} The kind of the node.
*/
function getBodyKind(node) {
var type = node.type;
if (LOOP_TYPES.test(type)) {
return "loop";
}
if (type === "SwitchStatement") {
return "switch";
}
return "other";
}
/**
* Checks whether the label of a given kind is allowed or not.
*
* @param {string} kind - A kind to check.
* @returns {boolean} `true` if the kind is allowed.
*/
function isAllowed(kind) {
switch (kind) {
case "loop": return allowLoop;
case "switch": return allowSwitch;
default: return false;
}
}
/**
* Checks whether a given name is a label of a loop or not.
*
* @param {string} label - A name of a label to check.
* @returns {boolean} `true` if the name is a label of a loop.
*/
function getKind(label) {
var info = scopeInfo;
while (info) {
if (info.label === label) {
return info.kind;
}
info = info.upper;
}
/* istanbul ignore next: syntax error */
return "other";
}
//--------------------------------------------------------------------------
// Public
//--------------------------------------------------------------------------
return {
"LabeledStatement": function(node) {
scopeInfo = {
label: node.label.name,
kind: getBodyKind(node.body),
upper: scopeInfo
};
},
"LabeledStatement:exit": function(node) {
if (!isAllowed(scopeInfo.kind)) {
context.report({
node: node,
message: "Unexpected labeled statement."
});
}
scopeInfo = scopeInfo.upper;
},
"BreakStatement": function(node) {
if (node.label && !isAllowed(getKind(node.label.name))) {
context.report({
node: node,
message: "Unexpected label in break statement."
});
}
},
"ContinueStatement": function(node) {
if (node.label && !isAllowed(getKind(node.label.name))) {
context.report({
node: node,
message: "Unexpected label in continue statement."
});
}
}
};
};
module.exports.schema = [
{
type: "object",
properties: {
allowLoop: {
type: "boolean"
},
allowSwitch: {
type: "boolean"
}
},
additionalProperties: false
}
];
|
