xref: /illumos-gate/usr/src/tools/smatch/src/parse.dtd (revision 1f5207b7)
1<!ELEMENT parse (symbol+) >
2
3<!ELEMENT symbol (symbol*) >
4
5<!ATTLIST symbol type (uninitialized|preprocessor|basetype|node|pointer|function|array|struct|union|enum|typedef|typeof|member|bitfield|label|restrict|fouled|keyword|bad) #REQUIRED
6                 id ID #REQUIRED
7		 file CDATA #REQUIRED
8		 start-line CDATA #REQUIRED
9		 start-col CDATA #REQUIRED
10		 end-line CDATA #IMPLIED
11		 end-col CDATA #IMPLIED
12		 end-file CDATA #IMPLIED
13
14		 ident CDATA #IMPLIED
15		 base-type IDREF #IMPLIED
16		 base-type-builtin (char|signed char|unsigned char|short|signed short|unsigned short|int|signed int|unsigned int|signed long|long|unsigned long|long long|signed long long|unsigned long long|void|bool|string|float|double|long double|incomplete type|abstract int|abstract fp|label type|bad type) #IMPLIED
17
18		 array-size CDATA #IMPLIED
19
20		 bit-size CDATA #IMPLIED
21		 alignment CDATA #IMPLIED
22		 offset CDATA #IMPLIED
23		 bit-offset CDATA #IMPLIED
24
25		 auto (0|1) #IMPLIED
26		 register (0|1) #IMPLIED
27		 static (0|1) #IMPLIED
28		 extern (0|1) #IMPLIED
29		 const (0|1) #IMPLIED
30		 volatile (0|1) #IMPLIED
31		 signed (0|1) #IMPLIED
32		 unsigned (0|1) #IMPLIED
33		 char (0|1) #IMPLIED
34		 short (0|1) #IMPLIED
35		 long (0|1) #IMPLIED
36		 long-long (0|1) #IMPLIED
37		 typedef (0|1) #IMPLIED
38		 inline (0|1) #IMPLIED
39		 addressable (0|1) #IMPLIED
40		 nocast (0|1) #IMPLIED
41		 noderef (0|1) #IMPLIED
42		 accessed (0|1) #IMPLIED
43		 toplevel (0|1) #IMPLIED
44		 label (0|1) #IMPLIED
45		 assigned (0|1) #IMPLIED
46		 type-type (0|1) #IMPLIED
47		 safe (0|1) #IMPLIED
48		 usertype (0|1) #IMPLIED
49		 force (0|1) #IMPLIED
50		 explicitly-signed (0|1) #IMPLIED
51		 bitwise (0|1) #IMPLIED >
52