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
|
using System;
using System.IO;
using System.Xml;
using Commons.Xml.Relaxng;
using Commons.Xml.Relaxng.Derivative;
public class Test
{
static char SEP = Path.DirectorySeparatorChar;
public static void Main ()
{
Console.WriteLine ("Started: " + DateTime.Now.ToString ("yyyy-MM-dd HH:mm:ss.fff"));
RunTest ();
Console.WriteLine ("Finished: " + DateTime.Now.ToString ("yyyy-MM-dd HH:mm:ss.fff"));
}
static void RunTest ()
{
foreach (DirectoryInfo di in
new DirectoryInfo (@"relax-ng").GetDirectories ()) {
/*
if (di.Name == "056") // baseURI
continue;
if (di.Name == "102") // invalid URI fragment
continue;
if (di.Name == "208") // infinite loop!!
continue;
if (di.Name == "210") // infinite loop!!
continue;
*/
XmlTextReader xtr = null;
FileInfo fi = new FileInfo (di.FullName + "/i.rng");
// Invalid grammar case:
if (fi.Exists) {
xtr = new XmlTextReader (fi.FullName);
try {
RelaxngPattern.Read (xtr).Compile ();
Console.WriteLine ("Expected error: " + di.Name);
} catch (RelaxngException ex) {
} catch (XmlException ex) {
} catch (ArgumentNullException ex) {
} catch (UriFormatException ex) {
} catch (Exception ex) {
Console.WriteLine ("Unexpected error type : " + di.Name + " : " + ex.Message);
} finally {
xtr.Close ();
}
continue;
}
// Valid grammar case:
xtr = new XmlTextReader (di.FullName + "/c.rng");
RelaxngPattern p = null;
try {
p = RelaxngPattern.Read (xtr);
p.Compile ();
} catch (Exception ex) {
Console.WriteLine ("Invalidated grammar: " + di.Name + " : " + ex.Message);
continue;
} finally {
xtr.Close ();
}
// Instance validation
foreach (FileInfo inst in di.GetFiles ("*.xml")) {
try {
RelaxngValidatingReader vr = new RelaxngValidatingReader (new XmlTextReader (inst.FullName), p);
while (!vr.EOF)
vr.Read ();
if (inst.Name.IndexOf ("i.") >= 0)
Console.WriteLine ("Incorrectly validated instance: " + di.Name + "/" + inst.Name);
} catch (RelaxngException ex) {
if (inst.Name.IndexOf ("i.") >= 0)
continue;
Console.WriteLine ("Invalidated instance: " + di.Name + "/" + inst.Name + " : " + ex.Message);
}
}
}
}
}
|
