# Load and relabel the data
df = pajeng_read(args[1])
-names(df$state) = c("Type", "Actor", "Container", "Start", "End", "Duration", "Level", "State");
+names(df$state) = c("Type", "Actor", "Container", "Start", "End", "Duration", "Level", "State")
# Actually draw the graph
-p = ggplot(df$state) + geom_segment(aes(x=Start, xend=End, y=Actor, yend=Actor,color=State), size=5);
+p = ggplot(df$state) + 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$state$Actor)) * 0.05 + 2;
+p.height <- length(unique(df$state$Actor)) * 0.05 + 2
pdf(height = p.height)
# Produce the pdf file