using:vscode:automatic_module_parsing

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision		 Previous revision
using:vscode:automatic_module_parsing [2024/10/19 19:13] – created fponziusing:vscode:automatic_module_parsing [2025/11/04 09:24] (current) – fponzi
Line 1: Line 1:
 ====== 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:
Line 17: Line 17:
  
 That’s it. From now on, every time you save a .tla file the extension will automatically run the ''%%TLA+: Parse module%%'' on it and report errors if there any. That’s it. From now on, every time you save a .tla file the extension will automatically run the ''%%TLA+: Parse module%%'' on it and report errors if there any.
 +
 +---
 +
 +<nspages -exclude -h1 -textNs="Browse Topics:">
  
  • using/vscode/automatic_module_parsing.1729365181.txt.gz
  • Last modified: 2024/10/19 19:13
  • by fponzi