/**
* Copy link of type TYPE between nodes FROM and TO in the graph PATH. The return value is the
* tail node for the new path.
*
* @param criticalPath The graph on which to add the link
* @param graph The original graph on which to calculate critical path
* @param anchor The anchor vertex from the path graph
* @param from The origin vertex in the main graph
* @param to The destination vertex in the main graph
* @param ts The timestamp of the edge
* @param type The type of the edge to create
* @return The destination vertex in the path graph
*/
public TmfVertex copyLink(
TmfGraph criticalPath,
TmfGraph graph,
TmfVertex anchor,
TmfVertex from,
TmfVertex to,
long ts,
TmfEdge.EdgeType type) {
IGraphWorker parentFrom = graph.getParentOf(from);
IGraphWorker parentTo = graph.getParentOf(to);
if (parentTo == null) {
throw new NullPointerException();
}
TmfVertex tmp = new TmfVertex(ts);
criticalPath.add(parentTo, tmp);
if (parentFrom == parentTo) {
anchor.linkHorizontal(tmp).setType(type);
} else {
anchor.linkVertical(tmp).setType(type);
}
return tmp;
}
