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
|
import type {
CompletionContext,
CompletionResult,
} from '@codemirror/autocomplete';
import type { Transaction } from '@codemirror/state';
import type { EditorStore } from '../editor/EditorStore';
import { ContentAssistService } from './ContentAssistService';
import { HighlightingService } from './HighlightingService';
import { OccurrencesService } from './OccurrencesService';
import { UpdateService } from './UpdateService';
import { getLogger } from '../utils/logger';
import { ValidationService } from './ValidationService';
import { XtextWebSocketClient } from './XtextWebSocketClient';
import { XtextWebPushService } from './xtextMessages';
const log = getLogger('xtext.XtextClient');
export class XtextClient {
private 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.updateService.onReconnect(),
(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.webSocketClient,
this.updateService,
);
}
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);
}
}
contentAssist(context: CompletionContext): Promise<CompletionResult> {
return this.contentAssistService.contentAssist(context);
}
formatText(): void {
this.updateService.formatText().catch((e) => {
log.error('Error while formatting text', e);
});
}
}
|