RE: VERSION-CONTROL status reporting

Yes, I've gone and fixed that title.

Note though that the title is always of the form "must do or not do X",
i.e. what the postcondition gets you, and not "what went wrong".
(Sort of a glass half full vs. half empty issue :-).  So a standard
error message would be "Could not ensure xxx".  And
"Could not ensure property-invariant-violated" probably isn't
what we want (:-).

Cheers,
Geoff

-----Original Message-----
From: Jim Whitehead [mailto:ejw@cse.ucsc.edu]
Sent: Friday, February 09, 2001 2:05 AM
To: ietf-dav-versioning@w3.org
Subject: RE: VERSION-CONTROL status reporting



> And then lists as a Postcondition:
>
> > (DAV:already-under-version-control): If the request-URL identified
> > a resource already under version control at the time of the request,
> > the VERSION-CONTROL request MUST NOT change the DAV:checked-in or
> > DAV:checked-out property of that version-controlled resource.
>

Hmm, I think I was thrown off by the title of this precondition.  It seems
that the purpose of the postcondition is to flag when the property invariant
(DAV:checked-in' == DAV:checked-in) ^ (DAV:checked-out' == DAV:checked-out)
cannot be maintained, and so the name of the postcondition really should be
something like "DAV:property-invariant-violated".

- Jim

Received on Friday, 9 February 2001 07:36:13 UTC