Algorithmique Numérique Distribuée Public GIT Repository
 author Martin Quinson Mon, 10 Sep 2018 21:17:30 +0000 (23:17 +0200) committer Martin Quinson Mon, 10 Sep 2018 21:17:30 +0000 (23:17 +0200)

index 68b18ff..5fd230b 100644 (file)
@@ -1,23 +1,18 @@
#!/usr/bin/env Rscript
args = commandArgs(trailingOnly=TRUE)
library(ggplot2)
#!/usr/bin/env Rscript
args = commandArgs(trailingOnly=TRUE)
library(ggplot2)
+
+# Load and relabel the data
names(df) = c("Type", "Actor", "Container", "Start", "End", "Duration", "Level", "State");
names(df) = c("Type", "Actor", "Container", "Start", "End", "Duration", "Level", "State");
-ggplot(df)
-    geom_segment(aes(x=Start, xend=End,
-                     y=Actor, yend=Actor,color=State), size=5)
-    scale_fill_brewer(palette="Set1")
-    theme_bw()
-    theme (
-        plot.margin = unit(c(0,0,0,0), "cm"),
-        legend.spacing = unit(1, "mm"),
-        panel.grid = element_blank(),
-        legend.position = "top",
-        legend.justification = "left",
-        legend.box.spacing = unit(0, "pt"),
-        legend.box.margin = margin(0,0,0,0)) -> p;

+# Actually draw the graph
+p = ggplot(df) + geom_segment(aes(x=Start, xend=End, y=Actor, yend=Actor,color=State), size=5);
+
+# Cosmetics to compact the resulting graph
p.height <- length(unique(df\$Actor)) * 0.05 + 2;
pdf(height = p.height)
p.height <- length(unique(df\$Actor)) * 0.05 + 2;
pdf(height = p.height)
+
+# Produce the pdf file
plot(p)
dev.off()
plot(p)
dev.off()