[Bug 5760] New: definitions and uses of "target" disagree

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

           Summary: definitions and uses of "target" disagree
           Product: SML
           Version: LC
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Core
        AssignedTo: cmsmcq@w3.org
        ReportedBy: johnarwe@us.ibm.com
         QAContact: public-sml@w3.org


I believe this is an editorial issue.

In the current editor's draft, one finds the following:

2.2 Terminology
SML Reference Scheme      An SML Reference Scheme is a set of rules defining
the syntax used to create an instance of the reference scheme in the context of
an SML reference, plus a set of rules for resolving an instance of the
reference scheme to a set of target element nodes. 

Target    An element in a model to which an SML reference resolves is called
the target of that SML reference.

4.1.4 SML Reference Target
The node set that a non-null SML reference resolves to is its target. The
target of an SML reference MUST be part of the same SML model as the SML
reference. Null SML references have no target.

4.2.1 At Most One Target
Every non-null SML reference MUST target at most one element in a model. This
means that each recognized reference scheme used in the SML reference MUST NOT
resolve to more than one target. 

4.3 SML Reference Schemes
2. The set of rules that, when evaluated, resolve the SML reference to a set of
target element nodes.

4.3.1.1 smlxpath1() scheme
6. The element(s) targeted by a scheme instance are obtained by applying the
location path

4.2.6 Deterministic Evaluation of SML Constraints
...
   1.      The reference must have at most one target. [4.2.1 At Most One
Target]

4.2.7 sml:deref() XPath Extension Function
ii. If at least one of the attempted reference schemes resolves to more than
one target element, then 0 or 1 of the targets is added to O.
iii. If one attempted reference scheme resolves to a target different from the
target resolved by another attempted reference scheme, then 0 or 1 of the
targets is added to O.
iv. If one attempted reference scheme resolves and another doesn't, then 0 or 1
of the targets is added to O.
v. If none of the above is true (that is, all attempted reference schemes
resolve to the same one and only one target element, call it T), then one
target element (namely, T) is added to O, if it does not already exist in O.

There are also uses of target after this point, however they all appear to be
in the context of target* constraints, hence they are covered by 4.2.6 (above).

5.1 Constraints on SML References
sml:targetRequired      Used to specify that an SML reference's target element
is required to be present in the model.
sml:targetElement       Used to constrain the name of the SML reference's
target.
sml:targetType  Used to constrain the type of the SML reference's target.

Note the mixture of node-set, single element, target element nodes, and the
apparent assumption in deref that a target is at most 1 element.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Monday, 16 June 2008 17:14:12 UTC