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
|
/* ------------------------------------------------------------------------ */
/* */
/* [xml.abs] Abstract Grammar */
/* */
/* ------------------------------------------------------------------------ */
LANGUAGE xml
TOKENS
DCharRef, HCharRef, ERef, PERef, Nmtoken, XMLDecl, PI, CDSect, XMLOpr, Name, dtdEmbed, DTDStart, Literal, CharData, Empty, Comment, _other_
TYPES
xml = Start_XDoc(XDoc)
XDoc = dfn(XDecl, CDecl*)
XDecl = nul;
dfn(XMLDecl)
White = nul;
spc(Empty)
EDecl = dfn(Name, Attr*, EBody)
EBody = dfn(CDecl*, Name, White);
nul
Attr = spc(White);
dfn(White, Name, White, White, Literal)
CDecl = eref(ERef);
data(CharData);
nmtk(Nmtoken);
cref(DCharRef);
sect(CDSect);
xcom(Comment);
xopr(XMLOpr);
pref(PERef);
name(Name);
pi(PI);
elm(EDecl);
etg0;
lit(Literal);
else(_other_);
etg1;
typ(DTDStart, dtdEmbed);
spc(White);
eq;
href(HCharRef)
|
