Hi Craig,

please find the proposal for non-covered assertions in chapter 5.6.2 (Persistent-nontransactional-dirty) below. The proposal is based on spec version 9/12/2005.

Regards,
Michael

Proposal:

- Rename assertions A5.6.1-1 and A5.6.1-2 in this chapter to A5.6.2-1 and A5.6.2-2

- A5.6.2-3 [At some future point, the application can begin a transaction and incorporate the changes into the transactional state. Committing the transaction makes the changes made outside the transaction durable.]

- A5.6.2-4 [A persistent-nontransactional-dirty instance transitions to hollow if it is the parameter of evict or evictAll. This allows the application to remove instances from the set of instances whose state
is to be committed to the datastore.]

- A5.6.2-5 [If a datastore transaction is begun, commit will write the changes to the datastore with no checking as to the current state of the instances in the datastore. That is, the changes made outside the transaction together with any changes made inside the transaction will overwrite the current state of the datastore. The persistent-nontransactional-dirty instances will transition according to the RetainValues flag. With the RetainValues flag set to true, persistent-nontransactional-dirty instances will transition to persistent-nontransactional. With the RetainValues flag set to false, persistent-nontransactional-dirty instances will transition to hollow.]

- A5.6.2-6 [If a datastore transaction is begun, rollback will not write any changes to the datastore. The persistent-nontransactional-dirty instances will transition according to the RestoreValues flag. With the RestoreValues flag set to true, persistent-nontransactional-dirty instances will make no state transition, but the fields will be restored to their values as of the beginning of the transaction, and any changes made within the transaction will be discarded. With the RestoreValues flag set to false, persistent-nontransactional-dirty instances will transition to hollow.]

- A5.6.2-7 [If an optimistic transaction is begun, commit will write the changes to the datastore after checking as to the current state of the instances in the datastore. The changes made outside the transaction together with any changes made inside the transaction will update the current state of the datastore if the version checking is successful. The persistent-nontransactional-dirty instances will transition according to the RetainValues flag. With the RetainValues flag set to true, persistentnontransactional-dirty instances will transition to persistent-nontransactional. With the Retain-Values flag set to false, persistent-nontransactional-dirty instances will transition to hollow.]

- A5.6.2-8 [If an optimistic transaction is begun, rollback will not write any changes to the datastore. The persistent-nontransactional-dirty instances will transition according to the RestoreValues flag. With the RestoreValues flag set to true, persistent-nontransactional-dirty instances will make no state transition, but the fields will be restored to their values as of the beginning of the transaction, and any changes made within the transaction will be discarded. With the RestoreValues flag set to false, persistent-nontransactional-dirty instances will transition to hollow.]

--
-------------------------------------------------------------------
Michael Watzek                  [EMAIL PROTECTED] Engineering GmbH
mailto:[EMAIL PROTECTED]        Buelowstr. 66
Tel.:  ++49/30/235 520 36       10783 Berlin - Germany
Fax.:  ++49/30/217 520 12       http://www.spree.de/
-------------------------------------------------------------------

Reply via email to