(String path)
| 2765 | } |
| 2766 | |
| 2767 | private void writeGraph(String path) throws IOException { |
| 2768 | Writer writer = getTextFileWriter(path, false); |
| 2769 | for (OverlapEdge e : graph.edgeSet()) { |
| 2770 | writer.write(graph.getEdgeSource(e) + " -> " + graph.getEdgeTarget(e) + |
| 2771 | " [o=" + (e.sinkEnd-e.sinkStart + e.sourceEnd-e.sourceStart)/2 + "]\n"); |
| 2772 | } |
| 2773 | writer.close(); |
| 2774 | } |
| 2775 | |
| 2776 | private class TargetOverlapComparator implements Comparator<Overlap> { |
| 2777 | @Override |
no test coverage detected