blob: 7788d6d685bbb0dbd4f273aea98e2e15497ffcd5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
// Author: Dwivedi, Ajay kumar
// Adwiv@Yahoo.com
using System;
using System.Xml;
using System.Xml.Serialization;
namespace System.Xml.Schema
{
/// <summary>
/// Summary description for XmlSchemaDocumentation.
/// </summary>
public class XmlSchemaDocumentation : XmlSchemaObject
{
private string language;
private XmlNode[] markup;
private string source;
public XmlSchemaDocumentation()
{
}
[XmlAnyElement]
[XmlText]
public XmlNode[] Markup
{
get{ return markup; }
set{ markup = value; }
}
[System.Xml.Serialization.XmlAttribute("source")]
public string Source
{
get{ return source; }
set{ source = value; }
}
[System.Xml.Serialization.XmlAttribute("xml:lang")]
public string Language
{
get{ return language; }
set{ language = value; }
}
//<documentation
// source = anyURI
// xml:lang = language>
// Content: ({any})*
//</documentation>
internal static XmlSchemaDocumentation Read(XmlSchemaReader reader, ValidationEventHandler h, out bool skip)
{
skip = false;
XmlSchemaDocumentation doc = new XmlSchemaDocumentation();
reader.MoveToElement();
if(reader.NamespaceURI != XmlSchema.Namespace || reader.LocalName != "documentation")
{
error(h,"Should not happen :1: XmlSchemaDocumentation.Read, name="+reader.Name,null);
reader.Skip();
return null;
}
doc.LineNumber = reader.LineNumber;
doc.LinePosition = reader.LinePosition;
doc.SourceUri = reader.BaseURI;
while(reader.MoveToNextAttribute())
{
if(reader.Name == "source")
{
doc.source = reader.Value;
}
else if(reader.Name == "xml:lang")
{
doc.language = reader.Value;
}
else
{
error(h,reader.Name + " is not a valid attribute for documentation",null);
}
}
reader.MoveToElement();
if(reader.IsEmptyElement)
return doc;
//Content {any}*
XmlDocument xmldoc = new XmlDocument();
xmldoc.AppendChild(xmldoc.ReadNode(reader));
XmlNode root = xmldoc.FirstChild;
if(root != null && root.ChildNodes != null)
{
doc.Markup = new XmlNode[root.ChildNodes.Count];
for(int i=0;i<root.ChildNodes.Count;i++)
{
doc.Markup[i] = root.ChildNodes[i];
}
}
if(reader.NodeType == XmlNodeType.Element || reader.NodeType == XmlNodeType.EndElement)
skip = true;
return doc;
}
}
}
|