status = false;
// create "incorrect"-icon
correctness = new JLabel(Messages.getImageIcon(INCORRECT_ICON));
// add detail-button
JLabel workflowDetails = new JLabel(Messages.getImageIcon(DETAILS_ICON));
workflowDetails.addMouseListener(new DetailsMouseListener(sideBar, workflowPage));
workflowDetails.setBorder(BOTTOM_BORDER);
sgbl.addComponent(analysisPanel, workflowDetails, 2, 0, 1, 1, 0, 0);
}
// add icon
correctness.setBorder(BOTTOM_RIGHT_BORDER);
sgbl.addComponent(analysisPanel, correctness, 1, 0, 1, 1, 0, 0);
/*
* Soundness
*/
// display only if workflow-property is given
if (qualanalysisService.isWorkflowNet()) {
// add soundness-label
JLabel soundnessLabel = new JLabel(Messages.getString(PREFIX + "SoundnessAnalysis"));
soundnessLabel.setFont(SUBHEADER_FONT);
soundnessLabel.setBorder(BOTTOM_BORDER);
sgbl.addComponent(analysisPanel, soundnessLabel, 0, 1, 1, 1, 1, 1);
// add soundness info
// create coundness-page with further information
SoundnessPage soundnessPage = new SoundnessPage(this, sideBar);
if (soundnessPage.getWarningStatus()) {
// create "correct"-icon
correctness = new JLabel(Messages.getImageIcon(CORRECT_ICON));
} else {
if (!soundnessPage.getErrorStatus()) {
// create "incorrect"-icon
correctness = new JLabel(Messages.getImageIcon(INCORRECT_ICON));
} else {
// create "warning"-icon
correctness = new JLabel(Messages.getImageIcon(WARNING_ICON));
}
// add detail-button
JLabel soundnessDetails = new JLabel(Messages.getImageIcon(DETAILS_ICON));
soundnessDetails.addMouseListener(new DetailsMouseListener(sideBar, soundnessPage));
soundnessDetails.setBorder(BOTTOM_BORDER);
sgbl.addComponent(analysisPanel, soundnessDetails, 2, 1, 1, 1, 0, 1);
}
// add icon
correctness.setBorder(BOTTOM_RIGHT_BORDER);