void addThreadItems(Iterable<BddtHistoryItem> itms, long since) {
GraphObject lastobj = null;
BddtHistoryItem lastitem = null;
for (BddtHistoryItem hi : itms) {
GraphObject go = getObject(hi);
if (since == 0 || hi.getTime() > since) {
last_time = Math.max(last_time, hi.getTime());
if (start_time == 0) start_time = last_time;
else start_time = Math.min(start_time, hi.getTime());
if (go == null) continue;
if (lastobj == null) { // first time
go.startBlock(hi);
} else if (lastobj == go) { // step inside the same object
go.extendBlock(hi);
} else if (lastitem != null && hi.isInside(lastitem)) { // step/call into a new object
go.startBlock(hi);
lastobj.addLink(go, LinkType.ENTER, hi);
} else if (lastitem != null && lastitem.isInside(hi)) { // return to prior object
go.extendBlock(hi);
// end prior block??
lastobj.addLink(go, LinkType.RETURN, hi);
} else {
lastobj.finish(hi);
go.startBlock(hi);
lastobj.addLink(go, LinkType.NEXT, hi);
}
}
lastobj = go;
lastitem = hi;
}
}
void startBlock(BddtHistoryItem hi) {
if (start_time == 0) start_time = hi.getTime();
else start_time = Math.min(start_time, hi.getTime());
GraphBlock gb = new GraphBlock(hi);
all_blocks.add(gb);
in_blocks.put(hi.getThread(), gb);
}
long getReturnTime(GraphObject to) {
for (GraphLink lnk : out_links) {
if (lnk.getType() == LinkType.RETURN) {
GraphObject go = lnk.getToObject();
if (go == to) return lnk.getTime();
else {
long rt = go.getReturnTime(to);
if (rt != 0) return Math.min(lnk.getTime(), rt);
}
}
}
return 0;
}
private GraphObject getObjectAtPoint(int x, int y) {
if (object_width == 0) return null;
GraphObject gobj = null;
int idx = (int) ((x - left_right_margin) / (object_width + object_hspacing));
if (idx >= 0 && idx < history_graph.getNumObjects()) {
double xoff = x - (left_right_margin + idx * (object_width + object_hspacing));
xoff -= object_width / 2;
if (Math.abs(xoff) <= active_width) gobj = history_graph.getObject(idx);
}
return gobj;
}
/** ***************************************************************************** */
private BddtHistoryItem getItemAtPoint(int x, int y) {
if (object_width == 0) return null;
double t =
history_graph.getStartTime()
+ (y - time_start)
/ (time_end - time_start)
* (history_graph.getEndTime() - history_graph.getStartTime() + 1);
if (t < history_graph.getStartTime() || t > history_graph.getEndTime()) return null;
GraphObject gobj = getObjectAtPoint(x, y);
// correlate with blocks
if (gobj != null) {
GraphBlock gb0 = null;
double dtime = 0;
for (GraphBlock gb : gobj.getBlocks()) {
double dt = gb.getEndTime() - gb.getStartTime();
if (t >= gb.getStartTime() && t <= gb.getEndTime()) {
if (gb0 == null || dt < dtime) {
gb0 = gb;
dtime = dt;
}
}
}
if (gb0 != null) {
BddtHistoryItem bi0 = null;
dtime = 0;
for (BddtHistoryItem bhi : gb0.getItems()) {
double dt = t - bhi.getTime();
if (dt >= 0) {
if (bi0 == null || dt < dtime) {
bi0 = bhi;
dtime = dt;
}
}
}
if (bi0 != null) return bi0;
}
}
// correlate with links
double delta =
(history_graph.getEndTime() - history_graph.getStartTime()) / (time_end - time_start) * 3;
double dtime = 0;
GraphLink gl0 = null;
for (int i = 0; i < history_graph.getNumObjects(); ++i) {
GraphObject go = history_graph.getObject(i);
double x0 = graph_locations.get(go);
for (GraphLink gl : go.getLinks()) {
double x1 = graph_locations.get(gl.getToObject());
if (x > x0 && x < x1) {
double dt = Math.abs(t - gl.getTime());
if (gl0 == null || dt < dtime) {
gl0 = gl;
dtime = dt;
}
}
}
}
if (gl0 != null && dtime <= delta) {
return gl0.getItem();
}
return null;
}
