forked from microsoft/vscode-python
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathtypes.ts
More file actions
87 lines (78 loc) · 2.85 KB
/
types.ts
File metadata and controls
87 lines (78 loc) · 2.85 KB
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
// Copyright (c) Microsoft Corporation. All rights reserved.
// Licensed under the MIT License.
'use strict';
import * as vscode from 'vscode';
import { ExecutionInfo, Product } from '../common/types';
import { IServiceContainer } from '../ioc/types';
import { LinterTrigger } from '../telemetry/types';
export interface IErrorHandler {
handleError(error: Error, resource: vscode.Uri, execInfo: ExecutionInfo): Promise<boolean>;
}
export enum LinterId {
Flake8 = 'flake8',
MyPy = 'mypy',
PyCodeStyle = 'pycodestyle',
Prospector = 'prospector',
PyDocStyle = 'pydocstyle',
PyLama = 'pylama',
PyLint = 'pylint',
Bandit = 'bandit',
}
export interface ILinterInfo {
readonly id: LinterId;
readonly product: Product;
readonly pathSettingName: string;
readonly argsSettingName: string;
readonly enabledSettingName: string;
readonly configFileNames: string[];
enableAsync(enabled: boolean, resource?: vscode.Uri): Promise<void>;
isEnabled(resource?: vscode.Uri): boolean;
pathName(resource?: vscode.Uri): string;
linterArgs(resource?: vscode.Uri): string[];
getExecutionInfo(customArgs: string[], resource?: vscode.Uri): ExecutionInfo;
}
export interface ILinter {
readonly info: ILinterInfo;
lint(document: vscode.TextDocument, cancellation: vscode.CancellationToken): Promise<ILintMessage[]>;
}
export const IAvailableLinterActivator = Symbol('IAvailableLinterActivator');
export interface IAvailableLinterActivator {
promptIfLinterAvailable(linter: ILinterInfo, resource?: vscode.Uri): Promise<boolean>;
}
export const ILinterManager = Symbol('ILinterManager');
export interface ILinterManager {
getAllLinterInfos(): ILinterInfo[];
getLinterInfo(product: Product): ILinterInfo;
getActiveLinters(resource?: vscode.Uri): Promise<ILinterInfo[]>;
isLintingEnabled(resource?: vscode.Uri): Promise<boolean>;
enableLintingAsync(enable: boolean, resource?: vscode.Uri): Promise<void>;
setActiveLintersAsync(products: Product[], resource?: vscode.Uri): Promise<void>;
createLinter(
product: Product,
outputChannel: vscode.OutputChannel,
serviceContainer: IServiceContainer,
resource?: vscode.Uri,
): Promise<ILinter>;
}
export interface ILintMessage {
line: number;
column: number;
code: string | undefined;
message: string;
type: string;
severity?: LintMessageSeverity;
provider: string;
}
export enum LintMessageSeverity {
Hint,
Error,
Warning,
Information,
}
export const ILintingEngine = Symbol('ILintingEngine');
export interface ILintingEngine {
readonly diagnostics: vscode.DiagnosticCollection;
lintOpenPythonFiles(): Promise<vscode.DiagnosticCollection>;
lintDocument(document: vscode.TextDocument, trigger: LinterTrigger): Promise<void>;
clearDiagnostics(document: vscode.TextDocument): void;
}