tlaplus/tlaplus now exports EXTENDS relationships in SANY XML (cf. tlaplus/tlaplus#1309). The VS Code extension should consume this data instead of relying on hand-written source parsing for module dependency inference.
The extension already handles many EXTENDS scenarios, but mostly through local text parsing and heuristics. It currently does not ingest SANY XML <extends> into an explicit module graph.
Goal
Use SANY XML <extends> as the primary source for module dependency relationships, with source parsing retained only as fallback when XML is unavailable (dirty docs, parse errors, tool failures).
Plan
tlaplus/tlaplusnow exportsEXTENDSrelationships in SANY XML (cf. tlaplus/tlaplus#1309). The VS Code extension should consume this data instead of relying on hand-written source parsing for module dependency inference.The extension already handles many
EXTENDSscenarios, but mostly through local text parsing and heuristics. It currently does not ingest SANY XML<extends>into an explicit module graph.Goal
Use SANY XML
<extends>as the primary source for module dependency relationships, with source parsing retained only as fallback when XML is unavailable (dirty docs, parse errors, tool failures).Plan
ModuleNode.extendstla2tools.jarversion that includes PR #1309 behavior