commit f527fae5c979cccc3e5d91236a639c3c8bdd452f parent 25976e3b1afeed838063ab4059bc7f9d74ead18d Author: Florian Dold <florian@dold.me> Date: Thu, 27 Mar 2025 01:40:38 +0100 tops: more explanation for derived props/attrs Diffstat:
| M | deployments/tops.rst | | | 12 | ++++++++++++ |
1 file changed, 12 insertions(+), 0 deletions(-)
diff --git a/deployments/tops.rst b/deployments/tops.rst @@ -1499,6 +1499,18 @@ When the AML officer submits a form, the AML SPA will derive some pre-defined attributes and events from the filled-in form. The AML Officer can change (override) these derived properties and events. +The derivation of properties is defined in pseudo-code. The following special +variables/functions are available: + +* ``oldProps``: Previous properties of the account (before the decision) +* ``newProps``: New properties of the account (i.e. the derived properties) +* ``form``: Form attributes of the AML form submitted by the AML officer +* ``emit(evt)``: Function that marks an event as emitted +* ``propBecameTrue(prop)``: Helper predicate that returns true iff a property was false or undefine before (in ``oldProps``) + and is now true (in ``newProps``). +* ``propBecameFalse(prop)``: Helper predicate that returns true iff a property was true before (in ``oldProps``) + and is now false or undefined (in ``newProps``). + vqf_902_1_officer ^^^^^^^^^^^^^^^^^