Description
These outcomes describe synchronous, nonraising operations on one whole-document transaction. Begin_Failed owns no transaction; Commit_Failed publishes nothing; Abort always ends unpublished staging even when it reports Abort_Failed.
Abort_Status
type Abort_Status is (Abort_Succeeded, Abort_Failed);
Enumeration literals
- Abort_Succeeded
- Abort_Failed
Begin_Status
type Begin_Status is (Begin_Succeeded, Begin_Failed);
These outcomes describe synchronous, nonraising operations on one whole-document transaction. Begin_Failed owns no transaction; Commit_Failed publishes nothing; Abort always ends unpublished staging even when it reports Abort_Failed.
Enumeration literals
- Begin_Succeeded
- Begin_Failed
Commit_Status
type Commit_Status is (Commit_Succeeded, Commit_Failed);
Enumeration literals
- Commit_Succeeded
- Commit_Failed
Write_Status
type Write_Status is (Write_Succeeded, Write_Exhausted, Write_Failed);
Write_Succeeded accepts the complete supplied array. Write_Exhausted accepts exactly its longest prefix. Write_Failed accepts none. The corresponding Written value is a count independent of array bounds; empty data cannot report Write_Exhausted.
Enumeration literals
- Write_Succeeded
- Write_Exhausted
- Write_Failed