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
|
import type {
CompletionContext,
CompletionResult,
} from '@codemirror/autocomplete';
import type { Transaction } from '@codemirror/state';
import type EditorStore from '../editor/EditorStore';
import getLogger from '../utils/getLogger';
import ContentAssistService from './ContentAssistService';
import HighlightingService from './HighlightingService';
import OccurrencesService from './OccurrencesService';
import UpdateService from './UpdateService';
import ValidationService from './ValidationService';
import XtextWebSocketClient from './XtextWebSocketClient';
import type { XtextWebPushService } from './xtextMessages';
const log = getLogger('xtext.XtextClient');
export default class XtextClient {
readonly webSocketClient: XtextWebSocketClient;
private readonly updateService: UpdateService;
private readonly contentAssistService: ContentAssistService;
private readonly highlightingService: HighlightingService;
private readonly validationService: ValidationService;
private readonly occurrencesService: OccurrencesService;
constructor(store: EditorStore) {
this.webSocketClient = new XtextWebSocketClient(
() => this.onReconnect(),
() => this.onDisconnect(),
(resource, stateId, service, push) =>
this.onPush(resource, stateId, service, push),
);
this.updateService = new UpdateService(store, this.webSocketClient);
this.contentAssistService = new ContentAssistService(this.updateService);
this.highlightingService = new HighlightingService(
store,
this.updateService,
);
this.validationService = new ValidationService(store, this.updateService);
this.occurrencesService = new OccurrencesService(store, this.updateService);
}
private onReconnect(): void {
this.updateService.onReconnect();
this.occurrencesService.onReconnect();
}
private onDisconnect(): void {
this.highlightingService.onDisconnect();
this.validationService.onDisconnect();
this.occurrencesService.onDisconnect();
}
onTransaction(transaction: Transaction): void {
// `ContentAssistService.prototype.onTransaction` needs the dirty change desc
// _before_ the current edit, so we call it before `updateService`.
this.contentAssistService.onTransaction(transaction);
this.updateService.onTransaction(transaction);
this.occurrencesService.onTransaction(transaction);
}
private onPush(
resource: string,
stateId: string,
service: XtextWebPushService,
push: unknown,
) {
const { resourceName, xtextStateId } = this.updateService;
if (resource !== resourceName) {
log.error(
'Unknown resource name: expected:',
resourceName,
'got:',
resource,
);
return;
}
if (stateId !== xtextStateId) {
log.error(
'Unexpected xtext state id: expected:',
xtextStateId,
'got:',
stateId,
);
// The current push message might be stale (referring to a previous state),
// so this is not neccessarily an error and there is no need to force-reconnect.
return;
}
switch (service) {
case 'highlight':
this.highlightingService.onPush(push);
return;
case 'validate':
this.validationService.onPush(push);
return;
default:
throw new Error('Unknown service');
}
}
contentAssist(context: CompletionContext): Promise<CompletionResult> {
return this.contentAssistService.contentAssist(context);
}
formatText(): void {
this.updateService.formatText().catch((e) => {
log.error('Error while formatting text', e);
});
}
}
|
