W3C home > Mailing lists > Public > public-sml@w3.org > December 2007

[Bug 4644] Allow assertions on local elements and types

From: <bugzilla@wiggum.w3.org>
Date: Thu, 13 Dec 2007 17:43:32 +0000
CC:
To: public-sml@w3.org
Message-Id: <E1J2s5s-0001B4-Ui@wiggum.w3.org>

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





------- Comment #6 from sandygao@ca.ibm.com  2007-12-13 17:43 -------
Copying my comments made in email...

Most changes mentioned in comment #5 look good. 2 additional comments:

1. "5.3.2 Schema Validity Rules"

Bullet 1 is implied by bullet 2:

"2. The value of {rules} for a local element declaration MUST be the empty
set."

2. How much do we need to say in "instance validity rules" sections

In most case, we just say "the instance MUST satisfy ...", without mentioning
"report violation" or "invalid". But bullet 4 of 5.3.3 has:

"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."

It is better to treat all constraints consistently. Maybe
a. Recast the sentence to follow the "instance MUST" pattern, and
b. Have "invalid" etc. only in the conformance section.
Received on Thursday, 13 December 2007 17:43:41 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:56:08 UTC