The library documents itself · System programming
stzSystemScope
24 own methods · 0 forms written with extensions, listed under their method
the source: base/system/stzPlatformProfile.ring(opens in a new tab) · All classes · The area reference: System programming
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
No method of this class is run on this page: the class reaches files, the network, processes, the clock, chance or sound, and an example run here would only be an example of its effects. Each method carries the explanation the library gives of itself.
Method
Explanation, as the source carries it
init
(no comment in the source: the name reads as a sentence) initno extension
System
(no comment in the source: the name reads as a sentence) systemno extension
OSName
(no comment in the source: the name reads as a sentence) os nameno extension
Can
(no comment in the source: the name reads as a sentence) canno extension
Lacks
(no comment in the source: the name reads as a sentence) lacksno extension
UseOp
THE CORE. A capability-tagged, STRUCTURED operation (verb + args, so it can be lowered to target code later) in this scope. Three outcomes: forbidden by the scope -> RAISE (down-constrain, caught in dev) allowed, host can do it -> "native" (runs directly) allowed, host cannot -> "rehearsed" (up-enable, captured to deploy) A record is [ capability, verb, args, description, status ].no extension
Use
Generic capability use (no structured verb -- lowered as a comment).no extension
Allows
A non-raising check: does this scope ALLOW the capability?no extension
Forbids
(no comment in the source: the name reads as a sentence) forbidsno extension
WouldRehearse
Would using it be UP-ENABLED (allowed by the target, absent on the host)?no extension
Spawn
capability-tagged verbs (the design's ergonomic surface)no extension
ReadPin
(no comment in the source: the name reads as a sentence) read pinno extension
WritePin
(no comment in the source: the name reads as a sentence) write pinno extension
WriteFile
(no comment in the source: the name reads as a sentence) write fileno extension
ReadFile
(no comment in the source: the name reads as a sentence) read fileno extension
Connect
(no comment in the source: the name reads as a sentence) connectno extension
SetEnv
(no comment in the source: the name reads as a sentence) set envno extension
LoadLibrary
(no comment in the source: the name reads as a sentence) load libraryno extension
UseThreads
(no comment in the source: the name reads as a sentence) use threadsno extension
CheckedOperations
the two-worlds reportno extension
NumberOfChecked
(no comment in the source: the name reads as a sentence) number of checkedno extension
NativeOperations
The operations that RUN natively on the dev host.no extension
RehearsedOperations
The operations UP-ENABLED -- rehearsed for the target because the dev host cannot perform them. These are the deploy-time lowering candidates.no extension
Show
(no comment in the source: the name reads as a sentence) showno extension