W3C home > Mailing lists > Public > public-sml@w3.org > January 2008

[Bug 4644] Allow assertions on local elements and types

From: <bugzilla@wiggum.w3.org>
Date: Fri, 18 Jan 2008 08:41:33 +0000
CC:
To: public-sml@w3.org
Message-Id: <E1JFmn7-0004Mr-E8@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4644


kumarp@microsoft.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|editorial                   |needsReview




------- Comment #8 from kumarp@microsoft.com  2008-01-18 08:41 -------
FIxed as suggested in comment# 6.

[1]
Removed bullet #2.

[2]
changed the following:

from:
If an assert or report is violated, then the violation MUST be reported during
model validation together with the specified message. The model MUST be
declared invalid when this happens.

to:
All of the assertion tests in fired rules MUST succeed. 

The wording is based on the following terms defined in the schematron spec:

3.6 assertion test
assertion modelled or implemented by a Boolean query; an assertion test
"succeeds" or "fails"

3.23 valid with respect to a schema
member of the set of XML documents described by the schema: an instance
document is valid if no assertion tests
in fired rules of active patterns fail
Received on Friday, 18 January 2008 08:41:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 18 January 2008 08:41:41 GMT