The library documents itself · Diagramming & graphs

stzScopedRule

21 own methods · 0 forms written with extensions, listed under their method

the source: base/graph/stzPlasticRule.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

Examples: 0 come from the library's tests; 3 were composed from each method's signature and run for this page, on a fresh object, for example o1 = new stzScopedRule("r"). 18 methods have none yet. Examples run on 2026-10-03 20:23 inside the library at commit 0e72e2e2c.

Method

Explanation, as the source carries it

init

(no comment in the source: the name reads as a sentence) initno extension

Name_

(no comment in the source: the name reads as a sentence) name_

composed example

o1 = new stzScopedRule("r")
? o1.Name_()
#--> r

composed from the signature, run for this page

no extension

Claim

(no comment in the source: the name reads as a sentence) claimno extension

Reads

(no comment in the source: the name reads as a sentence) readsno extension

Writes

(no comment in the source: the name reads as a sentence) writesno extension

Order

(no comment in the source: the name reads as a sentence) order

composed example

o1 = new stzScopedRule("r")
? o1.Order()
#--> 0

composed from the signature, run for this page

no extension

Severity

(no comment in the source: the name reads as a sentence) severityno extension

SetClaim

THE SENTENCE THE RULE ASSERTS, in words a reader can disagree with. Required, and not decoration: half the defects above are a name that promised something the body did not do, and a name is not a sentence.no extension

SetScope

WHICH SUBJECTS THIS RULE GOVERNS -- the half no rule in this library has ever stated separately, and the half every scope defect lived in.no extension

SetClaimCheck

WHAT MUST BE TRUE of a subject the scope selected.no extension

SetCounter

SUBJECTS IT MUST NOT GOVERN. The negative sibling, at rule level.no extension

SetReads

WHAT IT READS AND WHAT IT WRITES, so an ordering defect is a fact about declarations rather than something found by rendering a picture and squinting at it.no extension

SetWrites

(no comment in the source: the name reads as a sentence) set writesno extension

SetOrder

WHEN IT RUNS, in the pipeline it belongs to. Only meaningful against the other rules' orders; the governor compares, never this class.no extension

SetSeverity

(no comment in the source: the name reads as a sentence) set severityno extension

SetUniversal

The REASON is required and is the whole safeguard. "Universal" asserted without one is indistinguishable from a scope predicate that broke, which is the case this layer exists to catch, so the escape hatch has to cost a sentence somebody can disagree with.no extension

IsUniversal

(no comment in the source: the name reads as a sentence) is universal

composed example

o1 = new stzScopedRule("r")
? o1.IsUniversal()
#--> 0

composed from the signature, run for this page

no extension

UniversalWhy

(no comment in the source: the name reads as a sentence) universal whyno extension

SubjectsIn

asking the rule about a pictureno extension

CounterSubjectsIn

(no comment in the source: the name reads as a sentence) counter subjects inno extension

Check

Findings for one picture, in the house shape. A rule with no claim check governs subjects and judges nothing, which the governor reports as its own kind of defect rather than silently passing.no extension