GLSP Theia client: How to send data to the Theia Output pane from the GLSP Java server?

[mrcalvin]

I would like to send results of some analysis performed in the Java GLSP server on a given source-model instance to the Output pane in the Theia client. I checked the project templates and the tutorials, and also the discussions, here. I clearly have missed the obvious?

[planger]

For this requirement, you'll need to connect GLSP API with Theia's API. Thus, this needs to go into your Theia integration package (cf. tasklist-theia) in order to be able get access to Theia's dependency injection container and make this available to your GLSP client package.

A good example of how to do that can be found in the GLSP-Theia selection module and other GLSP-Theia integration features. As you can see in the selection module, it binds the injectable class TheiaGLSPSelectionForwarder, which can get stuff from Theia's DI container injected, and make it available via the (TYPES.ISelectionListener) key in the GLSP client dependency injection container. Thus, in your GLSP client, you can then get the instance of TheiaGLSPSelectionForwarder with its values from the Theia API injected via @inject(TYPES.ISelectionListener) .... For other platform integrations, an alternative implementation can then be injected.

To hook up the feature module in your diagram, you'll have to add it to your Theia-specific diagram configuration (see e.g. TasklistDiagramConfiguration). There you can overwrite getContainerConfiguration() and add your feature module to the default list.

There is two patterns for actually implementing such an integration (cf. TheiaGLSPSelectionForwarder). Either you create an interface in the GLSP client (with methods writeToOutput(...)) used by other code in your GLSP client code and this interface is then implemented by your Theia-specific class (like with the selection forwarder example). Alternatively, you introduce an action that is then handled by your Theia-specific action handler (like it is done with the notification module). These actions can then be triggered by any other code of your GLSP client via the action dispatcher and handled by your Theia-specific implementation (see actions in the docs) based on the Theia API.

Now to the Theia-specific implementation:
To write something to Theia's output view, you can get injected the OutputChannelManager, create a new channel (getChannel('Your Channel')) and write to it (appendLine('Hello World')). So that part should be rather straightforward.

[rsoika]

Hi @mrcalvin , I do not know what you plan in detail but be aware also of the GLSP Validation feature that allows you to validate a model live and in batch mode (triggered from the Tool Palette)