[Bug 5101] sml 4.1.2 reference semantics

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

           Summary: sml 4.1.2 reference semantics
           Product: SML
           Version: unspecified
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Keywords: editorial
          Severity: normal
          Priority: P2
         Component: Core
        AssignedTo: cmsmcq@w3.org
        ReportedBy: johnarwe@us.ibm.com
         QAContact: public-sml@w3.org


Add new section 4.1.1.4 SML Reference Target
The node set a non-null SML reference resolves to is its target.  
SML null references have no target.
[Note: I worded the 1st sentence VERY carefully so it is consistent with
4.1.2.1 which (a) equates target to resolving the ref (b) allows a ref to
resolve to >1 target element].
This definition is used in multiple sections that follow, including 4.3 which
is now pretty distant.

4.1.2.1 At Most 1...
remove "(or resolve to)" since this is now covered above.

4.1.2.3 Null References
"A model validator MUST not attempt to..."
This constraint also applies to deref() implementations, a wider scope.

Received on Sunday, 30 September 2007 17:52:51 UTC