2005-06-21 Atsushi Enomoto <atsushi@ximian.com>
[mono.git] / mcs / class / System.XML / System.Xml.Schema / XmlSchemaComplexType.cs
index 987ecc6e4b4d26a8052f7878b1de1f840d576629..9baea7d906ccbd4e9cc8a79aa2df911a1b7be268 100755 (executable)
@@ -1,6 +1,33 @@
-// Author: Dwivedi, Ajay kumar\r
-//            Adwiv@Yahoo.com\r
+//\r
+// System.Xml.Schema.XmlSchemaComplexType.cs\r
+//\r
+// Authors:\r
+//     Dwivedi, Ajay kumar  Adwiv@Yahoo.com\r
+//     Enomoto, Atsushi     ginga@kit.hi-ho.ne.jp\r
+//\r
+
+//
+// Permission is hereby granted, free of charge, to any person obtaining
+// a copy of this software and associated documentation files (the
+// "Software"), to deal in the Software without restriction, including
+// without limitation the rights to use, copy, modify, merge, publish,
+// distribute, sublicense, and/or sell copies of the Software, and to
+// permit persons to whom the Software is furnished to do so, subject to
+// the following conditions:
+// 
+// The above copyright notice and this permission notice shall be
+// included in all copies or substantial portions of the Software.
+// 
+// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+// NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+// LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+// OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+// WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+//
 using System;\r
+using System.Collections;\r
 using System.Xml;\r
 using System.ComponentModel;\r
 using System.Xml.Serialization;\r
@@ -19,20 +46,49 @@ namespace System.Xml.Schema
                private XmlSchemaDerivationMethod block;\r
                private XmlSchemaDerivationMethod blockResolved;\r
                private XmlSchemaContentModel contentModel;\r
-               private XmlSchemaContentType contentType;\r
+               private XmlSchemaParticle validatableParticle;\r
                private XmlSchemaParticle contentTypeParticle;\r
                private bool isAbstract;\r
                private bool isMixed;\r
                private XmlSchemaParticle particle;\r
-               \r
-               internal bool istoplevel = false;\r
-               private static string xmlname = "complexType";\r
+               private XmlSchemaContentType resolvedContentType;\r
+\r
+               internal bool ValidatedIsAbstract;\r
+               internal bool ParentIsSchema = false;\r
+\r
+               const string xmlname = "complexType";\r
+\r
+               private static XmlSchemaComplexType anyType;\r
 \r
-               public XmlSchemaComplexType()\r
+               internal static XmlSchemaComplexType AnyType {\r
+                       get {\r
+                               if (anyType == null) {\r
+                                       anyType = new XmlSchemaComplexType ();\r
+                                       anyType.Name = "";      // In MS.NET, it is not "anyType"\r
+                                       anyType.QNameInternal = XmlQualifiedName.Empty; // Not xs:anyType as well.\r
+#if BUGGY_MS_COMPLIANT\r
+                                       anyType.validatableParticle = XmlSchemaParticle.Empty; // This code makes validator handles these schemas incorrectly: particlesIb001, mgM013, mgH014, ctE004, ctD004\r
+#else\r
+                                       anyType.validatableParticle = XmlSchemaAny.AnyTypeContent;\r
+#endif\r
+                                       anyType.contentTypeParticle = anyType.validatableParticle;\r
+                                       anyType.DatatypeInternal = XmlSchemaSimpleType.AnySimpleType;\r
+                                       anyType.isMixed = true;\r
+                                       anyType.resolvedContentType = XmlSchemaContentType.Mixed;\r
+                               }\r
+                               return anyType;\r
+                       }\r
+               }\r
+\r
+               internal static readonly XmlQualifiedName AnyTypeName = new XmlQualifiedName ("anyType", XmlSchema.Namespace);\r
+\r
+               public XmlSchemaComplexType ()\r
                {\r
                        attributes = new XmlSchemaObjectCollection();\r
                        block = XmlSchemaDerivationMethod.None;\r
                        attributeUses = new XmlSchemaObjectTable();\r
+                       validatableParticle = XmlSchemaParticle.Empty;\r
+                       contentTypeParticle = validatableParticle;\r
                }\r
 \r
                #region Attributes\r
@@ -95,27 +151,13 @@ namespace System.Xml.Schema
                        get{ return  anyAttribute; }\r
                        set{ anyAttribute = value; }\r
                }\r
-\r
                #endregion\r
 \r
                #region XmlIgnore\r
                [XmlIgnore]\r
                public XmlSchemaContentType ContentType \r
                {\r
-                       get{\r
-                               XmlSchemaComplexContent xcc = \r
-                                       ContentModel as XmlSchemaComplexContent;\r
-                               if (xcc != null && xcc.IsMixed)\r
-                                       return XmlSchemaContentType.Mixed;\r
-\r
-                               XmlSchemaSimpleContent xsc = ContentModel as XmlSchemaSimpleContent;\r
-                               if (xsc != null)\r
-                                       return XmlSchemaContentType.TextOnly;\r
-\r
-                               return ContentTypeParticle != null ?\r
-                                       XmlSchemaContentType.ElementOnly :\r
-                                       XmlSchemaContentType.Empty;\r
-                       }\r
+                       get{ return resolvedContentType; }\r
                }\r
                [XmlIgnore]\r
                public XmlSchemaParticle ContentTypeParticle \r
@@ -137,8 +179,34 @@ namespace System.Xml.Schema
                {\r
                        get{ return attributeWildcard; }\r
                }\r
+\r
+#if NET_2_0\r
+               [XmlIgnore]\r
+               // LAMESPEC: This property is based on the premise that\r
+               // every particle has a unique name, but actually particles\r
+               // can be like:\r
+               // <sequence>\r
+               //  <element name='foo'/>\r
+               //  <element name='foo'>\r
+               //    <annotation>\r
+               //      <documentation>blah</documentation>\r
+               //    </annotation>\r
+               //  </element>\r
+               // </sequence>\r
+               //\r
+               // So with this signature this property can never be correct.\r
+               public XmlSchemaObjectTable LocalElements {\r
+                       get { throw new NotImplementedException (); }\r
+               }\r
+#endif\r
+\r
                #endregion\r
 \r
+               internal XmlSchemaParticle ValidatableParticle \r
+               {\r
+                       get{ return contentTypeParticle; }\r
+               }\r
+\r
                /// <remarks>\r
                /// 1. If ContentModel is present, neither particle nor Attributes nor AnyAttribute can be present.\r
                /// 2. If particle is present, \r
@@ -153,21 +221,47 @@ namespace System.Xml.Schema
                ///             4. block must be absent\r
                ///             \r
                /// </remarks>\r
-               [MonoTODO]\r
-               internal int Compile(ValidationEventHandler h, XmlSchema schema)\r
+               internal override int Compile (ValidationEventHandler h, XmlSchema schema)\r
                {\r
                        // If this is already compiled this time, simply skip.\r
                        if (this.IsComplied (schema.CompilationId))\r
-                               return 0;\r
+                               return errorCount;\r
+\r
+#if NET_2_0\r
+                       if (ContentModel != null)\r
+                               ContentModel.Parent = this;\r
+                       if (Particle != null)\r
+                               Particle.Parent = this;\r
+                       if (AnyAttribute != null)\r
+                               AnyAttribute.Parent = this;\r
+                       foreach (XmlSchemaObject obj in Attributes)\r
+                               obj.Parent = this;\r
+#endif\r
+\r
+                       ValidatedIsAbstract = isAbstract;\r
+\r
+                       if (isRedefinedComponent) {\r
+                               if (Annotation != null)\r
+                                       Annotation.isRedefinedComponent = true;\r
+                               if (AnyAttribute != null)\r
+                                       AnyAttribute.isRedefinedComponent = true;\r
+                               foreach (XmlSchemaObject obj in Attributes)\r
+                                       obj.isRedefinedComponent = true;\r
+                               if (ContentModel != null)\r
+                                       ContentModel.isRedefinedComponent = true;\r
+                               if (Particle != null)\r
+                                       Particle.isRedefinedComponent = true;\r
+                       }\r
 \r
-                       if(istoplevel)\r
+                       // block/final resolution\r
+                       if(ParentIsSchema || isRedefineChild)\r
                        {\r
                                if(this.Name == null || this.Name == string.Empty)\r
                                        error(h,"name must be present in a top level complex type");\r
                                else if(!XmlSchemaUtil.CheckNCName(Name))\r
                                        error(h,"name must be a NCName");\r
                                else\r
-                                       this.qName = new XmlQualifiedName(Name, schema.TargetNamespace);\r
+                                       this.QNameInternal = new XmlQualifiedName(Name, schema.TargetNamespace);\r
                                \r
                                if(Block != XmlSchemaDerivationMethod.None)\r
                                {\r
@@ -177,8 +271,9 @@ namespace System.Xml.Schema
                                        }\r
                                        else\r
                                        {\r
-                                               //TODO: Check what all is not allowed\r
-                                               blockResolved = Block & (XmlSchemaDerivationMethod.Extension | XmlSchemaDerivationMethod.Restriction);\r
+                                               if ((Block & XmlSchemaUtil.ComplexTypeBlockAllowed) != Block)\r
+                                                       error (h, "Invalid block specification.");\r
+                                               blockResolved = Block & XmlSchemaUtil.ComplexTypeBlockAllowed;\r
                                        }\r
                                }\r
                                else\r
@@ -188,24 +283,22 @@ namespace System.Xml.Schema
                                                blockResolved = XmlSchemaDerivationMethod.All;\r
                                                break;\r
                                        case XmlSchemaDerivationMethod.None:\r
-                                               blockResolved = XmlSchemaDerivationMethod.Extension | XmlSchemaDerivationMethod.Restriction;\r
+                                               blockResolved = XmlSchemaDerivationMethod.Empty;\r
                                                break;\r
                                        default:\r
-                                               blockResolved = schema.BlockDefault & (XmlSchemaDerivationMethod.Extension | XmlSchemaDerivationMethod.Restriction);\r
+                                               blockResolved = schema.BlockDefault & XmlSchemaUtil.ComplexTypeBlockAllowed;\r
                                                break;\r
                                        }\r
                                }\r
+\r
                                if(Final != XmlSchemaDerivationMethod.None)\r
                                {\r
                                        if(Final == XmlSchemaDerivationMethod.All)\r
-                                       {\r
                                                finalResolved = XmlSchemaDerivationMethod.All;\r
-                                       }\r
+                                       else if ((Final & XmlSchemaUtil.FinalAllowed) != Final)\r
+                                               error (h, "Invalid final specification.");\r
                                        else\r
-                                       {\r
-                                               //TODO: Check what all is not allowed\r
-                                               finalResolved = Final & (XmlSchemaDerivationMethod.Extension | XmlSchemaDerivationMethod.Restriction);\r
-                                       }\r
+                                               finalResolved = Final;\r
                                }\r
                                else\r
                                {\r
@@ -214,10 +307,10 @@ namespace System.Xml.Schema
                                                finalResolved = XmlSchemaDerivationMethod.All;\r
                                                break;\r
                                        case XmlSchemaDerivationMethod.None:\r
-                                               finalResolved = XmlSchemaDerivationMethod.Extension | XmlSchemaDerivationMethod.Restriction;\r
+                                               finalResolved = XmlSchemaDerivationMethod.Empty;\r
                                                break;\r
                                        default:\r
-                                               finalResolved = schema.FinalDefault & (XmlSchemaDerivationMethod.Extension | XmlSchemaDerivationMethod.Restriction);\r
+                                               finalResolved = schema.FinalDefault & XmlSchemaUtil.FinalAllowed;\r
                                                break;\r
                                        }\r
                                }\r
@@ -234,44 +327,32 @@ namespace System.Xml.Schema
                                        error(h,"block must be absent in a local complex type");\r
                        }\r
 \r
-                       if(ContentModel != null)\r
+                       // Process contents and BaseSchemaType\r
+                       if(contentModel != null)\r
                        {\r
                                if(anyAttribute != null || Attributes.Count != 0 || Particle != null)\r
                                        error(h,"attributes, particles or anyattribute is not allowed if ContentModel is present");\r
+                               errorCount += contentModel.Compile (h, schema);\r
 \r
-                               if(ContentModel is XmlSchemaSimpleContent)\r
-                               {\r
-                                       XmlSchemaSimpleContent smodel = (XmlSchemaSimpleContent)ContentModel;\r
-                                       errorCount += smodel.Compile(h,schema);\r
-                               }\r
-                               else if(ContentModel is XmlSchemaComplexContent)\r
+                               XmlSchemaSimpleContent smodel = ContentModel as XmlSchemaSimpleContent;\r
+                               if(smodel != null)\r
                                {\r
-                                       XmlSchemaComplexContent cmodel = (XmlSchemaComplexContent)ContentModel;\r
-                                       errorCount += cmodel.Compile(h,schema);\r
+                                       XmlSchemaSimpleContentExtension sscx = smodel.Content as XmlSchemaSimpleContentExtension;\r
+                                       if (sscx == null) {\r
+                                               XmlSchemaSimpleContentRestriction sscr = smodel.Content as XmlSchemaSimpleContentRestriction;\r
+                                               if (sscr != null) {\r
+                                                       if (sscr.BaseType != null) {\r
+                                                               sscr.BaseType.Compile (h, schema);\r
+                                                               BaseXmlSchemaTypeInternal = sscr.BaseType;\r
+                                                       }\r
+                                               }\r
+                                       }\r
                                }\r
                        }\r
                        else\r
                        {\r
-                               if(Particle is XmlSchemaGroupRef)\r
-                               {\r
-                                       XmlSchemaGroupRef xsgr = (XmlSchemaGroupRef)Particle;\r
-                                       errorCount += xsgr.Compile(h,schema);\r
-                               }\r
-                               else if(Particle is XmlSchemaAll)\r
-                               {\r
-                                       XmlSchemaAll xsa = (XmlSchemaAll)Particle;\r
-                                       errorCount += xsa.Compile(h,schema);\r
-                               }\r
-                               else if(Particle is XmlSchemaChoice)\r
-                               {\r
-                                       XmlSchemaChoice xsc = (XmlSchemaChoice)Particle;\r
-                                       errorCount += xsc.Compile(h,schema);\r
-                               }\r
-                               else if(Particle is XmlSchemaSequence)\r
-                               {\r
-                                       XmlSchemaSequence xss = (XmlSchemaSequence)Particle;\r
-                                       errorCount += xss.Compile(h,schema);\r
-                               }\r
+                               if (Particle != null)\r
+                                       errorCount += Particle.Compile (h, schema);\r
 \r
                                if(this.anyAttribute != null)\r
                                {\r
@@ -298,13 +379,679 @@ namespace System.Xml.Schema
                        this.CompilationId = schema.CompilationId;\r
                        return errorCount;\r
                }\r
-               \r
-               [MonoTODO]\r
-               internal int Validate(ValidationEventHandler h)\r
+\r
+               Guid CollectProcessId;\r
+\r
+               private void CollectSchemaComponent (ValidationEventHandler h, XmlSchema schema)\r
                {\r
+                       if (CollectProcessId == schema.CompilationId)\r
+                               return;\r
+                       // Below are already contributed by Compile():\r
+                       // {name}, {namespace} => QualifiedName, QNameInternal\r
+                       // {abstract} => ValidatedIsAbstract\r
+                       // {prohibited substitutions} => BlockResolved\r
+                       // {final} => FinalResolved\r
+                       // {annotations} => Annotation (XmlSchemaAnnotated)\r
+\r
+                       // Below are different properties depending on simpleContent | complexContent.\r
+                       // {base type definition}\r
+                       // {derivation method}\r
+                       // {attribute uses} => AttributeUses (later)\r
+                       // {attribute wildcard} => AttributeWildcard (later)\r
+                       // {content type}\r
+\r
+\r
+                       // {base type definition} => baseSchemaTypeInternal (later)\r
+                       if (contentModel != null) {\r
+                               BaseSchemaTypeName = contentModel.Content != null ? contentModel.Content.GetBaseTypeName () : XmlQualifiedName.Empty;\r
+\r
+                               BaseXmlSchemaTypeInternal = schema.SchemaTypes [BaseSchemaTypeName] as XmlSchemaType;\r
+                       }\r
+                       // Resolve redefine.\r
+                       if (this.isRedefineChild && BaseXmlSchemaType != null && this.QualifiedName == BaseSchemaTypeName) {\r
+                               XmlSchemaType redType = (XmlSchemaType) redefinedObject;\r
+                               if (redType == null)\r
+                                       error (h, "Redefinition base type was not found.");\r
+                               else\r
+                                       BaseXmlSchemaTypeInternal = redType;\r
+                       }\r
+\r
+                       // {derivation method} => resolvedDerivedBy\r
+                       if (contentModel != null && contentModel.Content != null) {\r
+                               resolvedDerivedBy =\r
+                                       contentModel.Content.IsExtension ?\r
+                                       XmlSchemaDerivationMethod.Extension :\r
+                                       XmlSchemaDerivationMethod.Restriction;\r
+                       }\r
+                       else\r
+                               resolvedDerivedBy = XmlSchemaDerivationMethod.Empty;\r
+\r
+\r
+                       // {content type} => ContentType and ContentTypeParticle (later)\r
+                       if (ContentModel != null) {\r
+                               CollectContentTypeFromContentModel (h, schema);\r
+                       } else\r
+                               CollectContentTypeFromImmediateContent ();\r
+                       contentTypeParticle = validatableParticle.GetOptimizedParticle (true);\r
+                       if (contentTypeParticle == XmlSchemaParticle.Empty && resolvedContentType == XmlSchemaContentType.ElementOnly)\r
+                               resolvedContentType = XmlSchemaContentType.Empty;\r
+\r
+                       CollectProcessId = schema.CompilationId;\r
+               }\r
+\r
+               #region {content type}\r
+               private void CollectContentTypeFromImmediateContent ()\r
+               {\r
+                       // leave resolvedDerivedBy as Empty\r
+                       if (Particle != null)\r
+                               validatableParticle = Particle;\r
+                       if (this == AnyType) {\r
+                               resolvedContentType = XmlSchemaContentType.Mixed;\r
+                               return;\r
+                       }\r
+\r
+                       if (validatableParticle == XmlSchemaParticle.Empty) {\r
+                               // note that this covers "Particle == null" case\r
+                               if (this.IsMixed)\r
+                                       resolvedContentType = XmlSchemaContentType.TextOnly;\r
+                               else\r
+                                       resolvedContentType = XmlSchemaContentType.Empty;\r
+                       } else {\r
+                               if (this.IsMixed)\r
+                                       resolvedContentType = XmlSchemaContentType.Mixed;\r
+                               else\r
+                                       resolvedContentType = XmlSchemaContentType.ElementOnly;\r
+                       }\r
+                       if (this != AnyType)\r
+                               BaseXmlSchemaTypeInternal = XmlSchemaComplexType.AnyType;\r
+               }\r
+\r
+               private void CollectContentTypeFromContentModel (ValidationEventHandler h, XmlSchema schema)\r
+               {\r
+                       if (ContentModel.Content == null) {\r
+                               // basically it is error. Recover by specifying empty content.\r
+                               validatableParticle = XmlSchemaParticle.Empty;\r
+                               resolvedContentType = XmlSchemaContentType.Empty;\r
+                               return;\r
+                       }\r
+\r
+                       if (ContentModel.Content is XmlSchemaComplexContentExtension)\r
+                               CollectContentTypeFromComplexExtension (h, schema);\r
+                       if (ContentModel.Content is XmlSchemaComplexContentRestriction)\r
+                               CollectContentTypeFromComplexRestriction ();\r
+               }\r
+\r
+               private void CollectContentTypeFromComplexExtension (ValidationEventHandler h, XmlSchema schema)\r
+               {\r
+                       XmlSchemaComplexContentExtension cce = (XmlSchemaComplexContentExtension) ContentModel.Content;\r
+                       XmlSchemaComplexType baseComplexType = this.BaseXmlSchemaType as XmlSchemaComplexType;\r
+                       if (baseComplexType != null)\r
+                               baseComplexType.CollectSchemaComponent (h ,schema);\r
+\r
+                       // It must exist, but consider validation error case.\r
+                       if (BaseSchemaTypeName == XmlSchemaComplexType.AnyTypeName)\r
+                               baseComplexType = XmlSchemaComplexType.AnyType;\r
+\r
+                       // On error case, it simple reject any contents\r
+                       if (baseComplexType == null) {\r
+                               validatableParticle = XmlSchemaParticle.Empty;\r
+                               resolvedContentType = XmlSchemaContentType.Empty;\r
+                               return;\r
+                       }\r
+\r
+                       // 3.4.2 complex content {content type}\r
+                       if (cce.Particle == null || cce.Particle == XmlSchemaParticle.Empty) {\r
+                               // - 2.1\r
+                               if (baseComplexType == null) {\r
+                                       // Basically it is an error. Considering ValidationEventHandler.\r
+                                       validatableParticle = XmlSchemaParticle.Empty;\r
+                                       resolvedContentType = XmlSchemaContentType.Empty;\r
+                               } else {\r
+                                       validatableParticle = baseComplexType.ValidatableParticle;\r
+                                       resolvedContentType = baseComplexType.resolvedContentType;\r
+                               }\r
+                       } else if (baseComplexType.validatableParticle == XmlSchemaParticle.Empty\r
+                               || baseComplexType == XmlSchemaComplexType.AnyType) {\r
+                               // - 2.2\r
+                               validatableParticle = cce.Particle;\r
+                               resolvedContentType = GetComplexContentType (contentModel);\r
+                       } else {\r
+                               // - 2.3 : create a new sequences that merges both contents.\r
+                               XmlSchemaSequence seq = new XmlSchemaSequence ();\r
+                               this.CopyInfo (seq);\r
+                               seq.Items.Add (baseComplexType.validatableParticle);\r
+                               seq.Items.Add (cce.Particle);\r
+                               seq.Compile (h, schema);\r
+                               seq.Validate (h, schema);\r
+                               validatableParticle = seq;\r
+                               resolvedContentType = GetComplexContentType (contentModel);\r
+                       }\r
+                       if (validatableParticle == null)\r
+                               validatableParticle = XmlSchemaParticle.Empty;\r
+               }\r
+\r
+               private void CollectContentTypeFromComplexRestriction ()\r
+               {\r
+                       XmlSchemaComplexContentRestriction ccr = (XmlSchemaComplexContentRestriction) ContentModel.Content;\r
+                       // 3.4.2 complex content schema component {content type}\r
+                       // - 1.1.1\r
+                       bool isEmptyParticle = false;\r
+                       if (ccr.Particle == null) \r
+                               isEmptyParticle = true;\r
+                       else {\r
+                               XmlSchemaGroupBase gb = ccr.Particle as XmlSchemaGroupBase;\r
+                               if (gb != null) {\r
+                                       // - 1.1.2\r
+                                       if (!(gb is XmlSchemaChoice) && gb.Items.Count == 0)\r
+                                               isEmptyParticle = true;\r
+                                       // - 1.1.3\r
+                                       else if (gb is XmlSchemaChoice && gb.Items.Count == 0 && gb.ValidatedMinOccurs == 0)\r
+                                               isEmptyParticle = true;\r
+                               }\r
+                       }\r
+                       if (isEmptyParticle) {\r
+                               resolvedContentType = XmlSchemaContentType.Empty;\r
+                               validatableParticle = XmlSchemaParticle.Empty;\r
+                       } else {\r
+                               // - 1.2.1\r
+                               resolvedContentType = GetComplexContentType (contentModel);\r
+                               // - 1.2.2\r
+                               validatableParticle = ccr.Particle;\r
+                       }\r
+               }\r
+\r
+               // 3.4.2 Complex Content Schema Component {content type} 1.2.1\r
+               private XmlSchemaContentType GetComplexContentType (XmlSchemaContentModel content)\r
+               {\r
+                       if (this.IsMixed || ((XmlSchemaComplexContent) content).IsMixed)\r
+                               return XmlSchemaContentType.Mixed;\r
+                       else\r
+                               return XmlSchemaContentType.ElementOnly;\r
+               }\r
+               #endregion\r
+\r
+               //\r
+               // We have to validate:\r
+               //\r
+               //      - 3.4.3 Complex Type Definition Representation OK\r
+               //      - 3.4.6 Type Definition Properties Correct\r
+               //      - 3.4.6 Derivation Valid (Extension)\r
+               //      - 3.4.6 Derivation Valid (Restriction, Complex)\r
+               //\r
+               // There are many schema errata:\r
+               // http://www.w3.org/2001/05/xmlschema-errata#Errata1\r
+               //\r
+               // E1-43 Derivation Valid (Restriction, Complex) 5.\r
+               // E1-21 Derivation Valid (Restriction, Complex) 4.3.\r
+               // E1-17 Type Derivation OK (Complex) 2.1.\r
+               //\r
+               // And E1-38, E1-37, E1-30, E1-27\r
+               //\r
+               internal override int Validate (ValidationEventHandler h, XmlSchema schema)\r
+               {\r
+                       if (IsValidated (schema.ValidationId))\r
+                               return errorCount;\r
+                       // FIXME: omitting it causes StackOverflowException\r
+                       // among the compilation of element and types, but\r
+                       // it may result in insufficient results.\r
+                       ValidationId = schema.ValidationId;\r
+\r
+                       CollectSchemaComponent (h, schema);\r
+\r
+                       // 3.4.6: Properties Correct\r
+                       // Term. 1 => 3.4.1 already done by CollectSchemaComponent()\r
+                       //            except for {attribute uses} and {attribute wildcard}\r
+                       // Term. 2, 3 and 4 goes to ValidateContentModel().\r
+                       // Term. 5 follows in this method.\r
+                       //\r
+                       if (ContentModel != null)\r
+                               ValidateContentModel (h, schema);\r
+                       else {\r
+                               if (Particle != null)\r
+                                       ValidateImmediateParticle (h, schema);\r
+                               ValidateImmediateAttributes (h, schema);\r
+                       }\r
+\r
+                       // Additional support for 3.8.6 All Group Limited\r
+                       if (ContentTypeParticle != null) {\r
+                               XmlSchemaAll termAll = contentTypeParticle.GetOptimizedParticle (true) as XmlSchemaAll;\r
+                               if (termAll != null && (termAll.ValidatedMaxOccurs != 1 || contentTypeParticle.ValidatedMaxOccurs != 1)) // here contentTypeParticle is used to check occurence.\r
+                                       error (h, "Particle whose term is -all- and consists of complex type content particle must have maxOccurs = 1.");\r
+                       }\r
+\r
+                       contentTypeParticle.ValidateUniqueParticleAttribution (new XmlSchemaObjectTable (),\r
+                               new ArrayList (), h, schema);\r
+                       contentTypeParticle.ValidateUniqueTypeAttribution (\r
+                               new XmlSchemaObjectTable (), h, schema);\r
+\r
+                       // 3.4.6 Properties Correct :: 5 (Two distinct ID attributes)\r
+                       XmlSchemaAttribute idAttr = null;\r
+                       foreach (DictionaryEntry entry in attributeUses) {\r
+                               XmlSchemaAttribute attr = (XmlSchemaAttribute) entry.Value;\r
+                               XmlSchemaDatatype dt = attr.AttributeType as XmlSchemaDatatype;\r
+                               if (dt != null && dt.TokenizedType != XmlTokenizedType.ID)\r
+                                       continue;\r
+                               if (dt == null)\r
+                                       dt = ((XmlSchemaSimpleType) attr.AttributeType).Datatype;\r
+                               if (dt != null && dt.TokenizedType == XmlTokenizedType.ID) {\r
+                                       if (idAttr != null)\r
+                                               error (h, "Two or more ID typed attribute declarations in a complex type are found.");\r
+                                       else\r
+                                               idAttr = attr;\r
+                               }\r
+                       }\r
+\r
+                       ValidationId = schema.ValidationId;\r
                        return errorCount;\r
                }\r
 \r
+               private void ValidateImmediateParticle (ValidationEventHandler h, XmlSchema schema)\r
+               {\r
+                       errorCount += particle.Validate (h, schema);\r
+                       XmlSchemaGroupRef pgrp = Particle as XmlSchemaGroupRef;\r
+                       if (pgrp != null) {\r
+                               if (pgrp.TargetGroup != null)\r
+                                       errorCount += pgrp.TargetGroup.Validate (h,schema);\r
+                               // otherwise, it might be missing sub components.\r
+                               else if (!schema.IsNamespaceAbsent (pgrp.RefName.Namespace))\r
+                                       error (h, "Referenced group " + pgrp.RefName + " was not found in the corresponding schema.");\r
+                       }\r
+               }\r
+\r
+               private void ValidateImmediateAttributes (ValidationEventHandler h, XmlSchema schema)\r
+               {\r
+                       // {attribute uses}\r
+                       // also checks 3.4.6 Properties Correct :: 4 (Distinct attributes)\r
+                       attributeUses = new XmlSchemaObjectTable ();\r
+                       XmlSchemaUtil.ValidateAttributesResolved (attributeUses,\r
+                               h, schema, attributes, anyAttribute, ref attributeWildcard, null);\r
+               }\r
+\r
+               private void ValidateContentModel (ValidationEventHandler h, XmlSchema schema)\r
+               {\r
+                       XmlSchemaType baseType = BaseXmlSchemaTypeInternal;\r
+\r
+                       // Here we check 3.4.6 Properties Correct :: 2. and 3.\r
+                       errorCount += contentModel.Validate (h, schema);\r
+                       XmlSchemaComplexContentExtension cce = contentModel.Content as XmlSchemaComplexContentExtension;\r
+                       XmlSchemaComplexContentRestriction ccr = contentModel.Content as XmlSchemaComplexContentRestriction;\r
+                       XmlSchemaSimpleContentExtension sce = contentModel.Content as XmlSchemaSimpleContentExtension;\r
+                       XmlSchemaSimpleContentRestriction scr = contentModel.Content as XmlSchemaSimpleContentRestriction;\r
+\r
+                       XmlSchemaAnyAttribute localAnyAttribute = null;\r
+                       XmlSchemaAnyAttribute baseAnyAttribute = null;\r
+\r
+                       // 3.4.6 Properties Correct :: 3. Circular definition prohibited.\r
+                       if (ValidateRecursionCheck ())\r
+                               error (h, "Circular definition of schema types was found.");\r
+                       if (baseType != null) {\r
+                               baseType.Validate (h, schema);\r
+                               // Fill "Datatype" property.\r
+                               this.DatatypeInternal = baseType.Datatype;\r
+                       } else if (BaseSchemaTypeName == XmlSchemaComplexType.AnyTypeName)\r
+                               DatatypeInternal = XmlSchemaSimpleType.AnySimpleType;
+                       else if (XmlSchemaUtil.IsBuiltInDatatypeName (BaseSchemaTypeName)) {\r
+                               DatatypeInternal = XmlSchemaDatatype.FromName (BaseSchemaTypeName);\r
+                       }\r
+\r
+                       XmlSchemaComplexType baseComplexType = baseType as XmlSchemaComplexType;\r
+                       XmlSchemaSimpleType baseSimpleType = baseType as XmlSchemaSimpleType;\r
+\r
+                       // 3.4.6 Derivation Valid (common to Extension and Restriction, Complex) :: 1.\r
+                       if (baseType != null && (baseType.FinalResolved & resolvedDerivedBy) != 0)\r
+                                       error (h, "Specified derivation is specified as final by derived schema type.");\r
+\r
+                       // 3.4.6 Properties Correct :: 2.\r
+                       // Simple {base type definition} and restriction {derivation method} not allowed.\r
+                       if (baseSimpleType != null && resolvedDerivedBy == XmlSchemaDerivationMethod.Restriction)\r
+                               error (h, "If the base schema type is a simple type, then this type must be extension.");\r
+\r
+                       // Common to complexContent\r
+                       if (cce != null || ccr != null) {\r
+                               // 3.4.3 Complex Type Definition Representation OK :: 1.\r
+                               // base\r
+                               if (BaseSchemaTypeName == XmlSchemaComplexType.AnyTypeName)\r
+                                       baseComplexType = XmlSchemaComplexType.AnyType;\r
+                               else if (XmlSchemaUtil.IsBuiltInDatatypeName (BaseSchemaTypeName))\r
+                                       error (h, "Referenced base schema type is XML Schema datatype.");\r
+                               else if (baseComplexType == null && !schema.IsNamespaceAbsent (BaseSchemaTypeName.Namespace))\r
+                                       error (h, "Referenced base schema type " + BaseSchemaTypeName + " was not complex type or not found in the corresponding schema.");\r
+                       }\r
+                       // Common to simpleContent \r
+                       else {\r
+                               // ContentType of {content type}\r
+                               resolvedContentType = XmlSchemaContentType.TextOnly;\r
+\r
+                               // 3.4.3 Complex Type Definition Representation OK :: 1.\r
+                               // base\r
+                               if (BaseSchemaTypeName == XmlSchemaComplexType.AnyTypeName)\r
+                                       baseComplexType = XmlSchemaComplexType.AnyType;
+\r
+                               if (baseComplexType != null && baseComplexType.ContentType != XmlSchemaContentType.TextOnly) {\r
+                                       error (h, "Base schema complex type of a simple content must be simple content type. Base type is " + BaseSchemaTypeName);\r
+                               } else if (sce == null && (baseSimpleType != null && BaseSchemaTypeName.Namespace != XmlSchema.Namespace)) {\r
+                                       error (h, "If a simple content is not an extension, base schema type must be complex type. Base type is " + BaseSchemaTypeName);\r
+                               } else if (XmlSchemaUtil.IsBuiltInDatatypeName (BaseSchemaTypeName)) {\r
+                                       // do nothing for particle.\r
+                               }\r
+                               // otherwise, it might be missing sub components.\r
+                               else if (baseType == null && !schema.IsNamespaceAbsent (BaseSchemaTypeName.Namespace))\r
+                                       error (h, "Referenced base schema type " + BaseSchemaTypeName + " was not found in the corresponding schema.");\r
+\r
+                               // 3.4.3 Complex Type Definition Representation OK :: 2.\r
+                               // Note that baseSimpleType is also allowed as to Errata E1-27 (http://www.w3.org/2001/05/xmlschema-errata)\r
+                               if (baseComplexType != null) {\r
+                                       if (baseComplexType.ContentType == XmlSchemaContentType.TextOnly) {\r
+                                               // 2.1.1\r
+                                       // Here "baseComplexType.Particle != null" is required for error-ignorant case\r
+                                       } else if (scr != null && baseComplexType.ContentType == XmlSchemaContentType.Mixed && baseComplexType.Particle != null && baseComplexType.Particle.ValidateIsEmptiable () && scr.BaseType != null) {\r
+                                               // 2.1.2 && 2.2: OK\r
+                                       }\r
+                                       else\r
+                                               error (h, "Base complex type of a simple content restriction must be text only.");\r
+                               } else {\r
+                                       if (sce != null && baseComplexType == null) {\r
+                                               // 2.1.3 : OK\r
+                                       }\r
+                                       else\r
+                                               error (h, "Not allowed base type of a simple content restriction.");\r
+                               }\r
+                       }\r
+\r
+                       // complexType/complexContent/extension\r
+                       if (cce != null) {\r
+                               // I don't think 3.4.6 Derivation Valid (Extension) :: 1.2\r
+                               // is constraining anything here, since 3.4.2 {attribute uses}\r
+                               // defines as to include base type's attribute uses.\r
+                               localAnyAttribute = cce.AnyAttribute;\r
+                               if (baseComplexType != null) {\r
+                                       foreach (DictionaryEntry entry in baseComplexType.AttributeUses) {\r
+                                               XmlSchemaAttribute attr = (XmlSchemaAttribute) entry.Value;\r
+                                               XmlSchemaUtil.AddToTable (attributeUses, attr, attr.QualifiedName, h);\r
+                                       }\r
+                                       baseAnyAttribute = baseComplexType.AttributeWildcard;\r
+                               }\r
+                               // attributes\r
+                               errorCount += XmlSchemaUtil.ValidateAttributesResolved (\r
+                                       this.attributeUses, h, schema, cce.Attributes, \r
+                                       cce.AnyAttribute , ref attributeWildcard, null);\r
+\r
+                               // After adding them, test extension validity.\r
+                               if (baseComplexType != null)\r
+                                       this.ValidateComplexBaseDerivationValidExtension (baseComplexType, h, schema);\r
+                               else if (baseSimpleType != null)\r
+                                       this.ValidateSimpleBaseDerivationValidExtension (baseSimpleType, h, schema);\r
+                       }\r
+                       // complexType/complexContent/restriction\r
+                       if (ccr != null) {\r
+                               // For ValidationEventHandler.\r
+                               if (baseComplexType == null)\r
+                                       baseComplexType = XmlSchemaComplexType.AnyType;\r
+                               if (ccr.Particle != null)\r
+                                       ccr.Particle.Validate (h, schema);\r
+\r
+                               // attributes\r
+                               localAnyAttribute = ccr.AnyAttribute;\r
+                               this.attributeWildcard = localAnyAttribute;\r
+                               if (baseComplexType != null)\r
+                                       baseAnyAttribute = baseComplexType.AttributeWildcard;\r
+                               if (baseAnyAttribute != null && localAnyAttribute != null)\r
+                                       // 1.3 attribute wildcard subset. (=> 3.10.6)\r
+                                       localAnyAttribute.ValidateWildcardSubset (baseAnyAttribute, h, schema);\r
+\r
+                               // 3.4.2 Complex Type Definition with complex content Schema Component\r
+                               // and its {attribute uses} and {attribute wildcard} are done here (descendantly)\r
+                               errorCount += XmlSchemaUtil.ValidateAttributesResolved (\r
+                                       this.attributeUses, h, schema, ccr.Attributes, \r
+                                       ccr.AnyAttribute, ref attributeWildcard, null);\r
+                               foreach (DictionaryEntry entry in baseComplexType.AttributeUses) {\r
+                                       XmlSchemaAttribute attr = (XmlSchemaAttribute) entry.Value;\r
+                                       if (attributeUses [attr.QualifiedName] == null)\r
+                                               XmlSchemaUtil.AddToTable (attributeUses, attr, attr.QualifiedName, h);\r
+                               }\r
+\r
+                               // Derivation Valid (Restriction, Complex) :: 5.\r
+                               // Also see E1-15 of http://www.w3.org/2001/05/xmlschema-errata#Errata1\r
+                               // 5.1 shouled be in scr (XmlSchemaSimpleContentRestriction)\r
+                               this.ValidateDerivationValidRestriction (baseComplexType, h, schema);\r
+                       }\r
+                       // complexType/simpleContent/extension\r
+                       if (sce != null) {\r
+                               errorCount += XmlSchemaUtil.ValidateAttributesResolved (\r
+                                       this.attributeUses, h, schema, sce.Attributes, \r
+                                       sce.AnyAttribute, ref attributeWildcard, null);\r
+\r
+                               // Attributes\r
+                               // I don't think 3.4.6 Derivation Valid (Extension) :: 1.2\r
+                               // is constraining anything here, since 3.4.2 {attribute uses}\r
+                               // defines as to include base type's attribute uses.\r
+                               localAnyAttribute = sce.AnyAttribute;\r
+\r
+                               if (baseComplexType != null) {\r
+                                       baseAnyAttribute = baseComplexType.AttributeWildcard;\r
+\r
+                                       foreach (DictionaryEntry entry in baseComplexType.AttributeUses) {\r
+                                               XmlSchemaAttribute attr = (XmlSchemaAttribute) entry.Value;\r
+#if BUGGY_MS_COMPLIANT\r
+                                               if (attr.Use != XmlSchemaUse.Prohibited)\r
+                                                       XmlSchemaUtil.AddToTable (attributeUses, attr, attr.QualifiedName, h);\r
+#endif\r
+                                               XmlSchemaUtil.AddToTable (attributeUses, attr, attr.QualifiedName, h);\r
+                                       }\r
+                               }\r
+                               if (baseAnyAttribute != null && localAnyAttribute != null)\r
+                                       // 1.3 attribute wildcard subset. (=> 3.10.6)\r
+                                       localAnyAttribute.ValidateWildcardSubset (baseAnyAttribute, h, schema);\r
+                       }\r
+                       // complexType/simpleContent/restriction\r
+                       if (scr != null) {\r
+                               // Attributes\r
+                               baseAnyAttribute = baseComplexType != null ? baseComplexType.AttributeWildcard : null;\r
+\r
+                               localAnyAttribute = scr.AnyAttribute;\r
+                               if (localAnyAttribute != null && baseAnyAttribute != null)\r
+                                       // 1.3 attribute wildcard subset. (=> 3.10.6)\r
+                                       localAnyAttribute.ValidateWildcardSubset (baseAnyAttribute, h, schema);\r
+                               // 3.4.6 :: 5.1. Beware that There is an errata for 5.1!!\r
+                               // http://www.w3.org/2001/05/xmlschema-errata#Errata1\r
+\r
+                               // 3.4.2 Complex Type Definition with simple content Schema Component\r
+                               // and its {attribute uses} and {attribute wildcard} are done here (descendantly)\r
+                               errorCount += XmlSchemaUtil.ValidateAttributesResolved (\r
+                                       this.attributeUses, h, schema, scr.Attributes, \r
+                                       scr.AnyAttribute, ref attributeWildcard, null);\r
+                       }\r
+\r
+                       // Common process of AttributeWildcard.\r
+                       if (localAnyAttribute != null) {\r
+                               this.attributeWildcard = localAnyAttribute;\r
+                       }\r
+                       else\r
+                               this.attributeWildcard = baseAnyAttribute;\r
+               }\r
+\r
+               // 3.4.6 Type Derivation OK (Complex)\r
+               internal void ValidateTypeDerivationOK (object b, ValidationEventHandler h, XmlSchema schema)\r
+               {\r
+                       // AnyType derives from AnyType itself.\r
+                       if (this == XmlSchemaComplexType.AnyType && BaseXmlSchemaType == this)\r
+                               return;\r
+\r
+                       XmlSchemaType bst = b as XmlSchemaType;\r
+                       if (b == this)  // 1 and 2.1\r
+                               return;\r
+                       if (bst != null && (resolvedDerivedBy & bst.FinalResolved) != 0) // 1.\r
+                               error (h, "Derivation type " + resolvedDerivedBy + " is prohibited by the base type.");\r
+                       if (BaseXmlSchemaType == b) // 2.2\r
+                               return;\r
+                       if (BaseXmlSchemaType == null || BaseXmlSchemaType == XmlSchemaComplexType.AnyType) { // 2.3.1\r
+                               error (h, "Derived type's base schema type is anyType.");\r
+                               return;\r
+                       }\r
+                       // 2.3.2.1\r
+                       XmlSchemaComplexType dbct = BaseXmlSchemaType as XmlSchemaComplexType;\r
+                       if (dbct != null) {\r
+                               dbct.ValidateTypeDerivationOK (b, h, schema);\r
+                               return;\r
+                       }\r
+                       // 2.3.2.2\r
+                       XmlSchemaSimpleType dbst = BaseXmlSchemaType as XmlSchemaSimpleType;\r
+                       if (dbst != null) {\r
+                               dbst.ValidateTypeDerivationOK (b, h, schema, true);\r
+                               return;\r
+                       }\r
+               }\r
+\r
+               // 3.4.6 Derivation Valid (Extension) - Term. 1 (Complex Type)\r
+               internal void ValidateComplexBaseDerivationValidExtension (XmlSchemaComplexType baseComplexType,\r
+                       ValidationEventHandler h, XmlSchema schema)\r
+               {\r
+                       // 1.1\r
+                       if ((baseComplexType.FinalResolved & XmlSchemaDerivationMethod.Extension) != 0)\r
+                               error (h, "Derivation by extension is prohibited.");\r
+                       // 1.2\r
+                       foreach (DictionaryEntry entry in baseComplexType.AttributeUses) {\r
+                               XmlSchemaAttribute ba = (XmlSchemaAttribute) entry.Value;\r
+                               XmlSchemaAttribute da = AttributeUses [ba.QualifiedName] as XmlSchemaAttribute;\r
+                               if (da == null)\r
+                                       error (h, "Invalid complex type derivation by extension was found. Missing attribute was found: " + ba.QualifiedName + " .");\r
+                       }\r
+                       // 1.3 -> 3.10.6 Wildcard Subset.\r
+                       if (AnyAttribute != null) {\r
+                               if (baseComplexType.AnyAttribute == null)\r
+                                       error (h, "Invalid complex type derivation by extension was found. Base complex type does not have an attribute wildcard.");\r
+                               else\r
+                                       baseComplexType.AnyAttribute.ValidateWildcardSubset (AnyAttribute, h, schema);\r
+                       }\r
+\r
+                       // 1.4 => 1.4.2 (1.4.1 would be included in SimpleContentExtention).\r
+                       // 1.4.2.1\r
+//                     if (contentTypeParticle == null)\r
+//                             error (h, "Extended complex type's content type must not be empty.");\r
+                       // 1.4.2.2.1\r
+                       if (baseComplexType.ContentType != XmlSchemaContentType.Empty) {\r
+                               // 1.4.2.2.2.1\r
+                               if (this.ContentType != baseComplexType.ContentType)\r
+//                             if (this.GetContentType (false) != baseComplexType.GetContentType (false))\r
+                                       error (h, "Base complex type has different content type " + baseComplexType.ContentType + ".");\r
+                               // 1.4.2.2.2.2 => 3.9.6 Particle Valid (Extension)\r
+                               else if (this.contentTypeParticle == null ||\r
+                                       !this.contentTypeParticle.ParticleEquals (baseComplexType.ContentTypeParticle)) {\r
+                                       XmlSchemaSequence seq = contentTypeParticle as XmlSchemaSequence;\r
+                                       if (contentTypeParticle != XmlSchemaParticle.Empty && (seq == null || contentTypeParticle.ValidatedMinOccurs != 1 || contentTypeParticle.ValidatedMaxOccurs != 1))\r
+                                               error (h, "Invalid complex content extension was found.");\r
+                                       else {\r
+                                               // Identical sequence item should be checked, but\r
+                                               // I think it is naturally achieved as coded above.\r
+                                       }\r
+                               }\r
+                       }\r
+               }\r
+\r
+               // 3.4.6 Derivation Valid (Extension) - Term. 2 (Simple Type)\r
+               internal void ValidateSimpleBaseDerivationValidExtension (object baseType,\r
+                       ValidationEventHandler h, XmlSchema schema)\r
+               {\r
+                       XmlSchemaSimpleType st = baseType as XmlSchemaSimpleType;\r
+                       if (st != null && (st.FinalResolved & XmlSchemaDerivationMethod.Extension) != 0)\r
+                               error (h, "Extension is prohibited by the base type.");\r
+\r
+                       XmlSchemaDatatype dt = baseType as XmlSchemaDatatype;\r
+                       if (dt == null)\r
+                               dt = st.Datatype;\r
+                       if (dt != this.Datatype)\r
+                               error (h, "To extend simple type, a complex type must have the same content type as the base type.");\r
+               }\r
+\r
+               internal void ValidateDerivationValidRestriction (XmlSchemaComplexType baseType,\r
+                       ValidationEventHandler h, XmlSchema schema)\r
+               {\r
+                       // 1.\r
+                       if (baseType == null) {\r
+                               error (h, "Base schema type is not a complex type.");\r
+                               return;\r
+                       }\r
+                       if ((baseType.FinalResolved & XmlSchemaDerivationMethod.Restriction) != 0) {\r
+                               error (h, "Prohibited derivation by restriction by base schema type.");\r
+                               return;\r
+                       }\r
+\r
+                       // 2.\r
+                       foreach (DictionaryEntry entry in this.AttributeUses) {\r
+                               XmlSchemaAttribute attr = (XmlSchemaAttribute) entry.Value;\r
+                               XmlSchemaAttribute baseAttr = baseType.AttributeUses [attr.QualifiedName] as XmlSchemaAttribute;\r
+                               if (baseAttr != null) {\r
+                                       // 2.1\r
+                                       // 2.1.1\r
+                                       if (baseAttr.ValidatedUse != XmlSchemaUse.Optional && attr.ValidatedUse != XmlSchemaUse.Required)\r
+                                               error (h, "Invalid attribute derivation by restriction was found for " + attr.QualifiedName + " .");\r
+                                       // 2.1.2\r
+                                       XmlSchemaSimpleType attrSimpleType = attr.AttributeType as XmlSchemaSimpleType;\r
+                                       XmlSchemaSimpleType baseAttrSimpleType = baseAttr.AttributeType as XmlSchemaSimpleType;\r
+                                       bool typeError = false;\r
+                                       if (attrSimpleType != null)\r
+                                               attrSimpleType.ValidateDerivationValid (baseAttrSimpleType, null, h, schema);\r
+                                       else if (attrSimpleType == null && baseAttrSimpleType != null)\r
+                                               typeError = true;\r
+                                       else {\r
+                                               Type t1 = attr.AttributeType.GetType ();\r
+                                               Type t2 = baseAttr.AttributeType.GetType ();\r
+                                               if (t1 != t2 && t1.IsSubclassOf (t2))\r
+                                                       typeError = true;\r
+                                       }\r
+                                       if (typeError)\r
+                                               error (h, "Invalid attribute derivation by restriction because of its type: " + attr.QualifiedName + " .");\r
+                                       // 2.1.3\r
+                                       if (baseAttr.ValidatedFixedValue != null && attr.ValidatedFixedValue != baseAttr.ValidatedFixedValue)\r
+                                               error (h, "Invalid attribute derivation by restriction because of its fixed value constraint: " + attr.QualifiedName + " .");\r
+                               } else {\r
+                                       // 2.2\r
+                                       if (baseType.AttributeWildcard != null)\r
+                                               if (!baseType.AttributeWildcard.ValidateWildcardAllowsNamespaceName (\r
+                                                       attr.QualifiedName.Namespace, schema) &&\r
+                                                       !schema.IsNamespaceAbsent (attr.QualifiedName.Namespace))\r
+                                                       error (h, "Invalid attribute derivation by restriction was found for " + attr.QualifiedName + " .");\r
+                               }\r
+                       }\r
+                       // I think 3. is considered in 2.\r
+                       // 4.\r
+                       if (this.AttributeWildcard != null && baseType != XmlSchemaComplexType.AnyType) {\r
+                               if (baseType.AttributeWildcard == null)\r
+                                       error (h, "Invalid attribute derivation by restriction because of attribute wildcard.");\r
+                               else\r
+                                       AttributeWildcard.ValidateWildcardSubset (baseType.AttributeWildcard, h, schema);\r
+                       }\r
+\r
+                       // 5.\r
+                       if (this == AnyType)\r
+                               return;\r
+                       if (contentTypeParticle == XmlSchemaParticle.Empty) {\r
+                               // 5.1\r
+                               if (ContentType != XmlSchemaContentType.Empty) {\r
+                                       // TODO: 5.1.1\r
+//                                     XmlSchemaSimpleType baseST = baseType as XmlSchemaSimpleType;\r
+                                       // 5.1.2\r
+                                       if (baseType.ContentType == XmlSchemaContentType.Mixed && !baseType.ContentTypeParticle.ValidateIsEmptiable ())\r
+                                               error (h, "Invalid content type derivation.");\r
+\r
+                               } else {\r
+                                       // 5.2\r
+                                       if (baseType.ContentTypeParticle != XmlSchemaParticle.Empty &&\r
+                                               !baseType.ContentTypeParticle.ValidateIsEmptiable ())\r
+                                               error (h, "Invalid content type derivation.");\r
+                               }\r
+                       } else {\r
+                               // 5.3 => 3.9.6 Particle Valid (Restriction)\r
+                               if (baseType.ContentTypeParticle != null) {\r
+                                       // 3.9.6 - 1 : same particle.\r
+                                       // 3.9.6 - 2 is covered by using ActualParticle.\r
+                                       if (!contentTypeParticle.ParticleEquals (baseType.ContentTypeParticle))\r
+                                               contentTypeParticle.ValidateDerivationByRestriction (baseType.ContentTypeParticle, h, schema, true);\r
+                               }\r
+                       }\r
+               }\r
+\r
+#region Read\r
                //<complexType\r
                //  abstract = boolean : false\r
                //  block = (#all | List of (extension | restriction)) \r
@@ -342,15 +1089,17 @@ namespace System.Xml.Schema
                                }\r
                                else if(reader.Name == "block")\r
                                {\r
-                                       ctype.block = XmlSchemaUtil.ReadDerivationAttribute(reader,out innerex, "block");\r
+                                       ctype.block = XmlSchemaUtil.ReadDerivationAttribute(reader,out innerex, "block",\r
+                                               XmlSchemaUtil.ComplexTypeBlockAllowed);\r
                                        if(innerex != null)\r
-                                               warn(h,"some invalid values for block attribute were found",innerex);\r
+                                               error (h,"some invalid values for block attribute were found",innerex);\r
                                }\r
                                else if(reader.Name == "final")\r
                                {\r
-                                       ctype.Final = XmlSchemaUtil.ReadDerivationAttribute(reader,out innerex, "block");\r
+                                       ctype.Final = XmlSchemaUtil.ReadDerivationAttribute(reader,out innerex, "final",\r
+                                               XmlSchemaUtil.FinalAllowed);\r
                                        if(innerex != null)\r
-                                               warn(h,"some invalid values for final attribute were found",innerex);\r
+                                               error (h,"some invalid values for final attribute were found",innerex);\r
                                }\r
                                else if(reader.Name == "id")\r
                                {\r
@@ -485,5 +1234,6 @@ namespace System.Xml.Schema
                        }\r
                        return ctype;\r
                }\r
+#endregion\r
        }\r
 }\r