-
Notifications
You must be signed in to change notification settings - Fork 2.5k
/
base-terminal-protocol.ts
90 lines (76 loc) · 2.86 KB
/
base-terminal-protocol.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
/********************************************************************************
* Copyright (C) 2017 Ericsson and others.
*
* This program and the accompanying materials are made available under the
* terms of the Eclipse Public License v. 2.0 which is available at
* http://www.eclipse.org/legal/epl-2.0.
*
* This Source Code may also be made available under the following Secondary
* Licenses when the conditions for such availability set forth in the Eclipse
* Public License v. 2.0 are satisfied: GNU General Public License, version 2
* with the GNU Classpath Exception which is available at
* https://www.gnu.org/software/classpath/license.html.
*
* SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
********************************************************************************/
import { JsonRpcServer } from '@theia/core/lib/common/messaging/proxy-factory';
import { Disposable } from '@theia/core';
export interface TerminalProcessInfo {
executable: string
arguments: string[]
}
export interface IBaseTerminalServerOptions { }
export interface IBaseTerminalServer extends JsonRpcServer<IBaseTerminalClient> {
create(IBaseTerminalServerOptions: object): Promise<number>;
getProcessId(id: number): Promise<number>;
getProcessInfo(id: number): Promise<TerminalProcessInfo>;
getCwdURI(id: number): Promise<string>;
resize(id: number, cols: number, rows: number): Promise<void>;
attach(id: number): Promise<number>;
close(id: number): Promise<void>;
getDefaultShell(): Promise<string>;
}
export namespace IBaseTerminalServer {
export function validateId(id?: number): boolean {
return typeof id === 'number' && id !== -1;
}
}
export interface IBaseTerminalExitEvent {
terminalId: number;
// Exactly one of code and signal will be set.
code?: number;
signal?: string;
}
export interface IBaseTerminalErrorEvent {
terminalId: number;
error: Error
}
export interface IBaseTerminalClient {
onTerminalExitChanged(event: IBaseTerminalExitEvent): void;
onTerminalError(event: IBaseTerminalErrorEvent): void;
}
export class DispatchingBaseTerminalClient {
protected readonly clients = new Set<IBaseTerminalClient>();
push(client: IBaseTerminalClient): Disposable {
this.clients.add(client);
return Disposable.create(() => this.clients.delete(client));
}
onTerminalExitChanged(event: IBaseTerminalExitEvent): void {
this.clients.forEach(c => {
try {
c.onTerminalExitChanged(event);
} catch (e) {
console.error(e);
}
});
}
onTerminalError(event: IBaseTerminalErrorEvent): void {
this.clients.forEach(c => {
try {
c.onTerminalError(event);
} catch (e) {
console.error(e);
}
});
}
}