@hydranium/core 1.0.0-next.25 → 1.0.0-next.251
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 +64 -82
- package/lib/documents/ast-document-manager.d.ts +219 -122
- package/lib/documents/ast-document-manager.d.ts.map +1 -1
- package/lib/documents/ast-document-manager.js +241 -130
- package/lib/documents/ast-document-manager.js.map +1 -1
- package/lib/documents/client-ids.d.ts +5 -19
- package/lib/documents/client-ids.d.ts.map +1 -1
- package/lib/documents/client-ids.js +5 -19
- package/lib/documents/client-ids.js.map +1 -1
- package/lib/documents/client-session-errors.d.ts +15 -0
- package/lib/documents/client-session-errors.d.ts.map +1 -0
- package/lib/documents/client-session-errors.js +15 -0
- package/lib/documents/client-session-errors.js.map +1 -0
- package/lib/documents/client-session-registry.d.ts +146 -0
- package/lib/documents/client-session-registry.d.ts.map +1 -0
- package/lib/documents/client-session-registry.js +207 -0
- package/lib/documents/client-session-registry.js.map +1 -0
- package/lib/documents/dirty-state-tracker.d.ts +79 -0
- package/lib/documents/dirty-state-tracker.d.ts.map +1 -0
- package/lib/documents/dirty-state-tracker.js +69 -0
- package/lib/documents/dirty-state-tracker.js.map +1 -0
- package/lib/documents/document-release-handler.d.ts +179 -0
- package/lib/documents/document-release-handler.d.ts.map +1 -0
- package/lib/documents/document-release-handler.js +283 -0
- package/lib/documents/document-release-handler.js.map +1 -0
- package/lib/documents/document-release-scheduler.d.ts +67 -0
- package/lib/documents/document-release-scheduler.d.ts.map +1 -0
- package/lib/documents/document-release-scheduler.js +80 -0
- package/lib/documents/document-release-scheduler.js.map +1 -0
- package/lib/documents/file-system-task-queue.d.ts +49 -0
- package/lib/documents/file-system-task-queue.d.ts.map +1 -0
- package/lib/documents/file-system-task-queue.js +34 -0
- package/lib/documents/file-system-task-queue.js.map +1 -0
- package/lib/documents/hydranium-text-documents.d.ts +399 -282
- package/lib/documents/hydranium-text-documents.d.ts.map +1 -1
- package/lib/documents/hydranium-text-documents.js +816 -483
- package/lib/documents/hydranium-text-documents.js.map +1 -1
- package/lib/documents/index.d.ts +10 -2
- package/lib/documents/index.d.ts.map +1 -1
- package/lib/documents/index.js +10 -2
- package/lib/documents/index.js.map +1 -1
- package/lib/documents/language-client-shadow.d.ts +218 -0
- package/lib/documents/language-client-shadow.d.ts.map +1 -0
- package/lib/documents/language-client-shadow.js +283 -0
- package/lib/documents/language-client-shadow.js.map +1 -0
- package/lib/documents/model-ledger.d.ts +47 -0
- package/lib/documents/model-ledger.d.ts.map +1 -0
- package/lib/documents/model-ledger.js +30 -0
- package/lib/documents/model-ledger.js.map +1 -0
- package/lib/documents/text-ledger.d.ts +64 -0
- package/lib/documents/text-ledger.d.ts.map +1 -0
- package/lib/documents/text-ledger.js +63 -0
- package/lib/documents/text-ledger.js.map +1 -0
- package/lib/documents/version-sync-service.d.ts +134 -0
- package/lib/documents/version-sync-service.d.ts.map +1 -0
- package/lib/documents/version-sync-service.js +171 -0
- package/lib/documents/version-sync-service.js.map +1 -0
- package/lib/index.d.ts +5 -0
- package/lib/index.d.ts.map +1 -1
- package/lib/index.js +8 -0
- package/lib/index.js.map +1 -1
- package/lib/langium/ast-extension/ast-extension-service.d.ts.map +1 -1
- package/lib/langium/ast-extension/ast-extension-service.js.map +1 -1
- package/lib/langium/ast-extension/ast-node-builder.d.ts +32 -9
- package/lib/langium/ast-extension/ast-node-builder.d.ts.map +1 -1
- package/lib/langium/ast-extension/ast-node-builder.js +60 -22
- package/lib/langium/ast-extension/ast-node-builder.js.map +1 -1
- package/lib/langium/bootstrap.d.ts +23 -16
- package/lib/langium/bootstrap.d.ts.map +1 -1
- package/lib/langium/bootstrap.js +66 -28
- package/lib/langium/bootstrap.js.map +1 -1
- package/lib/langium/build-phase-pass/build-phase-pass-service.d.ts.map +1 -1
- package/lib/langium/build-phase-pass/build-phase-pass-service.js.map +1 -1
- package/lib/langium/composite-ast-reflection.d.ts +46 -0
- package/lib/langium/composite-ast-reflection.d.ts.map +1 -0
- package/lib/langium/composite-ast-reflection.js +97 -0
- package/lib/langium/composite-ast-reflection.js.map +1 -0
- package/lib/langium/config/configuration-provider.d.ts +81 -0
- package/lib/langium/config/configuration-provider.d.ts.map +1 -0
- package/lib/langium/config/configuration-provider.js +112 -0
- package/lib/langium/config/configuration-provider.js.map +1 -0
- package/lib/langium/config/index.d.ts +1 -0
- package/lib/langium/config/index.d.ts.map +1 -1
- package/lib/langium/config/index.js +1 -0
- package/lib/langium/config/index.js.map +1 -1
- package/lib/langium/config/settings.js.map +1 -1
- package/lib/langium/diagnostics/hydranium-langium-profiler.d.ts.map +1 -1
- package/lib/langium/diagnostics/hydranium-langium-profiler.js.map +1 -1
- package/lib/langium/diagnostics/logger.d.ts +10 -3
- package/lib/langium/diagnostics/logger.d.ts.map +1 -1
- package/lib/langium/diagnostics/logger.js +12 -5
- package/lib/langium/diagnostics/logger.js.map +1 -1
- package/lib/langium/diagnostics/lsp-logger.d.ts +17 -0
- package/lib/langium/diagnostics/lsp-logger.d.ts.map +1 -1
- package/lib/langium/diagnostics/lsp-logger.js +57 -16
- package/lib/langium/diagnostics/lsp-logger.js.map +1 -1
- package/lib/langium/diagnostics/server-tracer.d.ts.map +1 -1
- package/lib/langium/diagnostics/server-tracer.js.map +1 -1
- package/lib/langium/document-builder/build-pipeline-integration.d.ts +21 -1
- package/lib/langium/document-builder/build-pipeline-integration.d.ts.map +1 -1
- package/lib/langium/document-builder/build-pipeline-integration.js +32 -5
- package/lib/langium/document-builder/build-pipeline-integration.js.map +1 -1
- package/lib/langium/document-builder/build-session.d.ts.map +1 -1
- package/lib/langium/document-builder/build-session.js.map +1 -1
- package/lib/langium/document-builder/document-builder.d.ts +294 -33
- package/lib/langium/document-builder/document-builder.d.ts.map +1 -1
- package/lib/langium/document-builder/document-builder.js +477 -61
- package/lib/langium/document-builder/document-builder.js.map +1 -1
- package/lib/langium/documentation/comment-provider.d.ts.map +1 -1
- package/lib/langium/documentation/comment-provider.js.map +1 -1
- package/lib/langium/integration-services.d.ts +61 -19
- package/lib/langium/integration-services.d.ts.map +1 -1
- package/lib/langium/integration-services.js +10 -5
- package/lib/langium/integration-services.js.map +1 -1
- package/lib/langium/integrity/integrity-rule.d.ts +16 -8
- package/lib/langium/integrity/integrity-rule.d.ts.map +1 -1
- package/lib/langium/integrity/integrity-rule.js.map +1 -1
- package/lib/langium/integrity/integrity-service.d.ts +81 -24
- package/lib/langium/integrity/integrity-service.d.ts.map +1 -1
- package/lib/langium/integrity/integrity-service.js +264 -57
- package/lib/langium/integrity/integrity-service.js.map +1 -1
- package/lib/langium/keys/containment.d.ts +64 -0
- package/lib/langium/keys/containment.d.ts.map +1 -0
- package/lib/langium/keys/containment.js +53 -0
- package/lib/langium/keys/containment.js.map +1 -0
- package/lib/langium/keys/index.d.ts +1 -0
- package/lib/langium/keys/index.d.ts.map +1 -1
- package/lib/langium/keys/index.js +1 -0
- package/lib/langium/keys/index.js.map +1 -1
- package/lib/langium/keys/name-based-key-provider.d.ts +4 -0
- package/lib/langium/keys/name-based-key-provider.d.ts.map +1 -1
- package/lib/langium/keys/name-based-key-provider.js +4 -0
- package/lib/langium/keys/name-based-key-provider.js.map +1 -1
- package/lib/langium/keys/positional-key-provider.d.ts.map +1 -1
- package/lib/langium/keys/positional-key-provider.js.map +1 -1
- package/lib/langium/labeling/label-provider.d.ts.map +1 -1
- package/lib/langium/labeling/label-provider.js.map +1 -1
- package/lib/langium/language-module.d.ts +29 -4
- package/lib/langium/language-module.d.ts.map +1 -1
- package/lib/langium/language-module.js +18 -4
- package/lib/langium/language-module.js.map +1 -1
- package/lib/langium/model-service/client-session.d.ts +343 -0
- package/lib/langium/model-service/client-session.d.ts.map +1 -0
- package/lib/langium/model-service/client-session.js +411 -0
- package/lib/langium/model-service/client-session.js.map +1 -0
- package/lib/langium/model-service/index.d.ts +2 -0
- package/lib/langium/model-service/index.d.ts.map +1 -1
- package/lib/langium/model-service/index.js +2 -0
- package/lib/langium/model-service/index.js.map +1 -1
- package/lib/langium/model-service/model-events.d.ts +61 -0
- package/lib/langium/model-service/model-events.d.ts.map +1 -0
- package/lib/langium/model-service/model-events.js +10 -0
- package/lib/langium/model-service/model-events.js.map +1 -0
- package/lib/langium/model-service/model-service.d.ts +432 -282
- package/lib/langium/model-service/model-service.d.ts.map +1 -1
- package/lib/langium/model-service/model-service.js +504 -438
- package/lib/langium/model-service/model-service.js.map +1 -1
- package/lib/langium/module.d.ts +150 -35
- package/lib/langium/module.d.ts.map +1 -1
- package/lib/langium/module.js +47 -35
- package/lib/langium/module.js.map +1 -1
- package/lib/langium/naming/name-provider.d.ts +25 -4
- package/lib/langium/naming/name-provider.d.ts.map +1 -1
- package/lib/langium/naming/name-provider.js +2 -1
- package/lib/langium/naming/name-provider.js.map +1 -1
- package/lib/langium/naming/name-separator-validation.d.ts +23 -0
- package/lib/langium/naming/name-separator-validation.d.ts.map +1 -1
- package/lib/langium/naming/name-separator-validation.js +30 -1
- package/lib/langium/naming/name-separator-validation.js.map +1 -1
- package/lib/langium/project/abstract-project-manager.d.ts.map +1 -1
- package/lib/langium/project/abstract-project-manager.js +9 -2
- package/lib/langium/project/abstract-project-manager.js.map +1 -1
- package/lib/langium/project/project-change-event.d.ts +2 -2
- package/lib/langium/project/single-project-manager.d.ts.map +1 -1
- package/lib/langium/project/single-project-manager.js.map +1 -1
- package/lib/langium/residency/cst-residency-service.d.ts +30 -10
- package/lib/langium/residency/cst-residency-service.d.ts.map +1 -1
- package/lib/langium/residency/cst-residency-service.js +23 -57
- package/lib/langium/residency/cst-residency-service.js.map +1 -1
- package/lib/langium/scope/ast-node-description-provider.d.ts.map +1 -1
- package/lib/langium/scope/ast-node-description-provider.js.map +1 -1
- package/lib/langium/scope/hydranium-scope-computation.d.ts.map +1 -1
- package/lib/langium/scope/hydranium-scope-computation.js.map +1 -1
- package/lib/langium/scope/hydranium-scope-provider.d.ts +48 -13
- package/lib/langium/scope/hydranium-scope-provider.d.ts.map +1 -1
- package/lib/langium/scope/hydranium-scope-provider.js +56 -20
- package/lib/langium/scope/hydranium-scope-provider.js.map +1 -1
- package/lib/langium/scope/reference-builder.d.ts.map +1 -1
- package/lib/langium/scope/reference-builder.js.map +1 -1
- package/lib/langium/scope/reference-candidate-provider.d.ts.map +1 -1
- package/lib/langium/scope/reference-candidate-provider.js.map +1 -1
- package/lib/langium/scope/scope-extension-service.d.ts.map +1 -1
- package/lib/langium/scope/scope-extension-service.js.map +1 -1
- package/lib/langium/serialization/abstract-serializer.d.ts +11 -20
- package/lib/langium/serialization/abstract-serializer.d.ts.map +1 -1
- package/lib/langium/serialization/abstract-serializer.js +12 -21
- package/lib/langium/serialization/abstract-serializer.js.map +1 -1
- package/lib/langium/serialization/json-serializer.d.ts +1 -1
- package/lib/langium/serialization/json-serializer.d.ts.map +1 -1
- package/lib/langium/serialization/json-serializer.js.map +1 -1
- package/lib/langium/serialization/yaml-serializer.d.ts.map +1 -1
- package/lib/langium/serialization/yaml-serializer.js.map +1 -1
- package/lib/langium/service-registry.d.ts +29 -1
- package/lib/langium/service-registry.d.ts.map +1 -1
- package/lib/langium/service-registry.js +37 -0
- package/lib/langium/service-registry.js.map +1 -1
- package/lib/langium/shared-services.d.ts +21 -6
- package/lib/langium/shared-services.d.ts.map +1 -1
- package/lib/langium/shared-services.js.map +1 -1
- package/lib/langium/single-langium-copy.d.ts +22 -0
- package/lib/langium/single-langium-copy.d.ts.map +1 -0
- package/lib/langium/single-langium-copy.js +36 -0
- package/lib/langium/single-langium-copy.js.map +1 -0
- package/lib/langium/transfer/transfer-encoder.d.ts +77 -26
- package/lib/langium/transfer/transfer-encoder.d.ts.map +1 -1
- package/lib/langium/transfer/transfer-encoder.js +46 -24
- package/lib/langium/transfer/transfer-encoder.js.map +1 -1
- package/lib/langium/trivia/comment-preserver.d.ts +423 -0
- package/lib/langium/trivia/comment-preserver.d.ts.map +1 -0
- package/lib/langium/trivia/comment-preserver.js +906 -0
- package/lib/langium/trivia/comment-preserver.js.map +1 -0
- package/lib/langium/trivia/document-ending-preserver.d.ts +43 -0
- package/lib/langium/trivia/document-ending-preserver.d.ts.map +1 -0
- package/lib/langium/trivia/document-ending-preserver.js +48 -0
- package/lib/langium/trivia/document-ending-preserver.js.map +1 -0
- package/lib/langium/trivia/index.d.ts +14 -0
- package/lib/langium/trivia/index.d.ts.map +1 -0
- package/lib/langium/trivia/index.js +14 -0
- package/lib/langium/trivia/index.js.map +1 -0
- package/lib/langium/trivia/trivia-contribution.d.ts +37 -0
- package/lib/langium/trivia/trivia-contribution.d.ts.map +1 -0
- package/lib/langium/trivia/trivia-contribution.js +10 -0
- package/lib/langium/trivia/trivia-contribution.js.map +1 -0
- package/lib/langium/trivia/trivia-preserver.d.ts +50 -0
- package/lib/langium/trivia/trivia-preserver.d.ts.map +1 -0
- package/lib/langium/trivia/trivia-preserver.js +10 -0
- package/lib/langium/trivia/trivia-preserver.js.map +1 -0
- package/lib/langium/trivia/trivia-service.d.ts +70 -0
- package/lib/langium/trivia/trivia-service.d.ts.map +1 -0
- package/lib/langium/trivia/trivia-service.js +56 -0
- package/lib/langium/trivia/trivia-service.js.map +1 -0
- package/lib/langium/update-rewrite/normalize-empty-strings.d.ts.map +1 -1
- package/lib/langium/update-rewrite/update-rewrite-service.d.ts.map +1 -1
- package/lib/langium/update-rewrite/update-rewrite-service.js.map +1 -1
- package/lib/langium/update-rewrite/update-rewrite.d.ts +1 -1
- package/lib/langium/validation/document-validator.d.ts +280 -9
- package/lib/langium/validation/document-validator.d.ts.map +1 -1
- package/lib/langium/validation/document-validator.js +448 -5
- package/lib/langium/validation/document-validator.js.map +1 -1
- package/lib/langium/validation/validation-contribution-collector.d.ts +9 -1
- package/lib/langium/validation/validation-contribution-collector.d.ts.map +1 -1
- package/lib/langium/validation/validation-contribution-collector.js +1 -1
- package/lib/langium/validation/validation-contribution-collector.js.map +1 -1
- package/lib/langium/workspace/document-uri-policy.d.ts +15 -10
- package/lib/langium/workspace/document-uri-policy.d.ts.map +1 -1
- package/lib/langium/workspace/document-uri-policy.js +7 -5
- package/lib/langium/workspace/document-uri-policy.js.map +1 -1
- package/lib/langium/workspace/file-not-found.d.ts +23 -0
- package/lib/langium/workspace/file-not-found.d.ts.map +1 -0
- package/lib/langium/workspace/file-not-found.js +31 -0
- package/lib/langium/workspace/file-not-found.js.map +1 -0
- package/lib/langium/workspace/file-system-provider.d.ts +135 -9
- package/lib/langium/workspace/file-system-provider.d.ts.map +1 -1
- package/lib/langium/workspace/file-system-provider.js +93 -14
- package/lib/langium/workspace/file-system-provider.js.map +1 -1
- package/lib/langium/workspace/hydranium-langium-document-factory.d.ts +56 -1
- package/lib/langium/workspace/hydranium-langium-document-factory.d.ts.map +1 -1
- package/lib/langium/workspace/hydranium-langium-document-factory.js +79 -0
- package/lib/langium/workspace/hydranium-langium-document-factory.js.map +1 -1
- package/lib/langium/workspace/hydranium-workspace-lock.d.ts +43 -1
- package/lib/langium/workspace/hydranium-workspace-lock.d.ts.map +1 -1
- package/lib/langium/workspace/hydranium-workspace-lock.js +58 -1
- package/lib/langium/workspace/hydranium-workspace-lock.js.map +1 -1
- package/lib/langium/workspace/hydranium-workspace-manager.d.ts +82 -9
- package/lib/langium/workspace/hydranium-workspace-manager.d.ts.map +1 -1
- package/lib/langium/workspace/hydranium-workspace-manager.js +128 -10
- package/lib/langium/workspace/hydranium-workspace-manager.js.map +1 -1
- package/lib/langium/workspace/in-memory-file-system-provider.d.ts +26 -3
- package/lib/langium/workspace/in-memory-file-system-provider.d.ts.map +1 -1
- package/lib/langium/workspace/in-memory-file-system-provider.js +41 -15
- package/lib/langium/workspace/in-memory-file-system-provider.js.map +1 -1
- package/lib/langium/workspace/index-manager.d.ts.map +1 -1
- package/lib/langium/workspace/index-manager.js.map +1 -1
- package/lib/langium/workspace/index.d.ts +1 -0
- package/lib/langium/workspace/index.d.ts.map +1 -1
- package/lib/langium/workspace/index.js +1 -0
- package/lib/langium/workspace/index.js.map +1 -1
- package/lib/langium/workspace/initialize-workspace.d.ts +31 -2
- package/lib/langium/workspace/initialize-workspace.d.ts.map +1 -1
- package/lib/langium/workspace/initialize-workspace.js +13 -5
- package/lib/langium/workspace/initialize-workspace.js.map +1 -1
- package/lib/langium/workspace/langium-documents.d.ts +46 -4
- package/lib/langium/workspace/langium-documents.d.ts.map +1 -1
- package/lib/langium/workspace/langium-documents.js +60 -5
- package/lib/langium/workspace/langium-documents.js.map +1 -1
- package/lib/langium/workspace/persistent-file-system-provider.d.ts +1 -8
- package/lib/langium/workspace/persistent-file-system-provider.d.ts.map +1 -1
- package/lib/langium/workspace/persistent-file-system-provider.js +0 -7
- package/lib/langium/workspace/persistent-file-system-provider.js.map +1 -1
- package/lib/{documents → langium/workspace}/self-save-registry.d.ts +38 -7
- package/lib/langium/workspace/self-save-registry.d.ts.map +1 -0
- package/lib/{documents → langium/workspace}/self-save-registry.js +29 -16
- package/lib/langium/workspace/self-save-registry.js.map +1 -0
- package/lib/langium/workspace/virtual-document.d.ts +48 -15
- package/lib/langium/workspace/virtual-document.d.ts.map +1 -1
- package/lib/langium/workspace/virtual-document.js +78 -18
- package/lib/langium/workspace/virtual-document.js.map +1 -1
- package/lib/langium/workspace/write-lock-scope.d.ts +20 -10
- package/lib/langium/workspace/write-lock-scope.d.ts.map +1 -1
- package/lib/langium/workspace/write-lock-scope.js +12 -4
- package/lib/langium/workspace/write-lock-scope.js.map +1 -1
- package/lib/locale/index.d.ts +10 -0
- package/lib/locale/index.d.ts.map +1 -0
- package/lib/locale/index.js +10 -0
- package/lib/locale/index.js.map +1 -0
- package/lib/locale/server-locale.d.ts +73 -0
- package/lib/locale/server-locale.d.ts.map +1 -0
- package/lib/locale/server-locale.js +61 -0
- package/lib/locale/server-locale.js.map +1 -0
- package/lib/lsp/completion/hydranium-completion-provider.d.ts +44 -2
- package/lib/lsp/completion/hydranium-completion-provider.d.ts.map +1 -1
- package/lib/lsp/completion/hydranium-completion-provider.js +68 -0
- package/lib/lsp/completion/hydranium-completion-provider.js.map +1 -1
- package/lib/lsp/connection-features.d.ts +23 -0
- package/lib/lsp/connection-features.d.ts.map +1 -0
- package/lib/lsp/connection-features.js +60 -0
- package/lib/lsp/connection-features.js.map +1 -0
- package/lib/lsp/diagnostics-connection.d.ts +27 -0
- package/lib/lsp/diagnostics-connection.d.ts.map +1 -0
- package/lib/lsp/diagnostics-connection.js +53 -0
- package/lib/lsp/diagnostics-connection.js.map +1 -0
- package/lib/lsp/hydranium-document-update-handler.d.ts +92 -81
- package/lib/lsp/hydranium-document-update-handler.d.ts.map +1 -1
- package/lib/lsp/hydranium-document-update-handler.js +153 -99
- package/lib/lsp/hydranium-document-update-handler.js.map +1 -1
- package/lib/lsp/index.d.ts +3 -1
- package/lib/lsp/index.d.ts.map +1 -1
- package/lib/lsp/index.js +3 -1
- package/lib/lsp/index.js.map +1 -1
- package/lib/lsp/lsp-latency.d.ts +39 -0
- package/lib/lsp/lsp-latency.d.ts.map +1 -0
- package/lib/lsp/lsp-latency.js +58 -0
- package/lib/lsp/lsp-latency.js.map +1 -0
- package/lib/lsp/semantic-token-provider.d.ts +34 -1
- package/lib/lsp/semantic-token-provider.d.ts.map +1 -1
- package/lib/lsp/semantic-token-provider.js +55 -8
- package/lib/lsp/semantic-token-provider.js.map +1 -1
- package/lib/lsp/shared-module.d.ts +4 -8
- package/lib/lsp/shared-module.d.ts.map +1 -1
- package/lib/lsp/shared-module.js.map +1 -1
- package/lib/lsp/start-language-server.d.ts +8 -7
- package/lib/lsp/start-language-server.d.ts.map +1 -1
- package/lib/lsp/start-language-server.js +13 -7
- package/lib/lsp/start-language-server.js.map +1 -1
- package/lib/messages/carriers.d.ts +54 -0
- package/lib/messages/carriers.d.ts.map +1 -0
- package/lib/messages/carriers.js +62 -0
- package/lib/messages/carriers.js.map +1 -0
- package/lib/messages/index.d.ts +25 -0
- package/lib/messages/index.d.ts.map +1 -0
- package/lib/messages/index.js +25 -0
- package/lib/messages/index.js.map +1 -0
- package/lib/messages/renderer.d.ts +142 -0
- package/lib/messages/renderer.d.ts.map +1 -0
- package/lib/messages/renderer.js +165 -0
- package/lib/messages/renderer.js.map +1 -0
- package/lib/node/event-loop-monitor.js.map +1 -1
- package/lib/node/heap-ceiling.d.ts +61 -0
- package/lib/node/heap-ceiling.d.ts.map +1 -0
- package/lib/node/heap-ceiling.js +72 -0
- package/lib/node/heap-ceiling.js.map +1 -0
- package/lib/node/index.d.ts +1 -1
- package/lib/node/index.d.ts.map +1 -1
- package/lib/node/index.js +1 -1
- package/lib/node/index.js.map +1 -1
- package/lib/node/latency-from-env.d.ts +1 -1
- package/lib/node/latency-from-env.js +1 -1
- package/lib/node/lint-grammar.js.map +1 -1
- package/lib/node/measure-memory.d.ts.map +1 -1
- package/lib/node/measure-memory.js +1 -0
- package/lib/node/measure-memory.js.map +1 -1
- package/lib/node/memory-monitor.js.map +1 -1
- package/lib/node/node-file-system-provider.d.ts +41 -6
- package/lib/node/node-file-system-provider.d.ts.map +1 -1
- package/lib/node/node-file-system-provider.js +109 -49
- package/lib/node/node-file-system-provider.js.map +1 -1
- package/lib/node/profile-capture.d.ts +8 -2
- package/lib/node/profile-capture.d.ts.map +1 -1
- package/lib/node/profile-capture.js +1 -1
- package/lib/node/profile-capture.js.map +1 -1
- package/lib/node/profile-digest.js.map +1 -1
- package/lib/node/profiling-run.d.ts +13 -3
- package/lib/node/profiling-run.d.ts.map +1 -1
- package/lib/node/profiling-run.js +17 -8
- package/lib/node/profiling-run.js.map +1 -1
- package/lib/node/rename-over-open-readers.d.ts +52 -0
- package/lib/node/rename-over-open-readers.d.ts.map +1 -0
- package/lib/node/rename-over-open-readers.js +66 -0
- package/lib/node/rename-over-open-readers.js.map +1 -0
- package/lib/node/socket-launcher.d.ts +20 -4
- package/lib/node/socket-launcher.d.ts.map +1 -1
- package/lib/node/socket-launcher.js +5 -4
- package/lib/node/socket-launcher.js.map +1 -1
- package/lib/node/stdio-launcher.d.ts +6 -5
- package/lib/node/stdio-launcher.d.ts.map +1 -1
- package/lib/node/stdio-launcher.js +2 -2
- package/lib/node/stdio-launcher.js.map +1 -1
- package/lib/testing/document-uri-policy-conformance.js.map +1 -1
- package/lib/testing/fake-description.js.map +1 -1
- package/lib/testing/fake-document.d.ts +16 -4
- package/lib/testing/fake-document.d.ts.map +1 -1
- package/lib/testing/fake-document.js +18 -3
- package/lib/testing/fake-document.js.map +1 -1
- package/lib/testing/index.d.ts +1 -1
- package/lib/testing/index.d.ts.map +1 -1
- package/lib/testing/index.js +2 -1
- package/lib/testing/index.js.map +1 -1
- package/lib/testing/langium-test-helpers.d.ts.map +1 -1
- package/lib/testing/langium-test-helpers.js +1 -0
- package/lib/testing/langium-test-helpers.js.map +1 -1
- package/lib/testing/make-noop-language-services.js.map +1 -1
- package/lib/testing/make-noop-shared-services.d.ts +14 -0
- package/lib/testing/make-noop-shared-services.d.ts.map +1 -1
- package/lib/testing/make-noop-shared-services.js +28 -2
- package/lib/testing/make-noop-shared-services.js.map +1 -1
- package/lib/testing/make-test-services.d.ts +72 -14
- package/lib/testing/make-test-services.d.ts.map +1 -1
- package/lib/testing/make-test-services.js +42 -10
- package/lib/testing/make-test-services.js.map +1 -1
- package/lib/testing/make-test-tracer.d.ts +12 -0
- package/lib/testing/make-test-tracer.d.ts.map +1 -1
- package/lib/testing/make-test-tracer.js +13 -0
- package/lib/testing/make-test-tracer.js.map +1 -1
- package/lib/testing/node/golden-corpus.js.map +1 -1
- package/lib/testing/node/index.d.ts +1 -0
- package/lib/testing/node/index.d.ts.map +1 -1
- package/lib/testing/node/index.js +1 -0
- package/lib/testing/node/index.js.map +1 -1
- package/lib/testing/node/lsp-harness.d.ts.map +1 -1
- package/lib/testing/node/lsp-harness.js +2 -0
- package/lib/testing/node/lsp-harness.js.map +1 -1
- package/lib/testing/node/lsp-server-connection.d.ts +11 -3
- package/lib/testing/node/lsp-server-connection.d.ts.map +1 -1
- package/lib/testing/node/lsp-server-connection.js +43 -10
- package/lib/testing/node/lsp-server-connection.js.map +1 -1
- package/lib/testing/node/scratch-workspace.d.ts.map +1 -1
- package/lib/testing/node/scratch-workspace.js +10 -5
- package/lib/testing/node/scratch-workspace.js.map +1 -1
- package/lib/testing/node/spawned-server.d.ts +14 -0
- package/lib/testing/node/spawned-server.d.ts.map +1 -1
- package/lib/testing/node/spawned-server.js +34 -2
- package/lib/testing/node/spawned-server.js.map +1 -1
- package/lib/testing/node/unhandled-rejections.d.ts +20 -0
- package/lib/testing/node/unhandled-rejections.d.ts.map +1 -0
- package/lib/testing/node/unhandled-rejections.js +32 -0
- package/lib/testing/node/unhandled-rejections.js.map +1 -0
- package/lib/testing/playwright/browser-capture-bridge.js.map +1 -1
- package/lib/testing/playwright/e2e-profiling.js.map +1 -1
- package/lib/testing/playwright/flaky-network-proxy.d.ts +76 -0
- package/lib/testing/playwright/flaky-network-proxy.d.ts.map +1 -0
- package/lib/testing/playwright/flaky-network-proxy.js +164 -0
- package/lib/testing/playwright/flaky-network-proxy.js.map +1 -0
- package/lib/testing/playwright/index.d.ts +1 -0
- package/lib/testing/playwright/index.d.ts.map +1 -1
- package/lib/testing/playwright/index.js +1 -0
- package/lib/testing/playwright/index.js.map +1 -1
- package/lib/testing/playwright/server-log-capture.d.ts +24 -8
- package/lib/testing/playwright/server-log-capture.d.ts.map +1 -1
- package/lib/testing/playwright/server-log-capture.js +27 -6
- package/lib/testing/playwright/server-log-capture.js.map +1 -1
- package/lib/testing/playwright/server-log-rename-reporter.d.ts.map +1 -1
- package/lib/testing/playwright/server-log-rename-reporter.js +10 -1
- package/lib/testing/playwright/server-log-rename-reporter.js.map +1 -1
- package/lib/testing/run-update-pipeline.d.ts +4 -4
- package/lib/testing/run-update-pipeline.d.ts.map +1 -1
- package/lib/testing/stub-ast-document-manager.d.ts +11 -52
- package/lib/testing/stub-ast-document-manager.d.ts.map +1 -1
- package/lib/testing/stub-ast-document-manager.js +24 -65
- package/lib/testing/stub-ast-document-manager.js.map +1 -1
- package/lib/testing/stub-document-builder.d.ts +26 -11
- package/lib/testing/stub-document-builder.d.ts.map +1 -1
- package/lib/testing/stub-document-builder.js +78 -5
- package/lib/testing/stub-document-builder.js.map +1 -1
- package/lib/testing/stub-hydranium-text-documents.d.ts +33 -10
- package/lib/testing/stub-hydranium-text-documents.d.ts.map +1 -1
- package/lib/testing/stub-hydranium-text-documents.js +115 -16
- package/lib/testing/stub-hydranium-text-documents.js.map +1 -1
- package/lib/testing/stub-index-manager.js.map +1 -1
- package/lib/testing/stub-langium-documents.d.ts +3 -2
- package/lib/testing/stub-langium-documents.d.ts.map +1 -1
- package/lib/testing/stub-langium-documents.js.map +1 -1
- package/lib/testing/stub-model-service.d.ts +7 -6
- package/lib/testing/stub-model-service.d.ts.map +1 -1
- package/lib/testing/stub-model-service.js +4 -4
- package/lib/testing/stub-model-service.js.map +1 -1
- package/lib/testing/stub-project-manager.js.map +1 -1
- package/lib/testing/stub-self-save-registry.d.ts +1 -1
- package/lib/testing/stub-self-save-registry.d.ts.map +1 -1
- package/lib/testing/stub-service-registry.d.ts +1 -1
- package/lib/testing/stub-service-registry.js.map +1 -1
- package/lib/testing/stub-writable-file-system.d.ts +1 -1
- package/lib/testing/stub-writable-file-system.d.ts.map +1 -1
- package/lib/util/connection-liveness.d.ts +7 -6
- package/lib/util/connection-liveness.d.ts.map +1 -1
- package/lib/util/connection-liveness.js +35 -14
- package/lib/util/connection-liveness.js.map +1 -1
- package/lib/util/environment.d.ts.map +1 -1
- package/lib/util/environment.js.map +1 -1
- package/lib/util/registry.d.ts.map +1 -1
- package/package.json +32 -48
- package/src/documents/ast-document-manager.ts +379 -231
- package/src/documents/client-ids.ts +5 -22
- package/src/documents/client-session-errors.ts +24 -0
- package/src/documents/client-session-registry.ts +262 -0
- package/src/documents/dirty-state-tracker.ts +130 -0
- package/src/documents/document-release-handler.ts +365 -0
- package/src/documents/document-release-scheduler.ts +121 -0
- package/src/documents/file-system-task-queue.ts +68 -0
- package/src/documents/hydranium-text-documents.ts +931 -595
- package/src/documents/index.ts +10 -2
- package/src/documents/language-client-shadow.ts +451 -0
- package/src/documents/model-ledger.ts +66 -0
- package/src/documents/text-ledger.ts +112 -0
- package/src/documents/version-sync-service.ts +267 -0
- package/src/index.ts +8 -0
- package/src/langium/ast-extension/ast-node-builder.ts +66 -22
- package/src/langium/bootstrap.ts +66 -28
- package/src/langium/composite-ast-reflection.ts +112 -0
- package/src/langium/config/configuration-provider.ts +119 -0
- package/src/langium/config/index.ts +1 -0
- package/src/langium/diagnostics/logger.ts +12 -5
- package/src/langium/diagnostics/lsp-logger.ts +59 -15
- package/src/langium/document-builder/build-pipeline-integration.ts +50 -5
- package/src/langium/document-builder/document-builder.ts +565 -59
- package/src/langium/integration-services.ts +83 -24
- package/src/langium/integrity/integrity-rule.ts +16 -8
- package/src/langium/integrity/integrity-service.ts +287 -62
- package/src/langium/keys/containment.ts +87 -0
- package/src/langium/keys/index.ts +1 -0
- package/src/langium/keys/name-based-key-provider.ts +4 -0
- package/src/langium/language-module.ts +48 -7
- package/src/langium/model-service/client-session.ts +644 -0
- package/src/langium/model-service/index.ts +2 -0
- package/src/langium/model-service/model-events.ts +75 -0
- package/src/langium/model-service/model-service.ts +790 -468
- package/src/langium/module.ts +199 -64
- package/src/langium/naming/name-provider.ts +27 -5
- package/src/langium/naming/name-separator-validation.ts +34 -5
- package/src/langium/project/abstract-project-manager.ts +9 -1
- package/src/langium/project/project-change-event.ts +2 -2
- package/src/langium/residency/cst-residency-service.ts +45 -14
- package/src/langium/scope/hydranium-scope-provider.ts +60 -22
- package/src/langium/serialization/abstract-serializer.ts +13 -32
- package/src/langium/service-registry.ts +41 -2
- package/src/langium/shared-services.ts +21 -6
- package/src/langium/single-langium-copy.ts +42 -0
- package/src/langium/transfer/transfer-encoder.ts +104 -37
- package/src/langium/trivia/comment-preserver.ts +1100 -0
- package/src/langium/trivia/document-ending-preserver.ts +55 -0
- package/src/langium/trivia/index.ts +14 -0
- package/src/langium/trivia/trivia-contribution.ts +39 -0
- package/src/langium/trivia/trivia-preserver.ts +54 -0
- package/src/langium/trivia/trivia-service.ts +99 -0
- package/src/langium/update-rewrite/update-rewrite.ts +1 -1
- package/src/langium/validation/document-validator.ts +523 -10
- package/src/langium/validation/validation-contribution-collector.ts +10 -1
- package/src/langium/workspace/document-uri-policy.ts +15 -10
- package/src/langium/workspace/file-not-found.ts +35 -0
- package/src/langium/workspace/file-system-provider.ts +205 -17
- package/src/langium/workspace/hydranium-langium-document-factory.ts +117 -0
- package/src/langium/workspace/hydranium-workspace-lock.ts +86 -2
- package/src/langium/workspace/hydranium-workspace-manager.ts +154 -14
- package/src/langium/workspace/in-memory-file-system-provider.ts +48 -17
- package/src/langium/workspace/index.ts +1 -0
- package/src/langium/workspace/initialize-workspace.ts +43 -5
- package/src/langium/workspace/langium-documents.ts +75 -6
- package/src/langium/workspace/persistent-file-system-provider.ts +1 -8
- package/src/{documents → langium/workspace}/self-save-registry.ts +54 -15
- package/src/langium/workspace/virtual-document.ts +96 -19
- package/src/langium/workspace/write-lock-scope.ts +24 -11
- package/src/locale/index.ts +10 -0
- package/src/locale/server-locale.ts +86 -0
- package/src/lsp/completion/hydranium-completion-provider.ts +82 -2
- package/src/lsp/connection-features.ts +67 -0
- package/src/lsp/diagnostics-connection.ts +56 -0
- package/src/lsp/hydranium-document-update-handler.ts +187 -108
- package/src/lsp/index.ts +3 -1
- package/src/lsp/lsp-latency.ts +62 -0
- package/src/lsp/semantic-token-provider.ts +74 -7
- package/src/lsp/shared-module.ts +4 -8
- package/src/lsp/start-language-server.ts +13 -7
- package/src/messages/carriers.ts +78 -0
- package/src/messages/index.ts +36 -0
- package/src/messages/renderer.ts +212 -0
- package/src/node/heap-ceiling.ts +108 -0
- package/src/node/index.ts +1 -1
- package/src/node/latency-from-env.ts +1 -1
- package/src/node/measure-memory.ts +1 -0
- package/src/node/node-file-system-provider.ts +124 -53
- package/src/node/profile-capture.ts +9 -3
- package/src/node/profiling-run.ts +30 -8
- package/src/node/rename-over-open-readers.ts +78 -0
- package/src/node/socket-launcher.ts +24 -8
- package/src/node/stdio-launcher.ts +8 -7
- package/src/testing/fake-document.ts +24 -5
- package/src/testing/index.ts +2 -1
- package/src/testing/langium-test-helpers.ts +1 -0
- package/src/testing/make-noop-shared-services.ts +50 -2
- package/src/testing/make-test-services.ts +125 -31
- package/src/testing/make-test-tracer.ts +26 -0
- package/src/testing/node/index.ts +1 -0
- package/src/testing/node/lsp-harness.ts +2 -0
- package/src/testing/node/lsp-server-connection.ts +66 -12
- package/src/testing/node/scratch-workspace.ts +10 -5
- package/src/testing/node/spawned-server.ts +36 -2
- package/src/testing/node/unhandled-rejections.ts +31 -0
- package/src/testing/parse-semantic-root.ts +1 -1
- package/src/testing/playwright/flaky-network-proxy.ts +240 -0
- package/src/testing/playwright/index.ts +1 -0
- package/src/testing/playwright/server-log-capture.ts +45 -11
- package/src/testing/playwright/server-log-rename-reporter.ts +12 -1
- package/src/testing/run-update-pipeline.ts +4 -4
- package/src/testing/stub-ast-document-manager.ts +36 -138
- package/src/testing/stub-document-builder.ts +102 -18
- package/src/testing/stub-hydranium-text-documents.ts +165 -27
- package/src/testing/stub-langium-documents.ts +3 -2
- package/src/testing/stub-model-service.ts +9 -8
- package/src/testing/stub-self-save-registry.ts +1 -1
- package/src/testing/stub-service-registry.ts +1 -1
- package/src/testing/stub-writable-file-system.ts +1 -1
- package/src/util/connection-liveness.ts +37 -14
- package/src/util/environment.ts +9 -1
- package/lib/documents/language-client-text-shadow.d.ts +0 -101
- package/lib/documents/language-client-text-shadow.d.ts.map +0 -1
- package/lib/documents/language-client-text-shadow.js +0 -156
- package/lib/documents/language-client-text-shadow.js.map +0 -1
- package/lib/documents/self-save-registry.d.ts.map +0 -1
- package/lib/documents/self-save-registry.js.map +0 -1
- package/lib/lsp/instrument-connection.d.ts +0 -36
- package/lib/lsp/instrument-connection.d.ts.map +0 -1
- package/lib/lsp/instrument-connection.js +0 -62
- package/lib/lsp/instrument-connection.js.map +0 -1
- package/lib/node/process-memory.d.ts +0 -66
- package/lib/node/process-memory.d.ts.map +0 -1
- package/lib/node/process-memory.js +0 -252
- package/lib/node/process-memory.js.map +0 -1
- package/src/documents/language-client-text-shadow.ts +0 -175
- package/src/lsp/instrument-connection.ts +0 -66
- package/src/node/process-memory.ts +0 -299
|
@@ -0,0 +1,644 @@
|
|
|
1
|
+
/********************************************************************************
|
|
2
|
+
* Copyright (c) 2026 CrossBreeze, EclipseSource and others.
|
|
3
|
+
*
|
|
4
|
+
* This program and the accompanying materials are made available under the
|
|
5
|
+
* terms of the MIT License which is available in the project root.
|
|
6
|
+
*
|
|
7
|
+
* SPDX-License-Identifier: MIT
|
|
8
|
+
********************************************************************************/
|
|
9
|
+
|
|
10
|
+
import {
|
|
11
|
+
type BaseVersion,
|
|
12
|
+
ConflictError,
|
|
13
|
+
isModelVersion,
|
|
14
|
+
Logger,
|
|
15
|
+
type MaybeObservableValue,
|
|
16
|
+
type MaybePromise,
|
|
17
|
+
ObservableValue,
|
|
18
|
+
type TextVersion,
|
|
19
|
+
type Tracer,
|
|
20
|
+
type TransferElement
|
|
21
|
+
} from '@hydranium/protocol';
|
|
22
|
+
import { type AstNode, UriUtils } from '@hydranium/langium';
|
|
23
|
+
import { type CancellationToken, type Disposable, Emitter, type Event } from 'vscode-languageserver';
|
|
24
|
+
import { type AstDocument, type SavedAstDocument } from '../../documents/ast-document-manager.js';
|
|
25
|
+
import { DocumentNotOpenError, SessionClosedError } from '../../documents/client-session-errors.js';
|
|
26
|
+
import { type OpenOptions, type SessionEndCause } from '../../documents/client-session-registry.js';
|
|
27
|
+
import { type LogNameOptions } from '../diagnostics/logger.js';
|
|
28
|
+
import { type ServerSharedServices } from '../module.js';
|
|
29
|
+
import { type AstDiagnostic } from '../validation/document-validator.js';
|
|
30
|
+
import { type ModelService } from './model-service.js';
|
|
31
|
+
|
|
32
|
+
/** What a session's `update` and `save` write into one document; the session supplies its own client id. */
|
|
33
|
+
export interface ClientSessionWriteArgs<TTransfer> {
|
|
34
|
+
uri: string;
|
|
35
|
+
/** The whole structured model root, or its serialised textual form. */
|
|
36
|
+
model: TTransfer | string;
|
|
37
|
+
/**
|
|
38
|
+
* The version the write was authored against, or `'any'` to write
|
|
39
|
+
* unconditionally. Required, so an ungated write is a decision the caller
|
|
40
|
+
* makes rather than a field it forgot.
|
|
41
|
+
*/
|
|
42
|
+
baseVersion: BaseVersion;
|
|
43
|
+
}
|
|
44
|
+
|
|
45
|
+
/** What a session's `persist` writes: the text the store holds for `uri`. */
|
|
46
|
+
export type ClientSessionPersistArgs = Omit<ClientSessionWriteArgs<never>, 'model'>;
|
|
47
|
+
|
|
48
|
+
/** What a session's `updateAll` writes, all or none. */
|
|
49
|
+
export interface ClientSessionUpdateAllArgs<TTransfer> {
|
|
50
|
+
updates: ClientSessionWriteArgs<TTransfer>[];
|
|
51
|
+
}
|
|
52
|
+
|
|
53
|
+
/**
|
|
54
|
+
* One participant's handle on the documents it works on, started by
|
|
55
|
+
* `ModelService.createSession`.
|
|
56
|
+
*
|
|
57
|
+
* The session writes only what it has open: `update`, `save` and `persist`
|
|
58
|
+
* fail with `DocumentNotOpenError` unless this session has the URI open in the
|
|
59
|
+
* synchronous step that applies or takes the text, so a write either lands
|
|
60
|
+
* while the document is open or fails. A document stays open until this
|
|
61
|
+
* session closes it, the session ends, or the file is deleted.
|
|
62
|
+
*
|
|
63
|
+
* One open per URI, without reference counting: opening a URI the session
|
|
64
|
+
* already has open changes nothing, and one `close` ends it.
|
|
65
|
+
*
|
|
66
|
+
* After `dispose`, every other member throws `SessionClosedError`
|
|
67
|
+
* synchronously, before returning a promise.
|
|
68
|
+
*
|
|
69
|
+
* Reads need no session and live on `ModelService`.
|
|
70
|
+
*/
|
|
71
|
+
export interface ClientSession<
|
|
72
|
+
TAst extends AstNode,
|
|
73
|
+
TDiagnostic extends AstDiagnostic = AstDiagnostic,
|
|
74
|
+
TTransfer extends TransferElement = TransferElement,
|
|
75
|
+
TOpenOptions extends OpenOptions = OpenOptions
|
|
76
|
+
> {
|
|
77
|
+
/** Unique in the process while the session is live: the author label on its writes and the key of its opens. */
|
|
78
|
+
readonly clientId: string;
|
|
79
|
+
readonly label: string;
|
|
80
|
+
|
|
81
|
+
/**
|
|
82
|
+
* Open `uri` for this session, reading it from disk unless some client has
|
|
83
|
+
* it open already or it holds this client's unsaved text within its release
|
|
84
|
+
* grace. `options` are kept for this open until it closes; a repeat open,
|
|
85
|
+
* concurrent or not, keeps the options of the first.
|
|
86
|
+
*/
|
|
87
|
+
open(uri: string, options?: TOpenOptions): Promise<void>;
|
|
88
|
+
/** The options this session opened `uri` with, or `undefined` when it gave none or does not have `uri` open. */
|
|
89
|
+
openOptions(uri: string): TOpenOptions | undefined;
|
|
90
|
+
/**
|
|
91
|
+
* Create a document with `text` and open it for this session. It reaches
|
|
92
|
+
* disk on the first `save`. Fails when the file exists, any client has the
|
|
93
|
+
* URI open, or the URI waits out the release grace, and of two creates of one
|
|
94
|
+
* URI at most one succeeds.
|
|
95
|
+
*
|
|
96
|
+
* Resolves with the version the created document took, which a write based
|
|
97
|
+
* on it names: once this resolves, the store's version may already be
|
|
98
|
+
* another client's write.
|
|
99
|
+
*/
|
|
100
|
+
create(uri: string, text: string): Promise<TextVersion>;
|
|
101
|
+
/**
|
|
102
|
+
* Write `args.model` into a document this session has open. Resolves to the
|
|
103
|
+
* rebuilt document once it is validated, in whichever build carried the
|
|
104
|
+
* write, so the answer holds every diagnostic its update event does: that
|
|
105
|
+
* event names this session, and a client dropping its own echo would
|
|
106
|
+
* otherwise never see them.
|
|
107
|
+
*/
|
|
108
|
+
update(args: ClientSessionWriteArgs<TTransfer>, cancelToken?: CancellationToken): Promise<AstDocument<TAst, TDiagnostic>>;
|
|
109
|
+
/**
|
|
110
|
+
* Write several documents this session has open, all or none: a
|
|
111
|
+
* `ConflictError` or `DocumentNotOpenError` for any of them is thrown before
|
|
112
|
+
* any text applies. Resolves to the rebuilt documents, in the order given,
|
|
113
|
+
* each validated as {@link update}'s is.
|
|
114
|
+
*/
|
|
115
|
+
updateAll(args: ClientSessionUpdateAllArgs<TTransfer>, cancelToken?: CancellationToken): Promise<AstDocument<TAst, TDiagnostic>[]>;
|
|
116
|
+
/** Write `args.model` as {@link update} does, then persist the document. */
|
|
117
|
+
save(args: ClientSessionWriteArgs<TTransfer>, cancelToken?: CancellationToken): Promise<SavedAstDocument<TAst, TDiagnostic>>;
|
|
118
|
+
/**
|
|
119
|
+
* Persist the text the store holds for `args.uri` as it is, with no update
|
|
120
|
+
* and no serialisation. Resolves with the version of the text written, once
|
|
121
|
+
* it is on disk, without waiting for a build. The saved event names this
|
|
122
|
+
* session, also when another client wrote the text.
|
|
123
|
+
*/
|
|
124
|
+
persist(args: ClientSessionPersistArgs): Promise<TextVersion>;
|
|
125
|
+
/** Close this session's open of `uri`, at once. A no-op when it does not have `uri` open. */
|
|
126
|
+
close(uri: string): Promise<void>;
|
|
127
|
+
/**
|
|
128
|
+
* Open `uri`, run `fn`, and close `uri` when `fn` settles, whether it
|
|
129
|
+
* returned or threw. A URI the session already had open, or is still
|
|
130
|
+
* opening through another call, stays open: the close undoes only the open
|
|
131
|
+
* this call made.
|
|
132
|
+
*/
|
|
133
|
+
withOpen<T>(uri: string, fn: () => MaybePromise<T>): Promise<T>;
|
|
134
|
+
/** Whether an event's `sourceClientId` names this session, i.e. the event echoes its own write. */
|
|
135
|
+
isOwnEcho(sourceClientId: string): boolean;
|
|
136
|
+
/**
|
|
137
|
+
* End the session: close everything it has open and free its id.
|
|
138
|
+
* Idempotent. `cause` is `'lost'` when the session ends because its
|
|
139
|
+
* client's connection went away, which lets each document it was the last
|
|
140
|
+
* to have open wait out the store's release grace; ending it for any other
|
|
141
|
+
* reason releases such a document at once.
|
|
142
|
+
*/
|
|
143
|
+
dispose(cause?: SessionEndCause): void;
|
|
144
|
+
/**
|
|
145
|
+
* Fires once the session has ended, its documents closed, with the cause it
|
|
146
|
+
* ended with. A takeover through `createSession` ends it as `'lost'` from
|
|
147
|
+
* another caller, so a holder that keeps per-session state releases it here.
|
|
148
|
+
*/
|
|
149
|
+
readonly onDidDispose: Event<SessionEndCause>;
|
|
150
|
+
}
|
|
151
|
+
|
|
152
|
+
/**
|
|
153
|
+
* The framework's {@link ClientSession}, built by
|
|
154
|
+
* {@link DefaultClientSessionFactory}.
|
|
155
|
+
*
|
|
156
|
+
* Override the protected method behind a member to change how every session
|
|
157
|
+
* writes, and return the subclass from a {@link ClientSessionFactory} bound on
|
|
158
|
+
* `model.ClientSessionFactory`. Serialising a model and rebuilding a document
|
|
159
|
+
* are the {@link ModelService}'s.
|
|
160
|
+
*
|
|
161
|
+
* An override of {@link dispose} calls `super.dispose(cause)`: that is what
|
|
162
|
+
* closes the session's opens and frees its id, and dropping `cause` reverts
|
|
163
|
+
* a lost client's documents without their grace.
|
|
164
|
+
*/
|
|
165
|
+
export class DefaultClientSession<
|
|
166
|
+
TAst extends AstNode,
|
|
167
|
+
TDiagnostic extends AstDiagnostic = AstDiagnostic,
|
|
168
|
+
TTransfer extends TransferElement = TransferElement,
|
|
169
|
+
TOpenOptions extends OpenOptions = OpenOptions
|
|
170
|
+
> implements ClientSession<TAst, TDiagnostic, TTransfer, TOpenOptions> {
|
|
171
|
+
protected disposed = false;
|
|
172
|
+
/**
|
|
173
|
+
* This session's opens still under way, by canonical URI. Recorded before
|
|
174
|
+
* the first await, so a second open of the same URI joins the first rather
|
|
175
|
+
* than racing it, and `withOpen` can tell an open another call is making.
|
|
176
|
+
*/
|
|
177
|
+
protected readonly pendingOpens = new Map<string, Promise<void>>();
|
|
178
|
+
/**
|
|
179
|
+
* The options of this session's opens, by canonical URI. A first open
|
|
180
|
+
* records its entry before the store has the URI open, and the entry goes
|
|
181
|
+
* when that open closes, whoever ends it: this session, or the store for a
|
|
182
|
+
* deleted file. A first open that fails never opens, so nothing closes it
|
|
183
|
+
* and its entry stays until the next first open of the URI overwrites it;
|
|
184
|
+
* {@link openOptions} therefore reads an entry only while the store has the
|
|
185
|
+
* URI open for this session.
|
|
186
|
+
*/
|
|
187
|
+
protected readonly openOptionsByUri = new Map<string, TOpenOptions | undefined>();
|
|
188
|
+
/** Drops an open's options from {@link openOptionsByUri} when the store closes the open. */
|
|
189
|
+
protected readonly closeListener: Disposable;
|
|
190
|
+
protected readonly disposeEmitter = new Emitter<SessionEndCause>();
|
|
191
|
+
/** Logs under `logName`, `ClientSession` when none is given, with this session's id in a bracket of its own, so a line names the session that wrote. */
|
|
192
|
+
protected readonly tracer: Tracer;
|
|
193
|
+
/** The service bound on `model.ModelService`, which serialises and rebuilds for this session. */
|
|
194
|
+
protected readonly modelService: ModelService<TAst, TDiagnostic, TTransfer>;
|
|
195
|
+
/** See {@link ClientSessionFactoryOptions.slowUpdateWarnMs}; `undefined` when not set. */
|
|
196
|
+
protected readonly slowUpdateWarn?: ObservableValue<number>;
|
|
197
|
+
readonly clientId: string;
|
|
198
|
+
readonly label: string;
|
|
199
|
+
|
|
200
|
+
constructor(
|
|
201
|
+
protected readonly services: ServerSharedServices,
|
|
202
|
+
options: ClientSessionOptions
|
|
203
|
+
) {
|
|
204
|
+
this.clientId = options.clientId;
|
|
205
|
+
this.label = options.label ?? options.clientId;
|
|
206
|
+
// The slot is shared across grammars; this session's types hold for the
|
|
207
|
+
// grammar that started it, as `createSession`'s narrowing does.
|
|
208
|
+
this.modelService = services.model.ModelService as ModelService<TAst, TDiagnostic, TTransfer>;
|
|
209
|
+
this.slowUpdateWarn = options.slowUpdateWarnMs !== undefined ? ObservableValue.from(options.slowUpdateWarnMs) : undefined;
|
|
210
|
+
this.tracer = services.Tracer.for(options.logName ?? 'ClientSession').with(this.clientId);
|
|
211
|
+
this.closeListener = services.workspace.TextDocuments.onDidClose(event => {
|
|
212
|
+
if (event.clientId === this.clientId) {
|
|
213
|
+
this.openOptionsByUri.delete(event.document.uri);
|
|
214
|
+
}
|
|
215
|
+
});
|
|
216
|
+
}
|
|
217
|
+
|
|
218
|
+
open(uri: string, options?: TOpenOptions): Promise<void> {
|
|
219
|
+
this.assertLive();
|
|
220
|
+
return this.openDocument(uri, options);
|
|
221
|
+
}
|
|
222
|
+
|
|
223
|
+
openOptions(uri: string): TOpenOptions | undefined {
|
|
224
|
+
this.assertLive();
|
|
225
|
+
return this.services.workspace.TextDocuments.isOpenInClient(uri, this.clientId)
|
|
226
|
+
? this.openOptionsByUri.get(this.canonicalKey(uri))
|
|
227
|
+
: undefined;
|
|
228
|
+
}
|
|
229
|
+
|
|
230
|
+
create(uri: string, text: string): Promise<TextVersion> {
|
|
231
|
+
this.assertLive();
|
|
232
|
+
return this.createDocument(uri, text);
|
|
233
|
+
}
|
|
234
|
+
|
|
235
|
+
update(args: ClientSessionWriteArgs<TTransfer>, cancelToken?: CancellationToken): Promise<AstDocument<TAst, TDiagnostic>> {
|
|
236
|
+
this.assertLive();
|
|
237
|
+
return this.updateDocument(args, cancelToken);
|
|
238
|
+
}
|
|
239
|
+
|
|
240
|
+
updateAll(args: ClientSessionUpdateAllArgs<TTransfer>, cancelToken?: CancellationToken): Promise<AstDocument<TAst, TDiagnostic>[]> {
|
|
241
|
+
this.assertLive();
|
|
242
|
+
return this.updateDocuments(args, cancelToken);
|
|
243
|
+
}
|
|
244
|
+
|
|
245
|
+
save(args: ClientSessionWriteArgs<TTransfer>, cancelToken?: CancellationToken): Promise<SavedAstDocument<TAst, TDiagnostic>> {
|
|
246
|
+
this.assertLive();
|
|
247
|
+
return this.saveDocument(args, cancelToken);
|
|
248
|
+
}
|
|
249
|
+
|
|
250
|
+
persist(args: ClientSessionPersistArgs): Promise<TextVersion> {
|
|
251
|
+
this.assertLive();
|
|
252
|
+
return this.persistDocument(args);
|
|
253
|
+
}
|
|
254
|
+
|
|
255
|
+
close(uri: string): Promise<void> {
|
|
256
|
+
this.assertLive();
|
|
257
|
+
return this.closeDocument(uri);
|
|
258
|
+
}
|
|
259
|
+
|
|
260
|
+
withOpen<T>(uri: string, fn: () => MaybePromise<T>): Promise<T> {
|
|
261
|
+
this.assertLive();
|
|
262
|
+
return this.runWithOpen(uri, fn);
|
|
263
|
+
}
|
|
264
|
+
|
|
265
|
+
isOwnEcho(sourceClientId: string): boolean {
|
|
266
|
+
this.assertLive();
|
|
267
|
+
return sourceClientId === this.clientId;
|
|
268
|
+
}
|
|
269
|
+
|
|
270
|
+
dispose(cause?: SessionEndCause): void {
|
|
271
|
+
if (this.disposed) {
|
|
272
|
+
return;
|
|
273
|
+
}
|
|
274
|
+
this.disposed = true;
|
|
275
|
+
this.services.workspace.TextDocuments.closeSession(this.clientId, cause);
|
|
276
|
+
this.closeListener.dispose();
|
|
277
|
+
this.disposeEmitter.fire(cause ?? 'closed');
|
|
278
|
+
this.disposeEmitter.dispose();
|
|
279
|
+
}
|
|
280
|
+
|
|
281
|
+
get onDidDispose(): Event<SessionEndCause> {
|
|
282
|
+
return this.disposeEmitter.event;
|
|
283
|
+
}
|
|
284
|
+
|
|
285
|
+
protected assertLive(): void {
|
|
286
|
+
if (this.disposed) {
|
|
287
|
+
throw new SessionClosedError(this.clientId);
|
|
288
|
+
}
|
|
289
|
+
}
|
|
290
|
+
|
|
291
|
+
/** Throw `DocumentNotOpenError` unless this session has `uri` open. */
|
|
292
|
+
protected assertOpen(uri: string): void {
|
|
293
|
+
if (!this.services.workspace.TextDocuments.isOpenInClient(uri, this.clientId)) {
|
|
294
|
+
throw new DocumentNotOpenError(uri, this.clientId);
|
|
295
|
+
}
|
|
296
|
+
}
|
|
297
|
+
|
|
298
|
+
/**
|
|
299
|
+
* Throw `ConflictError` when `baseVersion` names a version other than
|
|
300
|
+
* `currentVersion`. A write calls it at the door and again in the
|
|
301
|
+
* synchronous step that applies the text, and has to call it synchronously
|
|
302
|
+
* there: a check separated from the apply by an await lets two writes based
|
|
303
|
+
* on one version both apply.
|
|
304
|
+
*/
|
|
305
|
+
protected assertBaseVersion(uri: string, baseVersion: BaseVersion, currentVersion: number): void {
|
|
306
|
+
if (isModelVersion(baseVersion) && currentVersion !== baseVersion) {
|
|
307
|
+
// Distinct from the post-build "superseded" debug line of an update: this
|
|
308
|
+
// is a stale-base-version rejection (the write never applies), not two
|
|
309
|
+
// writes racing.
|
|
310
|
+
this.tracer.debug(`Conflict on ${uri}: stale base, model v${baseVersion} / text v${currentVersion}`);
|
|
311
|
+
throw new ConflictError(uri, baseVersion, currentVersion);
|
|
312
|
+
}
|
|
313
|
+
}
|
|
314
|
+
|
|
315
|
+
/**
|
|
316
|
+
* Serialise `args.model`, apply it to the store under this session's id,
|
|
317
|
+
* rebuild, and resolve to the rebuilt document.
|
|
318
|
+
*
|
|
319
|
+
* The open check and the `baseVersion` gate run at the door, so a write that
|
|
320
|
+
* cannot land is refused before any adopter serialiser runs, and again in
|
|
321
|
+
* the synchronous step that applies the text: made only before the
|
|
322
|
+
* serialiser's await, a close during it lets the write land on a document
|
|
323
|
+
* this session no longer has open, and two writes based on one version
|
|
324
|
+
* both apply.
|
|
325
|
+
*
|
|
326
|
+
* Resolves with the latest build of the document, which may already carry
|
|
327
|
+
* a newer write; that is logged at debug, and a slow update at warn when
|
|
328
|
+
* `ClientSessionFactoryOptions.slowUpdateWarnMs` is set. It waits for the
|
|
329
|
+
* builder's final phase rather than the write's own build: a later write
|
|
330
|
+
* cancels that build, and the one that takes over validates the document
|
|
331
|
+
* after the answer was taken.
|
|
332
|
+
*/
|
|
333
|
+
protected async updateDocument(
|
|
334
|
+
args: ClientSessionWriteArgs<TTransfer>,
|
|
335
|
+
cancelToken?: CancellationToken
|
|
336
|
+
): Promise<AstDocument<TAst, TDiagnostic>> {
|
|
337
|
+
const service = this.modelService;
|
|
338
|
+
const slowWarn = this.slowUpdateWarn && { threshold: this.slowUpdateWarn, stopwatch: this.services.Clock.stopwatch() };
|
|
339
|
+
const uri = this.canonicalKey(args.uri);
|
|
340
|
+
const profile = Logger.isLevelEnabled('debug') ? this.tracer.profile(`model-update ${uri}`) : undefined;
|
|
341
|
+
const run = async <T>(stage: string, fn: () => MaybePromise<T>): Promise<T> => (profile ? profile.scope(stage, fn) : fn());
|
|
342
|
+
const textDocuments = this.services.workspace.TextDocuments;
|
|
343
|
+
this.assertOpen(uri);
|
|
344
|
+
this.assertBaseVersion(uri, args.baseVersion, textDocuments.version(uri));
|
|
345
|
+
service.assertCanBuild(uri);
|
|
346
|
+
const text = await run('serialize', () => service.modelToText(uri, args.model, cancelToken));
|
|
347
|
+
const appliedVersion = await run('apply', () => {
|
|
348
|
+
this.assertOpen(uri);
|
|
349
|
+
this.assertBaseVersion(uri, args.baseVersion, textDocuments.version(uri));
|
|
350
|
+
return this.services.workspace.AstDocumentManager.update(uri, text, this.clientId);
|
|
351
|
+
});
|
|
352
|
+
// Through the public `rebuild`, so an override of it stays in the path.
|
|
353
|
+
// An override that awaits before calling the base can outlast the build
|
|
354
|
+
// this write already has, and then builds it twice; see
|
|
355
|
+
// `ModelService.rebuild`.
|
|
356
|
+
const doc = await run('rebuild', () => service.rebuild(uri, this.services.workspace.DocumentBuilder.finalBuildState(), cancelToken));
|
|
357
|
+
const finalVersion = textDocuments.version(uri);
|
|
358
|
+
if (finalVersion > appliedVersion) {
|
|
359
|
+
this.tracer.debug(`Update to v${appliedVersion} ready at v${finalVersion} (changed again before it settled)`);
|
|
360
|
+
} else {
|
|
361
|
+
this.tracer.debug(`Update to v${appliedVersion} ready`);
|
|
362
|
+
}
|
|
363
|
+
if (slowWarn) {
|
|
364
|
+
const elapsed = Math.round(slowWarn.stopwatch.elapsedMs);
|
|
365
|
+
const threshold = slowWarn.threshold.value;
|
|
366
|
+
if (elapsed >= threshold) {
|
|
367
|
+
this.tracer.withUri(uri).warn(`Slow update: ${elapsed}ms ≥ ${threshold}ms (v${appliedVersion}, client=${this.clientId})`);
|
|
368
|
+
}
|
|
369
|
+
}
|
|
370
|
+
profile?.report('debug');
|
|
371
|
+
return doc;
|
|
372
|
+
}
|
|
373
|
+
|
|
374
|
+
/**
|
|
375
|
+
* Write every document of `args.updates`, all or none: every model is
|
|
376
|
+
* serialised first, then every open check and `baseVersion` gate runs and every
|
|
377
|
+
* text is applied in one synchronous step. Checked at the door as well, so
|
|
378
|
+
* a stale set is refused before any adopter serialiser runs.
|
|
379
|
+
*
|
|
380
|
+
* The apply step relies on `AstDocumentManager.update` applying its text
|
|
381
|
+
* before its first await, as the default does: an override that awaits first
|
|
382
|
+
* lets another write land between two documents of the set.
|
|
383
|
+
*/
|
|
384
|
+
protected async updateDocuments(
|
|
385
|
+
args: ClientSessionUpdateAllArgs<TTransfer>,
|
|
386
|
+
cancelToken?: CancellationToken
|
|
387
|
+
): Promise<AstDocument<TAst, TDiagnostic>[]> {
|
|
388
|
+
const service = this.modelService;
|
|
389
|
+
const { updates } = args;
|
|
390
|
+
const textDocuments = this.services.workspace.TextDocuments;
|
|
391
|
+
const uris = updates.map(update => this.canonicalKey(update.uri));
|
|
392
|
+
if (new Set(uris).size !== uris.length) {
|
|
393
|
+
throw new Error(`updateAll names a document more than once: ${uris.join(', ')}`);
|
|
394
|
+
}
|
|
395
|
+
const check = (): void =>
|
|
396
|
+
updates.forEach((update, i) => {
|
|
397
|
+
this.assertOpen(uris[i]);
|
|
398
|
+
this.assertBaseVersion(uris[i], update.baseVersion, textDocuments.version(uris[i]));
|
|
399
|
+
service.assertCanBuild(uris[i]);
|
|
400
|
+
});
|
|
401
|
+
check();
|
|
402
|
+
const texts: string[] = [];
|
|
403
|
+
for (const [i, update] of updates.entries()) {
|
|
404
|
+
texts.push(await service.modelToText(uris[i], update.model, cancelToken));
|
|
405
|
+
}
|
|
406
|
+
// One synchronous step from the first check to the last apply: an await
|
|
407
|
+
// anywhere in it lets a close or another write land after its document
|
|
408
|
+
// was checked, and the set then half-applies before a later check fails.
|
|
409
|
+
check();
|
|
410
|
+
const applied = uris.map((uri, i) => this.services.workspace.AstDocumentManager.update(uri, texts[i], this.clientId));
|
|
411
|
+
await Promise.all(applied);
|
|
412
|
+
const state = this.services.workspace.DocumentBuilder.finalBuildState();
|
|
413
|
+
return Promise.all(uris.map(uri => service.rebuild(uri, state, cancelToken)));
|
|
414
|
+
}
|
|
415
|
+
|
|
416
|
+
/**
|
|
417
|
+
* Write `args.model` through {@link updateDocument}, then persist it through
|
|
418
|
+
* {@link persistDocument}, so an override of either applies to saves too.
|
|
419
|
+
*
|
|
420
|
+
* Fails with `DocumentNotOpenError` and writes nothing when this session
|
|
421
|
+
* closes the URI while the text is being built. Persisted at `'any'`: the
|
|
422
|
+
* update already gated on `args.baseVersion` and moved the text past it.
|
|
423
|
+
*/
|
|
424
|
+
protected async saveDocument(
|
|
425
|
+
args: ClientSessionWriteArgs<TTransfer>,
|
|
426
|
+
cancelToken?: CancellationToken
|
|
427
|
+
): Promise<SavedAstDocument<TAst, TDiagnostic>> {
|
|
428
|
+
const doc = await this.updateDocument(args, cancelToken);
|
|
429
|
+
const version = await this.persistDocument({ uri: args.uri, baseVersion: 'any' });
|
|
430
|
+
return { ...doc, persisted: { version } };
|
|
431
|
+
}
|
|
432
|
+
|
|
433
|
+
/**
|
|
434
|
+
* Persist the store's text for `args.uri` under this session's id. Every
|
|
435
|
+
* write to disk a session makes goes through here, so an override sees each
|
|
436
|
+
* of them.
|
|
437
|
+
*
|
|
438
|
+
* The open check and the `baseVersion` gate sit in the same synchronous step
|
|
439
|
+
* as the manager taking the text: an await between them lets another
|
|
440
|
+
* client's write land after the gate, and its text is then persisted under
|
|
441
|
+
* this session's id without this session ever having seen it. An override
|
|
442
|
+
* that awaits before calling the base lets a diagram save take its
|
|
443
|
+
* documents' texts at different moments, and a diagram that ends during the
|
|
444
|
+
* await fails the documents not yet taken with `DocumentNotOpenError`.
|
|
445
|
+
*/
|
|
446
|
+
protected async persistDocument(args: ClientSessionPersistArgs): Promise<TextVersion> {
|
|
447
|
+
const uri = this.canonicalKey(args.uri);
|
|
448
|
+
this.assertOpen(uri);
|
|
449
|
+
this.assertBaseVersion(uri, args.baseVersion, this.services.workspace.TextDocuments.version(uri));
|
|
450
|
+
return this.services.workspace.AstDocumentManager.save(uri, this.clientId);
|
|
451
|
+
}
|
|
452
|
+
|
|
453
|
+
protected async closeDocument(uri: string): Promise<void> {
|
|
454
|
+
await this.services.workspace.AstDocumentManager.close({ uri, clientId: this.clientId });
|
|
455
|
+
}
|
|
456
|
+
|
|
457
|
+
/** Open `uri`, or join the open of it this session already has under way, whose options then stand. */
|
|
458
|
+
protected openDocument(uri: string, options: TOpenOptions | undefined): Promise<void> {
|
|
459
|
+
const key = this.canonicalKey(uri);
|
|
460
|
+
const pending = this.pendingOpens.get(key);
|
|
461
|
+
if (pending) {
|
|
462
|
+
return pending;
|
|
463
|
+
}
|
|
464
|
+
const opening = this.registerOpen(uri, options).finally(() => {
|
|
465
|
+
if (this.pendingOpens.get(key) === opening) {
|
|
466
|
+
this.pendingOpens.delete(key);
|
|
467
|
+
}
|
|
468
|
+
});
|
|
469
|
+
this.pendingOpens.set(key, opening);
|
|
470
|
+
return opening;
|
|
471
|
+
}
|
|
472
|
+
|
|
473
|
+
/**
|
|
474
|
+
* Open `uri` in the store for this session. The open path does not thread
|
|
475
|
+
* cancellation: the file read behind it takes no token, so a cancelled
|
|
476
|
+
* caller still completes the open.
|
|
477
|
+
*
|
|
478
|
+
* A first open records its options before the store opens the URI, so a
|
|
479
|
+
* listener of the store's open reads this open's options rather than an
|
|
480
|
+
* earlier one's.
|
|
481
|
+
*/
|
|
482
|
+
protected async registerOpen(uri: string, options: TOpenOptions | undefined): Promise<void> {
|
|
483
|
+
const wasOpen = this.services.workspace.TextDocuments.isOpenInClient(uri, this.clientId);
|
|
484
|
+
if (!wasOpen) {
|
|
485
|
+
this.openOptionsByUri.set(this.canonicalKey(uri), options);
|
|
486
|
+
}
|
|
487
|
+
await this.services.workspace.AstDocumentManager.open({ uri, clientId: this.clientId });
|
|
488
|
+
await this.rejectIfEnded(uri, wasOpen);
|
|
489
|
+
}
|
|
490
|
+
|
|
491
|
+
protected canonicalKey(uri: string): string {
|
|
492
|
+
return this.services.workspace.DocumentUriPolicy.canonicalUri(uri);
|
|
493
|
+
}
|
|
494
|
+
|
|
495
|
+
protected async createDocument(uri: string, text: string): Promise<TextVersion> {
|
|
496
|
+
if (await this.services.workspace.FileSystemProvider.exists(UriUtils.toUri(uri))) {
|
|
497
|
+
throw new Error(`Cannot create ${uri}: the file exists`);
|
|
498
|
+
}
|
|
499
|
+
this.assertLive();
|
|
500
|
+
if (this.services.workspace.TextDocuments.isReleaseDeferred(uri)) {
|
|
501
|
+
throw new Error(`Cannot create ${uri}: it holds the unsaved text of a lost client, waiting out the release grace`);
|
|
502
|
+
}
|
|
503
|
+
if (this.modelService.isOpen(uri)) {
|
|
504
|
+
throw new Error(`Cannot create ${uri}: it is open in a client`);
|
|
505
|
+
}
|
|
506
|
+
// The check above cannot see an open that registers while this one is
|
|
507
|
+
// under way, and opening an already-open URI only attaches, dropping
|
|
508
|
+
// `text`. Only an open that creates the document fires `onDidOpen`, so
|
|
509
|
+
// hearing it for this session, during this open, is what proves the
|
|
510
|
+
// document holds `text`; the client list afterwards cannot, since a
|
|
511
|
+
// client that registered first may have closed again by then.
|
|
512
|
+
const key = this.canonicalKey(uri);
|
|
513
|
+
let created: TextVersion | undefined;
|
|
514
|
+
const listener = this.services.workspace.TextDocuments.onDidOpen(event => {
|
|
515
|
+
if (event.clientId === this.clientId && event.document.uri === key) {
|
|
516
|
+
created = event.document.version;
|
|
517
|
+
}
|
|
518
|
+
});
|
|
519
|
+
try {
|
|
520
|
+
await this.services.workspace.AstDocumentManager.open({ uri, clientId: this.clientId, text });
|
|
521
|
+
} finally {
|
|
522
|
+
listener.dispose();
|
|
523
|
+
}
|
|
524
|
+
await this.rejectIfEnded(uri, false);
|
|
525
|
+
if (created === undefined) {
|
|
526
|
+
await this.closeDocument(uri);
|
|
527
|
+
throw new Error(`Cannot create ${uri}: it is open in a client`);
|
|
528
|
+
}
|
|
529
|
+
return created;
|
|
530
|
+
}
|
|
531
|
+
|
|
532
|
+
protected async runWithOpen<T>(uri: string, fn: () => MaybePromise<T>): Promise<T> {
|
|
533
|
+
// An open another call of this session is still making counts as made:
|
|
534
|
+
// closing it afterwards would take away an open that call asked for.
|
|
535
|
+
const alreadyOpen =
|
|
536
|
+
this.services.workspace.TextDocuments.isOpenInClient(uri, this.clientId) || this.pendingOpens.has(this.canonicalKey(uri));
|
|
537
|
+
await this.openDocument(uri, undefined);
|
|
538
|
+
try {
|
|
539
|
+
return await fn();
|
|
540
|
+
} finally {
|
|
541
|
+
if (!alreadyOpen && !this.disposed) {
|
|
542
|
+
await this.closeDocument(uri);
|
|
543
|
+
}
|
|
544
|
+
}
|
|
545
|
+
}
|
|
546
|
+
|
|
547
|
+
/**
|
|
548
|
+
* Undo an open that completed after the session ended, then fail it.
|
|
549
|
+
*
|
|
550
|
+
* Ending the session closed only what it had open at that moment. An open
|
|
551
|
+
* still reading from disk registers afterwards, under an id that is no
|
|
552
|
+
* longer a session, and nothing would ever close it.
|
|
553
|
+
*
|
|
554
|
+
* Opens are keyed by id, so once a new session holds the same id this open
|
|
555
|
+
* is indistinguishable from one of its own, and closing it would close the
|
|
556
|
+
* new session's. It is left to that session, which releases it at its end.
|
|
557
|
+
*/
|
|
558
|
+
protected async rejectIfEnded(uri: string, wasOpen: boolean): Promise<void> {
|
|
559
|
+
if (!this.disposed) {
|
|
560
|
+
return;
|
|
561
|
+
}
|
|
562
|
+
if (!wasOpen && this.modelService.getSession(this.clientId) === undefined) {
|
|
563
|
+
await this.closeDocument(uri);
|
|
564
|
+
}
|
|
565
|
+
throw new SessionClosedError(this.clientId);
|
|
566
|
+
}
|
|
567
|
+
}
|
|
568
|
+
|
|
569
|
+
/** Constructor options for {@link DefaultClientSessionFactory}. */
|
|
570
|
+
export interface ClientSessionFactoryOptions extends LogNameOptions {
|
|
571
|
+
/**
|
|
572
|
+
* The name the factory and every session it builds log under, so one
|
|
573
|
+
* option renames both. Default: `ClientSessionFactory` for the factory,
|
|
574
|
+
* and `ClientSession` for a session, which adds its client id in a bracket
|
|
575
|
+
* of its own.
|
|
576
|
+
*/
|
|
577
|
+
readonly logName?: string;
|
|
578
|
+
/**
|
|
579
|
+
* When set, a session's `update` logs a `warn` line if its end-to-end wait
|
|
580
|
+
* (serialise, apply, rebuild) takes at least this many milliseconds. Default
|
|
581
|
+
* `undefined`: no warn line, and no per-update stopwatch.
|
|
582
|
+
*
|
|
583
|
+
* Observability only: the update is neither aborted nor resolved
|
|
584
|
+
* differently. A hard timeout that throws is an override of
|
|
585
|
+
* `DefaultClientSession.updateDocument` racing the parent call against a
|
|
586
|
+
* deadline.
|
|
587
|
+
*
|
|
588
|
+
* A recommended starting threshold is 2-5 seconds; workspaces with very
|
|
589
|
+
* large documents or slow validation can exceed 5 s on a cold build. A
|
|
590
|
+
* `Settings.number` binding retunes it live.
|
|
591
|
+
*/
|
|
592
|
+
readonly slowUpdateWarnMs?: MaybeObservableValue<number>;
|
|
593
|
+
}
|
|
594
|
+
|
|
595
|
+
/**
|
|
596
|
+
* Constructor options for {@link DefaultClientSession}: the factory's options,
|
|
597
|
+
* which it forwards, plus the session's identity.
|
|
598
|
+
*/
|
|
599
|
+
export interface ClientSessionOptions extends ClientSessionFactoryOptions {
|
|
600
|
+
readonly clientId: string;
|
|
601
|
+
/** What the session is. Pass one: the client id stands in for it otherwise. */
|
|
602
|
+
readonly label?: string;
|
|
603
|
+
}
|
|
604
|
+
|
|
605
|
+
/**
|
|
606
|
+
* Builds the handle for a session `ModelService.createSession` has already
|
|
607
|
+
* registered, so registration and the uniqueness check cannot be skipped by
|
|
608
|
+
* binding a factory of one's own. Bind one on `model.ClientSessionFactory` to
|
|
609
|
+
* use a session class of your own. A factory that does not pass
|
|
610
|
+
* {@link ClientSessionFactoryOptions.slowUpdateWarnMs} on to its sessions
|
|
611
|
+
* loses their slow-update warn; subclassing {@link DefaultClientSessionFactory}
|
|
612
|
+
* keeps it.
|
|
613
|
+
*
|
|
614
|
+
* Typed for every grammar, since the slot is shared: `createSession` narrows
|
|
615
|
+
* the result to its caller's types.
|
|
616
|
+
*/
|
|
617
|
+
export interface ClientSessionFactory {
|
|
618
|
+
create(clientId: string, label: string): ClientSession<AstNode>;
|
|
619
|
+
}
|
|
620
|
+
|
|
621
|
+
/**
|
|
622
|
+
* The framework's {@link ClientSessionFactory}: a {@link DefaultClientSession}
|
|
623
|
+
* over the {@link ModelService} bound on `model.ModelService`, which the session
|
|
624
|
+
* serialises and rebuilds through. A model service constructed outside that
|
|
625
|
+
* slot therefore starts sessions that write through the bound one.
|
|
626
|
+
*
|
|
627
|
+
* A subclass that overrides {@link create} to build a session class of its
|
|
628
|
+
* own passes {@link options} on to that session's constructor; a session built
|
|
629
|
+
* without them has no slow-update warn and logs under the default name.
|
|
630
|
+
*/
|
|
631
|
+
export class DefaultClientSessionFactory implements ClientSessionFactory {
|
|
632
|
+
protected readonly tracer: Tracer;
|
|
633
|
+
|
|
634
|
+
constructor(
|
|
635
|
+
protected readonly services: ServerSharedServices,
|
|
636
|
+
protected readonly options: ClientSessionFactoryOptions = {}
|
|
637
|
+
) {
|
|
638
|
+
this.tracer = services.Tracer.for(options.logName ?? 'ClientSessionFactory').trace('instantiated');
|
|
639
|
+
}
|
|
640
|
+
|
|
641
|
+
create(clientId: string, label: string): ClientSession<AstNode> {
|
|
642
|
+
return new DefaultClientSession(this.services, { ...this.options, clientId, label });
|
|
643
|
+
}
|
|
644
|
+
}
|