forked from goblint/analyzer
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgoblint.dtd
49 lines (40 loc) · 2.13 KB
/
goblint.dtd
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
<!ELEMENT run (call,result) >
<!ELEMENT result (file*, loc*, glob*, warning*) >
<!ELEMENT file (function*) >
<!ELEMENT function (node*) >
<!ELEMENT loc (context,path*)* >
<!ELEMENT path (analysis*) >
<!ELEMENT context (analysis*) >
<!ELEMENT analysis (value) >
<!ELEMENT value (data|map|set) >
<!ELEMENT map (key,value)* >
<!ELEMENT set (value*) >
<!ELEMENT glob (key,analysis*) >
<!ELEMENT call (#PCDATA) >
<!ELEMENT data (#PCDATA) >
<!ELEMENT key (#PCDATA) >
<!ELEMENT warning (text|group) >
<!ELEMENT group (text*) >
<!ELEMENT text (#PCDATA) >
<!ATTLIST group name CDATA #REQUIRED
comment CDATA #IMPLIED >
<!ATTLIST text file CDATA #REQUIRED
line CDATA #REQUIRED
comment CDATA #IMPLIED >
<!ATTLIST loc file CDATA #REQUIRED
line CDATA #REQUIRED
order CDATA #IMPLIED
id CDATA #IMPLIED
comment CDATA #IMPLIED >
<!ATTLIST file name CDATA #REQUIRED >
<!ATTLIST function name CDATA #REQUIRED >
<!ATTLIST analysis name CDATA #REQUIRED
comment CDATA #IMPLIED >
<!ATTLIST run comment CDATA #IMPLIED >
<!ATTLIST call comment CDATA #IMPLIED >
<!ATTLIST result comment CDATA #IMPLIED >
<!ATTLIST context comment CDATA #IMPLIED >
<!ATTLIST value comment CDATA #IMPLIED >
<!ATTLIST map comment CDATA #IMPLIED >
<!ATTLIST set comment CDATA #IMPLIED >
<!ATTLIST path comment CDATA #IMPLIED >