public void enableLoadSource() {
loadButton.setEnabled(true);
loadSourceMenuItem.setEnabled(true);
}
// arranges the menu bar
protected void arrangeMenu() {
// Build the first menu.
fileMenu = new JMenu("File");
fileMenu.setMnemonic(KeyEvent.VK_F);
menuBar.add(fileMenu);
runMenu = new JMenu("Run");
runMenu.setMnemonic(KeyEvent.VK_R);
menuBar.add(runMenu);
helpMenu = new JMenu("Help");
helpMenu.setMnemonic(KeyEvent.VK_H);
menuBar.add(helpMenu);
loadSourceMenuItem = new JMenuItem("Load Source file", KeyEvent.VK_O);
loadSourceMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
loadSourceMenuItem_actionPerformed(e);
}
});
fileMenu.add(loadSourceMenuItem);
saveDestMenuItem = new JMenuItem("Save Destination file", KeyEvent.VK_S);
saveDestMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
saveDestMenuItem_actionPerformed(e);
}
});
fileMenu.add(saveDestMenuItem);
fileMenu.addSeparator();
exitMenuItem = new JMenuItem("Exit", KeyEvent.VK_X);
exitMenuItem.setAccelerator(KeyStroke.getKeyStroke(KeyEvent.VK_X, ActionEvent.ALT_MASK));
exitMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
exitMenuItem_actionPerformed(e);
}
});
fileMenu.add(exitMenuItem);
singleStepMenuItem = new JMenuItem("Single Step", KeyEvent.VK_S);
singleStepMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
singleStepMenuItem_actionPerformed(e);
}
});
runMenu.add(singleStepMenuItem);
ffwdMenuItem = new JMenuItem("Fast Forward", KeyEvent.VK_F);
ffwdMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
ffwdMenuItem_actionPerformed(e);
}
});
runMenu.add(ffwdMenuItem);
stopMenuItem = new JMenuItem("Stop", KeyEvent.VK_T);
stopMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
stopMenuItem_actionPerformed(e);
}
});
runMenu.add(stopMenuItem);
rewindMenuItem = new JMenuItem("Rewind", KeyEvent.VK_R);
rewindMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
rewindMenuItem_actionPerformed(e);
}
});
runMenu.add(rewindMenuItem);
runMenu.addSeparator();
fullTranslationMenuItem = new JMenuItem("Fast Translation", KeyEvent.VK_U);
fullTranslationMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
fullTranslationMenuItem_actionPerformed(e);
}
});
runMenu.add(fullTranslationMenuItem);
usageMenuItem = new JMenuItem("Usage", KeyEvent.VK_U);
usageMenuItem.setAccelerator(KeyStroke.getKeyStroke("F1"));
usageMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
usageMenuItem_actionPerformed(e);
}
});
helpMenu.add(usageMenuItem);
aboutMenuItem = new JMenuItem("About...", KeyEvent.VK_A);
aboutMenuItem.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
aboutMenuItem_actionPerformed(e);
}
});
helpMenu.add(aboutMenuItem);
}
public void enableFullCompilation() {
fullTranslationButton.setEnabled(true);
fullTranslationMenuItem.setEnabled(true);
}
public void disableLoadSource() {
loadButton.setEnabled(false);
loadSourceMenuItem.setEnabled(false);
}
public void enableSave() {
saveButton.setEnabled(true);
saveDestMenuItem.setEnabled(true);
}
public void disableFullCompilation() {
fullTranslationButton.setEnabled(false);
fullTranslationMenuItem.setEnabled(false);
}
public void enableRewind() {
rewindButton.setEnabled(true);
rewindMenuItem.setEnabled(true);
}
public void disableSave() {
saveButton.setEnabled(false);
saveDestMenuItem.setEnabled(false);
}
public void enableSingleStep() {
singleStepButton.setEnabled(true);
singleStepMenuItem.setEnabled(true);
}
public void disableRewind() {
rewindButton.setEnabled(false);
rewindMenuItem.setEnabled(false);
}
public void disableSingleStep() {
singleStepButton.setEnabled(false);
singleStepMenuItem.setEnabled(false);
}
public void enableFastForward() {
ffwdButton.setEnabled(true);
ffwdMenuItem.setEnabled(true);
}
public void disableFastForward() {
ffwdButton.setEnabled(false);
ffwdMenuItem.setEnabled(false);
}
public void enableStop() {
stopButton.setEnabled(true);
stopMenuItem.setEnabled(true);
}
public void disableStop() {
stopButton.setEnabled(false);
stopMenuItem.setEnabled(false);
}