Non-Undoable Operations
How to handle non-undoable non-idempotent operations in txn3 ?
Require that such operations be testable
- After the operation runs, there must be a test operation that can tell whether it ran
- Typically, the non-undoable operation returns a description of the state of the device (before-state) and then changes the state of the device, and
- the test operation returns a description of the state of the device.
- E.g., State description can be a unique ticket/check/form number under the print head