added attribute for anchor edges
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 13 Jul 2007 15:31:50 +0000 (15:31 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 13 Jul 2007 15:31:50 +0000 (15:31 +0000)
[r15122]

ir/ir/irdump_t.h

index 4982d59..ba8a49a 100644 (file)
@@ -46,6 +46,7 @@
 #define KEEP_ALIVE_EDGE_ATTR     "class:20 priority:10 color:purple"
 #define KEEP_ALIVE_CF_EDGE_ATTR  "class:20 priority:60 color:purple"
 #define KEEP_ALIVE_DF_EDGE_ATTR  "class:20 priority:10 color:purple"
+#define ANCHOR_EDGE_ATTR         "class:20 priority:60 color:purple linestyle:dotted"
 
 #define BACK_EDGE_ATTR "linestyle:dashed "