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
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
//------------------------------------------------------------------------------
// <copyright file="StateMachine.cs" company="Microsoft">
// Copyright (c) Microsoft Corporation. All rights reserved.
// </copyright>
// <owner current="true" primary="true">Microsoft</owner>
//------------------------------------------------------------------------------
namespace System.Xml.Xsl.XsltOld {
using Res = System.Xml.Utils.Res;
using System;
using System.Diagnostics;
using System.Xml;
using System.Xml.XPath;
internal class StateMachine {
// Constants for the state table
private const int Init = 0x000000; // Initial state
private const int Elem = 0x000001; // Element was output
private const int NsN = 0x000002; // Namespace name was output
private const int NsV = 0x000003; // Namespace value was output (some more can follow)
private const int Ns = 0x000004; // Namespace was output
private const int AttrN = 0x000005; // Attribute name was output
private const int AttrV = 0x000006; // Attribute value was output (some more can follow)
private const int Attr = 0x000007; // Attribute was output
private const int InElm = 0x000008; // Filling in element, general state text
private const int EndEm = 0x000009; // After end element event - next end element doesn't generate token
private const int InCmt = 0x00000a; // Adding text to a comment
private const int InPI = 0x00000b; // Adding text to a processing instruction
private const int StateMask = 0x00000F; // State mask
internal const int Error = 0x000010; // Invalid XML state
private const int Ignor = 0x000020; // Ignore this transition
private const int Assrt = 0x000030; // Assrt
private const int U = 0x000100; // Depth up
private const int D = 0x000200; // Depth down
internal const int DepthMask = 0x000300; // Depth mask
internal const int DepthUp = U;
internal const int DepthDown = D;
private const int C = 0x000400; // BeginChild
private const int H = 0x000800; // HadChild
private const int M = 0x001000; // EmptyTag
internal const int BeginChild = C;
internal const int HadChild = H;
internal const int EmptyTag = M;
private const int B = 0x002000; // Begin Record
private const int E = 0x004000; // Record finished
internal const int BeginRecord = B;
internal const int EndRecord = E;
private const int S = 0x008000; // Push namespace scope
private const int P = 0x010000; // Pop current namepsace scope
internal const int PushScope = S;
internal const int PopScope = P; // Next event must pop scope
//
// Runtime state
//
private int _State;
internal StateMachine() {
_State = Init;
}
internal int State {
get {
return _State;
}
set {
// Hope you know what you are doing ...
_State = value;
}
}
internal void Reset() {
_State = Init;
}
internal static int StateOnly(int state) {
return state & StateMask;
}
internal int BeginOutlook(XPathNodeType nodeType) {
int newState = s_BeginTransitions[(int)nodeType][_State];
Debug.Assert(newState != Assrt);
return newState;
}
internal int Begin(XPathNodeType nodeType) {
int newState = s_BeginTransitions[(int)nodeType][_State];
Debug.Assert(newState != Assrt);
if (newState != Error && newState != Ignor) {
_State = newState & StateMask;
}
return newState;
}
internal int EndOutlook(XPathNodeType nodeType) {
int newState = s_EndTransitions[(int)nodeType][_State];
Debug.Assert(newState != Assrt);
return newState;
}
internal int End(XPathNodeType nodeType) {
int newState = s_EndTransitions[(int)nodeType][_State];
Debug.Assert(newState != Assrt);
if (newState != Error && newState != Ignor) {
_State = newState & StateMask;
}
return newState;
}
private static readonly int [][] s_BeginTransitions = {
/* { Init, Elem, NsN, NsV, Ns, AttrN, AttrV, Attr, InElm, EndEm, InCmt, InPI }, */
/* Root */ new int[] { Error, Error, Error, Error, Error, Error, Error, Error, Error, Error, Error, Error },
/* Element */ new int[] { Elem |B|S, Elem |U|C|B|S, Error, Error, Elem |C|B|S, Error, Error, Elem |C|B|S, Elem |B|S, Elem |B|P|S, Error, Error },
/* Attribute */ new int[] { Error, AttrN|U, Error, Error, AttrN, Error, Error, AttrN, Error, Error, Error, Error },
/* Namespace */ new int[] { Error, NsN|U, Error, Error, NsN, Error, Error, Error, Error, Error, Error, Error },
/* Text */ new int[] { InElm|B, InElm|U|C|B, NsV|U, NsV, InElm|C|B, AttrV|U, AttrV, InElm|C|B, InElm, InElm|B|P, InCmt, InPI },
/* SignificantWhitespace */ new int[] { InElm|B, InElm|U|C|B, NsV|U, NsV, InElm|C|B, AttrV|U, AttrV, InElm|C|B, InElm, InElm|B|P, InCmt, InPI },
/* Whitespace */ new int[] { InElm|B, InElm|U|C|B, NsV|U, NsV, InElm|C|B, AttrV|U, AttrV, InElm|C|B, InElm, InElm|B|P, InCmt, InPI },
/* ProcessingInstruction */ new int[] { InPI |B, InPI |U|C|B, Error, Error, InPI |C|B, Error, Error, InPI |C|B, InPI |B, InPI |B|P, Error, Error },
/* Comment */ new int[] { InCmt|B, InCmt|U|C|B, Error, Error, InCmt|C|B, Error, Error, InCmt|C|B, InCmt|B, InCmt|B|P, Error, Error },
/* All */ new int[] { Error, Error, Error, Error, Error, Error, Error, Error, Error, Error, Error, Error },
};
private static readonly int [][] s_EndTransitions = {
/* { Init, Elem, NsN, NsV, Ns, AttrN, AttrV, Attr, InElm, EndEm, InCmt, InPI }, */
/* Root */ new int[] { Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt },
/* Element */ new int[] { Assrt, EndEm|B|E|P|M, Assrt, Assrt, EndEm|D|B|E|P|M, Assrt, Assrt, EndEm|D|B|E|P|M, EndEm|D|H|B|E|P, EndEm|D|H|B|E|P, Assrt, Assrt },
/* Attribute */ new int[] { Assrt, Assrt, Assrt, Assrt, Assrt, Attr, Attr |D, Assrt, Assrt, Assrt, Assrt, Assrt },
/* Namespace */ new int[] { Assrt, Assrt, Ns, Ns |D, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt },
/* Text */ new int[] { Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt },
/* SignificantWhitespace */ new int[] { Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt },
/* Whitespace */ new int[] { Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt },
/* ProcessingInstruction */ new int[] { Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, EndEm|E},
/* Comment */ new int[] { Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, EndEm|E, Assrt },
/* All */ new int[] { Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt, Assrt },
};
}
}
|
