private void updateBehavioralAnnotation(BehavioralAnnotation behavioralAnnotation) {
if (behavioralAnnotation.getSymbolicExecution()) {
this.symbolicExecutionLabel.setText("Yes");
if (behavioralAnnotation.interpretSymbolicTracePaths()
== BehavioralAnnotation.TRUE_POSITIVE) {
this.symbolicExecutionInterpretationLabel.setText("True Positive");
this.symbolicExecutionInterpretationImage.setImage(
BehavioralInferenceImages.getImage(BehavioralInferenceImages.IMG_ACCEPTED));
} else {
this.symbolicExecutionInterpretationLabel.setText("False Positive");
this.symbolicExecutionInterpretationImage.setImage(
BehavioralInferenceImages.getImage(BehavioralInferenceImages.IMG_REJECTED));
}
} else {
this.symbolicExecutionLabel.setText("No");
this.symbolicExecutionInterpretationLabel.setText("-");
this.symbolicExecutionInterpretationImage.setImage(
BehavioralInferenceImages.getImage(BehavioralInferenceImages.IMG_REJECTED));
}
this.tracesLabel.setText(Integer.toString(behavioralAnnotation.sizeOfTraces()));
this.notAcceptedLabel.setText(Integer.toString(behavioralAnnotation.getNotAcceptedTraces()));
this.acceptedLabel.setText(Integer.toString(behavioralAnnotation.getAcceptedTraces()));
this.rejectedLabel.setText(Integer.toString(behavioralAnnotation.getRejectedTraces()));
this.passedAcceptingStateTracesLabel.setText(
Integer.toString(behavioralAnnotation.getPassedAcceptingStateTraces()));
this.avgLengthLabel.setText(Float.toString(behavioralAnnotation.getAvgLengthAcceptedTraces()));
updateTracesCombo(behavioralAnnotation);
}
private void updateTracesCombo(BehavioralAnnotation behavioralAnnotation) {
this.traces.clear();
Iterator<Trace> traceIter = behavioralAnnotation.iteratorOfTraces();
while (traceIter.hasNext()) {
Trace trace = traceIter.next();
this.traces.put("Method call sequence " + trace.getId(), trace);
}
List<String> list = new ArrayList<String>(this.traces.keySet());
Collections.sort(list);
this.tracesCombo.setItems(
list.toArray((String[]) Array.newInstance(String.class, list.size())));
if (list.size() > 0) {
this.tracesCombo.select(0);
updateTrace(this.traces.get(list.get(0)));
}
}
