Markus Alexander Kuppe

I can do that. To confirm, though, we have an agreement to remove *all* `@Pure` annotations in POJOs, not just `@Pure` on `toString` methods?

Thanks, I guess adding `@Pure` is a side-effect of `JsonRpcDataProcessor.generateImplMembers` then. ;-)

Any suggestions how to remove `@Pure` without rewriting `AccessorProcessor` and `EqualsHashCodeProcessor`? `@Pure` is hard-wired in `AccessorProcessor's` [getter generator](https://github.com/eclipse/xtext-lib/blob/d7c8e9dcbfba97cafb04a267bcf1380b4fb58185/org.eclipse.xtend.lib/xtend-gen/org/eclipse/xtend/lib/annotations/AccessorsProcessor.java#L203) and `EqualsHashCodeProcessors's` [addHashcode](https://github.com/eclipse/xtext-lib/blob/d7c8e9dcbfba97cafb04a267bcf1380b4fb58185/org.eclipse.xtend.lib/xtend-gen/org/eclipse/xtend/lib/annotations/EqualsHashCodeProcessor.java#L116)/[addEquals](https://github.com/eclipse/xtext-lib/blob/d7c8e9dcbfba97cafb04a267bcf1380b4fb58185/org.eclipse.xtend.lib/xtend-gen/org/eclipse/xtend/lib/annotations/EqualsHashCodeProcessor.java#L394). As a last resort, I can add a post-gen...

I appreciate your time but this PR has gone beyond my time budget (I will simply create dummies for `@Pure` and `ToStringBuilder` in my client jar). My fork of lsp4j...

There is no support to inherit from configs. Let `S.tla` be the "underlying" spec and `S.cfg` the corresponding config. As a workaround, you can reuse `S.cfg` when checking the model...

I've never tried this and don't know how this is supposed to work, but the extension simply spawns a TLC process https://github.com/tlaplus/vscode-tlaplus/blob/4a0d7233df210ebada17ba2252da7a6b14560c3d/src/tla2tools.ts#L132C24-L146

FWIW: The root cause of my problem is fixed by e575ab3d35d75a6f70488001fcba45690ebe9b3e

The latter. It works with www.cloudshark.org but doesn't with openwrt.cloudshark.org.

Is Win 10 both the OS of the local and the remote host?

The extension currently does not automatically generate a stub TLC config file for TLA+ specifications. In my opinion, the autogenerated config for PlusCal specifications is generally not useful unless it...