コード例 #1
0
  private void reloadSceneByIndex(int index) {
    ITraceElement te = loadNextTraceElement(index);
    traceElements = featureModel.getAllTraceElements(te.getTraceId());
    selectTrace(te.getTraceId());

    resetScene();
    jumpToEvent(te.getTraceId(), te.getEoi());
  }
コード例 #2
0
 @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;
   }
 }