Softanza
DémarrerEnglish
Softanza
DémarrerEnglish
Référence · stzRingCodeGraph

ScanSource()

Parse one Haro source string: class headers (with single-inheritance 'from X', stored in the shared MULTIPLE-inheritance shape as [X] or []), 'def' method registry, and body-line call candidates.

Exemples de base (2)

Softanza
oCG = new stzRingCodeGraph("")
oCG.ScanSource("class Bag" + nl + "def Len()" + nl + "	return 1" + nl, "s")
aF = oCG.CheckRules()          # the graph checks itself
# a finding carries all five unified keys
? HasKey(aF[1], :rule) and HasKey(aF[1], :subject) and HasKey(aF[1], :where) and
	     HasKey(aF[1], :severity) and HasKey(aF[1], :message)
# ...with :subject = the rule's domain
? aF[1][:subject]
aC = StzCheckCode("class Bag" + nl + "def Len()" + nl + "	return 1" + nl)
# it keeps :line (not :where)
? HasKey(aC[1], :line)
# ...and does NOT leak :subject -- its shape is frozen
? HasKey(aC[1], :subject)
Sortie
1
code
1
0

exécuté le 2026-10-02 04:22 dans la bibliothèque au commit 0e72e2e2c ; tiré de rulereport_narrated.ring(s'ouvre dans un nouvel onglet)

Softanza
oRep = new stzRuleReport("clean")
oAG = new stzAgentGraph("ok")
oAG.AddLLMActor("writer")
oAG.AddGuardian("gate")
oAG.AddEffect("send")
oAG.AddTraceSink("audit")
oAG.Proposes("writer", "gate")
oAG.Guards("gate", "send")
oAG.Feeds("gate", "send")
oAG.Traces("send", "audit")
oRep.Collect(oAG)
oCG = new stzRingCodeGraph("")
oCG.ScanSource("class Bag" + nl + "def Count()" + nl + "	return 1" + nl, "s")
oRep.Collect(oCG)
# no findings
? oRep.NumberOfFindings()
# ...the gate is sound
? oRep.IsSound()
Sortie
0
1

exécuté le 2026-10-02 04:22 dans la bibliothèque au commit 0e72e2e2c ; tiré de rulereport_narrated.ring(s'ouvre dans un nouvel onglet)

Les extensions de cette méthode

Chaque extension, et si elle existe pour cette méthode ; une extension qui existe se compose avec les autres (FindSTCS).

Extension
Existe
Ce qu'elle ajoute · Les noms
Q
non
fait ce que fait la méthode, puis rend l'objet, pour que l'appel puisse s'enchaîner
QQ
non
enchaîne sur le type d'objet suivant, plus précis (l'échelle des Q)
QQQ
non
enchaîne sur le type d'objet le plus précis (l'échelle des Q)
QRT
non
rend le résultat comme un objet du type demandé
CS
non
prend un indicateur de sensibilité à la casse
ST
non
prend la position de départ (StartingAt)
IB
non
prend des bornes incluses (IncludingBounds)
XT
non
la forme étendue : plus de paramètres que la méthode de base
XTT
non
encore une extension : une forme étendue de plus, après XT
Z
non
inclut la position dans ce qu'elle rend
ZZ
non
rend les positions comme des sections, [début, fin]
W
non
choisit selon une condition
WF
non
choisit selon une condition, avec les mots-clés expressifs (@NextItem, @PreviousItem...)
D
non
prend une direction, en avant ou en arrière (Directional)
F
non
prend une fonction (la condition ou la mise à jour est donnée comme une fonction) ; le document des formes emploie aussi F pour la forme future, qui diffère l'action
Many
non
travaille sur une collection d'éléments au lieu d'un seul (la forme plurielle)
Except
non
prend des exceptions, ce qu'il faut laisser de côté (la forme exceptionnelle)
U
non
rend le résultat sans doublon

Chaque exemple est un fichier de test de la bibliothèque, exécuté dans la bibliothèque pour cette page ; seuls ceux dont la sortie a tenu toutes les promesses écrites par leur fichier sont montrés. Les explications, les titres et le code sont ceux de la bibliothèque, en anglais.

Voir aussi