forked from palantir/tslint
-
Notifications
You must be signed in to change notification settings - Fork 0
/
callableTypesRule.ts
112 lines (101 loc) · 4.31 KB
/
callableTypesRule.ts
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
/**
* @license
* Copyright 2013 Palantir Technologies, Inc.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
import { getChildOfKind, isCallSignatureDeclaration, isIdentifier, isInterfaceDeclaration, isTypeLiteralNode } from "tsutils";
import * as ts from "typescript";
import * as Lint from "../index";
export class Rule extends Lint.Rules.AbstractRule {
/* tslint:disable:object-literal-sort-keys */
public static metadata: Lint.IRuleMetadata = {
ruleName: "callable-types",
description: "An interface or literal type with just a call signature can be written as a function type.",
rationale: "style",
optionsDescription: "Not configurable.",
options: null,
type: "style",
typescriptOnly: true,
hasFix: true,
};
/* tslint:enable:object-literal-sort-keys */
public static FAILURE_STRING_FACTORY(type: string, sigSuggestion: string) {
return `${type} has only a call signature — use \`${sigSuggestion}\` instead.`;
}
public apply(sourceFile: ts.SourceFile): Lint.RuleFailure[] {
return this.applyWithFunction(sourceFile, walk);
}
}
function walk(ctx: Lint.WalkContext<void>) {
return ts.forEachChild(ctx.sourceFile, function cb(node: ts.Node): void {
if ((isInterfaceDeclaration(node) && noSupertype(node) || isTypeLiteralNode(node))
&& node.members.length === 1) {
const member = node.members[0];
if (isCallSignatureDeclaration(member) &&
// avoid bad parse
member.type !== undefined) {
const suggestion = renderSuggestion(member, node, ctx.sourceFile);
const fixStart = node.kind === ts.SyntaxKind.TypeLiteral
? node.getStart(ctx.sourceFile)
: getChildOfKind(node, ts.SyntaxKind.InterfaceKeyword)!.getStart(ctx.sourceFile);
ctx.addFailureAtNode(
member,
Rule.FAILURE_STRING_FACTORY(node.kind === ts.SyntaxKind.TypeLiteral ? "Type literal" : "Interface", suggestion),
Lint.Replacement.replaceFromTo(fixStart, node.end, suggestion),
);
}
}
return ts.forEachChild(node, cb);
});
}
/** True if there is no supertype or if the supertype is `Function`. */
function noSupertype(node: ts.InterfaceDeclaration): boolean {
if (node.heritageClauses === undefined) {
return true;
}
if (node.heritageClauses.length !== 1) {
return false;
}
const expr = node.heritageClauses[0].types[0].expression;
return isIdentifier(expr) && expr.text === "Function";
}
function renderSuggestion(call: ts.CallSignatureDeclaration,
parent: ts.InterfaceDeclaration | ts.TypeLiteralNode,
sourceFile: ts.SourceFile): string {
const start = call.getStart(sourceFile);
const colonPos = call.type!.pos - 1 - start;
const text = sourceFile.text.substring(start, call.end);
let suggestion = `${text.substr(0, colonPos)} =>${text.substr(colonPos + 1)}`;
if (shouldWrapSuggestion(parent.parent!)) {
suggestion = `(${suggestion})`;
}
if (parent.kind === ts.SyntaxKind.InterfaceDeclaration) {
if (parent.typeParameters !== undefined) {
return `type${sourceFile.text.substring(parent.name.pos, parent.typeParameters.end + 1)} = ${suggestion}`;
} else {
return `type ${parent.name.text} = ${suggestion}`;
}
}
return suggestion.endsWith(";") ? suggestion.slice(0, -1) : suggestion;
}
function shouldWrapSuggestion(parent: ts.Node) {
switch (parent.kind) {
case ts.SyntaxKind.UnionType:
case ts.SyntaxKind.IntersectionType:
case ts.SyntaxKind.ArrayType:
return true;
default:
return false;
}
}