2 // Commons.Xml.Relaxng.RelaxngNameClass.cs
5 // Atsushi Enomoto <ginga@kit.hi-ho.ne.jp>
7 // 2003 Atsushi Enomoto "No rights reserved."
9 // Copyright (c) 2004 Novell Inc.
10 // All rights reserved
14 // Permission is hereby granted, free of charge, to any person obtaining
15 // a copy of this software and associated documentation files (the
16 // "Software"), to deal in the Software without restriction, including
17 // without limitation the rights to use, copy, modify, merge, publish,
18 // distribute, sublicense, and/or sell copies of the Software, and to
19 // permit persons to whom the Software is furnished to do so, subject to
20 // the following conditions:
22 // The above copyright notice and this permission notice shall be
23 // included in all copies or substantial portions of the Software.
25 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
26 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
27 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
28 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
29 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
30 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
31 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
35 using System.Collections;
39 using Commons.Xml.Relaxng.Derivative;
40 using Commons.Xml.Relaxng.Rnc;
42 namespace Commons.Xml.Relaxng
44 public class RelaxngNameClassList : CollectionBase
46 public RelaxngNameClassList ()
50 public void Add (RelaxngNameClass p)
55 public RelaxngNameClass this [int i] {
56 get { return this.List [i] as RelaxngNameClass; }
57 set { this.List [i] = value; }
60 public void Insert (int pos, RelaxngNameClass p)
65 public void Remove (RelaxngNameClass p)
71 public abstract class RelaxngNameClass : RelaxngElementBase
73 protected RelaxngNameClass ()
77 internal abstract RdpNameClass Compile (RelaxngGrammar g);
79 internal abstract void CheckConstraints (bool rejectAnyName, bool rejectNsName);
81 internal bool FindInvalidType (RdpNameClass nc, bool allowNsName)
83 RdpNameClassChoice choice = nc as RdpNameClassChoice;
85 return FindInvalidType (choice.LValue, allowNsName)
86 || FindInvalidType (choice.RValue, allowNsName);
87 else if (nc is RdpAnyName)
89 else if (nc is RdpNsName && !allowNsName)
96 public class RelaxngAnyName : RelaxngNameClass
98 RelaxngExceptNameClass except;
99 public RelaxngAnyName ()
103 public RelaxngExceptNameClass Except {
104 get { return except; }
105 set { except = value; }
108 public override void Write (XmlWriter writer)
110 writer.WriteStartElement ("", "anyName", RelaxngGrammar.NamespaceURI);
112 except.Write (writer);
113 writer.WriteEndElement ();
116 internal override void WriteRnc (RncWriter writer)
118 writer.WriteAnyName (this);
121 internal override RdpNameClass Compile (RelaxngGrammar g)
123 if (except != null) {
124 RdpNameClass exc = except.Compile (g);
125 if (FindInvalidType (exc, true))
126 throw new RelaxngException (except, "anyName except cannot have anyName children.");
127 return new RdpAnyNameExcept (exc);
129 return RdpAnyName.Instance;
132 internal override void CheckConstraints (bool rejectAnyName, bool rejectNsName)
135 throw new RelaxngException (this, "Not allowed anyName was found.");
137 foreach (RelaxngNameClass nc in except.Names)
138 nc.CheckConstraints (true, rejectNsName);
143 public class RelaxngNsName : RelaxngNameClass
146 RelaxngExceptNameClass except;
147 public RelaxngNsName ()
151 public string Namespace {
156 public RelaxngExceptNameClass Except {
157 get { return except; }
158 set { except = value; }
161 public override void Write (XmlWriter writer)
163 writer.WriteStartElement ("", "nsName", RelaxngGrammar.NamespaceURI);
165 except.Write (writer);
166 writer.WriteEndElement ();
169 internal override void WriteRnc (RncWriter writer)
171 writer.WriteNsName (this);
174 internal override RdpNameClass Compile (RelaxngGrammar g)
176 if (except != null) {
177 RdpNameClass exc = except.Compile (g);
178 if (FindInvalidType (exc, false))
179 throw new RelaxngException (except, "nsName except cannot have anyName nor nsName children.");
180 return new RdpNsNameExcept (ns, exc);
182 return new RdpNsName (ns);
186 internal override void CheckConstraints (bool rejectAnyName, bool rejectNsName)
189 throw new RelaxngException (this, "Not allowed nsName was found.");
191 foreach (RelaxngNameClass nc in except.Names)
192 nc.CheckConstraints (true, true);
197 public class RelaxngName : RelaxngNameClass
202 public RelaxngName ()
206 public RelaxngName (string ncname, string ns)
208 XmlConvert.VerifyNCName (ncname);
209 this.ncname = ncname;
213 public string LocalName {
214 get { return ncname; }
216 XmlConvert.VerifyNCName (value);
221 public string Namespace {
226 public override void Write (XmlWriter writer)
228 writer.WriteStartElement ("", "name", RelaxngGrammar.NamespaceURI);
229 writer.WriteAttributeString ("ns", ns);
230 // Here we just skip qname
231 writer.WriteString (ncname);
232 writer.WriteEndElement ();
235 internal override void WriteRnc (RncWriter writer)
237 writer.WriteName (this);
240 internal override RdpNameClass Compile (RelaxngGrammar g)
242 return new RdpName (ncname, ns);
245 internal override void CheckConstraints (bool rejectAnyName, bool rejectNsName)
251 public class RelaxngNameChoice : RelaxngNameClass
253 RelaxngNameClassList names = new RelaxngNameClassList ();
255 public RelaxngNameChoice ()
259 public RelaxngNameClassList Children {
260 get { return names; }
261 set { names = value; }
264 public override void Write (XmlWriter writer)
266 writer.WriteStartElement ("", "choice", RelaxngGrammar.NamespaceURI);
267 foreach (RelaxngNameClass nc in Children)
269 writer.WriteEndElement ();
272 internal override void WriteRnc (RncWriter writer)
274 writer.WriteNameChoice (this);
277 internal override RdpNameClass Compile (RelaxngGrammar g)
279 // Flatten names into RdpChoice. See 4.12.
280 if (names.Count == 0)
282 RdpNameClass p = ((RelaxngNameClass) names [0]).Compile (g);
283 if (names.Count == 1)
286 for (int i=1; i<names.Count; i++)
287 p = new RdpNameClassChoice (p, ((RelaxngNameClass) names [i]).Compile (g));
291 internal override void CheckConstraints (bool rejectAnyName, bool rejectNsName)
293 foreach (RelaxngNameClass nc in names)
294 nc.CheckConstraints (rejectAnyName, rejectNsName);
298 public class RelaxngExceptNameClass : RelaxngElementBase
300 RelaxngNameClassList names = new RelaxngNameClassList ();
302 public RelaxngExceptNameClass ()
306 public RelaxngNameClassList Names {
307 get { return names; }
310 public override void Write (XmlWriter writer)
312 writer.WriteStartElement ("", "except", RelaxngGrammar.NamespaceURI);
313 foreach (RelaxngNameClass nc in Names)
315 writer.WriteEndElement ();
318 internal override void WriteRnc (RncWriter writer)
320 writer.WriteNameExcept (this);
323 internal RdpNameClass Compile (RelaxngGrammar g)
325 // Flatten names into RdpGroup. See 4.12.
326 if (names.Count == 0)
328 RdpNameClass p = ((RelaxngNameClass) names [0]).Compile (g);
329 for (int i=1; i<names.Count; i++) {
330 p = new RdpNameClassChoice (
331 ((RelaxngNameClass) names [i]).Compile (g),