public mainWindow(Controller c, RandomEventGenerator r, Safety s) {
// use system look and feel
try {
UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
} catch (Exception e) {
// do nothing
}
view = new ElevatorSimView();
safety = s;
controller = c;
randomEventGen = r;
simStarted = false;
JPopupMenu.setDefaultLightWeightPopupEnabled(false);
initComponents();
setGUIEnabled(false);
SimViewPanel.add(view.getCanvas(), BorderLayout.CENTER);
this.validate();
AlgorithmDescBox.setText(controller.getAlgorithmDesc(0));
doc = MsgBox.getStyledDocument();
Style style = MsgBox.addStyle("Faults", null);
StyleConstants.setForeground(style, Color.red);
StyleConstants.setItalic(style, true);
StyleConstants.setBold(style, true);
style = MsgBox.addStyle("Passengers", null);
StyleConstants.setForeground(style, new Color(0, 204, 204));
StyleConstants.setItalic(style, true);
style = MsgBox.addStyle("Normal", null);
style = MsgBox.addStyle("Elevators", null);
StyleConstants.setForeground(style, new Color(51, 255, 0));
StyleConstants.setBold(style, true);
style = MsgBox.addStyle("Emergs", null);
StyleConstants.setForeground(style, Color.red);
StyleConstants.setBold(style, true);
style = MsgBox.addStyle("Maintenance", null);
StyleConstants.setForeground(style, Color.ORANGE);
StyleConstants.setBold(style, true);
// Hijack the keyboard manager
KeyboardFocusManager manager = KeyboardFocusManager.getCurrentKeyboardFocusManager();
manager.addKeyEventDispatcher(new KeyDispatcher(this));
// add window listener
this.addWindowListener(new mainWindowListener());
}
protected void AlgorithmDropListActionPerformed(ActionEvent evt) {
if (simStarted) controller.setAlgorithm(AlgorithmDropList.getSelectedIndex());
AlgorithmDescBox.setText(controller.getAlgorithmDesc(AlgorithmDropList.getSelectedIndex()));
}
