public void enableLoadSource() {
loadButton.setEnabled(true);
loadSourceMenuItem.setEnabled(true);
}
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);
}