Robust/src/Benchmarks/oooJava/D3/UndirectedEdgeGraph.java

   1 public class UndirectedEdgeGraph extends DirectedEdgeGraph {
   2   public UndirectedEdgeGraph() {
   3     super();
   4   }
   5
   6   public Edge_d createEdge(Node src, Node dest, Object e) {
   7     UndirectedEdgeGraphNode gsrc = (UndirectedEdgeGraphNode) src;
   8     UndirectedEdgeGraphNode gdest = (UndirectedEdgeGraphNode) dest;
   9     if (gsrc.compareTo(gdest) > 0)
  10       return new GraphEdge(gsrc, gdest, e);
  11     else
  12       return new GraphEdge(gdest, gsrc, e);
  13   }
  14
  15   public UndirectedEdgeGraphNode createNode(Object n) {
  16     return new UndirectedEdgeGraphNode(n);
  17   }
  18
  19   public boolean isDirected() {
  20     return false;
  21   }
  22 }