1 # |
|
2 # minixsv, Release 0.3 |
|
3 # file: xsvalSchema.py |
|
4 # |
|
5 # Derived validator class (for validation of schema files) |
|
6 # |
|
7 # history: |
|
8 # 2004-10-07 rl created |
|
9 # |
|
10 # Copyright (c) 2004 by Roland Leuthe. All rights reserved. |
|
11 # |
|
12 # -------------------------------------------------------------------- |
|
13 # The minixsv XML schema validator is |
|
14 # |
|
15 # Copyright (c) 2004 by Roland Leuthe |
|
16 # |
|
17 # By obtaining, using, and/or copying this software and/or its |
|
18 # associated documentation, you agree that you have read, understood, |
|
19 # and will comply with the following terms and conditions: |
|
20 # |
|
21 # Permission to use, copy, modify, and distribute this software and |
|
22 # its associated documentation for any purpose and without fee is |
|
23 # hereby granted, provided that the above copyright notice appears in |
|
24 # all copies, and that both that copyright notice and this permission |
|
25 # notice appear in supporting documentation, and that the name of |
|
26 # the author not be used in advertising or publicity |
|
27 # pertaining to distribution of the software without specific, written |
|
28 # prior permission. |
|
29 # |
|
30 # THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD |
|
31 # TO THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANT- |
|
32 # ABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR |
|
33 # BE LIABLE FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY |
|
34 # DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, |
|
35 # WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS |
|
36 # ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE |
|
37 # OF THIS SOFTWARE. |
|
38 # -------------------------------------------------------------------- |
|
39 |
|
40 from xsvalErrorHandler import * |
|
41 from xsvalBase import XsValBase |
|
42 |
|
43 ########################################################### |
|
44 # Derived validator class for validating one input schema file against the XML rules file |
|
45 |
|
46 class XsValSchema (XsValBase): |
|
47 |
|
48 ######################################## |
|
49 # overloaded validate method |
|
50 # |
|
51 def validate (self, inputTree, xsdTree): |
|
52 XsValBase.validate(self, inputTree, xsdTree) |
|
53 self._checkSchemaSecondLevel() |
|
54 |
|
55 |
|
56 ######################################## |
|
57 # additional checks for schema files which are not covered by "xsStructs.xsd" |
|
58 # |
|
59 def _checkSchemaSecondLevel(self): |
|
60 self._checkElementNodesSecondLevel() |
|
61 self._checkGroupNodesSecondLevel() |
|
62 self._checkAttrGroupNodesSecondLevel() |
|
63 self._checkAttributeNodesSecondLevel() |
|
64 |
|
65 self._checkSimpleTypesSecondLevel() |
|
66 |
|
67 |
|
68 ######################################## |
|
69 # additional checks for element nodes |
|
70 # |
|
71 def _checkElementNodesSecondLevel(self): |
|
72 self.inputElementDict = {} |
|
73 for inputNode in self.inputRoot.getChildrenNS(self.inputNSAlias, "element"): |
|
74 self.inputElementDict[inputNode.getAttribute("name")] = inputNode |
|
75 |
|
76 elementNodes = self.inputRoot.getElementsByTagNameNS (self.inputNSAlias, "element") |
|
77 for elementNode in elementNodes: |
|
78 if not elementNode.hasAttribute("name") and not elementNode.hasAttribute("ref"): |
|
79 self._addError ("Element must have 'name' or 'ref' attribute!", elementNode) |
|
80 continue |
|
81 |
|
82 if elementNode.hasAttribute("name") and elementNode.hasAttribute("ref"): |
|
83 self._addError ("Element must not have 'name' and 'ref' attribute!", elementNode) |
|
84 continue |
|
85 |
|
86 if elementNode.hasAttribute("ref"): |
|
87 elementRef = self.xmlIf.extractLocalName(elementNode.getAttribute("ref")) |
|
88 if not self.inputElementDict.has_key(elementRef): |
|
89 self._addError ("Reference to undefined element '%s'!" %(elementRef), elementNode) |
|
90 |
|
91 complexTypeNode = elementNode.getFirstChildNS (self.inputNSAlias, "complexType") |
|
92 simpleTypeNode = elementNode.getFirstChildNS (self.inputNSAlias, "simpleType") |
|
93 if elementNode.hasAttribute("type") and (complexTypeNode != None or simpleTypeNode != None): |
|
94 self._addError ("Element has type attribute and type definition!", elementNode) |
|
95 if not elementNode.hasAttribute("type") and complexTypeNode == None and simpleTypeNode == None: |
|
96 self._addWarning ("Element has no type attribute and no type definition!", elementNode) |
|
97 |
|
98 minOccurs = elementNode.getAttributeOrDefault("minOccurs", "1") |
|
99 maxOccurs = elementNode.getAttributeOrDefault("maxOccurs", "1") |
|
100 if maxOccurs != "unbounded": |
|
101 if string.atoi(minOccurs) > string.atoi(maxOccurs): |
|
102 self._addError ("Attribute minOccurs > maxOccurs!", elementNode) |
|
103 |
|
104 |
|
105 ######################################## |
|
106 # additional checks for group nodes |
|
107 # |
|
108 def _checkGroupNodesSecondLevel(self): |
|
109 self.inputGroupDict = {} |
|
110 for groupNode in self.inputRoot.getChildrenNS(self.inputNSAlias, "group"): |
|
111 self.inputGroupDict[groupNode.getAttribute("name")] = groupNode |
|
112 |
|
113 groupNodes = self.inputRoot.getElementsByTagNameNS (self.inputNSAlias, "group") |
|
114 for groupNode in groupNodes: |
|
115 if groupNode.hasAttribute("ref"): |
|
116 groupRef = self.xmlIf.extractLocalName(groupNode.getAttribute("ref")) |
|
117 if not self.inputGroupDict.has_key(groupRef): |
|
118 self._addError ("Reference to undefined group '%s'!" %(groupRef), groupNode) |
|
119 |
|
120 |
|
121 ######################################## |
|
122 # additional checks for attributeGroup nodes |
|
123 # |
|
124 def _checkAttrGroupNodesSecondLevel(self): |
|
125 self.inputAttrGroupDict = {} |
|
126 for attrGroupNode in self.inputRoot.getChildrenNS(self.inputNSAlias, "attrGroup"): |
|
127 self.inputAttrGroupDict[attrGroupNode.getAttribute("name")] = attrGroupNode |
|
128 |
|
129 attrGroupNodes = self.inputRoot.getElementsByTagNameNS (self.inputNSAlias, "attrGroup") |
|
130 for attrGroupNode in attrGroupNodes: |
|
131 if attrGroupNode.hasAttribute("ref"): |
|
132 attrGroupRef = self.xmlIf.extractLocalName(attrGroupNode.getAttribute("ref")) |
|
133 if not self.inputAttrGroupDict.has_key(attrGroupRef): |
|
134 self._addError ("Reference to undefined attribute group '%s'!" %(attrGroupRef), attrGroupNode) |
|
135 |
|
136 |
|
137 ######################################## |
|
138 # additional checks for attribute nodes |
|
139 # |
|
140 def _checkAttributeNodesSecondLevel(self): |
|
141 attributeNodes = self.inputRoot.getElementsByTagNameNS (self.inputNSAlias, "attribute") |
|
142 for attributeNode in attributeNodes: |
|
143 if not attributeNode.hasAttribute("name") and not attributeNode.hasAttribute("ref"): |
|
144 self._addError ("Attribute must have 'name' or 'ref' attribute!", attributeNode) |
|
145 continue |
|
146 |
|
147 if attributeNode.getAttribute("use") == "required" and attributeNode.hasAttribute("default"): |
|
148 self._addError ("Attribute 'default' is not allowed, because 'use' is 'required'!", attributeNode) |
|
149 elif attributeNode.hasAttribute("default") and attributeNode.hasAttribute("fixed"): |
|
150 self._addError ("Attribute must not have 'default' AND 'fixed' attribute!", attributeNode) |
|
151 |
|
152 |
|
153 ######################################## |
|
154 # additional checks for simple types |
|
155 # |
|
156 def _checkSimpleTypesSecondLevel(self): |
|
157 restrictionNodes, dummy = self.inputRoot.getXPathList (".//simpleType/restriction", self.inputNSAlias) |
|
158 for restrictionNode in restrictionNodes: |
|
159 if not restrictionNode.hasAttribute("base") and restrictionNode.getFirstChildNS (self.inputNSAlias, "simpleType") == None: |
|
160 self._addError ("Simple type restriction must have 'base' attribute or 'simpleType' child tag!", restrictionNode) |
|
161 |
|
162 minExcl = restrictionNode.getFirstChildNS(self.inputNSAlias, "minExclusive") |
|
163 minIncl = restrictionNode.getFirstChildNS(self.inputNSAlias, "minInclusive") |
|
164 if minExcl != None and minIncl != None: |
|
165 self._addError ("Restriction attributes 'minExclusive' and 'minInclusive' cannot be defined together!", restrictionNode) |
|
166 maxExcl = restrictionNode.getFirstChildNS(self.inputNSAlias, "maxExclusive") |
|
167 maxIncl = restrictionNode.getFirstChildNS(self.inputNSAlias, "maxInclusive") |
|
168 if maxExcl != None and maxIncl != None: |
|
169 self._addError ("Restriction attributes 'maxExclusive' and 'maxInclusive' cannot be defined together!", restrictionNode) |
|
170 |
|
171 listNodes = self.inputRoot.getElementsByTagNameNS (self.inputNSAlias, "list") |
|
172 for listNode in listNodes: |
|
173 if not listNode.hasAttribute("itemType") and restrictionNode.getFirstChildNS (self.inputNSAlias, "simpleType") == None: |
|
174 self._addError ("List type must have 'itemType' attribute or 'simpleType' child tag!", listNode) |
|
175 |
|
176 |
|