+ "The selected checkbox means the <b>Input Class Diagram</b> Part is "
+ "<b>Valid</b> and <b>Not Valid</b> otherwise.<br/>"
+ "Check the checkbox to validate the entire <b>Input Class Diagram</b> Part.</html>");
jTabbedPane_contentPane.setMnemonicAt(jTabbedPane_contentPane.getTabCount() - 1, KeyEvent.VK_C);
checkbox_cd = new JCheckBoxTabRender(jTabbedPane_contentPane, jTabbedPane_contentPane.getTabCount() - 1);
/**
* Managing the validation the Input Class Diagram Part
*/
checkbox_cd.getCheckBox().addItemListener(new ItemListener()
{
@Override
public void itemStateChanged(ItemEvent e)
{
JCheckBox source = (JCheckBox) e.getSource();
if (source.isSelected()) {
easySm.updateProject().updateInputCD().validateInputCD();
source.setEnabled(false);
}
}
});
}
{
// State Observers Part
stateObservers_panel = new SOPanel(easySm.updateProject().updateSO());
jTabbedPane_contentPane
.addTab("<html><u>S</u>tate Observers and Invariants</html>",
new ImageIcon(getClass().getClassLoader().getResource("easysm/icons/x22/soAndInv.png")),
stateObservers_panel,
"<html>Edit/Add/Delete state observers and their relative invariants<br/>"
+ "The selected checkbox means the <b>State Observers and Invariants</b> "
+ "Part is <b>Valid</b> and <b>Not Valid</b> otherwise.<br/>"
+ "Check the checkbox to validate the entire <b>State "
+ "Observers and Invariants</b> Part.</html>");
jTabbedPane_contentPane.setMnemonicAt(jTabbedPane_contentPane.getTabCount() - 1, KeyEvent.VK_S);
checkbox_so = new JCheckBoxTabRender(jTabbedPane_contentPane,
jTabbedPane_contentPane.getTabCount() - 1);
/**
* Managing the validation the State Observers Part
*/
checkbox_so.getCheckBox().addItemListener(new ItemListener()
{
@Override
public void itemStateChanged(ItemEvent e)
{
JCheckBox source = (JCheckBox) e.getSource();
if (source.isSelected()) {
easySm.updateProject().updateSO().validateSO();
source.setEnabled(false);
}
}
});
}
{
// Events and Conditions/Reactions Part
events_panel = new E_Panel(easySm.updateProject().updateEvents());
jTabbedPane_contentPane
.addTab("<html>E<u>v</u>ents and Conditions/Reactions</html>",
new ImageIcon(getClass().getClassLoader().getResource("easysm/icons/x22/evtAndCondReact.png")),
events_panel,
"<html>Edit/Add/Delete events and their relative conditions/reactions<br/>"
+ "The selected checkbox means the <b>Events and Conditions/Reactions</b> "
+ "Part is <b>Valid</b> and <b>Not Valid</b> otherwise.<br/>"
+ "Check the checkbox to validate the entire <b>Events and "
+ "Conditions/Reactions</b> Part.</html>");
jTabbedPane_contentPane.setMnemonicAt(jTabbedPane_contentPane.getTabCount() - 1, KeyEvent.VK_V);
checkbox_ev = new JCheckBoxTabRender(jTabbedPane_contentPane,
jTabbedPane_contentPane.getTabCount() - 1);
/**
* Managing the validation the Events and Conditions/Reactions Part
*/
checkbox_ev.getCheckBox().addItemListener(new ItemListener()
{
@Override
public void itemStateChanged(ItemEvent e)
{
JCheckBox source = (JCheckBox) e.getSource();
if (source.isSelected()) {
easySm.updateProject().updateEvents().validateEvents();
source.setEnabled(false);
}
}
});
}
{
// State Table Part
stats_panel = new ST_panel(easySm.updateProject().updateST(), easySm.updateProject().updateSO());
jTabbedPane_contentPane.addTab("<html>S<u>t</u>ate Table", new ImageIcon(getClass()
.getClassLoader().getResource("easysm/icons/x22/stateTable.png")), stats_panel,
"<html>Edit/Define/Delete the states of the State Machine<br/>"
+ "The selected checkbox means the <b>State Table</b> "
+ "Part is <b>Valid</b> and <b>Not Valid</b> otherwise.<br/>"
+ "Check the checkbox to validate the entire <b>State Table</b> Part.</html>");
jTabbedPane_contentPane.setMnemonicAt(jTabbedPane_contentPane.getTabCount() - 1, KeyEvent.VK_T);
checkbox_st = new JCheckBoxTabRender(jTabbedPane_contentPane,
jTabbedPane_contentPane.getTabCount() - 1);
/**
* Managing the validation the State Table Part
*/