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

[Bug 4992] Object identity needs to be clarified

From: <bugzilla@wiggum.w3.org>
Date: Wed, 05 Dec 2007 22:27:51 +0000
CC:
To: public-sml@w3.org
Message-Id: <E1J02id-000587-4B@wiggum.w3.org>

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





------- Comment #18 from virginia.smith@hp.com  2007-12-05 22:27 -------
The following editorial (organizational) change was made per comment #17. This
affects only 4.2.1 and 4.2.2 (and a newly created 4.2.3).
=====================
4.2.1 At Most One Target

Every non-null reference MUST target at most one element in a model. When a
recognized scheme in a reference resolves to more than one target then the
model MUST be declared invalid.

4.2.2 Consistent References

An SML model MUST be declared invalid when a recognized scheme resolves to a
target that's different from the target resolved to by another recognized
scheme or when one recognized scheme resolves and another does not.

4.2.3 Identical Targets

To determine if two targets are the same or different, a model validator MUST
obey the following rules. 

... remainder of section unchanged....
Received on Wednesday, 5 December 2007 22:27:58 UTC

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