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