synit
/
synit-manual
1
0
Fork 0
Code Issues 2 Pull Requests Projects Releases Wiki Activity

Tweak

This commit is contained in:
Tony Garnock-Jones 2022-02-25 14:46:02 +01:00
parent b2af0a9e64
commit fd1e0d5258
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/operation/scripting.md
View File

@ -154,7 +154,8 @@ denoted by the active target register, where *pat* is the [dataspace
pattern](../glossary.md#dataspace-pattern) resulting from evaluation of *PatternExpr*, and
*ref* is a fresh [entity](../glossary.md#entity) whose behaviour is to execute *Instruction* in
response to assertions (resp. messages) carrying captured values from the binding-patterns in
*pat*.
*pat*. When the active target denotes a [dataspace](../glossary.md#dataspace) entity, the
`Observe` record establishes a subscription to matching assertions and messages.
Each time a matching assertion arrives at a *ref*, a new [facet](../glossary.md#facet) is
created, and *Instruction* is executed in the new facet. If the instruction creating the facet