@hydranium/data-server 1.0.0-next.32 → 1.0.0-next.321
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +57 -73
- package/lib/browser/index.d.ts +10 -0
- package/lib/browser/index.d.ts.map +1 -0
- package/lib/browser/index.js +15 -0
- package/lib/browser/index.js.map +1 -0
- package/lib/browser/start-data-server-in-worker.d.ts +23 -0
- package/lib/browser/start-data-server-in-worker.d.ts.map +1 -0
- package/lib/browser/start-data-server-in-worker.js +29 -0
- package/lib/browser/start-data-server-in-worker.js.map +1 -0
- package/lib/data-server.d.ts +440 -286
- package/lib/data-server.d.ts.map +1 -1
- package/lib/data-server.js +743 -501
- package/lib/data-server.js.map +1 -1
- package/lib/messages/index.d.ts +1 -1
- package/lib/messages/index.d.ts.map +1 -1
- package/lib/messages/index.js +1 -1
- package/lib/messages/index.js.map +1 -1
- package/lib/node/node-diagnostics-provider.d.ts.map +1 -1
- package/lib/node/node-diagnostics-provider.js +2 -1
- package/lib/node/node-diagnostics-provider.js.map +1 -1
- package/lib/testing/data-server-harness.d.ts +31 -14
- package/lib/testing/data-server-harness.d.ts.map +1 -1
- package/lib/testing/data-server-harness.js +8 -3
- package/lib/testing/data-server-harness.js.map +1 -1
- package/lib/testing/index.d.ts +1 -0
- package/lib/testing/index.d.ts.map +1 -1
- package/lib/testing/index.js.map +1 -1
- package/package.json +35 -43
- package/src/browser/index.ts +15 -0
- package/src/browser/start-data-server-in-worker.ts +35 -0
- package/src/data-server.ts +899 -540
- package/src/messages/index.ts +8 -1
- package/src/node/node-diagnostics-provider.ts +2 -8
- package/src/testing/data-server-harness.ts +55 -26
- package/src/testing/index.ts +5 -2
package/lib/data-server.d.ts
CHANGED
|
@@ -6,8 +6,8 @@
|
|
|
6
6
|
*
|
|
7
7
|
* SPDX-License-Identifier: MIT
|
|
8
8
|
********************************************************************************/
|
|
9
|
-
import { DisposableCollection, ReferenceSource, type CloseModelArgs, type HydraniumResponseError, type Disposable, type ElementSource, type FindNextNameArgs, type LatencyCollector, type LatencyReport, type OpenModelArgs, type Project, type ReferenceCandidate, type ReferenceContext, type ReferenceRequest, type ReferenceTarget, type Tracer, type TransferDiagnostic, type
|
|
10
|
-
import { type DataClientProtocol, type DataServerDiagnosticsProtocol, type DataServerProtocol, type DumpServerStateArgs, type StartProfilingArgs, type StopProfilingArgs, type WriteServerHeapSnapshotArgs, type GetModelDocumentArgs, type GetProjectForUriArgs, type TransferSaveDocumentArgs, type WatchModelDocumentArgs, type
|
|
9
|
+
import { DisposableCollection, ReferenceSource, type CloseModelArgs, type HydraniumMessageData, type HydraniumResponseError, type CanonicalUri, type Disposable, type ElementSource, type FindNextNameArgs, type LatencyCollector, type LatencyReport, type OpenModelArgs, type Project, type ReferenceCandidate, type ReferenceContext, type ReferenceRequest, type ReferenceTarget, type ModelVersion, type TextState, type Tracer, type TransferDiagnostic, TransferDocument, type TransferCreatedDocument, type TransferSavedDocument, type TransferWatchedDocument, type TransferElement } from '@hydranium/protocol';
|
|
10
|
+
import { type DataClientProtocol, type DataServerDiagnosticsProtocol, type DataServerProtocol, type DumpServerStateArgs, type StartProfilingArgs, type StopProfilingArgs, type WriteServerHeapSnapshotArgs, type CloseSessionArgs, type CreateModelDocumentArgs, type CreateSessionArgs, type GetModelDocumentArgs, type GetProjectForUriArgs, type TransferDeleteDocumentArgs, type TransferPersistDocumentArgs, type TransferSaveDocumentArgs, type WatchModelDocumentArgs, type TransferUpdateDocumentArgs, type TransferUpdateDocumentsArgs } from '@hydranium/protocol/data';
|
|
11
11
|
/**
|
|
12
12
|
* Raised when a profiling command arrives with no capture running.
|
|
13
13
|
*
|
|
@@ -21,13 +21,27 @@ export declare const NO_ACTIVE_PROFILE: import("@hydranium/protocol").MessageDef
|
|
|
21
21
|
* The JSON-RPC code, unrelated to the catalogue code above: this one is numeric,
|
|
22
22
|
* survives reconstruction and is what a caller switches on.
|
|
23
23
|
*/
|
|
24
|
-
export declare const NO_ACTIVE_PROFILE_CODE
|
|
24
|
+
export declare const NO_ACTIVE_PROFILE_CODE: 42002;
|
|
25
25
|
export declare const noActiveProfileError: () => HydraniumResponseError;
|
|
26
|
+
/**
|
|
27
|
+
* Raised when a reference question's wait for the build exceeds
|
|
28
|
+
* {@link DataServerOptions.referenceSettleTimeoutMs}.
|
|
29
|
+
*
|
|
30
|
+
* A `ResponseError` because a class name does not cross RPC: without the code a
|
|
31
|
+
* wire client cannot tell a wedged build from a reference that resolves to
|
|
32
|
+
* nothing, which is the distinction the wait exists to keep.
|
|
33
|
+
*/
|
|
34
|
+
export declare const REFERENCE_SETTLE_TIMEOUT: import("@hydranium/protocol").MessageDefinition<"The model is still being processed; try again in a moment.">;
|
|
35
|
+
/** See {@link NO_ACTIVE_PROFILE_CODE} for why this is separate from the catalogue code. */
|
|
36
|
+
export declare const REFERENCE_SETTLE_TIMEOUT_CODE: 42003;
|
|
37
|
+
/** The wait's length rides in `data` as `elapsedMs`, for the code that reacts rather than the reader. */
|
|
38
|
+
export declare const referenceSettleTimeoutError: (elapsedMs: number) => ResponseError<HydraniumMessageData & {
|
|
39
|
+
readonly elapsedMs: number;
|
|
40
|
+
}>;
|
|
26
41
|
import type { DataServerDiagnosticsProvider, DataServerProfileCapture } from './diagnostics-provider.js';
|
|
27
|
-
import type {
|
|
28
|
-
import type
|
|
29
|
-
import { type
|
|
30
|
-
import type { CancellationToken, MessageConnection } from 'vscode-jsonrpc';
|
|
42
|
+
import type { ClientSession, ClientSessionWriteArgs, HydraniumLanguageServices, LogNameOptions, AstDiagnostic, AstDocument, AstDocumentSavedEvent, EncodedTransferDocument, ModelDeletedEvent, ModelDirtyChangedEvent, ModelService, ModelUpdatedEvent, ProjectChangeEvent, ServerSharedServices, SessionEndCause, TransferEncoder } from '@hydranium/core';
|
|
43
|
+
import { type AstNode, DocumentState, type URI } from '@hydranium/langium';
|
|
44
|
+
import { type MessageConnection, ResponseError } from 'vscode-jsonrpc';
|
|
31
45
|
/**
|
|
32
46
|
* Which observable state {@link DataServer.computeDocumentFingerprint} hashes to
|
|
33
47
|
* de-dup `onDocumentUpdated` emissions.
|
|
@@ -39,9 +53,9 @@ import type { CancellationToken, MessageConnection } from 'vscode-jsonrpc';
|
|
|
39
53
|
* folded in on a cascade rebuild that leaves the document's own text
|
|
40
54
|
* untouched. Safe for any adopter whose AST extensions fold derived state
|
|
41
55
|
* into the transfer projection (the framework norm).
|
|
42
|
-
* - `'text-diagnostics'` — the cheaper
|
|
43
|
-
* opt-DOWN for adopters that fold no derived state and want to avoid
|
|
44
|
-
* transfer
|
|
56
|
+
* - `'text-diagnostics'` — the cheaper parsed-text + diagnostics hash. An
|
|
57
|
+
* opt-DOWN for adopters that fold no derived state and want to avoid
|
|
58
|
+
* stringifying the transfer root per phase event.
|
|
45
59
|
*/
|
|
46
60
|
export type FingerprintStrategy = 'transfer-document' | 'text-diagnostics';
|
|
47
61
|
/**
|
|
@@ -54,12 +68,14 @@ export interface DataServerOptions extends LogNameOptions {
|
|
|
54
68
|
* (`DataClientProtocol.onDocumentUpdated`).
|
|
55
69
|
*
|
|
56
70
|
* **Subscription dispatch only** — distinct from the synchronous RPC
|
|
57
|
-
* response phase.
|
|
58
|
-
*
|
|
59
|
-
*
|
|
60
|
-
*
|
|
61
|
-
*
|
|
62
|
-
*
|
|
71
|
+
* response phase. A read (`getModelDocument`) settles at the
|
|
72
|
+
* integrity-settled landmark (`IntegrityService.SettledState`), or at
|
|
73
|
+
* `Validated` when {@link GetModelDocumentArgs.includeDiagnostics} is set.
|
|
74
|
+
* A write (`updateModelDocument` / `updateModelDocuments` /
|
|
75
|
+
* `saveModelDocument`) answers once its document is validated, as a
|
|
76
|
+
* session's write does; a save then also waits for
|
|
77
|
+
* `ModelService.settleLanguageClient`. This option controls only the async
|
|
78
|
+
* notification phase.
|
|
63
79
|
*
|
|
64
80
|
* Default: `DocumentState.Validated` — validation is the last builder
|
|
65
81
|
* phase and produces the full diagnostic set, so subscription events fired
|
|
@@ -97,6 +113,21 @@ export interface DataServerOptions extends LogNameOptions {
|
|
|
97
113
|
* state included). See {@link FingerprintStrategy}.
|
|
98
114
|
*/
|
|
99
115
|
readonly fingerprintStrategy?: FingerprintStrategy;
|
|
116
|
+
/**
|
|
117
|
+
* How long a reference question waits for the build to reach `Linked` before
|
|
118
|
+
* failing with {@link REFERENCE_SETTLE_TIMEOUT_CODE}. Bounded because the
|
|
119
|
+
* wait resolves off a build-phase notification, so a build cancelled below
|
|
120
|
+
* `Linked` with nothing after it leaves the request unanswered for the life
|
|
121
|
+
* of the server.
|
|
122
|
+
*
|
|
123
|
+
* Expiry rejects rather than reading the index anyway: the unsettled index
|
|
124
|
+
* is what the wait keeps the caller away from, so falling through to it on a
|
|
125
|
+
* slow build reinstates the fault — and on a name proposal persists it.
|
|
126
|
+
*
|
|
127
|
+
* Default {@link DataServer.DEFAULT_OPTIONS}, sized for a cold workspace
|
|
128
|
+
* still reaching `Linked` for the first time.
|
|
129
|
+
*/
|
|
130
|
+
readonly referenceSettleTimeoutMs?: number;
|
|
100
131
|
/**
|
|
101
132
|
* Wire-method namespace for both inbound request handlers and the
|
|
102
133
|
* outbound notification client proxy. Defaults to
|
|
@@ -151,14 +182,19 @@ export interface DataServerOptions extends LogNameOptions {
|
|
|
151
182
|
* When supplied, every inbound data-server RPC is timed into this collector
|
|
152
183
|
* (via the `createRpcProxy` binding) and exposed through
|
|
153
184
|
* {@link DataServerDiagnosticsProtocol.getLatency}. A head that also runs an
|
|
154
|
-
* LSP connection can pass the SAME collector to
|
|
155
|
-
*
|
|
156
|
-
*
|
|
185
|
+
* LSP connection can pass the SAME collector through `lspLatencyOptions` to
|
|
186
|
+
* that connection, so one report covers both heads. Absent by default (no
|
|
187
|
+
* timing overhead).
|
|
157
188
|
*/
|
|
158
189
|
readonly latency?: LatencyCollector;
|
|
159
190
|
}
|
|
160
|
-
/**
|
|
161
|
-
|
|
191
|
+
/**
|
|
192
|
+
* Fully-resolved variant of {@link DataServerOptions} — every field set, after
|
|
193
|
+
* merging defaults. Returned by the `protected`
|
|
194
|
+
* {@link DataServer.resolveOptions} and held on {@link DataServer.options}, so
|
|
195
|
+
* an adopter changing how defaults resolve has to name it.
|
|
196
|
+
*/
|
|
197
|
+
export interface ResolvedDataServerOptions {
|
|
162
198
|
readonly subscriptionPhase: DocumentState;
|
|
163
199
|
readonly fingerprintStrategy: FingerprintStrategy;
|
|
164
200
|
readonly methodNamespace: string;
|
|
@@ -166,6 +202,40 @@ interface ResolvedDataServerOptions {
|
|
|
166
202
|
readonly excludedMethods: readonly string[];
|
|
167
203
|
/** Always resolved — to the caller's, or to the platform default. */
|
|
168
204
|
readonly diagnostics: DataServerDiagnosticsProvider;
|
|
205
|
+
readonly referenceSettleTimeoutMs: number;
|
|
206
|
+
}
|
|
207
|
+
/**
|
|
208
|
+
* What a {@link DataServer} keeps per canonical URI, in the `protected`
|
|
209
|
+
* {@link DataServer.uriWatchRecords}. A record lives while it has a watcher
|
|
210
|
+
* or a release mark; {@link DataServer.pruneUriWatchRecord} enforces that on
|
|
211
|
+
* every path that removes either, so a record with no watcher has a release
|
|
212
|
+
* broadcast pending. Test the size of {@link DataServerUriWatchRecord.watchers}, not the
|
|
213
|
+
* record's presence, for "watched".
|
|
214
|
+
*/
|
|
215
|
+
export interface DataServerUriWatchRecord {
|
|
216
|
+
/** The client ids watching the URI; save, dirty and phase events go out only while it is non-empty, a pending release mark aside. */
|
|
217
|
+
readonly watchers: Set<string>;
|
|
218
|
+
/** Digest of the last emitted state, or of the state a first watch found; see {@link DataServer.dispatchPhaseEvent} for why it de-duplicates, {@link DataServer.computeDocumentFingerprint} for its inputs. */
|
|
219
|
+
fingerprint?: string;
|
|
220
|
+
/**
|
|
221
|
+
* The version {@link DataServerUriWatchRecord.fingerprint} was taken at; an
|
|
222
|
+
* event goes out when either moves. Not {@link DataServerUriWatchRecord.sentVersion}:
|
|
223
|
+
* a first watch sets this and sends nothing, so the next event at its
|
|
224
|
+
* version still carries the manager's attribution.
|
|
225
|
+
*/
|
|
226
|
+
fingerprintVersion?: ModelVersion;
|
|
227
|
+
/** Set by {@link DataServer.subscribeToModelReleases} once a release happened: its broadcast, the next phase event, goes out even without a watcher. */
|
|
228
|
+
releaseBroadcastPending?: boolean;
|
|
229
|
+
/**
|
|
230
|
+
* The version of an open document the last event sent was built at. The
|
|
231
|
+
* version sent again goes out as `'rebuilt'` from no client: the manager
|
|
232
|
+
* counts a version delivered only once its `Validated` listeners ran, so a
|
|
233
|
+
* build cancelled after the subscription phase would send it as a change
|
|
234
|
+
* twice. Only while the store has the document open: without it, a
|
|
235
|
+
* document can keep one version through changes of its file, so its events
|
|
236
|
+
* keep the manager's attribution.
|
|
237
|
+
*/
|
|
238
|
+
sentVersion?: number;
|
|
169
239
|
}
|
|
170
240
|
/**
|
|
171
241
|
* Typed-RPC protocol head for the hydranium framework. The data-server
|
|
@@ -188,13 +258,19 @@ interface ResolvedDataServerOptions {
|
|
|
188
258
|
* adopters subclass ONLY when they need to decorate wire returns or
|
|
189
259
|
* notifications. The usual adoption path is DI rebinds alone.
|
|
190
260
|
*
|
|
261
|
+
* **`TTransfer` is not checked.** It declares the union of the transfer roots
|
|
262
|
+
* the workspace's languages produce. Which root a document has is known only
|
|
263
|
+
* at runtime, from its language, so a `TTransfer` missing a language compiles.
|
|
264
|
+
*
|
|
191
265
|
* Lifecycle: the constructor registers framework request handlers (plus
|
|
192
266
|
* any names supplied via {@link DataServerOptions.additionalMethods}) and
|
|
193
267
|
* builds the {@link DataClientProtocol} notification proxy on the same
|
|
194
268
|
* connection in one {@link createRpcProxy} call (binding `this` as its
|
|
195
|
-
* `localTarget`) under the configured namespace, and
|
|
196
|
-
* `
|
|
197
|
-
* dispatches
|
|
269
|
+
* `localTarget`) under the configured namespace, and follows documents
|
|
270
|
+
* through `ModelService`'s events: at the configured phase, `onModelUpdated`
|
|
271
|
+
* dispatches per-document `clientProxy.onDocumentUpdated` for watched URIs and
|
|
272
|
+
* `onModelsBuilt` a single `clientProxy.onDocumentsBuilt` naming the batch's
|
|
273
|
+
* unwatched documents.
|
|
198
274
|
*
|
|
199
275
|
* The data-server requires the full {@link ServerSharedServices}
|
|
200
276
|
* shape — `HydraniumTextDocuments` for client-attributed updates,
|
|
@@ -213,92 +289,43 @@ interface ResolvedDataServerOptions {
|
|
|
213
289
|
*/
|
|
214
290
|
export declare class DataServer<TTransfer extends TransferElement, TDiagnostic extends TransferDiagnostic = TransferDiagnostic, TProject extends Project = Project> implements DataServerProtocol<TTransfer, TDiagnostic, TProject>, DataServerDiagnosticsProtocol, Disposable {
|
|
215
291
|
protected readonly connection: MessageConnection;
|
|
216
|
-
protected readonly services: ServerSharedServices<TProject>;
|
|
292
|
+
protected readonly services: ServerSharedServices<TProject, TDiagnostic>;
|
|
217
293
|
/**
|
|
218
294
|
* Framework defaults, exposed so an adopter can spread them when
|
|
219
295
|
* extending rather than restate a value the framework may change.
|
|
220
296
|
*/
|
|
221
|
-
static readonly DEFAULT_OPTIONS: Required<Pick<DataServerOptions, 'subscriptionPhase'>>;
|
|
297
|
+
static readonly DEFAULT_OPTIONS: Required<Pick<DataServerOptions, 'subscriptionPhase' | 'referenceSettleTimeoutMs'>>;
|
|
222
298
|
protected readonly options: ResolvedDataServerOptions;
|
|
223
|
-
/**
|
|
224
|
-
protected readonly
|
|
299
|
+
/** This connection's {@link DataServerUriWatchRecord} per canonical URI; see there for when a record lives. */
|
|
300
|
+
protected readonly uriWatchRecords: Map<string, DataServerUriWatchRecord>;
|
|
225
301
|
/**
|
|
226
|
-
*
|
|
227
|
-
*
|
|
228
|
-
*
|
|
229
|
-
|
|
230
|
-
|
|
231
|
-
|
|
232
|
-
*
|
|
233
|
-
*
|
|
234
|
-
*
|
|
302
|
+
* Per client id, the key each URI it watched resolved to when it watched.
|
|
303
|
+
* An unwatch looks the key up here: once a file is gone, a symlink to it
|
|
304
|
+
* no longer resolves to the key the watch is under.
|
|
305
|
+
*/
|
|
306
|
+
protected readonly watchKeys: Map<string, Map<string, string>>;
|
|
307
|
+
/**
|
|
308
|
+
* The position of the last update or deletion event sent, which each
|
|
309
|
+
* such event carries, and a watch's answer carries as of the moment it
|
|
310
|
+
* took whether its document exists: an event past it was sent after.
|
|
311
|
+
*/
|
|
312
|
+
protected eventSequence: number;
|
|
313
|
+
/**
|
|
314
|
+
* The live client sessions this connection registered, by client id. A
|
|
315
|
+
* document request carrying one of these ids acts as that session; one
|
|
316
|
+
* carrying any other id fails. A session leaves once it ends, so a
|
|
317
|
+
* connection that registers many over its life does not accumulate them.
|
|
318
|
+
*/
|
|
319
|
+
protected readonly clientSessions: Map<string, ClientSession<AstNode, AstDiagnostic, TTransfer, object>>;
|
|
320
|
+
/**
|
|
321
|
+
* Typed client proxy — sends `data-server/on*` notifications back over the same wire.
|
|
322
|
+
* The proxy sends any `on[A-Z]*` name other than `onDidOpenConnection` and
|
|
323
|
+
* `onDidCloseConnection`, for which it returns its own events, so a subclass
|
|
324
|
+
* with notifications of its own narrows only the type:
|
|
325
|
+
* `declare protected readonly clientProxy: TheirClient`.
|
|
235
326
|
*/
|
|
236
|
-
protected readonly openedDocuments: Map<string, Set<string>>;
|
|
237
|
-
/** Typed client proxy — sends `data-server/on*` notifications back over the same wire. */
|
|
238
327
|
protected readonly clientProxy: DataClientProtocol<TTransfer, TDiagnostic, TProject>;
|
|
239
328
|
protected readonly disposables: DisposableCollection;
|
|
240
|
-
/**
|
|
241
|
-
* Snapshot of the most recent `DocumentBuilder.onUpdate` event. Drives
|
|
242
|
-
* `reason` discrimination on outbound `onDocumentUpdated` notifications:
|
|
243
|
-
* a URI in the `changed` list emits `'changed'`, in `deleted` emits
|
|
244
|
-
* `'deleted'`, otherwise `'rebuilt'` (cascade rebuild from a dependent
|
|
245
|
-
* URI's change). The same mechanism `AstDocumentManager.onUpdate` uses on
|
|
246
|
-
* the LSP side, so reason fidelity stays consistent between heads.
|
|
247
|
-
*/
|
|
248
|
-
protected lastBuildUpdate?: {
|
|
249
|
-
changed: readonly URI[];
|
|
250
|
-
deleted: readonly URI[];
|
|
251
|
-
};
|
|
252
|
-
/**
|
|
253
|
-
* Per-URI hash of the last emitted (text + diagnostics) state,
|
|
254
|
-
* used by {@link dispatchPhaseEvent} to suppress duplicate
|
|
255
|
-
* `onDocumentUpdated` notifications for rebuilds that produce no
|
|
256
|
-
* observable change since the last emit.
|
|
257
|
-
*
|
|
258
|
-
* Two scenarios routinely produce such rebuilds:
|
|
259
|
-
* 1. **Refresh-triggered rebuilds.** When a second client attaches to a
|
|
260
|
-
* document already open in another client,
|
|
261
|
-
* `HydraniumTextDocuments.refreshContent` fires `onDidChangeContent`
|
|
262
|
-
* purely to re-trigger the build pipeline — the text and diagnostics
|
|
263
|
-
* are identical to the prior emit.
|
|
264
|
-
* 2. **Cascade rebuilds with no diagnostic delta.** Langium rebuilds a
|
|
265
|
-
* document when a dependency changes; if the rebuild produces the
|
|
266
|
-
* same diagnostics, there is nothing new to communicate to subscribers.
|
|
267
|
-
*
|
|
268
|
-
* Without this filter, both scenarios reach subscribers as wire-side
|
|
269
|
-
* `'changed'` events. A subscriber that interprets `'changed'` as
|
|
270
|
-
* "another client wrote new content" and resets its in-memory root to
|
|
271
|
-
* the server view then misreads the spurious event as a concurrent
|
|
272
|
-
* third-party write and loses the user's edits.
|
|
273
|
-
*
|
|
274
|
-
* Initialised on {@link watchModelDocument} to the current
|
|
275
|
-
* document fingerprint so the FIRST phase event after a fresh
|
|
276
|
-
* subscription is also de-duplicated against the state subscribers
|
|
277
|
-
* obtained via `getModelDocument` — they do not need a redundant phase
|
|
278
|
-
* notification for the state they just fetched.
|
|
279
|
-
*
|
|
280
|
-
* Cleared in {@link unwatchModelDocument} when the last
|
|
281
|
-
* subscriber for a URI leaves so memory does not accumulate.
|
|
282
|
-
*
|
|
283
|
-
* Stored as a cyrb53 hex digest (16 chars per URI) rather than the raw
|
|
284
|
-
* text + diagnostics serialisation so the memory cost is constant in
|
|
285
|
-
* document size. See {@link computeDocumentFingerprint} for the inputs.
|
|
286
|
-
*/
|
|
287
|
-
protected readonly lastEmittedFingerprint: Map<string, string>;
|
|
288
|
-
/**
|
|
289
|
-
* URIs whose LAST client just closed. The update handler rebuilds such a
|
|
290
|
-
* document from its disk content (discarding unsaved in-session edits),
|
|
291
|
-
* but {@link dispatchPhaseEvent} gates on the subscription map — and the
|
|
292
|
-
* last close typically also removed the last watcher, so consumers that
|
|
293
|
-
* only ever fetch via `getModelDocument` would keep showing the
|
|
294
|
-
* discarded state forever. Marked on the last-close transition (see
|
|
295
|
-
* {@link subscribeToTextDocumentCloses}) and consumed by
|
|
296
|
-
* {@link dispatchPhaseEvent}, which broadcasts the following rebuild's
|
|
297
|
-
* phase event even without a subscription — de-duplicated against
|
|
298
|
-
* {@link lastEmittedFingerprint} where an entry survives, so a close
|
|
299
|
-
* whose disk state equals the last emitted state stays silent.
|
|
300
|
-
*/
|
|
301
|
-
protected readonly pendingRevertBroadcasts: Set<string>;
|
|
302
329
|
protected readonly tracer: Tracer;
|
|
303
330
|
/** The in-flight interactive profile capture, held between {@link startProfiling} and {@link stopProfiling}. */
|
|
304
331
|
protected activeProfile?: DataServerProfileCapture;
|
|
@@ -307,88 +334,114 @@ export declare class DataServer<TTransfer extends TransferElement, TDiagnostic e
|
|
|
307
334
|
/** Per-method RPC latency collector, when the head opted in via {@link DataServerOptions.latency}. */
|
|
308
335
|
protected readonly latency?: LatencyCollector;
|
|
309
336
|
/** Encoder pulled from DI. Adopters rebind `services.model.TransferEncoder` to a typed-overlay subclass. */
|
|
310
|
-
protected readonly encoder: TransferEncoder<
|
|
337
|
+
protected readonly encoder: TransferEncoder<TDiagnostic>;
|
|
311
338
|
/**
|
|
312
339
|
* In-process workspace facade — the lifecycle delegate `get` / `update` / `save` go through.
|
|
313
|
-
*
|
|
314
|
-
*
|
|
315
|
-
* while the wire shape stays `TDiagnostic extends TransferDiagnostic`. The encoder's
|
|
316
|
-
* `astDocumentToTransferDocument` accepts both shapes (wire-shape or LSP-shape) and projects
|
|
317
|
-
* to wire shape on the return — see `TransferEncoder.astDocumentToTransferDocument`.
|
|
340
|
+
* Its documents carry the AST-layer {@link AstDiagnostic}, never the wire `TDiagnostic`:
|
|
341
|
+
* {@link encoder} converts one into the other on the way out.
|
|
318
342
|
*/
|
|
319
|
-
protected readonly modelService: ModelService<AstNode,
|
|
320
|
-
constructor(connection: MessageConnection, services: ServerSharedServices<TProject>, options?: DataServerOptions);
|
|
343
|
+
protected readonly modelService: ModelService<AstNode, AstDiagnostic, TTransfer>;
|
|
344
|
+
constructor(connection: MessageConnection, services: ServerSharedServices<TProject, TDiagnostic>, options?: DataServerOptions);
|
|
321
345
|
/**
|
|
322
346
|
* Release everything the constructor wired up — the bound protocol
|
|
323
|
-
* handlers and every listener — and clear
|
|
324
|
-
*
|
|
325
|
-
*
|
|
326
|
-
*
|
|
327
|
-
*
|
|
328
|
-
*
|
|
329
|
-
*
|
|
330
|
-
*
|
|
331
|
-
*
|
|
332
|
-
*
|
|
333
|
-
*
|
|
334
|
-
|
|
335
|
-
|
|
336
|
-
|
|
347
|
+
* handlers and every listener — and clear {@link uriWatchRecords}, so a
|
|
348
|
+
* long-lived shared services bundle does not retain per-connection memory
|
|
349
|
+
* after the connection closes. Also ends every session this connection registered, which closes
|
|
350
|
+
* every document it has open: the SHARED store's state rather than this
|
|
351
|
+
* server's, which outlives the connection unless released here.
|
|
352
|
+
*
|
|
353
|
+
* Idempotent: subsequent calls are no-ops. Runs by itself when the
|
|
354
|
+
* connection closes, so adopters who don't hold a reference still get
|
|
355
|
+
* per-connection cleanup; adopters that DO hold a reference may call
|
|
356
|
+
* `dispose()` directly for early teardown. The sessions end with `cause`:
|
|
357
|
+
* `'closed'` releases every document whose last open they close at once,
|
|
358
|
+
* and `'lost'`, the connection's own close, lets each wait out the release
|
|
359
|
+
* grace.
|
|
360
|
+
*/
|
|
361
|
+
dispose(cause?: SessionEndCause): void;
|
|
362
|
+
createSession(args: CreateSessionArgs): Promise<void>;
|
|
363
|
+
/** End a session this connection registered. */
|
|
364
|
+
closeSession(args: CloseSessionArgs): Promise<void>;
|
|
365
|
+
/** End `session`, registered here under `clientId`, with `cause`, and drop its watches on this connection. */
|
|
366
|
+
protected endSession(clientId: string, session: ClientSession<AstNode, AstDiagnostic, TTransfer>, cause?: SessionEndCause): void;
|
|
367
|
+
protected dropWatches(clientId: string): void;
|
|
368
|
+
createModelDocument(args: CreateModelDocumentArgs): Promise<TransferCreatedDocument<TTransfer, TDiagnostic>>;
|
|
369
|
+
updateModelDocuments(args: TransferUpdateDocumentsArgs<TTransfer>): Promise<TransferDocument<TTransfer, TDiagnostic>[]>;
|
|
370
|
+
/**
|
|
371
|
+
* The session write a wire write request carries. Only the fields a session
|
|
372
|
+
* takes: a field an adopter adds to a request reaches the session only
|
|
373
|
+
* through an override of this.
|
|
374
|
+
*/
|
|
375
|
+
protected toSessionWrite(request: Omit<TransferUpdateDocumentArgs<TTransfer>, 'clientId'>): ClientSessionWriteArgs<TTransfer>;
|
|
376
|
+
/**
|
|
377
|
+
* The session this connection registered under `clientId`, which every
|
|
378
|
+
* document request acts as. An id that is not one fails with the
|
|
379
|
+
* closed-session code: opening or writing under it would leave an open that
|
|
380
|
+
* no session end ever closes.
|
|
381
|
+
*/
|
|
382
|
+
protected requireSession(clientId: string): ClientSession<AstNode, AstDiagnostic, TTransfer>;
|
|
383
|
+
openModelDocument(args: Pick<OpenModelArgs, 'uri' | 'clientId' | 'options'>): Promise<TransferDocument<TTransfer, TDiagnostic>>;
|
|
384
|
+
/**
|
|
385
|
+
* The snapshot a session's open or create answers with. When the read
|
|
386
|
+
* fails, `rollback` undoes the open this call made before the failure is
|
|
387
|
+
* rethrown: the caller sees no open, so nothing on its side would ever close
|
|
388
|
+
* it.
|
|
389
|
+
*/
|
|
390
|
+
protected openedSnapshot(uri: string, rollback?: () => Promise<void>): Promise<TransferDocument<TTransfer, TDiagnostic>>;
|
|
337
391
|
closeModelDocument(args: CloseModelArgs): Promise<void>;
|
|
392
|
+
getModelDocument(args: GetModelDocumentArgs): Promise<TransferDocument<TTransfer, TDiagnostic>>;
|
|
393
|
+
updateModelDocument(args: TransferUpdateDocumentArgs<TTransfer>): Promise<TransferDocument<TTransfer, TDiagnostic>>;
|
|
394
|
+
saveModelDocument(args: TransferSaveDocumentArgs<TTransfer>): Promise<TransferSavedDocument<TTransfer, TDiagnostic>>;
|
|
395
|
+
persistModelDocument(args: TransferPersistDocumentArgs): Promise<TransferSavedDocument<TTransfer, TDiagnostic>>;
|
|
338
396
|
/**
|
|
339
|
-
*
|
|
340
|
-
*
|
|
397
|
+
* Delete the document through the session, then release the session's
|
|
398
|
+
* watch of it, as {@link closeModelDocument} does. Released only after the
|
|
399
|
+
* delete: one that fails leaves the session its open and its watch. Other
|
|
400
|
+
* sessions' watches survive, as for any deletion.
|
|
341
401
|
*/
|
|
342
|
-
|
|
402
|
+
deleteModelDocument(args: TransferDeleteDocumentArgs): Promise<void>;
|
|
343
403
|
/**
|
|
344
|
-
*
|
|
345
|
-
*
|
|
404
|
+
* Record a watch for `(uri, clientId)` in {@link uriWatchRecords}.
|
|
405
|
+
* Subsequent phase events on `uri` fan out to the wired
|
|
406
|
+
* `clientProxy.onDocumentUpdated`. The bidirectional pattern means the
|
|
407
|
+
* event channel is the client notification surface, not a returned
|
|
408
|
+
* handle.
|
|
346
409
|
*
|
|
347
|
-
*
|
|
348
|
-
*
|
|
349
|
-
*
|
|
350
|
-
*
|
|
351
|
-
*
|
|
352
|
-
*
|
|
410
|
+
* Also baselines the URI's emission fingerprint (see
|
|
411
|
+
* {@link dispatchPhaseEvent}) to the document's current state when the
|
|
412
|
+
* first watcher for the URI registers. This guarantees that any phase event firing immediately after
|
|
413
|
+
* the watch with no observable change is suppressed — watchers obtain
|
|
414
|
+
* initial state via `getModelDocument` (or {@link openModelDocument}) and
|
|
415
|
+
* do not need a redundant phase notification for that same state.
|
|
353
416
|
*
|
|
354
|
-
*
|
|
355
|
-
*
|
|
356
|
-
*
|
|
417
|
+
* Answers once the document is loaded as a read loads it, with the key
|
|
418
|
+
* events name it by and whether a document exists, taken after the watch
|
|
419
|
+
* is in place and the load, so an event sent while it loads is older.
|
|
357
420
|
*/
|
|
358
|
-
|
|
359
|
-
getModelDocument(args: GetModelDocumentArgs): Promise<TransferDocument<TTransfer, TDiagnostic>>;
|
|
360
|
-
updateModelDocument(args: TransferUpdateDocumentArgs<TTransfer>): Promise<TransferDocument<TTransfer, TDiagnostic>>;
|
|
361
|
-
saveModelDocument(args: TransferSaveDocumentArgs<TTransfer>): Promise<TransferDocument<TTransfer, TDiagnostic>>;
|
|
362
|
-
/**
|
|
363
|
-
* Record a watch for `(uri, clientId)`. Subsequent phase events on `uri`
|
|
364
|
-
* fan out to the wired `clientProxy.onDocumentUpdated`. The
|
|
365
|
-
* bidirectional pattern means the event channel is the client
|
|
366
|
-
* notification surface, not a returned handle — this method only
|
|
367
|
-
* registers the URI in the dispatch table.
|
|
368
|
-
*
|
|
369
|
-
* Also baselines the per-URI emission fingerprint (see
|
|
370
|
-
* {@link lastEmittedFingerprint}) to the document's current state when
|
|
371
|
-
* the first watcher for the URI registers. This guarantees that any
|
|
372
|
-
* phase event firing immediately after the watch with no observable
|
|
373
|
-
* change is suppressed — watchers obtain initial state via
|
|
374
|
-
* `getModelDocument` (or {@link openModelDocument}) and do not need a
|
|
375
|
-
* redundant phase notification for that same state.
|
|
376
|
-
*/
|
|
377
|
-
watchModelDocument(args: WatchModelDocumentArgs): Promise<void>;
|
|
421
|
+
watchModelDocument(args: WatchModelDocumentArgs): Promise<TransferWatchedDocument>;
|
|
378
422
|
/**
|
|
379
423
|
* Remove a watch for `(uri, clientId)` previously created by
|
|
380
424
|
* {@link watchModelDocument}. Idempotent — unwatching twice is a no-op.
|
|
381
|
-
* Dispatch for `uri` stops once no watchers remain,
|
|
382
|
-
*
|
|
383
|
-
*
|
|
384
|
-
*
|
|
425
|
+
* Dispatch for `uri` stops once no watchers remain, and the emission
|
|
426
|
+
* fingerprint goes with the last watcher (see {@link pruneUriWatchRecord}).
|
|
427
|
+
*
|
|
428
|
+
* A URI the client watched is unwatched under the key it resolved to then,
|
|
429
|
+
* from {@link watchKeys}, which still holds once its file is gone.
|
|
385
430
|
*/
|
|
386
431
|
unwatchModelDocument(args: WatchModelDocumentArgs): Promise<void>;
|
|
387
432
|
/**
|
|
388
|
-
*
|
|
389
|
-
*
|
|
390
|
-
*
|
|
391
|
-
*
|
|
433
|
+
* Drop what `uri` no longer needs: the
|
|
434
|
+
* {@link DataServerUriWatchRecord.fingerprint} once no client watches it,
|
|
435
|
+
* and the whole record once it holds no
|
|
436
|
+
* {@link DataServerUriWatchRecord.releaseBroadcastPending} mark either.
|
|
437
|
+
* Every path that removes a watcher or consumes a mark ends here.
|
|
438
|
+
*/
|
|
439
|
+
protected pruneUriWatchRecord(uri: string): void;
|
|
440
|
+
/**
|
|
441
|
+
* Canonicalise a URI string for use as a {@link uriWatchRecords} key, via the
|
|
442
|
+
* shared `DocumentUriPolicy`. Callers may send non-canonical URIs
|
|
443
|
+
* (drive-letter casing, percent-encoding differences, or a symlink path)
|
|
444
|
+
* over the wire; the dispatch side keys by
|
|
392
445
|
* `document.uri.toString()` from `LangiumDocuments`, so writer keys must
|
|
393
446
|
* canonicalise to the same form or events silently fail to deliver.
|
|
394
447
|
* Routing through the seam (rather than a bare `UriUtils.normalize`)
|
|
@@ -398,6 +451,7 @@ export declare class DataServer<TTransfer extends TransferElement, TDiagnostic e
|
|
|
398
451
|
* LSP head resolves.
|
|
399
452
|
*
|
|
400
453
|
* Adopters can still override for head-specific URI policy by subclassing.
|
|
454
|
+
* The result keys watches only; a document is looked up by its own URI.
|
|
401
455
|
*/
|
|
402
456
|
protected canonicalKey(uri: string): string;
|
|
403
457
|
getProjects(): Promise<readonly TProject[]>;
|
|
@@ -410,8 +464,25 @@ export declare class DataServer<TTransfer extends TransferElement, TDiagnostic e
|
|
|
410
464
|
* subclass.
|
|
411
465
|
*/
|
|
412
466
|
waitForReady(): Promise<void>;
|
|
467
|
+
/**
|
|
468
|
+
* Settle the build before a reference question is answered from the index.
|
|
469
|
+
*
|
|
470
|
+
* A query issued right after a model update otherwise races the rebuild and
|
|
471
|
+
* reads an index missing the symbols it asks about. The cost is not confined
|
|
472
|
+
* to this call: a scope built inside that window is cached, and the build's
|
|
473
|
+
* remaining documents link against it.
|
|
474
|
+
*
|
|
475
|
+
* Waits the source document specifically, but ONLY when one is loaded at
|
|
476
|
+
* that URI: a synthetic source can address a URI with no document (a
|
|
477
|
+
* directory URI, typically), where a per-URI `waitUntil` throws "No document
|
|
478
|
+
* found". Falls back to a global settle, matching the id-based
|
|
479
|
+
* `ElementSource` path.
|
|
480
|
+
*
|
|
481
|
+
* Bounded by {@link DataServerOptions.referenceSettleTimeoutMs}.
|
|
482
|
+
*/
|
|
483
|
+
protected awaitReferencesLinked(source: ReferenceSource): Promise<void>;
|
|
413
484
|
findReferenceCandidates(ctx: ReferenceContext): Promise<ReferenceCandidate[]>;
|
|
414
|
-
resolveReference(ref: ReferenceRequest): Promise<ReferenceTarget<
|
|
485
|
+
resolveReference<TElement extends TransferElement = TransferElement>(ref: ReferenceRequest): Promise<ReferenceTarget<TElement> | undefined>;
|
|
415
486
|
findNextName(args: FindNextNameArgs): Promise<string>;
|
|
416
487
|
/**
|
|
417
488
|
* Resolve the per-language `references` services for a reference source.
|
|
@@ -422,38 +493,17 @@ export declare class DataServer<TTransfer extends TransferElement, TDiagnostic e
|
|
|
422
493
|
*/
|
|
423
494
|
protected resolveReferenceServices(source: ReferenceSource): HydraniumLanguageServices['references'];
|
|
424
495
|
/**
|
|
425
|
-
* Pick the language that owns a reference source
|
|
426
|
-
*
|
|
427
|
-
*
|
|
428
|
-
*
|
|
429
|
-
*
|
|
430
|
-
* single-language adopters never reach the steps below, and never pay
|
|
431
|
-
* for them.
|
|
432
|
-
* 3. An {@link isElementSource} source carries no URI, so in a
|
|
433
|
-
* multi-language workspace it is routed via the document that holds the
|
|
434
|
-
* element (see {@link findElementDocumentUri}).
|
|
435
|
-
* 4. A source carrying an AST type is routed by that type when exactly one
|
|
436
|
-
* registered grammar can produce it (see
|
|
437
|
-
* {@link resolveReferenceLanguageByType}, over the registry's own type
|
|
438
|
-
* index). This is what resolves a create-element flow's synthetic source
|
|
439
|
-
* on a bare directory URI without asking the adopter.
|
|
440
|
-
* 5. Anything still unresolved falls to {@link fallbackReferenceLanguage},
|
|
441
|
-
* which is adopter policy.
|
|
442
|
-
*/
|
|
443
|
-
protected resolveReferenceLanguage(source: ReferenceSource): HydraniumLanguageServices | undefined;
|
|
444
|
-
/**
|
|
445
|
-
* Route a reference source by the AST type it carries — a
|
|
446
|
-
* {@link isSyntheticSource}'s `type` (the transient node being created) or an
|
|
447
|
-
* {@link isElementSource}'s optional narrowing `type`.
|
|
496
|
+
* Pick the language that owns a reference source: the registry's
|
|
497
|
+
* `getLanguageFor` over the source's declared language, URI and AST type,
|
|
498
|
+
* with an {@link isElementSource} routed by the document that holds the
|
|
499
|
+
* element (see {@link findElementDocumentUri}) before its type, and
|
|
500
|
+
* {@link fallbackReferenceLanguage}, adopter policy, last.
|
|
448
501
|
*
|
|
449
|
-
*
|
|
450
|
-
*
|
|
451
|
-
*
|
|
452
|
-
* adopter policy, not a coin toss. Note this asks which grammar can *produce*
|
|
453
|
-
* the type, not which mentions it: a grammar that merely cross-references a
|
|
454
|
-
* type can never hold a node of it.
|
|
502
|
+
* An unregistered declared language falls through rather than failing: the
|
|
503
|
+
* id crosses the wire, so a client built against a head with one more
|
|
504
|
+
* grammar would otherwise lose queries the other signals answer.
|
|
455
505
|
*/
|
|
456
|
-
protected
|
|
506
|
+
protected resolveReferenceLanguage(source: ReferenceSource): HydraniumLanguageServices | undefined;
|
|
457
507
|
/**
|
|
458
508
|
* Locate the document that holds the element an {@link ElementSource}
|
|
459
509
|
* addresses, via the index's O(1) name lookup — `name` is the qualified
|
|
@@ -461,15 +511,14 @@ export declare class DataServer<TTransfer extends TransferElement, TDiagnostic e
|
|
|
461
511
|
* disambiguates names that repeat across types (honouring grammar
|
|
462
512
|
* subtyping through `AstReflection.isSubtype`).
|
|
463
513
|
*
|
|
464
|
-
* Only reached
|
|
465
|
-
*
|
|
466
|
-
* step 2.
|
|
514
|
+
* Only reached in a multi-language workspace, once the declared language
|
|
515
|
+
* and the URI have abstained.
|
|
467
516
|
*
|
|
468
517
|
* Abstains when the name matches elements in more than one DOCUMENT — the
|
|
469
518
|
* index spans every language and is filled in build order, so "the
|
|
470
|
-
* first match" would be file-watch order rather than an answer.
|
|
471
|
-
* then falls through to the type
|
|
472
|
-
*
|
|
519
|
+
* first match" would be file-watch order rather than an answer. Routing
|
|
520
|
+
* then falls through to the element's type, which abstains on ties in the
|
|
521
|
+
* same way, and finally to adopter policy.
|
|
473
522
|
*/
|
|
474
523
|
protected findElementDocumentUri(source: ElementSource): URI | undefined;
|
|
475
524
|
/**
|
|
@@ -484,34 +533,100 @@ export declare class DataServer<TTransfer extends TransferElement, TDiagnostic e
|
|
|
484
533
|
* to.
|
|
485
534
|
*/
|
|
486
535
|
protected fallbackReferenceLanguage(_source: ReferenceSource): HydraniumLanguageServices | undefined;
|
|
536
|
+
/**
|
|
537
|
+
* Whether `error`, from waiting on `uri`'s document, means that `uri` has
|
|
538
|
+
* no document: a URI with neither a file nor text builds nothing, and
|
|
539
|
+
* Langium's wait after the build rejects for want of one, with a
|
|
540
|
+
* `ServerCancelled` response error. Any other failure, such as a read
|
|
541
|
+
* that fails before a document is registered, a cancelled wait or a
|
|
542
|
+
* `ReentrantWriteLockError`, is the caller's to see.
|
|
543
|
+
*/
|
|
544
|
+
protected isMissingDocument(error: unknown, uri: string): boolean;
|
|
487
545
|
/**
|
|
488
546
|
* Build a {@link TransferDocument} envelope from the current document state,
|
|
489
547
|
* delegating root + diagnostic encoding to {@link encoder} (see
|
|
490
|
-
* `TransferEncoder.toTransferDocument` for the walk).
|
|
491
|
-
*
|
|
492
|
-
*
|
|
493
|
-
|
|
494
|
-
|
|
495
|
-
|
|
496
|
-
*
|
|
497
|
-
*
|
|
548
|
+
* `TransferEncoder.toTransferDocument` for the walk). `fingerprint` is the
|
|
549
|
+
* caller's {@link computeDocumentFingerprint} of that same state, which
|
|
550
|
+
* spares hashing it twice.
|
|
551
|
+
*/
|
|
552
|
+
protected envelope(uri: URI, fingerprint?: string): TransferDocument<TTransfer, TDiagnostic>;
|
|
553
|
+
/**
|
|
554
|
+
* The transfer document a request answers with for `astDocument`, its model
|
|
555
|
+
* hashed and the text stamped on it by {@link withServerState}. Every
|
|
556
|
+
* document a request answers with goes through here, so none goes out
|
|
557
|
+
* without them.
|
|
558
|
+
*/
|
|
559
|
+
protected encodeDocument(astDocument: AstDocument<AstNode, AstDiagnostic>): TransferDocument<TTransfer, TDiagnostic>;
|
|
560
|
+
/**
|
|
561
|
+
* The project a client receives for `project`, unchanged by default. Every
|
|
562
|
+
* project a request answers with or a change notification carries goes
|
|
563
|
+
* through here, so a field derived for clients cannot miss one path. The
|
|
564
|
+
* result crosses as JSON, so a value a client reads goes in a data field,
|
|
565
|
+
* not a getter.
|
|
566
|
+
*/
|
|
567
|
+
protected encodeProject(project: TProject): TProject;
|
|
568
|
+
/**
|
|
569
|
+
* `encoded` with `hash` on its model and the text the server holds for it:
|
|
570
|
+
* the store's while it holds the document, the build's otherwise. The text
|
|
571
|
+
* is read when the document is sent rather than kept with the build: a save
|
|
572
|
+
* changes `text.dirty` without a rebuild, and the store's text moves on before
|
|
573
|
+
* the build that follows it.
|
|
574
|
+
*/
|
|
575
|
+
protected withServerState(encoded: EncodedTransferDocument<TransferElement, TDiagnostic>, hash: string): TransferDocument<TTransfer, TDiagnostic>;
|
|
576
|
+
/**
|
|
577
|
+
* The text the server holds for `uri`, as every envelope and a watch's
|
|
578
|
+
* answer carry it: the store's while it holds the document, the build's
|
|
579
|
+
* otherwise, and none for a document it has neither of.
|
|
580
|
+
*/
|
|
581
|
+
protected serverTextState(uri: string): TextState | undefined;
|
|
582
|
+
/**
|
|
583
|
+
* The text a build read for a document the store never held, which is
|
|
584
|
+
* clean: the store holds every text a client gave it.
|
|
498
585
|
*/
|
|
499
|
-
protected
|
|
586
|
+
protected builtTextState(uri: string): TextState | undefined;
|
|
500
587
|
/**
|
|
501
|
-
*
|
|
502
|
-
*
|
|
503
|
-
*
|
|
504
|
-
* regardless of subscriber count.
|
|
588
|
+
* Follow every document at the configured
|
|
589
|
+
* {@link DataServerOptions.subscriptionPhase}, once per connection rather
|
|
590
|
+
* than once per watch, so the cost stays flat in the number of watches.
|
|
505
591
|
*/
|
|
506
|
-
protected
|
|
592
|
+
protected subscribeToModelUpdates(): void;
|
|
507
593
|
/**
|
|
508
|
-
*
|
|
509
|
-
*
|
|
510
|
-
*
|
|
511
|
-
*
|
|
512
|
-
* or any other client writing through `notifyDidSaveTextDocument`.
|
|
594
|
+
* Report the documents that reached {@link DataServerOptions.subscriptionPhase}
|
|
595
|
+
* and that NOBODY on this
|
|
596
|
+
* connection is watching — the ones a client was not told about through
|
|
597
|
+
* {@link dispatchPhaseEvent}, which is gated per URI.
|
|
513
598
|
*
|
|
514
|
-
*
|
|
599
|
+
* **The gap this closes is the one no other source can observe.** A document
|
|
600
|
+
* the client watches, it hears about already. A file changed on disk, the
|
|
601
|
+
* host's own filesystem watcher reports — and on a browser host, where the
|
|
602
|
+
* workspace lives behind this head, an external change cannot happen at all.
|
|
603
|
+
* What is left, and what nothing outside the server can see, is a document
|
|
604
|
+
* rebuilt because something it DEPENDS ON changed: its file never changed, so
|
|
605
|
+
* a filesystem watcher is silent by construction, and it has no subscriber, so
|
|
606
|
+
* the update channel is silent by design. A consumer displaying data derived
|
|
607
|
+
* from that document — a tree label, a decorator — otherwise goes stale with
|
|
608
|
+
* no signal from any source, and repairs itself the moment someone opens the
|
|
609
|
+
* file to investigate, which is what makes it expensive to diagnose later.
|
|
610
|
+
*
|
|
611
|
+
* Payload-free on purpose: URIs only, so a client re-reads what it displays
|
|
612
|
+
* rather than being handed transfer documents it did not ask for. That is the
|
|
613
|
+
* property the watcher gate protects, and it is preserved here by
|
|
614
|
+
* carrying no document rather than by gating the message.
|
|
615
|
+
*
|
|
616
|
+
* Quiet in the common case. Editing a document that an editor has open leaves
|
|
617
|
+
* that URI watched and therefore out of this set, so a build with no
|
|
618
|
+
* dependents produces nothing at all, and workspace initialisation produces
|
|
619
|
+
* nothing because it does not build to this phase. The ceiling is a
|
|
620
|
+
* whole-workspace rebuild at the subscription phase: one message, URIs only.
|
|
621
|
+
*/
|
|
622
|
+
protected dispatchBuiltEvent(built: readonly CanonicalUri[]): void;
|
|
623
|
+
/**
|
|
624
|
+
* Follow every save so a single `onDocumentSaved` wire notification fires
|
|
625
|
+
* for ANY save of a subscribed URI — regardless of whether the save
|
|
626
|
+
* originated from the data-server's RPC `saveModelDocument`, the LSP head's
|
|
627
|
+
* text-editor save, or any other client.
|
|
628
|
+
*
|
|
629
|
+
* Architectural symmetry with {@link subscribeToModelUpdates}: every
|
|
515
630
|
* subscribed client sees every state change to documents they care about,
|
|
516
631
|
* regardless of which client triggered it. Firing `onDocumentSaved` only
|
|
517
632
|
* from the data-server's own RPC path is a bug, not an optimisation: an
|
|
@@ -519,15 +634,72 @@ export declare class DataServer<TTransfer extends TransferElement, TDiagnostic e
|
|
|
519
634
|
* clients, which never clear their dirty state.
|
|
520
635
|
*/
|
|
521
636
|
protected subscribeToTextDocumentSaves(): void;
|
|
522
|
-
/**
|
|
523
|
-
|
|
524
|
-
|
|
525
|
-
*
|
|
526
|
-
*
|
|
527
|
-
|
|
528
|
-
|
|
529
|
-
|
|
530
|
-
|
|
637
|
+
/** Relay each change of a document's dirty state; see {@link dispatchDirtyEvent}. */
|
|
638
|
+
protected subscribeToDirtyChanges(): void;
|
|
639
|
+
/**
|
|
640
|
+
* Send a dirty flip to the connection, gated on the URI's watchers as
|
|
641
|
+
* {@link dispatchSaveEvent} is: the answer at any one moment travels on
|
|
642
|
+
* every document sent, so a client that watches nothing reads it there.
|
|
643
|
+
*/
|
|
644
|
+
protected dispatchDirtyEvent(event: ModelDirtyChangedEvent): void;
|
|
645
|
+
/**
|
|
646
|
+
* Mark each document the store releases, so {@link dispatchPhaseEvent}
|
|
647
|
+
* broadcasts the build that follows even without a watcher. By default
|
|
648
|
+
* that build reverts the document to its disk content, discarding unsaved
|
|
649
|
+
* in-session edits, and the last close typically also
|
|
650
|
+
* removed the last watcher: without the broadcast, a consumer that only
|
|
651
|
+
* ever fetches via `getModelDocument` keeps showing the discarded state.
|
|
652
|
+
* The broadcast is de-duplicated against the fingerprint while a watcher
|
|
653
|
+
* holds one, so a close whose disk state equals the last emitted state
|
|
654
|
+
* stays silent; with no watcher there is no fingerprint, and every release
|
|
655
|
+
* build is sent. The first build after the release consumes the mark, and
|
|
656
|
+
* goes out as the release unless it is stamped past the version a client
|
|
657
|
+
* opened the document at again: a client's write or an integrity repair
|
|
658
|
+
* that rides it keeps its author.
|
|
659
|
+
*
|
|
660
|
+
* A release, not the close itself: a document whose last client lost its
|
|
661
|
+
* connection is released only once the release grace runs out, or when
|
|
662
|
+
* another client opens it meanwhile, and not at all when a client lost
|
|
663
|
+
* from it opens it again within its own grace.
|
|
664
|
+
*/
|
|
665
|
+
protected subscribeToModelReleases(): void;
|
|
666
|
+
/**
|
|
667
|
+
* Fan out a deletion for each removed URI, to EVERY client on the connection
|
|
668
|
+
* rather than only to the ones watching that URI.
|
|
669
|
+
*
|
|
670
|
+
* **Deliberately ungated, where {@link dispatchPhaseEvent} and
|
|
671
|
+
* {@link dispatchSaveEvent} are gated.** Those two carry a built document and
|
|
672
|
+
* fire on every build, so the watcher gate is what keeps bandwidth
|
|
673
|
+
* proportional to what a client asked for. A deletion is neither: it is one
|
|
674
|
+
* URI, it is rare, and it reports the workspace's STRUCTURE rather than a
|
|
675
|
+
* document's content. Gating it forces any consumer that displays the
|
|
676
|
+
* workspace — a model tree, a file decorator — to learn about disappearances
|
|
677
|
+
* from a filesystem watcher instead, which a client hosted in a browser has
|
|
678
|
+
* no way to run: its workspace lives behind the head. A client that does not
|
|
679
|
+
* care filters on the URI, which costs it a comparison.
|
|
680
|
+
*
|
|
681
|
+
* The precedent is the release broadcast (see
|
|
682
|
+
* {@link subscribeToModelReleases}), where the same judgement was already made
|
|
683
|
+
* in the other direction: a transition that matters enough is delivered
|
|
684
|
+
* without a subscription.
|
|
685
|
+
*
|
|
686
|
+
* A deletion is announced before the build that follows it, so this goes
|
|
687
|
+
* out ahead of the `'rebuilt'` events for the dependents whose references
|
|
688
|
+
* the deletion just broke.
|
|
689
|
+
*
|
|
690
|
+
* The URI's fingerprint and release mark are dropped: they describe a
|
|
691
|
+
* document that no longer exists. A kept fingerprint is adopted as the
|
|
692
|
+
* baseline and suppresses the first emit after the file returns with its
|
|
693
|
+
* previous content.
|
|
694
|
+
*
|
|
695
|
+
* The watchers SURVIVE: a recreated file resumes delivering to them with no
|
|
696
|
+
* re-subscription, and a client that answers the deletion by closing
|
|
697
|
+
* releases the watch through `closeModelDocument` anyway. A session that
|
|
698
|
+
* deleted the document has its own released by {@link deleteModelDocument}.
|
|
699
|
+
*/
|
|
700
|
+
protected dispatchDeleteEvent(event: ModelDeletedEvent): void;
|
|
701
|
+
/** Fan out a save event for the document's URI, gated on the URI's watchers. */
|
|
702
|
+
protected dispatchSaveEvent(event: AstDocumentSavedEvent<AstNode>): void;
|
|
531
703
|
/**
|
|
532
704
|
* Fan out a phase event for the document's URI by calling
|
|
533
705
|
* `clientProxy.onDocumentUpdated`. The proxy lowers the call to a
|
|
@@ -537,52 +709,43 @@ export declare class DataServer<TTransfer extends TransferElement, TDiagnostic e
|
|
|
537
709
|
* out to multiple local subscribers with an `Emitter<T>` — the
|
|
538
710
|
* framework deliberately does NOT promise multi-listener semantics.
|
|
539
711
|
*
|
|
540
|
-
*
|
|
541
|
-
*
|
|
542
|
-
*
|
|
543
|
-
*
|
|
544
|
-
*
|
|
545
|
-
*
|
|
546
|
-
*
|
|
547
|
-
|
|
548
|
-
|
|
549
|
-
|
|
550
|
-
*
|
|
551
|
-
*
|
|
552
|
-
*
|
|
553
|
-
*
|
|
554
|
-
*
|
|
555
|
-
*
|
|
556
|
-
*
|
|
557
|
-
*
|
|
558
|
-
*
|
|
712
|
+
* An event for a URI no client watches is NOT sent over the wire, so
|
|
713
|
+
* bandwidth scales with watched URIs rather than with phase events; a
|
|
714
|
+
* pending release mark is the exception (see
|
|
715
|
+
* {@link subscribeToModelReleases}).
|
|
716
|
+
*
|
|
717
|
+
* An event for a rebuild with no observable change since the last emit is
|
|
718
|
+
* suppressed against the URI's fingerprint and the version it was taken at;
|
|
719
|
+
* a new version with the same fingerprint goes out with the same
|
|
720
|
+
* `model.hash`, so a watcher still learns the version. Such rebuilds are routine: a
|
|
721
|
+
* second client attaching to an open document makes
|
|
722
|
+
* `HydraniumTextDocuments.refreshContent` fire `onDidChangeContent` purely
|
|
723
|
+
* to re-trigger the build, and Langium rebuilds a document when a
|
|
724
|
+
* dependency changes even if its diagnostics come out the same. Sent at a
|
|
725
|
+
* version this head has not sent, they reach watchers as `'changed'`, and a
|
|
726
|
+
* watcher that reads `'changed'` as another client's write and resets its
|
|
727
|
+
* root to the server view loses the user's edits. The first {@link watchModelDocument} baselines the
|
|
728
|
+
* fingerprint, so the first event after a watch is de-duplicated against
|
|
729
|
+
* the state the watcher just fetched; it goes with the last watcher, so the
|
|
730
|
+
* next first watch re-baselines rather than adopting a stale digest. A
|
|
731
|
+
* digest keeps its memory constant in document size; see
|
|
732
|
+
* {@link computeDocumentFingerprint} for the inputs.
|
|
733
|
+
*/
|
|
734
|
+
protected dispatchPhaseEvent(event: ModelUpdatedEvent<AstNode>): void;
|
|
735
|
+
/**
|
|
736
|
+
* Fingerprint of the snapshot `root` and its encoding `encoded`, used to
|
|
737
|
+
* de-dup `onDocumentUpdated` emissions and sent as every document's
|
|
738
|
+
* `model.hash`, so it must not depend on the version or on live state. The
|
|
739
|
+
* {@link FingerprintStrategy} option selects what is hashed (default
|
|
740
|
+
* `'transfer-document'` — see the type).
|
|
741
|
+
*
|
|
742
|
+
* {@link TransferEncoder.toTransferDocument} is cached per build, so within
|
|
743
|
+
* one phase event the fingerprint and the subsequently-emitted `envelope`
|
|
744
|
+
* share a single encode walk.
|
|
559
745
|
*
|
|
560
746
|
* Wrapped in {@link Tracer.time} against {@link FINGERPRINT_LOG_AFTER_MS}.
|
|
561
747
|
*/
|
|
562
|
-
protected computeDocumentFingerprint(
|
|
563
|
-
/**
|
|
564
|
-
* Extra inputs folded into {@link computeDocumentFingerprint} alongside the
|
|
565
|
-
* chosen {@link FingerprintStrategy}. Default: none. Override to contribute a
|
|
566
|
-
* signal that lives outside the document's text / root / diagnostics — each
|
|
567
|
-
* entry need only be stable across equivalent emissions and
|
|
568
|
-
* JSON-serialisable.
|
|
569
|
-
*/
|
|
570
|
-
protected additionalFingerprintInputs(_document: LangiumDocument): readonly unknown[];
|
|
571
|
-
/**
|
|
572
|
-
* Discriminate the reason for a phase-event-driven update notification.
|
|
573
|
-
* Uses the most recent `DocumentBuilder.onUpdate` snapshot:
|
|
574
|
-
* - URI in the `deleted` list → `'deleted'`
|
|
575
|
-
* - URI in the `changed` list → `'changed'` (the URI was passed to
|
|
576
|
-
* `documentBuilder.update(changed, deleted)`, which spans `didChange`
|
|
577
|
-
* text-document events and programmatic `update([uri], [])` calls).
|
|
578
|
-
* - Otherwise → `'rebuilt'` (cascade re-derivation: this URI was rebuilt
|
|
579
|
-
* because something it depends on changed; its own text wasn't flagged).
|
|
580
|
-
*
|
|
581
|
-
* `'saved'` is NOT emitted from this code path — saves take the dedicated
|
|
582
|
-
* `DataClientProtocol.onDocumentSaved` channel; adopters that want a
|
|
583
|
-
* unified update stream synthesise `'saved'` in their bridge layer.
|
|
584
|
-
*/
|
|
585
|
-
protected resolveUpdateReason(uri: URI): TransferDocumentUpdatedEvent<TTransfer, TDiagnostic>['reason'];
|
|
748
|
+
protected computeDocumentFingerprint(root: AstNode, encoded: EncodedTransferDocument<TransferElement, TDiagnostic>): string;
|
|
586
749
|
/**
|
|
587
750
|
* Subscribe to the project tier's change channel and re-fan registry
|
|
588
751
|
* diffs into per-project wire notifications. The internal
|
|
@@ -603,19 +766,11 @@ export declare class DataServer<TTransfer extends TransferElement, TDiagnostic e
|
|
|
603
766
|
/**
|
|
604
767
|
* Fan one internal {@link ProjectChangeEvent} out to per-project wire
|
|
605
768
|
* notifications. Each `removed` entry pairs the id with the pre-removal
|
|
606
|
-
* snapshot needed for the `'removed'` wire payload.
|
|
769
|
+
* snapshot needed for the `'removed'` wire payload. A project whose
|
|
770
|
+
* {@link encodeProject} throws is logged and skipped, so the rest of the
|
|
771
|
+
* batch still reaches the client.
|
|
607
772
|
*/
|
|
608
773
|
protected dispatchProjectChangeEvent(event: ProjectChangeEvent<TProject>): void;
|
|
609
|
-
/**
|
|
610
|
-
* Resolve the wire-level `sourceClientId` for `document`'s events — the client
|
|
611
|
-
* that authored its current version, from the version-author history on
|
|
612
|
-
* `HydraniumTextDocuments`. The protocol-level counterpart of the internal
|
|
613
|
-
* `AstDocumentManager.getAuthor`: a framework-internal rebuild has no author,
|
|
614
|
-
* so this surfaces the {@link UNKNOWN_CLIENT_ID} presentation default. Adopters
|
|
615
|
-
* that rebuild through non-text-document channels override to derive a
|
|
616
|
-
* source id of their own.
|
|
617
|
-
*/
|
|
618
|
-
protected resolveSourceClientId(document: LangiumDocument): string;
|
|
619
774
|
dumpServerState(args: DumpServerStateArgs): Promise<string>;
|
|
620
775
|
writeHeapSnapshot(args: WriteServerHeapSnapshotArgs): Promise<string>;
|
|
621
776
|
dumpPodMemory(): Promise<string>;
|
|
@@ -625,5 +780,4 @@ export declare class DataServer<TTransfer extends TransferElement, TDiagnostic e
|
|
|
625
780
|
/** Resolve a partial options object into a fully-defaulted form. */
|
|
626
781
|
protected resolveOptions(partial: DataServerOptions): ResolvedDataServerOptions;
|
|
627
782
|
}
|
|
628
|
-
export {};
|
|
629
783
|
//# sourceMappingURL=data-server.d.ts.map
|