forked from prettier/prettier
/
typescript.js
143 lines (127 loc) · 3.95 KB
/
typescript.js
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
135
136
137
138
139
140
141
142
143
"use strict";
const isNonEmptyArray = require("../../../utils/is-non-empty-array.js");
const visitNode = require("./visit-node.js");
const throwSyntaxError = require("./throw-syntax-error.js");
// Taken from `typescript` package
const SyntaxKind = {
AbstractKeyword: 126,
SourceFile: 308,
PropertyDeclaration: 169,
};
// Copied from https://unpkg.com/typescript@4.8.2/lib/typescript.js
function getSourceFileOfNode(node) {
while (node && node.kind !== SyntaxKind.SourceFile) {
node = node.parent;
}
return node;
}
function throwErrorOnTsNode(node, message) {
const sourceFile = getSourceFileOfNode(node);
const [start, end] = [node.getStart(), node.end].map((position) => {
const { line, character: column } =
sourceFile.getLineAndCharacterOfPosition(position);
return { line: line + 1, column };
});
throwSyntaxError({ loc: { start, end } }, message);
}
function nodeCanBeDecorated(node) {
const ts = require("typescript");
return [true, false].some((useLegacyDecorators) =>
// @ts-expect-error -- internal?
ts.nodeCanBeDecorated(
useLegacyDecorators,
node,
node.parent,
node.parent.parent
)
);
}
// Invalid decorators are removed since `@typescript-eslint/typescript-estree` v4
// https://github.com/typescript-eslint/typescript-eslint/pull/2375
// There is a `checkGrammarDecorators` in `typescript` package, consider use it directly in future
function throwErrorForInvalidDecorator(node) {
const { modifiers } = node;
if (!isNonEmptyArray(modifiers)) {
return;
}
const ts = require("typescript");
const { SyntaxKind } = ts;
for (const modifier of modifiers) {
if (ts.isDecorator(modifier)) {
if (!nodeCanBeDecorated(node)) {
if (
node.kind === SyntaxKind.MethodDeclaration &&
// @ts-expect-error -- internal?
!ts.nodeIsPresent(node.body)
) {
throwErrorOnTsNode(
modifier,
"A decorator can only decorate a method implementation, not an overload."
);
} else {
throwErrorOnTsNode(modifier, "Decorators are not valid here.");
}
} else if (
node.kind === SyntaxKind.GetAccessor ||
node.kind === SyntaxKind.SetAccessor
) {
// @ts-expect-error -- internal?
const accessors = ts.getAllAccessorDeclarations(
node.parent.members,
node
);
if (
// @ts-expect-error -- internal?
ts.hasDecorators(accessors.firstAccessor) &&
node === accessors.secondAccessor
) {
throwErrorOnTsNode(
modifier,
"Decorators cannot be applied to multiple get/set accessors of the same name."
);
}
}
}
}
}
// Values of abstract property is removed since `@typescript-eslint/typescript-estree` v5
// https://github.com/typescript-eslint/typescript-eslint/releases/tag/v5.0.0
function throwErrorForInvalidAbstractProperty(tsNode, esTreeNode) {
if (
tsNode.kind !== SyntaxKind.PropertyDeclaration ||
(tsNode.modifiers &&
!tsNode.modifiers.some(
(modifier) => modifier.kind === SyntaxKind.AbstractKeyword
))
) {
return;
}
if (tsNode.initializer && esTreeNode.value === null) {
throwSyntaxError(
esTreeNode,
"Abstract property cannot have an initializer"
);
}
}
function throwErrorForInvalidNodes(result, options) {
if (
// decorators or abstract properties
!/@|abstract/.test(options.originalText)
) {
return;
}
const { esTreeNodeToTSNodeMap, tsNodeToESTreeNodeMap } = result;
visitNode(result.ast, (node) => {
const tsNode = esTreeNodeToTSNodeMap.get(node);
if (!tsNode) {
return;
}
const esTreeNode = tsNodeToESTreeNodeMap.get(tsNode);
if (esTreeNode !== node) {
return;
}
throwErrorForInvalidDecorator(tsNode);
throwErrorForInvalidAbstractProperty(tsNode, esTreeNode);
});
}
module.exports = { throwErrorForInvalidNodes };