private void reloadSceneByIndex(int index) { ITraceElement te = loadNextTraceElement(index); traceElements = featureModel.getAllTraceElements(te.getTraceId()); selectTrace(te.getTraceId()); resetScene(); jumpToEvent(te.getTraceId(), te.getEoi()); }
@Override public void selectTraceElement(long traceId, ITraceElement te) { switch (navStatus) { case GLOBAL: jumpToPointInTime(te.getTin()); break; case LOCAL: if (currentTraceId != traceId) { selectTrace(traceId); resetScene(); } if (te.getTraceId() != traceId) { jumpToEvent(traceId, 0); // jumpToPointInTime(0); } else { jumpToEvent(traceId, te.getEoi()); } break; default: break; } }