- From: Hugo Haas via cvs-syncmail <cvsmail@w3.org>
- Date: Wed, 05 Apr 2006 15:58:25 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20
In directory homer:/tmp/cvs-serv29265
Modified Files:
xmlspec.rnc
Log Message:
Updated
Index: xmlspec.rnc
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/xmlspec.rnc,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** xmlspec.rnc 10 Nov 2005 09:21:20 -0000 1.4
--- xmlspec.rnc 5 Apr 2006 15:58:23 -0000 1.5
***************
*** 1,2 ****
--- 1,18 ----
+ # comment this entity for publication
+ # <!ENTITY % sub.entities SYSTEM "entitiesedcopy.dtd" >
+
+ # uncomment the following entity for publication, and change the date
+ # in entitieswd.dtd
+
+ # Titles
+
+ # Latest version links. don't touch
+
+ # Acknowledgements
+
+ # XML Namespaces used in the drafts
+
+ # Misc entities. Feel free to add more
+
# ...............................................................
***************
*** 1484,1487 ****
--- 1500,1510 ----
# Change Log:
#
+ # 2006-02-26 ryman
+ # - added required attribute to assert element
+ # - specified enumerated values for class attribute of assert element
+ #
+ # 2005-11-16 ryman
+ # - added more Z elements
+ #
# 2005-11-01 ryman
# - added more Z elements
***************
*** 1506,1511 ****
#
assert = element assert { assert.attlist, p.pcd.mix.noassert* }
! assert.attlist &= attribute class { text }
assert.attlist &= attribute id { xsd:ID }
assert-summary =
element assert-summary { assert-summary.attlist, p.pcd.mix.noassert* }
--- 1529,1537 ----
#
assert = element assert { assert.attlist, p.pcd.mix.noassert* }
! assert.attlist &=
! attribute class { "component" | "document" | "exchange" | "message" }
assert.attlist &= attribute id { xsd:ID }
+ assert.attlist &=
+ [ a:defaultValue = "true" ] attribute required { "false" | "true" }?
assert-summary =
element assert-summary { assert-summary.attlist, p.pcd.mix.noassert* }
***************
*** 1528,1549 ****
z.see = element z:see { z.see.attlist, any }
z.see.attlist &= attribute names { text }?
z.schema = element z:schema { z.schema.attlist, any }
z.schema.attlist &= attribute name { text }?
schema = element schema { schema.attlist, any }
schema.attlist &= attribute name { text }?
- gendef = element gendef { gendef.attlist, any }
- gendef.attlist &= attribute params { text }?
z.zed = element z:zed { z.zed.attlist, any }
z.zed.attlist &= empty
zed = element zed { zed.attlist, any }
zed.attlist &= attribute name { text }?
- axdef = element axdef { axdef.attlist, any }
- axdef.attlist &= empty
also = element also { also.attlist, empty }
also.attlist &= empty
cup = element cup { cup.attlist, empty }
cup.attlist &= empty
defs = element defs { defs.attlist, empty }
defs.attlist &= empty
emptyset = element emptyset { emptyset.attlist, empty }
emptyset.attlist &= empty
--- 1554,1581 ----
z.see = element z:see { z.see.attlist, any }
z.see.attlist &= attribute names { text }?
+ axdef = element axdef { axdef.attlist, any }
+ axdef.attlist &= empty
+ gendef = element gendef { gendef.attlist, any }
+ gendef.attlist &= attribute params { text }?
z.schema = element z:schema { z.schema.attlist, any }
z.schema.attlist &= attribute name { text }?
schema = element schema { schema.attlist, any }
schema.attlist &= attribute name { text }?
z.zed = element z:zed { z.zed.attlist, any }
z.zed.attlist &= empty
zed = element zed { zed.attlist, any }
zed.attlist &= attribute name { text }?
also = element also { also.attlist, empty }
also.attlist &= empty
+ cap = element cap { cap.attlist, empty }
+ cap.attlist &= empty
+ cross = element cross { cross.attlist, empty }
+ cross.attlist &= empty
cup = element cup { cup.attlist, empty }
cup.attlist &= empty
defs = element defs { defs.attlist, empty }
defs.attlist &= empty
+ dom = element dom { dom.attlist, empty }
+ dom.attlist &= empty
emptyset = element emptyset { emptyset.attlist, empty }
emptyset.attlist &= empty
***************
*** 1568,1571 ****
--- 1600,1605 ----
mapsto = element mapsto { mapsto.attlist, empty }
mapsto.attlist &= empty
+ mu = element mu { mu.attlist, empty }
+ mu.attlist &= empty
nl = element nl { nl.attlist, empty }
nl.attlist &= empty
***************
*** 1586,1589 ****
--- 1620,1625 ----
power_1 = element power_1 { power_1.attlist, empty }
power_1.attlist &= empty
+ ran = element ran { ran.attlist, empty }
+ ran.attlist &= empty
rel = element rel { rel.attlist, empty }
rel.attlist &= empty
***************
*** 1632,1635 ****
--- 1668,1672 ----
| also
| zed
+ | cap
| spec
| t3
***************
*** 1647,1650 ****
--- 1684,1688 ----
| z.zed
| implies
+ | cross
| htbody
| defs
***************
*** 1654,1660 ****
--- 1692,1701 ----
| forall
| nl
+ | dom
+ | ran
| cup
| nat
| land
+ | mu
| htable
| itemizedlist
Received on Wednesday, 5 April 2006 15:59:23 UTC