Description
Begin_Succeeded starts one unpublished transaction. Begin_Failed starts none.
Abort_Status
type Abort_Status is (Abort_Succeeded, Abort_Failed);
Both outcomes end the unpublished transaction without publication. Abort_Failed reports cleanup trouble but does not retain transaction ownership.
Enumeration literals
- Abort_Succeeded
- Abort_Failed
Begin_Status
type Begin_Status is (Begin_Succeeded, Begin_Failed);
Begin_Succeeded starts one unpublished transaction. Begin_Failed starts none.
Enumeration literals
- Begin_Succeeded
- Begin_Failed
Commit_Status
type Commit_Status is (Commit_Succeeded, Commit_Failed);
Commit_Succeeded publishes exactly once. Commit_Failed publishes nothing and leaves the transaction abortable.
Enumeration literals
- Commit_Succeeded
- Commit_Failed
Write_Status
type Write_Status is (Write_Succeeded, Write_Exhausted, Write_Failed);
Write_Succeeded accepts all supplied data. Write_Exhausted accepts exactly the reported longest prefix. Write_Failed accepts none. Every accepted byte remains unpublished.
Enumeration literals
- Write_Succeeded
- Write_Exhausted
- Write_Failed