@hydranium/cli 1.0.0-next.42 → 1.0.0-next.420

package/templates/theia/src/browser/__PROJECT_ID__-show-model-command.ts

@@ -0,0 +1,51 @@
+// `__NAME__: Show Model`: the current editor's file, text or diagram, read
+// through the data head, and its root type shown in a notification.
+
+import { Command, type CommandContribution, type CommandRegistry, MessageService, nls } from '@theia/core';
+import { ApplicationShell, NavigatableWidget } from '@theia/core/lib/browser';
+import { inject, injectable } from '@theia/core/shared/inversify';
+import { ALL_LANGUAGES } from '__PROTOCOL_PACKAGE__';
+import { __NAME__DataConnection } from './__PROJECT_ID__-data-connection.js';
+
+export const SHOW_MODEL_COMMAND = Command.toLocalizedCommand(
+   { id: '__PROJECT_ID__.showModel', label: 'Show Model', category: '__NAME__' },
+   '__PROJECT_ID__/showModel',
+   '__PROJECT_ID__/category'
+);
+
+@injectable()
+export class __NAME__ShowModelCommand implements CommandContribution {
+   @inject(__NAME__DataConnection) protected readonly connection: __NAME__DataConnection;
+   @inject(ApplicationShell) protected readonly shell: ApplicationShell;
+   @inject(MessageService) protected readonly messages: MessageService;
+
+   // Opened on the first run and kept: the connection ends it with the page.
+   protected session?: ReturnType<__NAME__DataConnection['createSession']>;
+
+   registerCommands(registry: CommandRegistry): void {
+      registry.registerCommand(SHOW_MODEL_COMMAND, { execute: () => this.showModel() });
+   }
+
+   protected async showModel(): Promise<void> {
+      // The main area's, so focus in a side panel such as the Explorer still finds the editor.
+      const widget = this.shell.getCurrentWidget('main');
+      const uri = NavigatableWidget.is(widget) ? widget.getResourceUri() : undefined;
+      if (
+         uri === undefined ||
+         !ALL_LANGUAGES.some(language => language.fileExtensions.some(extension => uri.path.base.endsWith(extension)))
+      ) {
+         this.messages.info(nls.localize('__PROJECT_ID__/showModel/noFile', 'Open a __NAME__ file first.'));
+         return;
+      }
+      this.session ??= this.connection.createSession('__PROJECT_ID__-show-model');
+      const root = await this.session.withOpenDocument({ uri: uri.toString() }, document => document.model?.root.$type);
+      this.messages.info(
+         nls.localize(
+            '__PROJECT_ID__/showModel/holds',
+            '{0} holds a {1}',
+            uri.path.base,
+            root ?? nls.localize('__PROJECT_ID__/showModel/noModel', 'document with no model')
+         )
+      );
+   }
+}

package/templates/theia/src/common/__PROJECT_ID__-glsp-contribution.ts

@@ -0,0 +1,3 @@
+// The id the page's GLSP client and the backend's forwarder meet under.
+
+export const __CONFIG_ROOT_CONST___GLSP_CONTRIBUTION_ID = '__PROJECT_ID__-glsp';

package/templates/theia/src/node/__PROJECT_ID__-connection-backend-module.ts

@@ -0,0 +1,12 @@
+// The reconnect hardening, backend side: the session outlives a dropped socket
+// for the application's `frontendConnectionTimeout`, and messages for the page
+// wait in a buffer of `theia.backend.config.connectionBufferBytes`.
+
+import { bindConnectionResilience } from '@hydranium/client-theia/node';
+import { BackendApplicationConfigProvider } from '@theia/core/lib/node/backend-application-config-provider';
+import { ContainerModule } from '@theia/core/shared/inversify';
+
+export default new ContainerModule((bind, _unbind, isBound, rebind) => {
+   const bufferBytes = BackendApplicationConfigProvider.get()['connectionBufferBytes'];
+   bindConnectionResilience(bind, isBound, rebind, { bufferBytes: typeof bufferBytes === 'number' ? bufferBytes : undefined });
+});

package/templates/theia/src/node/__PROJECT_ID__-data-backend-module.ts

@@ -0,0 +1,15 @@
+// Forwards the page's data channel to the port the servers extension answers
+// under its host command.
+
+import { createDataServerConnectionContainerModule, DataServerConnectionHandler } from '@hydranium/data-client-theia/node';
+import { injectable } from '@theia/core/shared/inversify';
+import { __CONFIG_ROOT_CONST___DATA_SERVER_HOST_COMMAND } from '__PROTOCOL_PACKAGE__';
+
+@injectable()
+export class __NAME__DataServerConnectionHandler extends DataServerConnectionHandler {
+   constructor() {
+      super({ portCommand: __CONFIG_ROOT_CONST___DATA_SERVER_HOST_COMMAND });
+   }
+}
+
+export default createDataServerConnectionContainerModule(__NAME__DataServerConnectionHandler);

package/templates/theia/src/node/__PROJECT_ID__-glsp-backend-module.ts

@@ -0,0 +1,16 @@
+// Forwards the page's GLSP channel to the port the servers extension answers
+// under its host command.
+
+import { createGlspConnectionContainerModule, GlspServerConnectionHandler } from '@hydranium/glsp-client-theia/node';
+import { injectable } from '@theia/core/shared/inversify';
+import { __CONFIG_ROOT_CONST___GLSP_SERVER_HOST_COMMAND } from '__PROTOCOL_PACKAGE__';
+import { __CONFIG_ROOT_CONST___GLSP_CONTRIBUTION_ID } from '../common/__PROJECT_ID__-glsp-contribution.js';
+
+@injectable()
+export class __NAME__GlspConnectionHandler extends GlspServerConnectionHandler {
+   constructor() {
+      super({ languageContributionId: __CONFIG_ROOT_CONST___GLSP_CONTRIBUTION_ID, portCommand: __CONFIG_ROOT_CONST___GLSP_SERVER_HOST_COMMAND });
+   }
+}
+
+export default createGlspConnectionContainerModule(__NAME__GlspConnectionHandler);

package/templates/theia/style/diagram.css

@@ -0,0 +1,20 @@
+/* The diagrams' colours, from Theia's theme rather than GLSP's colours for a
+   light canvas. Theia sizes the editor, so nothing here sets a height. */
+
+.sprotty {
+   background: var(--theia-editor-background);
+   color: var(--theia-editor-foreground);
+   font-family: var(--theia-ui-font-family);
+   font-size: var(--theia-ui-font-size1);
+}
+
+/* GLSP's stylesheet leaves shapes at the SVG defaults: a black fill, and no stroke on an edge. */
+.sprotty-node {
+   fill: var(--theia-editorWidget-background);
+   stroke: var(--theia-focusBorder);
+}
+
+.sprotty-edge {
+   fill: none;
+   stroke: var(--theia-editor-foreground);
+}

package/templates/theia/tsconfig.json

@@ -0,0 +1,24 @@
+// The extension, compiled to CommonJS in `lib/`, which the Theia application
+// bundles: `src/browser/` into the page, `src/node/` into the backend. The
+// decorator options are inversify's, and a stylesheet import is left to the
+// bundler, so tsc does not resolve it.
+{
+  "compilerOptions": {
+    "target": "ES2022",
+    "lib": ["ES2022", "DOM"],
+    "module": "NodeNext",
+    "moduleResolution": "NodeNext",
+    "rootDir": "src",
+    "outDir": "lib",
+    "strict": true,
+    "strictPropertyInitialization": false,
+    "experimentalDecorators": true,
+    "emitDecoratorMetadata": true,
+    "noUncheckedSideEffectImports": false,
+    "skipLibCheck": true,
+    "sourceMap": true,
+    "declaration": true,
+    "types": ["node"]
+  },
+  "include": ["src"]
+}

package/templates/vscode-servers/gitignore

@@ -0,0 +1,4 @@
+node_modules/
+out/
+syntaxes/
+*.tsbuildinfo

package/templates/vscode-servers/tsconfig.json

@@ -0,0 +1,19 @@
+// The extension, compiled to CommonJS in `out/`, which the extension host
+// loads. It runs in Node, so it has no DOM. The declarations are for the VS
+// Code extension, which imports the launch from `out/`.
+{
+  "compilerOptions": {
+    "target": "ES2022",
+    "lib": ["ES2022"],
+    "module": "NodeNext",
+    "moduleResolution": "NodeNext",
+    "rootDir": "src",
+    "outDir": "out",
+    "strict": true,
+    "skipLibCheck": true,
+    "sourceMap": true,
+    "declaration": true,
+    "types": ["node"]
+  },
+  "include": ["src"]
+}

package/templates/workspace/nodes.__EXTENSION__

@@ -0,0 +1,5 @@
+/** The first node, pointing at the second in the same file. Hover a name to read its comment. */
+node First -> Second
+
+/** A second node. */
+node Second

package/templates/workspace/references.__EXTENSION__

@@ -0,0 +1,2 @@
+/** Points at a node declared in nodes.__EXTENSION__: hover the target to read its comment from there. */
+node Third -> Second