Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove unused argument in functions for heap comparison algorithm
[simgrid.git] / src / surf / simgrid.dtd
1 <!-- Small DTD for SURF based tools. -->
2 <!ELEMENT platform ((config|random)*,(include|cluster|peer|AS|trace|trace_connect)*,(process)*)>
3 <!ATTLIST platform version CDATA "0.0">
4
5 <!ELEMENT include (include|cluster|peer|AS|trace|trace_connect)*>
6 <!ATTLIST include file CDATA #REQUIRED>
7
8 <!ELEMENT trace (#PCDATA)>
9 <!ATTLIST trace id CDATA #REQUIRED>
10 <!ATTLIST trace file CDATA "">
11 <!ATTLIST trace periodicity CDATA #REQUIRED>
12
13 <!ELEMENT random (prop*)>
14 <!ATTLIST random id CDATA #REQUIRED>
15 <!ATTLIST random min CDATA #REQUIRED>
16 <!ATTLIST random max CDATA #REQUIRED>
17 <!ATTLIST random mean CDATA #REQUIRED>
18 <!ATTLIST random std_deviation CDATA #REQUIRED>
19 <!ATTLIST random seed CDATA "2147483647">
20 <!ATTLIST random radical CDATA "">
21 <!ATTLIST random generator (DRAND48|RAND|RNGSTREAM|NONE) "DRAND48">
22
23 <!ELEMENT trace_connect EMPTY>
24 <!ATTLIST trace_connect kind (HOST_AVAIL|POWER|LINK_AVAIL|BANDWIDTH|LATENCY) "HOST_AVAIL">
25 <!ATTLIST trace_connect trace CDATA #REQUIRED>
26 <!ATTLIST trace_connect element CDATA #REQUIRED>
27
28 <!ELEMENT AS (((AS|include|storage_type|storage|link|cluster|peer|trace|trace_connect)*,(ASroute|trace|trace_connect|bypassASroute)*,(trace|trace_connect)*)|((include|storage_type|storage|host|router|link|trace|trace_connect)*,(route|trace|trace_connect|bypassRoute)*))>
29
30 <!ATTLIST AS id CDATA #REQUIRED>
31 <!ATTLIST AS routing CDATA #REQUIRED>
32
33 <!ELEMENT storage_type (prop*)>
34 <!ATTLIST storage_type id       CDATA #REQUIRED>
35 <!ATTLIST storage_type model    CDATA #REQUIRED>
36 <!ATTLIST storage_type size     CDATA #REQUIRED>
37 <!ATTLIST storage_type content  CDATA "0">
38
39 <!ELEMENT storage (prop*)>
40 <!ATTLIST storage id CDATA #REQUIRED>
41 <!ATTLIST storage typeId CDATA #REQUIRED>
42
43 <!ELEMENT mount EMPTY>
44 <!ATTLIST mount id CDATA #REQUIRED>
45 <!ATTLIST mount name CDATA #REQUIRED>
46
47 <!ELEMENT mstorage EMPTY>
48 <!ATTLIST mstorage typeId CDATA #REQUIRED>
49 <!ATTLIST mstorage name CDATA #REQUIRED>
50
51 <!ELEMENT host (prop|mount|mstorage)*>
52 <!ATTLIST host id CDATA #REQUIRED>
53 <!ATTLIST host power CDATA #REQUIRED>
54 <!ATTLIST host core  CDATA "1">
55 <!ATTLIST host availability CDATA "1.0">
56 <!ATTLIST host availability_file CDATA "">
57 <!ATTLIST host state (ON|OFF) "ON">
58 <!ATTLIST host state_file CDATA "">
59 <!ATTLIST host coordinates  CDATA "">
60
61 <!ELEMENT cluster EMPTY>
62 <!ATTLIST cluster id CDATA #REQUIRED>
63 <!ATTLIST cluster prefix CDATA #REQUIRED>
64 <!ATTLIST cluster suffix CDATA #REQUIRED>
65 <!ATTLIST cluster radical CDATA #REQUIRED>
66 <!ATTLIST cluster power CDATA #REQUIRED>
67 <!ATTLIST cluster core CDATA "1">
68 <!ATTLIST cluster bw CDATA #REQUIRED>
69 <!ATTLIST cluster lat CDATA #REQUIRED>
70 <!ATTLIST cluster sharing_policy (SHARED|FULLDUPLEX|FATPIPE) "FULLDUPLEX">
71 <!ATTLIST cluster bb_bw CDATA "">
72 <!ATTLIST cluster bb_lat CDATA "">
73 <!ATTLIST cluster bb_sharing_policy (SHARED|FATPIPE) "SHARED">
74 <!ATTLIST cluster availability_file CDATA "">
75 <!ATTLIST cluster state_file CDATA "">
76 <!ATTLIST cluster router_id CDATA "">
77
78 <!ELEMENT peer EMPTY>
79 <!ATTLIST peer id CDATA #REQUIRED>
80 <!ATTLIST peer power CDATA #REQUIRED>
81 <!ATTLIST peer bw_in CDATA #REQUIRED>
82 <!ATTLIST peer bw_out CDATA #REQUIRED>
83 <!ATTLIST peer lat CDATA #REQUIRED>
84 <!ATTLIST peer coordinates CDATA "">
85 <!ATTLIST peer availability_file CDATA "">
86 <!ATTLIST peer state_file CDATA "">
87
88 <!ELEMENT router EMPTY>
89 <!ATTLIST router id CDATA #REQUIRED>
90 <!ATTLIST router coordinates  CDATA "">
91
92 <!ELEMENT link (prop*)>
93 <!ATTLIST link id CDATA #REQUIRED>
94 <!ATTLIST link bandwidth CDATA  #REQUIRED>
95 <!ATTLIST link bandwidth_file CDATA "">
96 <!ATTLIST link latency CDATA "0.0">
97 <!ATTLIST link latency_file CDATA "">
98 <!ATTLIST link state (ON|OFF) "ON">
99 <!ATTLIST link state_file CDATA "">
100 <!ATTLIST link sharing_policy (SHARED|FATPIPE|FULLDUPLEX) "SHARED">
101
102 <!ELEMENT route (link_ctn*)>
103 <!ATTLIST route src CDATA #REQUIRED>
104 <!ATTLIST route dst CDATA #REQUIRED>
105 <!ATTLIST route symmetrical (YES|NO) "YES">
106
107 <!ELEMENT ASroute (link_ctn*)>
108 <!ATTLIST ASroute src CDATA #REQUIRED>
109 <!ATTLIST ASroute dst CDATA #REQUIRED>
110 <!ATTLIST ASroute gw_src CDATA #REQUIRED>
111 <!ATTLIST ASroute gw_dst CDATA #REQUIRED>
112 <!ATTLIST ASroute symmetrical (YES|NO) "YES">
113
114 <!ELEMENT link_ctn EMPTY>
115 <!ATTLIST link_ctn id CDATA #REQUIRED>
116 <!ATTLIST link_ctn direction (UP|DOWN|NONE) "NONE">
117
118 <!ELEMENT bypassRoute (link_ctn*)>
119 <!ATTLIST bypassRoute src CDATA #REQUIRED>
120 <!ATTLIST bypassRoute dst CDATA #REQUIRED>
121
122 <!ELEMENT bypassASroute (link_ctn*)>
123 <!ATTLIST bypassASroute src CDATA #REQUIRED>
124 <!ATTLIST bypassASroute dst CDATA #REQUIRED>
125 <!ATTLIST bypassASroute gw_src CDATA #REQUIRED>
126 <!ATTLIST bypassASroute gw_dst CDATA #REQUIRED>
127
128 <!ELEMENT process ((argument|prop)*)>
129 <!ATTLIST process host CDATA #REQUIRED>
130 <!ATTLIST process function CDATA #REQUIRED>
131 <!ATTLIST process start_time CDATA "-1.0">
132 <!ATTLIST process kill_time CDATA "-1.0">
133
134 <!ELEMENT argument EMPTY>
135 <!ATTLIST argument value CDATA #REQUIRED>
136
137 <!ELEMENT config (prop*)>
138 <!ATTLIST config id CDATA "">
139
140 <!ELEMENT prop EMPTY>
141 <!ATTLIST prop id CDATA #REQUIRED> <!-- <!ATTLIST prop key CDATA #REQUIRED> -->
142 <!ATTLIST prop value CDATA #REQUIRED>