TLX.Importer.PlusCalParser
(TLX v0.5.2)
Copy Markdown
Parses PlusCal algorithms (C-syntax and P-syntax) embedded in .tla files
into a structured map compatible with TLX.Importer.Codegen.
Summary
Functions
Parse a .tla file containing a PlusCal algorithm.
Convert parsed PlusCal into TLX DSL source code.
Functions
Parse a .tla file containing a PlusCal algorithm.
Returns a map with :module_name, :variables, :constants, :init,
:actions, :invariants, :processes, and :next_actions.
Convert parsed PlusCal into TLX DSL source code.
Delegates to TLX.Importer.Codegen.to_tlx/1.