[Mono-bugs] [Bug 68646][Maj] Changed - Exception parsing wsdl from wssdk

[bugzilla-daemon@bugzilla.ximian.com]

Please do not reply to this email- if you want to comment on the bug, go to the
URL shown below and enter your comments there.

Changed by atsushi@ximian.com.

http://bugzilla.ximian.com/show_bug.cgi?id=68646

--- shadow/68646	2004-10-22 10:59:56.000000000 -0400
+++ shadow/68646.tmp.17963	2004-10-22 14:34:15.000000000 -0400
@@ -176,6 +176,42 @@
 ------- Additional Comments From atsushi@ximian.com  2004-10-22 10:59 -------
 The critical problem of this WSDL document is that it will never be
 usable under MS.NET (it is no problem if this wsdl will never be open
 to MS.NET client).
 
 Sure, that XSD part might be certainly problem, regardless of it.
+
+------- Additional Comments From atsushi@ximian.com  2004-10-22 14:34 -------
+I think that error message is correct (and Java implementation of XML
+Schema is buggy). The related W3C XML Schema structures spec is
+{comtent type} property in "Complex Type Definition with complex
+content Schema Component" in section 3.4.2.
+http://www.w3.org/TR/xmlschema-1/#declare-type
+
+When extending complexType that contains complex content which has a
+complexType "non-empty" complex content as its base type (2.3 of
+{content type}), its {term} is specified as:
+
+ A model group whose {compositor} is sequence and whose {particles}
+are the particle of the {content type} of the type definition
+·resolved· to by the ·actual value· of the base [attribute] followed
+by the ·explicit content·.
+
+Here, the deriving complexType has {content type} whose {term} is
+"sequence". And then, the sequence must be compliant to the section 3.8.6.
+
+In section 3.8.6, there is "All Groups Limited" constraint that says:
+
+When a model group has {compositor} all  all of the following must be
+true:
+  1 one of the following must be true:
+    It appears only as the value of one or both of the following
+properties:
+    1.1 the {model group} property of a model group definition.
+    1.2 the {term} property of a particle with {max occurs}=1 which is
+part of a pair which constitutes the {content type} of a complex type
+definition.
+  2 The {max occurs} of all the particles in the {particles} of the
+group must be 0 or 1.
+
+The "sequence" does not satisfy those conditions, thus this "sequence"
+is regarded as containing incorrect schema component.