search

ocadaruma / tlaplus-intellij-plugin

Intellij plugin for TLA+ formal specification language.
Apache License 2.0
52 stars 2 forks source link

Fix incorrect Pluscal translatation #10

Closed okue closed 2 years ago

okue commented 2 years ago

fixes https://github.com/ocadaruma/tlaplus-intellij-plugin/issues/9

Motivation:

https://github.com/ocadaruma/tlaplus-intellij-plugin/issues/9 Incorrectness of translate result cannot be fixed off course by this PR, this may work with most inputs.

Modifications:

Call PcalParams.resetParams() before translating PlusCal same as Translator.java#L51.

ocadaruma commented 2 years ago

@okue Published 0.4.7 and it's now waiting to get approved by JetBrains. (Will be available in Marketplace in 1~2 days) Or you can build locally by

$ ./gradlew buildPlugin
# Plugin zip will be generated here:
$ ls build/distributions/tlaplus-intellij-plugin-0.4.7-SNAPSHOT.zip
# You can install from "Install plugin from local disk" in the plugin preference.
okue commented 2 years ago

Thanks for review and publish!