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, 06 Dec 2007 20:02:40 +0000
CC:
To: public-sml@w3.org
Message-Id: <E1J0Mvg-0005v8-LX@wiggum.w3.org>

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


kumarp@microsoft.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needsAgreement              |editorial




------- Comment #2 from kumarp@microsoft.com  2007-12-06 20:02 -------
I am including Michael's and Sandy's proposal for sake of completeness.

Resolution reached in Thu conf call on 12/6/07

<MSM> Proposal:  1 retain the existing rule allowing assertions only on global
      elements.  2 make an explicit rule that the restriction invariant must
      hold w.r.t. schematron assertions (as well as target* etc). 3 optionally
      observe that this means that a complex type R restricting a complex type
      B cannot replace a reference to a global element E in B with a local
      element E in R, if the global E has assertions.                   [11:55]
<Sandy> 1. assertions can only be specified on global element declaraions
                                                                        [11:57]
<Sandy> 2. assertions can only be specified on global complex type definitions
<Sandy> 3. assertions can be available on anonymous complex type (only via
        derivation/inheritance)
<Sandy> 4. assertions must satisfy complex type restriction rules (similar to
        target* constraints)
<Sandy> 5. if complex type T2 restricts complex type T1; T1 contains a
        reference to global element E with assertions; T2 contains a local E
        without assertions. This will be a restriction error.
<Sandy> 6. if compelx type T2 restricts complex type T1 and T1 has assertions,
        then those assertions are unioned with any other assertions specified
        on T2, if any.
<MSM> addendum:  when complex type B has assertions, they are automatically
      copied to / inherited by any restriction R of B, and unioned  with the
      assertions specified on the declaration for R.                    [11:58]
Received on Thursday, 6 December 2007 20:02:45 UTC

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