La bibliothèque se documente elle-même · Diagrammes et graphes
stzWorldGraph
19 méthodes propres · 0 formes avec extensions, rangées sous leur méthode
la source: base/graph/stzWorldGraph.ring(s'ouvre dans un nouvel onglet) · Toutes les classes · La référence du domaine : Diagrammes et graphes
Sous chaque méthode, ses extensions (Q CS XT Z ZZ IB W U) : en gras et cochée, elle existe ; barrée, elle n'existe pas. Les extensions et leur sens
Aucune méthode de cette classe n'a encore d'exemple : la page ne sait pas encore construire un objet de cette classe, ni composer les arguments de ses méthodes.
Méthode
Explication, telle que la source la porte
init
Give it a path to a world.json, or the JSON text itself.aucune extension
World
what was readaucune extension
ContractVersion
(sans commentaire dans la source : le nom se lit comme une phrase) contract versionaucune extension
Graph
(sans commentaire dans la source : le nom se lit comme une phrase) graphaucune extension
Symbols
(sans commentaire dans la source : le nom se lit comme une phrase) symbolsaucune extension
SymbolCount
(sans commentaire dans la source : le nom se lit comme une phrase) symbol countaucune extension
Refs
(sans commentaire dans la source : le nom se lit comme une phrase) refsaucune extension
RefCount
(sans commentaire dans la source : le nom se lit comme une phrase) ref countaucune extension
HasSymbol
looking things up --------------------------------------------------- Ids are matched case-insensitively -- the same rule the graph enforces.aucune extension
Symbol
(sans commentaire dans la source : le nom se lit comme une phrase) symbolaucune extension
NamesOfKind
The names of every symbol of one kind -- the projection every consumer of a symbol table starts from.aucune extension
IdsOfKind
(sans commentaire dans la source : le nom se lit comme une phrase) ids of kindaucune extension
Kinds
(sans commentaire dans la source : le nom se lit comme une phrase) kindsaucune 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.aucune 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.aucune extension
ReferencesTo
(sans commentaire dans la source : le nom se lit comme une phrase) references toaucune extension
Diagnostics
the verdictaucune extension
ErrorCount
(sans commentaire dans la source : le nom se lit comme une phrase) error countaucune extension
IsLawful
(sans commentaire dans la source : le nom se lit comme une phrase) is lawfulaucune extension