Implement reentrant mutexes in xbt_os_thread

[simgrid.git] / src / xbt / graphxml.dtd

diff --git a/src/xbt/graphxml.dtd b/src/xbt/graphxml.dtd
index a26f72e..027cad4 100644 (file)
--- a/src/xbt/graphxml.dtd
+++ b/src/xbt/graphxml.dtd
@@ -1,15 +1,23 @@
 <!-- Small DTD for xbt graphs. -->
 <!ELEMENT graph ((node)*,(edge)*)>
+<!ATTLIST graph
+    isDirected (true|false) "true"
+>
 <!ELEMENT node EMPTY>
 <!ATTLIST node
     label           CDATA                ""
     name            CDATA                #REQUIRED
+    data            CDATA                ""
+    position_x     CDATA                "-1.0"
+    position_y     CDATA                "-1.0"
 >
+
 <!ELEMENT edge EMPTY>
 <!ATTLIST edge
     label           CDATA                ""
-    name       CDATA        #IMPLIED
-    source     CDATA        #REQUIRED
-    target     CDATA        #REQUIRED
-    isDirected (true|false) "true"
+    name            CDATA               #IMPLIED
+    source          CDATA               #REQUIRED
+    target          CDATA               #REQUIRED
+    length          CDATA               "-1.0"
+    data            CDATA               ""
 >