Proposal for Assertion InterfaceMessageReference-0042

Hi Gurus,

The mentioned assertion states "For each Interface Message Reference
component in the {interface message references} property of an Interface
Operation component, its {message label} property MUST be unique.".

Correct me if I am wrong, but can we have the XSD capture this constraint
explicitly ?

For instance,

<xs:element name="operation" type="wsdl:BindingOperationType">
  <xs:unique name="messageLabel">
    <xs:selector
xpath="(wsdl:input|wsdl:output:wsdl:infault|wsdl:outfault)">
     <xs:field xpath="@messageLabel">
    </xs:selectpr>
  </xs:unique>
</xs:element>

rgds,
Ram
-- 
Shift to the left, shift to the right!
Pop up, push down, byte, byte, byte!

-Ramkumar Menon
A typical Macroprocessor