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); }