La bibliothèque se documente elle-même · Métaprogrammation et règles de code

stzPredicateSet

13 méthodes propres · 2 formes avec extensions, rangées sous leur méthode

la source: base/meta/stzPredicateSet.ring(s'ouvre dans un nouvel onglet) · Toutes les classes · La référence du domaine : Métaprogrammation et règles de code

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

Exemples : 0 viennent des tests de la bibliothèque ; 3 ont été composés à partir de la signature de chaque méthode et exécutés pour cette page, sur un objet neuf, par exemple o1 = new stzPredicateSet("house"). 10 méthodes n'en ont pas encore. Exemples exécutés le 2026-10-03 12:54 dans la bibliothèque au commit 0e72e2e2c.

Méthode

Explication, telle que la source la porte

init

(sans commentaire dans la source : le nom se lit comme une phrase) initaucune extension

SetName

(sans commentaire dans la source : le nom se lit comme une phrase) set nameaucune extension

Name_

(sans commentaire dans la source : le nom se lit comme une phrase) name_

exemple composé

o1 = new stzPredicateSet("house")
? o1.Name_()
#--> house

composé à partir de la signature, exécuté pour cette page

aucune extension

AddRule

(sans commentaire dans la source : le nom se lit comme une phrase) add ruleQCSXTZZZIBWU

AddInvariant

(sans commentaire dans la source : le nom se lit comme une phrase) add invariantQCSXTZZZIBWU

Rules

(sans commentaire dans la source : le nom se lit comme une phrase) rulesaucune extension

Invariants

(sans commentaire dans la source : le nom se lit comme une phrase) invariantsaucune extension

Seal

(sans commentaire dans la source : le nom se lit comme une phrase) seal

exemple composé

o1 = new stzPredicateSet("house")
? o1.Seal()
#--> 5b7132cf7f37d2edcd0964c3827ea70943eec78b9031639c0ca9ba5b7b06a340

composé à partir de la signature, exécuté pour cette page

aucune extension

LoadFrom

LOAD a sealed .stzrules back INTO this set -- the mirror of Save(), and the object's OWN act (LoadFrom: 'Load' is a Haro keyword).aucune extension

Save

(sans commentaire dans la source : le nom se lit comme une phrase) saveaucune extension

Verify

TRUE when the loaded seal matches the body -- a reviewer signs the seal; any silent edit to the rules breaks it.

exemple composé

o1 = new stzPredicateSet("house")
? o1.Verify()
#--> 0

composé à partir de la signature, exécuté pour cette page

aucune extension

EnforceOnCode

run ONLY this set's code rules over source; structured findingsaucune extension

EnforceOnGraph

run ONLY this set's graph invariants over a colored agent graphaucune extension