tla2tools
The style of the TLA+ tools, tla2tools.jar.
- Formats
- TLA+
- In
ur.toml [format.tlaplus] style = "tla2tools"- Its options
- https://github.com/tlaplus/tlaplus
Formatted
Counter.tla, as written---- MODULE Counter ----
EXTENDS Naturals
VARIABLE x
Init == x=0
Next == x'=x+1
Spec == Init /\ [][Next]_x
====
ur format --style tla2tools Counter.tla---- MODULE Counter ----
EXTENDS Naturals
VARIABLE x
Init == x = 0
Next == x' = x + 1
Spec == Init /\ [][Next]_x
====
Defaults
The shared options, as tla2tools sets them when nothing configures it. Its own names for them are read from its configuration files, but ur.toml sets them by the shared name only.
| Option | Default | tla2tools calls it |
|---|---|---|
width | 80 | width |
indent.width | 2 | indent |
indent.style | ||
line-ending | "lf" | |
trailing-comma.add | "preserve" | |
trailing-comma.forces-break | false | |
quotes | "preserve" | |
target |
Its own options
tla2tools takes no options of its own beyond the shared ones.