2002/ws/desc/wsdl20 wsdl20.xml,1.375,1.376

• From: Hugo Haas via cvs-syncmail <cvsmail@w3.org>
• Date: Tue, 22 Nov 2005 10:30:37 +0000
• To: public-ws-desc-eds@w3.org
• Message-Id: <20051122103037.30AA84F3E6@homer.w3.org>

Update of /sources/public/2002/ws/desc/wsdl20
In directory homer:/tmp/cvs-serv711

Modified Files:
	wsdl20.xml 
Log Message:
Fixed ParentId/ParentID inconsistencies


Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.375
retrieving revision 1.376
diff -C2 -d -r1.375 -r1.376
*** wsdl20.xml	21 Nov 2005 23:10:50 -0000	1.375
--- wsdl20.xml	22 Nov 2005 10:30:34 -0000	1.376
***************
*** 1626,1663 ****
        
        <axdef xmlns="http://www.w3.org/2004/zml">
!       	ParentId : NestedComponent <fun/> ID
        <where/>
        	<forall/> x : InterfaceFault @ <nl/>
!       	<t1/> ParentId(interfaceFault(x)) = x.parent
        <also/>
        	<forall/> x : InterfaceOperation @ <nl/>
!       	<t1/> ParentId(interfaceOp(x)) = x.parent
        <also/>
        	<forall/> x : InterfaceMessageReference @ <nl/>
!       	<t1/> ParentId(interfaceMessageRef(x)) = x.parent
        <also/>
        	<forall/> x : InterfaceFaultReference @ <nl/>
!       	<t1/> ParentId(interfaceFaultRef(x)) = x.parent
        <also/>
        	<forall/> x : BindingFault @ <nl/>
!       	<t1/> ParentId(bindingFault(x)) = x.parent
        <also/>
        	<forall/> x : BindingOperation @ <nl/>
!       	<t1/> ParentId(bindingOp(x)) = x.parent
        <also/>
        	<forall/> x : BindingMessageReference @ <nl/>
!       	<t1/> ParentId(bindingMessageRef(x)) = x.parent
        <also/>
        	<forall/> x : BindingFaultReference @ <nl/>
!       	<t1/> ParentId(bindingFaultRef(x)) = x.parent
        <also/>
        	<forall/> x : Endpoint @ <nl/>
!       	<t1/> ParentId(endpoint(x)) = x.parent
        <also/>
        	<forall/> x : Feature @ <nl/>
!       	<t1/> ParentId(feature(x)) = x.parent
        <also/>
        	<forall/> x : Property @ <nl/>
!       	<t1/> ParentId(property(x)) = x.parent
        </axdef>
        
--- 1626,1663 ----
        
        <axdef xmlns="http://www.w3.org/2004/zml">
!       	ParentID : NestedComponent <fun/> ID
        <where/>
        	<forall/> x : InterfaceFault @ <nl/>
!       	<t1/> ParentID(interfaceFault(x)) = x.parent
        <also/>
        	<forall/> x : InterfaceOperation @ <nl/>
!       	<t1/> ParentID(interfaceOp(x)) = x.parent
        <also/>
        	<forall/> x : InterfaceMessageReference @ <nl/>
!       	<t1/> ParentID(interfaceMessageRef(x)) = x.parent
        <also/>
        	<forall/> x : InterfaceFaultReference @ <nl/>
!       	<t1/> ParentID(interfaceFaultRef(x)) = x.parent
        <also/>
        	<forall/> x : BindingFault @ <nl/>
!       	<t1/> ParentID(bindingFault(x)) = x.parent
        <also/>
        	<forall/> x : BindingOperation @ <nl/>
!       	<t1/> ParentID(bindingOp(x)) = x.parent
        <also/>
        	<forall/> x : BindingMessageReference @ <nl/>
!       	<t1/> ParentID(bindingMessageRef(x)) = x.parent
        <also/>
        	<forall/> x : BindingFaultReference @ <nl/>
!       	<t1/> ParentID(bindingFaultRef(x)) = x.parent
        <also/>
        	<forall/> x : Endpoint @ <nl/>
!       	<t1/> ParentID(endpoint(x)) = x.parent
        <also/>
        	<forall/> x : Feature @ <nl/>
!       	<t1/> ParentID(feature(x)) = x.parent
        <also/>
        	<forall/> x : Property @ <nl/>
!       	<t1/> ParentID(property(x)) = x.parent
        </axdef>
        
***************
*** 12027,12034 ****
  		<t1/>	componentNamespace(<theta/>ComponentContext) = <nl/>
  		<t2/>		componentNamespace(<mu/>id : ID | <nl/>
! 		<t2/>		id = ParentId(c) @ <theta/>ComponentContext)
        </zed>
  
!       <z:see names="ComponentContext NestedComponent componentNamespace ID ParentId"/>
  
        </z:notation>
--- 12027,12034 ----
  		<t1/>	componentNamespace(<theta/>ComponentContext) = <nl/>
  		<t2/>		componentNamespace(<mu/>id : ID | <nl/>
! 		<t2/>		id = ParentID(c) @ <theta/>ComponentContext)
        </zed>
  
!       <z:see names="ComponentContext NestedComponent componentNamespace ID ParentID"/>
  
        </z:notation>

Received on Tuesday, 22 November 2005 10:31:16 UTC