← All compilation units

Flyology_JSON.Destinations

Description

Defines synchronous, nonraising result values for one unpublished whole-document destination transaction.

Abort_Status

type Abort_Status is (Abort_Succeeded, Abort_Failed);

Result of ending an unpublished transaction.

Enumeration literals
Abort_Succeeded

The destination ended the unpublished transaction normally.

Abort_Failed

Cleanup reported a failure, but the unpublished transaction still ended.

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

The destination started one unpublished transaction.

Begin_Failed

The destination started no transaction.

Commit_Status

type Commit_Status is (Commit_Succeeded, Commit_Failed);

Result of the whole-document publication request.

Enumeration literals
Commit_Succeeded

The complete staged document was published.

Commit_Failed

No staged octet was published; the transaction remains abortable.

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

The destination accepted every supplied octet.

Write_Exhausted

The destination accepted exactly its longest available prefix.

Write_Failed

The destination accepted no supplied octets.