The library documents itself · Diagramming & graphs
stzWorldGraph
19 own methods · 0 forms written with extensions, listed under their method
the source: base/graph/stzWorldGraph.ring(opens in a new tab) · All classes · The area reference: Diagramming & graphs
Under each method, its extensions (Q CS XT Z ZZ IB W U): bold and ticked, it exists; struck, it does not. The extensions and what they mean
No method of this class has an example yet: the page cannot build an object of this class yet, nor compose the arguments of its methods.
Method
Explanation, as the source carries it
init
Give it a path to a world.json, or the JSON text itself.no extension
World
what was readno extension
ContractVersion
(no comment in the source: the name reads as a sentence) contract versionno extension
Graph
(no comment in the source: the name reads as a sentence) graphno extension
Symbols
(no comment in the source: the name reads as a sentence) symbolsno extension
SymbolCount
(no comment in the source: the name reads as a sentence) symbol countno extension
Refs
(no comment in the source: the name reads as a sentence) refsno extension
RefCount
(no comment in the source: the name reads as a sentence) ref countno extension
HasSymbol
looking things up --------------------------------------------------- Ids are matched case-insensitively -- the same rule the graph enforces.no extension
Symbol
(no comment in the source: the name reads as a sentence) symbolno extension
NamesOfKind
The names of every symbol of one kind -- the projection every consumer of a symbol table starts from.no extension
IdsOfKind
(no comment in the source: the name reads as a sentence) ids of kindno extension
Kinds
(no comment in the source: the name reads as a sentence) kindsno extension
ZuiSymbolTable
The exact four arrays StzZui's zui verifier reads for its Level-3 checks (tools/zui, --symbols FILE). Without them it SKIPS those checks, because undecidable is silence, never a pass -- so this projection is what turns a world artifact into Level-3 coverage.no extension
ReferencesFrom
references ---------------------------------------------------------- Every reference SITE out of a symbol -- rows, not pairs, so two steps enforcing one norm are two answers with two spans.no extension
ReferencesTo
(no comment in the source: the name reads as a sentence) references tono extension
Diagnostics
the verdictno extension
ErrorCount
(no comment in the source: the name reads as a sentence) error countno extension
IsLawful
(no comment in the source: the name reads as a sentence) is lawfulno extension