2.5.10. Exception

TODO.

2.5.10.1. Instruction

exception.__begin_handler op1 op2 [exception::__BeginHandler]

Operator 1:label Operator 2:[ exception ]

Internal instruction beginning scope of an exception handler. Note that this instruction is used statically at compile-time, not exectued at run-time. It is thus subject to its static location, not control flow.

exception.__clear [exception::__Clear]

Internal instruction clearing any currently raised exception.

exception.__end_handler [exception::__EndHandler]

Internal instruction ending scope of most current exception handler. Note that this instruction is used statically at compile-time, not exectued at run-time. It is thus subject to its static location, not control flow.

exception.__get_and_clear target [exception::__GetAndClear]

Target:ref<exception>

Internal instruction returning the currently raised exception, clearing it.

exception.throw op1 [exception::Throw]

Operator 1:ref<exception>

Throws an exception, triggering the closest handler.