Softanza
StartFrançais
Softanza
StartFrançais
Reference · stzList

CheckW()

CheckW: all items satisfy a W (DSL) condition. CheckW is the same -- now that the DSL is engine-backed (the perf/expressiveness split is gone).

Basic examples (2)

Softanza
o1 = new stzList([ "A", "B", "C" ])
? o1.CheckW('{ isString(@item) and IsUppercase(@item) }')
Output
1

run on 2026-10-02 04:23 inside the library at commit 0e72e2e2c; taken from 612_checkw.ring(opens in a new tab)

Softanza
o1 = new stzList([ 1:3, 1:3, 1:3 ])
? o1.CheckWF( func x { return isList(x) and len(x) = 3 } )
Output
1

run on 2026-10-02 04:23 inside the library at commit 0e72e2e2c; taken from 614_checkwxt.ring(opens in a new tab)

Scope (2)

Softanza
o1 = new stzList([ "A", 5, "B", "C" ])
? o1.CheckW('{ isString(@item) and IsUppercase(@item) }')
Output
0

run on 2026-10-02 04:23 inside the library at commit 0e72e2e2c; taken from 611_checkw.ring(opens in a new tab)

Softanza
o1 = new stzList([ 1:3, 1:3, 1:3, 5 ])
? o1.CheckWF( func x { return isList(x) and len(x) = 3 } )
Output
0

run on 2026-10-02 04:23 inside the library at commit 0e72e2e2c; taken from 613_checkwxt.ring(opens in a new tab)

The extensions of this method

Each extension, and whether it exists for this method; an extension that exists combines with the others (FindSTCS).

Extension
Exists
What it adds · The names
Q
no
does what the method does, then returns the object, so the call can be chained
QQ
no
chains on the next, more specific type of object (the Q ladder)
QQQ
no
chains on the most specific type of object (the Q ladder)
QRT
no
returns the result as an object of the requested type
CS
no
takes a case-sensitivity flag
ST
no
takes the position to start from (StartingAt)
IB
no
takes bounds that are included (IncludingBounds)
XT
no
the extended form: more parameters than the base method
XTT
no
yet another extension: a further extended form, after XT
Z
no
includes the position in what it returns
ZZ
no
returns positions as sections, [start, end]
W
no
selects by a condition
WF
no
selects by a condition, with the expressive keywords (@NextItem, @PreviousItem...)
D
no
takes a direction, forward or backward (Directional)
F
yes
takes a function (the condition or the update is given as a function); the forms document also uses F for the future form, which defers the action · CheckWF
Many
no
works on a collection of items instead of one (the plural form)
Except
no
takes exceptions, what to leave out (the exceptional form)
U
no
returns the result without duplication

Every example is a test file of the library, run inside the library for this page; only those whose output kept every promise their file wrote are shown.

See also