/*
* (non-Javadoc)
*
* @see
* org.processmining.framework.models.hlprocess.gui.att.dist.HLDistributionGui
* #updateGUI()
*/
public void updateGUI() {
if (parent instanceof HLConstantDistribution) {
((HLConstantDistribution) parent).setConstant(myConstant.getValue());
} else if (parent instanceof HLGeneralDistribution) {
((HLGeneralDistribution) parent).setConstant(myConstant.getValue());
}
}
/*
* (non-Javadoc)
*
* @see
* org.processmining.framework.models.hlprocess.gui.att.dist.HLDistributionGui
* #getPanel()
*/
public JPanel getPanel() {
JPanel resultPanel = new JPanel();
resultPanel.setLayout(new BoxLayout(resultPanel, BoxLayout.PAGE_AXIS));
resultPanel.add(myConstant.getPropertyPanel());
return resultPanel;
}