This shows you the differences between two versions of the page.
| |
| using:vscode:automatic_module_parsing [2024/10/19 19:13] – created fponzi | using:vscode:automatic_module_parsing [2025/10/19 17:18] (current) – fponzi |
|---|
| ====== Automatic Module Parsing ====== | ====== Automatic Module Parsing ====== |
| |
| The extension provides the ''%%TLA+: Parse module%%'' command for both translating a PlusCal algorithm to TLA<html><sup></html>+<html></sup></html> code and parsing the resulting TLA<html><sup></html>+<html></sup></html> module. This command is so important in the specification writing process that you might want it to be executed every time you save a .tla file to get quicker response. | The extension provides the ''%%TLA+: Parse module%%'' command for both translating a PlusCal algorithm to TLA<sup>+</sup> code and parsing the resulting TLA<sup>+</sup> module. This command is so important in the specification writing process that you might want it to be executed every time you save a .tla file to get quicker response. |
| |
| There’s a simple way to do that: | There’s a simple way to do that: |
fponzi