/**
* This is the hook through which all menu items are created. It registers the result with the
* menuitem hashtable so that it can be fetched with getMenuItem().
*
* @see #getMenuItem
*/
protected JMenuItem createMenuItem(String cmd) {
JMenuItem mi = new JMenuItem(getResourceString(cmd + labelSuffix));
URL url = getResource(cmd + imageSuffix);
if (url != null) {
mi.setHorizontalTextPosition(JButton.RIGHT);
mi.setIcon(new ImageIcon(url));
}
String astr = getResourceString(cmd + actionSuffix);
if (astr == null) {
astr = cmd;
}
mi.setActionCommand(astr);
Action myaction = getAction(astr); // if this is a known action
if (myaction != null) {
mi.addActionListener(myaction);
myaction.addPropertyChangeListener(createActionChangeListener(mi));
// System.out.println("myaction not null: astr:"+astr+" enabled:"+myaction.isEnabled());
mi.setEnabled(myaction.isEnabled());
} else {
System.err.println("Error:TextViewer: createMenuItem: myaction is null: astr:" + astr);
// causes the item to be greyed out
mi.setEnabled(false);
}
menuItems.put(cmd, mi);
return mi;
}
private Action getAction(String name) {
for (Action action : sourceArea.getActions()) {
if (name.equals(action.getValue(Action.NAME).toString())) {
return action;
}
}
return null;
}
public void adjustFeedback() {
actionCancel.setEnabled(true);
actionChooseNone.setEnabled(true);
if (getSwingFocus() == null) {
actionChooseSelected.setEnabled(false);
} else {
actionChooseSelected.setEnabled(true);
}
}
/** Synchronizes the state of the actions to the current state of this host. */
private void updateActions() {
final DeviceController currentDeviceController = getDeviceController();
final boolean deviceControllerSet = currentDeviceController != null;
final boolean deviceCapturing = deviceControllerSet && currentDeviceController.isCapturing();
final boolean deviceSetup =
deviceControllerSet && !deviceCapturing && currentDeviceController.isSetup();
getAction(CaptureAction.ID).setEnabled(deviceControllerSet);
getAction(CancelCaptureAction.ID).setEnabled(deviceCapturing);
getAction(RepeatCaptureAction.ID).setEnabled(deviceSetup);
final boolean projectChanged = this.projectManager.getCurrentProject().isChanged();
final boolean projectSavedBefore =
this.projectManager.getCurrentProject().getFilename() != null;
final boolean dataAvailable = this.dataContainer.hasCapturedData();
getAction(SaveProjectAction.ID).setEnabled(projectChanged);
getAction(SaveProjectAsAction.ID).setEnabled(projectSavedBefore && projectChanged);
getAction(SaveDataFileAction.ID).setEnabled(dataAvailable);
getAction(ZoomInAction.ID).setEnabled(dataAvailable);
getAction(ZoomOutAction.ID).setEnabled(dataAvailable);
getAction(ZoomDefaultAction.ID).setEnabled(dataAvailable);
getAction(ZoomFitAction.ID).setEnabled(dataAvailable);
final boolean triggerEnable = dataAvailable && this.dataContainer.hasTriggerData();
getAction(GotoTriggerAction.ID).setEnabled(triggerEnable);
// Update the cursor actions accordingly...
final boolean enableCursors = dataAvailable && this.dataContainer.isCursorsEnabled();
for (int c = 0; c < CapturedData.MAX_CURSORS; c++) {
final boolean enabled = enableCursors && this.dataContainer.isCursorPositionSet(c);
getAction(GotoNthCursorAction.getID(c)).setEnabled(enabled);
}
getAction(GotoFirstCursorAction.ID).setEnabled(enableCursors);
getAction(GotoLastCursorAction.ID).setEnabled(enableCursors);
getAction(SetCursorModeAction.ID).setEnabled(dataAvailable);
getAction(SetCursorModeAction.ID)
.putValue(Action.SELECTED_KEY, Boolean.valueOf(this.dataContainer.isCursorsEnabled()));
boolean anyCursorSet = false;
for (int c = 0; c < CapturedData.MAX_CURSORS; c++) {
final boolean cursorPositionSet = this.dataContainer.isCursorPositionSet(c);
anyCursorSet |= cursorPositionSet;
final Action action = getAction(SetCursorAction.getCursorId(c));
action.setEnabled(dataAvailable);
action.putValue(Action.SELECTED_KEY, Boolean.valueOf(cursorPositionSet));
}
getAction(ClearCursors.ID).setEnabled(enableCursors && anyCursorSet);
}
@Override
public void ioResult(IOServiceEvent e) {
if (e.getState() == IOServiceEvent.MOUNT_SUCCESS
|| e.getState() == IOServiceEvent.MOUNT_FAILURE) {
lumberjack.setFullModel(buildModel(e.getResolverBundle().getResolvers()));
toggleAction.setEnabled(cpos != null);
toggleAction.putValue(
Action.SELECTED_KEY,
(Boolean) toggleAction.getValue(Action.SELECTED_KEY) && cpos != null);
}
}
public void caretUpdate(CaretEvent e) {
// when the cursor moves on _textView
// this method will be called. Then, we
// must determine what the line number is
// and update the line number view
Element root = textView.getDocument().getDefaultRootElement();
int line = root.getElementIndex(e.getDot());
root = root.getElement(line);
int col = root.getElementIndex(e.getDot());
lineNumberView.setText(line + ":" + col);
// if text is selected then enable copy and cut
boolean isSelection = e.getDot() != e.getMark();
copyAction.setEnabled(isSelection);
cutAction.setEnabled(isSelection);
}
@SuppressWarnings("OverridableMethodCallInConstructor")
Notepad() {
super(true);
// Trying to set Nimbus look and feel
try {
for (LookAndFeelInfo info : UIManager.getInstalledLookAndFeels()) {
if ("Nimbus".equals(info.getName())) {
UIManager.setLookAndFeel(info.getClassName());
break;
}
}
} catch (Exception ignored) {
}
setBorder(BorderFactory.createEtchedBorder());
setLayout(new BorderLayout());
// create the embedded JTextComponent
editor = createEditor();
// Add this as a listener for undoable edits.
editor.getDocument().addUndoableEditListener(undoHandler);
// install the command table
commands = new HashMap<Object, Action>();
Action[] actions = getActions();
for (Action a : actions) {
commands.put(a.getValue(Action.NAME), a);
}
JScrollPane scroller = new JScrollPane();
JViewport port = scroller.getViewport();
port.add(editor);
String vpFlag = getProperty("ViewportBackingStore");
if (vpFlag != null) {
Boolean bs = Boolean.valueOf(vpFlag);
port.setScrollMode(bs ? JViewport.BACKINGSTORE_SCROLL_MODE : JViewport.BLIT_SCROLL_MODE);
}
JPanel panel = new JPanel();
panel.setLayout(new BorderLayout());
panel.add("North", createToolbar());
panel.add("Center", scroller);
add("Center", panel);
add("South", createStatusbar());
}
/**
* Mouse Listener methods.
*
* <p>spv
*/
public void mouseTriggered(MouseEvent me) {
if (me.isPopupTrigger()) {
actionJumpToError.setEnabled(parseError != null && parseError.hasLineNumbers());
((GUIMultiModel) handler.getGUIPlugin()).doEnables();
contextPopup.show(me.getComponent(), me.getX(), me.getY());
}
}
public Action getNewFolderAction() {
if (newFolderAction == null) {
newFolderAction = new NewFolderAction();
// Note: Don't return null for readOnly, it might
// break older apps.
if (readOnly) {
newFolderAction.setEnabled(false);
}
}
return newFolderAction;
}
public void redoAction() {
try {
if (undoMgr.canRedo()) {
redoAction.actionPerformed(new ActionEvent(this, ActionEvent.ACTION_PERFORMED, "Redo"));
setRedoItem();
} else {
java.awt.Toolkit.getDefaultToolkit().beep();
}
} catch (CannotUndoException ex) {
ex.printStackTrace();
}
}
/** This is the hook through which all menu items are created. */
protected JMenuItem createMenuItem(String cmd) {
JMenuItem mi = new JMenuItem(getResourceString(cmd + labelSuffix));
URL url = getResource(cmd + imageSuffix);
if (url != null) {
mi.setHorizontalTextPosition(JButton.RIGHT);
mi.setIcon(new ImageIcon(url));
}
String astr = getProperty(cmd + actionSuffix);
if (astr == null) {
astr = cmd;
}
mi.setActionCommand(astr);
Action a = getAction(astr);
if (a != null) {
mi.addActionListener(a);
a.addPropertyChangeListener(createActionChangeListener(mi));
mi.setEnabled(a.isEnabled());
} else {
mi.setEnabled(false);
}
return mi;
}
public void adjustFinderMenuBar() {
JMenuItem menuItem;
Action act;
String itemLabel;
ICFSecurityServiceTypeObj selectedObj = getSwingFocusAsServiceType();
boolean enableState;
if (selectedObj == null) {
enableState = false;
} else {
enableState = true;
}
if (actionViewSelected != null) {
actionViewSelected.setEnabled(enableState);
}
if (actionEditSelected != null) {
actionEditSelected.setEnabled(enableState);
}
if (actionDeleteSelected != null) {
actionDeleteSelected.setEnabled(enableState);
}
if (actionAddServiceType != null) {
actionAddServiceType.setEnabled(true);
}
if (menuFile != null) {
int itemCount = menuFile.getItemCount();
for (int itemIdx = 0; itemIdx < itemCount; itemIdx++) {
menuItem = menuFile.getItem(itemIdx);
act = menuItem.getAction();
if (act != null) {
if (act == actionViewSelected) {
menuItem.setEnabled(enableState);
} else if (act == actionEditSelected) {
menuItem.setEnabled(enableState);
} else if (act == actionDeleteSelected) {
menuItem.setEnabled(enableState);
} else if (act == actionAddServiceType) {
menuItem.setEnabled(true);
}
}
}
}
}
/** Helper method to initialize the actions used for the buttons. */
private void initActions() {
/*actionUndo = new AbstractAction() {
public void actionPerformed(ActionEvent ae) {
try {
// do redo
undoManager.undo();
// notify undo manager/toolbar of change
GUIPrism.getGUI().notifyEventListeners(
new GUIClipboardEvent(GUIClipboardEvent.UNDOMANAGER_CHANGE,
GUIPrism.getGUI().getFocussedPlugin().getFocussedComponent()));
} catch (CannotUndoException ex) {
//GUIPrism.getGUI().getMultiLogger().logMessage(PrismLogLevel.PRISM_ERROR, ex.getMessage());
}
}
};
actionUndo.putValue(Action.LONG_DESCRIPTION, "Undo the most recent action.");
actionUndo.putValue(Action.NAME, "Undo");
actionUndo.putValue(Action.SMALL_ICON, GUIPrism.getIconFromImage("smallUndo.png"));
actionRedo = new AbstractAction() {
public void actionPerformed(ActionEvent ae) {
try {
// do redo
undoManager.redo();
// notify undo manager/toolbar of change
GUIPrism.getGUI().notifyEventListeners(
new GUIClipboardEvent(GUIClipboardEvent.UNDOMANAGER_CHANGE,
GUIPrism.getGUI().getFocussedPlugin().getFocussedComponent()));
} catch (CannotRedoException ex) {
//GUIPrism.getGUI().getMultiLogger().logMessage(PrismLogLevel.PRISM_ERROR, ex.getMessage());
}
}
};
actionRedo.putValue(Action.LONG_DESCRIPTION, "Redos the most recent undo");
actionRedo.putValue(Action.NAME, "Redo");
actionRedo.putValue(Action.SMALL_ICON, GUIPrism.getIconFromImage("smallRedo.png"));
*/
actionJumpToError =
new AbstractAction() {
public void actionPerformed(ActionEvent ae) {
jumpToError();
}
};
actionJumpToError.putValue(Action.NAME, "Jump to error");
actionJumpToError.putValue(Action.SMALL_ICON, GUIPrism.getIconFromImage("tinyError.png"));
actionJumpToError.putValue(
Action.ACCELERATOR_KEY,
KeyStroke.getKeyStroke(
KeyEvent.VK_E, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()));
// search and replace action
actionSearch =
new AbstractAction() {
public void actionPerformed(ActionEvent ae) {
/*
// System.out.println("search button pressed");
if (GUIMultiModelHandler.isDoingSearch()) {
} else {
try {
GUIMultiModelHandler.setDoingSearch(true);
FindReplaceForm.launch(GUIPrism.getGUI().getMultiModel());
} catch (PluginNotFoundException pnfe) {
GUIPrism.getGUI().getMultiLogger().logMessage(prism.log.PrismLogLevel.PRISM_ERROR,
pnfe.getMessage());
}
}
*/
}
};
actionSearch.putValue(Action.LONG_DESCRIPTION, "Opens a find and replace dialog.");
// actionSearch.putValue(Action.SMALL_ICON, GUIPrism.getIconFromImage("find.png"));
actionSearch.putValue(Action.NAME, "Find/Replace");
// actionSearch.putValue(Action.ACCELERATOR_KEY, KeyStroke.getKeyStroke(KeyEvent.VK_R,
// Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()));
insertDTMC =
new AbstractAction() {
public void actionPerformed(ActionEvent ae) {
int caretPosition = editor.getCaretPosition();
try {
editor.getDocument().insertString(caretPosition, "dtmc", new SimpleAttributeSet());
} catch (BadLocationException ble) {
// todo log?
}
}
};
insertDTMC.putValue(
Action.LONG_DESCRIPTION, "Marks this model as a \"Discrete-Time Markov Chain\"");
// actionSearch.putValue(Action.SMALL_ICON, GUIPrism.getIconFromImage("find.png"));
insertDTMC.putValue(Action.NAME, "Probabilistic (DTMC)");
insertCTMC =
new AbstractAction() {
public void actionPerformed(ActionEvent ae) {
int caretPosition = editor.getCaretPosition();
try {
editor.getDocument().insertString(caretPosition, "ctmc", new SimpleAttributeSet());
} catch (BadLocationException ble) {
// todo log?
}
}
};
insertCTMC.putValue(
Action.LONG_DESCRIPTION, "Marks this model as a \"Continous-Time Markov Chain\"");
// actionSearch.putValue(Action.SMALL_ICON, GUIPrism.getIconFromImage("find.png"));
insertCTMC.putValue(Action.NAME, "Stochastic (CTMC)");
insertMDP =
new AbstractAction() {
public void actionPerformed(ActionEvent ae) {
int caretPosition = editor.getCaretPosition();
try {
editor.getDocument().insertString(caretPosition, "mdp", new SimpleAttributeSet());
} catch (BadLocationException ble) {
// todo log?
}
}
};
insertMDP.putValue(
Action.LONG_DESCRIPTION, "Marks this model as a \"Markov Decision Process\"");
// actionSearch.putValue(Action.SMALL_ICON, GUIPrism.getIconFromImage("find.png"));
insertMDP.putValue(Action.NAME, "Non-deterministic (MDP)");
}
public void updateState() {
actDelEntity.setEnabled(-1 != lstEntities.getSelectedIndex());
}
public void selectLine() {
Action selectLine = getAction(DefaultEditorKit.selectLineAction);
if (selectLine != null) {
selectLine.actionPerformed(null);
}
}
// ------------------------------------------------------------------------
TextViewer(JFrame inParentFrame) {
// super(true); //is double buffered - only for panels
textViewerFrame = this;
parentFrame = inParentFrame;
lastViewedDirStr = "";
lastViewedFileStr = "";
setTitle(resources.getString("Title"));
addWindowListener(new AppCloser());
pack();
setSize(500, 600);
warningPopup = new WarningDialog(this);
okCancelPopup = new WarningDialogOkCancel(this);
messagePopup = new MessageDialog(this);
okCancelMessagePopup = new MessageDialogOkCancel(this);
// Force SwingSet to come up in the Cross Platform L&F
try {
UIManager.setLookAndFeel(UIManager.getCrossPlatformLookAndFeelClassName());
// If you want the System L&F instead, comment out the above line and
// uncomment the following:
// UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
} catch (Exception exc) {
String errstr = "TextViewer:Error loading L&F: " + exc;
warningPopup.display(errstr);
}
Container cf = getContentPane();
cf.setBackground(Color.lightGray);
// Border etched=BorderFactory.createEtchedBorder();
// Border title=BorderFactory.createTitledBorder(etched,"TextViewer");
// cf.setBorder(title);
cf.setLayout(new BorderLayout());
// create the embedded JTextComponent
editor1 = createEditor();
editor1.setFont(new Font("monospaced", Font.PLAIN, 12));
// aa -added next line
setPlainDocument((PlainDocument) editor1.getDocument()); // sets doc1
// install the command table
commands = new Hashtable();
Action[] actions = getActions();
for (int i = 0; i < actions.length; i++) {
Action a = actions[i];
commands.put(a.getValue(Action.NAME), a);
// System.out.println("Debug:TextViewer: actionName:"+a.getValue(Action.NAME));
}
// editor1.setPreferredSize(new Dimension(,));
// get setting from user preferences
if (UserPref.keymapType.equals("Word")) {
editor1 = updateKeymapForWord(editor1);
} else {
editor1 = updateKeymapForEmacs(editor1);
}
scroller1 = new JScrollPane();
viewport1 = scroller1.getViewport();
viewport1.add(editor1);
scroller1.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
scroller1.setHorizontalScrollBarPolicy(JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
try {
String vpFlag = resources.getString("ViewportBackingStore");
Boolean bs = new Boolean(vpFlag);
viewport1.setBackingStoreEnabled(bs.booleanValue());
} catch (MissingResourceException mre) {
System.err.println("TextViewer:missing resource:" + mre.getMessage());
// just use the viewport1 default
}
menuItems = new Hashtable();
menubar = createMenubar();
lowerPanel = new JPanel(true); // moved double buffering to here
lowerPanel.setLayout(new BorderLayout());
lowerPanel.add("North", createToolbar());
lowerPanel.add("Center", scroller1);
cf.add("North", menubar);
cf.add("Center", lowerPanel);
cf.add("South", createStatusbar());
// for the find/search utilities
mySearchDialog = new SearchDialog(this);
// System.out.println("Debug:TextViewer: end of TextViewer constructor");
}
public InterpreterFrame() {
super("Simple Lisp Interpreter");
// Create the menu
menubar = buildMenuBar();
setJMenuBar(menubar);
// Create the toolbar
toolbar = buildToolBar();
// disable cut and copy actions
cutAction.setEnabled(false);
copyAction.setEnabled(false);
// Setup text area for editing source code
// and setup document listener so interpreter
// is notified when current file modified and
// when the cursor is moved.
textView = buildEditor();
textView.getDocument().addDocumentListener(this);
textView.addCaretListener(this);
// set default key bindings
bindKeyToCommand("ctrl C", "(buffer-copy)");
bindKeyToCommand("ctrl X", "(buffer-cut)");
bindKeyToCommand("ctrl V", "(buffer-paste)");
bindKeyToCommand("ctrl E", "(buffer-eval)");
bindKeyToCommand("ctrl O", "(file-open)");
bindKeyToCommand("ctrl S", "(file-save)");
bindKeyToCommand("ctrl Q", "(exit)");
// Give text view scrolling capability
Border border =
BorderFactory.createCompoundBorder(
BorderFactory.createEmptyBorder(3, 3, 3, 3),
BorderFactory.createLineBorder(Color.gray));
JScrollPane topSplit = addScrollers(textView);
topSplit.setBorder(border);
// Create tabbed pane for console/problems
consoleView = makeConsoleArea(10, 50, true);
problemsView = makeConsoleArea(10, 50, false);
tabbedPane = buildProblemsConsole();
// Plug the editor and problems/console together
// using a split pane. This allows one to change
// their relative size using the split-bar in
// between them.
splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, topSplit, tabbedPane);
// Create status bar
statusView = new JLabel(" Status");
lineNumberView = new JLabel("0:0");
statusbar = buildStatusBar();
// Now, create the outer panel which holds
// everything together
outerpanel = new JPanel();
outerpanel.setLayout(new BorderLayout());
outerpanel.add(toolbar, BorderLayout.PAGE_START);
outerpanel.add(splitPane, BorderLayout.CENTER);
outerpanel.add(statusbar, BorderLayout.SOUTH);
getContentPane().add(outerpanel);
// tell frame to fire a WindowsListener event
// but not to close when "x" button clicked.
setDefaultCloseOperation(DO_NOTHING_ON_CLOSE);
addWindowListener(this);
// set minimised icon to use
setIconImage(makeImageIcon("spi.png").getImage());
// setup additional internal functions
InternalFunctions.setup_internals(interpreter, this);
// set default window size
Component top = splitPane.getTopComponent();
Component bottom = splitPane.getBottomComponent();
top.setPreferredSize(new Dimension(100, 400));
bottom.setPreferredSize(new Dimension(100, 200));
pack();
// load + run user configuration file (if there is one)
String homedir = System.getProperty("user.home");
try {
interpreter.load(homedir + "/.simplelisp");
} catch (FileNotFoundException e) {
// do nothing if file does not exist!
System.out.println("Didn't find \"" + homedir + "/.simplelisp\"");
}
textView.grabFocus();
setVisible(true);
// redirect all I/O to problems/console
redirectIO();
// start highlighter thread
highlighter = new DisplayThread(250);
highlighter.setDaemon(true);
highlighter.start();
}