currentDocument property

Precondition? currentDocument
getter/setter pair

An optional precondition on the document.

The write will fail if this is set and not met by the target document.

Implementation

Precondition? currentDocument;