Enable timestamping of messages emitted out of any user process (such as the terminai...

[simgrid.git] / src / surf / surfxml.dtd

diff --git a/src/surf/surfxml.dtd b/src/surf/surfxml.dtd
index 98d5643..a89316f 100644 (file)
--- a/src/surf/surfxml.dtd
+++ b/src/surf/surfxml.dtd
@@ -24,6 +24,7 @@
 <!ATTLIST network_link latency_file CDATA "">
 <!ATTLIST network_link state (ON|OFF) "ON">
 <!ATTLIST network_link state_file CDATA "">
+<!ATTLIST network_link sharing_policy (SHARED|FATPIPE) "SHARED">
 
 <!ELEMENT route (route_element*)>
 <!ATTLIST route src CDATA #REQUIRED>
@@ -39,6 +40,8 @@
 <!ELEMENT process (argument*)>
 <!ATTLIST process host CDATA #REQUIRED>
 <!ATTLIST process function CDATA #REQUIRED>
+<!ATTLIST process start_time CDATA "-1.0">
+<!ATTLIST process kill_time CDATA "-1.0">
 
 <!ELEMENT argument EMPTY>
 <!ATTLIST argument value CDATA #REQUIRED>