add PCLOC annotations. all three benchmarks are type-checked now.
[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / TaskEdges.java
1 package Analysis.TaskStateAnalysis;
2 import Util.*;
3
4 public class TaskEdges extends Namer {
5   public TaskEdges() {
6   }
7
8   public String nodeLabel(GraphNode gn) {
9     return "";
10   }
11
12   public String nodeOption(GraphNode gn) {
13     return "";
14   }
15
16
17   public String edgeLabel(Edge edge) {
18     return "";
19   }
20
21
22   public String edgeOption(Edge edge) {
23     return "URL=\""+edge.getLabel()+".html\"";
24   }
25
26 }