View this page as Markdown

OBSERVATION

A keyed READ scheduled at execution checkpoints, or an address-label declaration.

Family
Logical
Physical
JSON
Used by
3 functions
Examples
0 samples

Used by functions

Derived from generated function parameters and return types.

Returned as output

  • observation_fact

    Declares a human-readable label for an address without scheduling a READ.

    scalar function Offline 1 overload
  • observe

    Schedules one keyed READ at both the pre and terminal execution checkpoints.

    scalar function Offline 2 overloads
  • observe_after_step

    Schedules one keyed READ at the checkpoint after a zero-based PROGRAM step.

    scalar function Offline 1 overload