Daniel@0: digraph g {
Daniel@0: graph [
Daniel@0: ];
Daniel@0: node [
Daniel@0: fontsize = "14"
Daniel@0: fontname = "Times-Roman"
Daniel@0: fontcolor = "black"
Daniel@0: shape = "box"
Daniel@0: color = "black"
Daniel@0: width = "0.5"
Daniel@0: ];
Daniel@0: edge [
Daniel@0: fontsize = "14"
Daniel@0: fontname = "Times-Roman"
Daniel@0: fontcolor = "black"
Daniel@0: color = "black"
Daniel@0: ];
Daniel@0: "22690" [
Daniel@0: label = "22690\n?"
Daniel@0: pname = "?"
Daniel@0: kind = "proc"
Daniel@0: ];
Daniel@0: "22692" [
Daniel@0: label = "22692\ndotty"
Daniel@0: pname = "dotty"
Daniel@0: kind = "proc"
Daniel@0: ];
Daniel@0: "116842+2595" [
Daniel@0: label = "116842+2595\n/home/ek/work/sun4/bin/dotty"
Daniel@0: fname = "/home/ek/work/sun4/bin/dotty"
Daniel@0: shape = "ellipse"
Daniel@0: kind = "file"
Daniel@0: ];
Daniel@0: "22693" [
Daniel@0: label = "22693\nlefty"
Daniel@0: pname = "lefty"
Daniel@0: kind = "proc"
Daniel@0: ];
Daniel@0: "182440-1" [
Daniel@0: label = "182440-1\n182441-1\npipe"
Daniel@0: fontsize = "7"
Daniel@0: fname = "pipe"
Daniel@0: shape = "doublecircle"
Daniel@0: subkind = "pipe"
Daniel@0: kind = "file"
Daniel@0: ];
Daniel@0: "182442-1" [
Daniel@0: label = "182442-1\n182443-1\npipe"
Daniel@0: fontsize = "7"
Daniel@0: fname = "pipe"
Daniel@0: shape = "doublecircle"
Daniel@0: subkind = "pipe"
Daniel@0: kind = "file"
Daniel@0: ];
Daniel@0: "22694" [
Daniel@0: label = "22694\ndot"
Daniel@0: pname = "dot"
Daniel@0: kind = "proc"
Daniel@0: ];
Daniel@0: "4761+2595" [
Daniel@0: label = "4761+2595\n/home/ek/pm2.dot"
Daniel@0: fname = "/home/ek/pm2.dot"
Daniel@0: shape = "ellipse"
Daniel@0: kind = "file"
Daniel@0: ];
Daniel@0: "22690" -> "22692" [
Daniel@0: fontsize = "14"
Daniel@0: fontname = "Times-Roman"
Daniel@0: fontcolor = "black"
Daniel@0: color = "black"
Daniel@0: ];
Daniel@0: "22692" -> "116842+2595" [
Daniel@0: fontsize = "14"
Daniel@0: fontname = "Times-Roman"
Daniel@0: fontcolor = "black"
Daniel@0: dir = "back"
Daniel@0: color = "black"
Daniel@0: ];
Daniel@0: "22692" -> "22693" [
Daniel@0: fontsize = "14"
Daniel@0: fontname = "Times-Roman"
Daniel@0: fontcolor = "black"
Daniel@0: color = "black"
Daniel@0: ];
Daniel@0: "22693" -> "182440-1" [
Daniel@0: fontsize = "14"
Daniel@0: fontname = "Times-Roman"
Daniel@0: fontcolor = "black"
Daniel@0: dir = "back"
Daniel@0: color = "black"
Daniel@0: ];
Daniel@0: "22693" -> "182442-1" [
Daniel@0: fontsize = "14"
Daniel@0: fontname = "Times-Roman"
Daniel@0: fontcolor = "black"
Daniel@0: dir = "forward"
Daniel@0: color = "black"
Daniel@0: ];
Daniel@0: "22693" -> "22694" [
Daniel@0: fontsize = "14"
Daniel@0: fontname = "Times-Roman"
Daniel@0: fontcolor = "black"
Daniel@0: color = "black"
Daniel@0: ];
Daniel@0: "22694" -> "182440-1" [
Daniel@0: fontsize = "14"
Daniel@0: fontname = "Times-Roman"
Daniel@0: fontcolor = "black"
Daniel@0: dir = "forward"
Daniel@0: color = "black"
Daniel@0: ];
Daniel@0: "22694" -> "182442-1" [
Daniel@0: fontsize = "14"
Daniel@0: fontname = "Times-Roman"
Daniel@0: fontcolor = "black"
Daniel@0: dir = "back"
Daniel@0: color = "black"
Daniel@0: ];
Daniel@0: "22693" -> "4761+2595" [
Daniel@0: fontsize = "14"
Daniel@0: fontname = "Times-Roman"
Daniel@0: fontcolor = "black"
Daniel@0: dir = "back"
Daniel@0: color = "black"
Daniel@0: ];
Daniel@0: }