public class Console
extends javax.swing.JPanel
Modifier and Type | Class and Description |
---|---|
static class |
Console.Command |
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
Modifier and Type | Field and Description |
---|---|
static Preferences |
g2d_preferences |
protected java.lang.String |
ilk |
protected InputTextArea |
input |
protected javax.swing.JComboBox<java.lang.String> |
namespaceChooser |
protected javax.swing.JEditorPane |
output |
protected javax.swing.JFrame |
parent |
static java.util.prefs.Preferences |
preferences |
protected static java.lang.String |
PREFIX |
protected javax.swing.JLabel |
status |
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
Console(javax.swing.JFrame parent) |
Console(javax.swing.JFrame parent,
java.lang.String ilk) |
Modifier and Type | Method and Description |
---|---|
protected void |
appendResult(java.lang.String message) |
protected void |
copy() |
protected void |
cut() |
protected void |
evaluate(Console.Command cmd) |
protected void |
exit() |
protected void |
inspect(Console.Command cmd) |
static void |
launch() |
static void |
launch(java.lang.String ilk) |
static void |
launch(java.lang.String title,
java.lang.String ilk) |
protected static java.lang.Runnable |
launcher(java.lang.String title,
java.lang.String ilk) |
static void |
launchInvokeAndWait() |
protected void |
loadFile() |
protected void |
loadFile(java.io.File file) |
protected void |
loadFile(java.lang.String filename) |
static void |
main(java.lang.String[] args) |
protected void |
paste() |
protected void |
reloadFile() |
void |
returnResult(java.lang.String message) |
protected void |
saveFile() |
protected void |
saveFileAs() |
protected void |
search() |
protected void |
search(SearchDialog searchDialog) |
protected void |
search(java.lang.String substr,
boolean caseS,
boolean backwards) |
protected void |
setStatus(java.lang.String message) |
protected java.lang.String |
text4Evaluation(Console.Command cmd) |
protected void |
viewDefinitions() |
protected void |
viewUIDs() |
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTree
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
public static final java.util.prefs.Preferences preferences
public static final Preferences g2d_preferences
protected static final java.lang.String PREFIX
protected final javax.swing.JFrame parent
protected final InputTextArea input
protected final javax.swing.JEditorPane output
protected final javax.swing.JLabel status
protected final javax.swing.JComboBox<java.lang.String> namespaceChooser
protected final java.lang.String ilk
public Console(javax.swing.JFrame parent)
public Console(javax.swing.JFrame parent, java.lang.String ilk)
protected static java.lang.Runnable launcher(java.lang.String title, java.lang.String ilk)
public static final void launchInvokeAndWait()
public static final void launch(java.lang.String ilk)
public static final void launch(java.lang.String title, java.lang.String ilk)
public static final void launch()
public static void main(java.lang.String[] args)
protected void loadFile()
protected void reloadFile()
protected void saveFile()
protected void saveFileAs()
protected void search()
protected void exit()
protected void cut()
protected void copy()
protected void paste()
protected void viewUIDs()
protected void viewDefinitions()
protected void search(SearchDialog searchDialog)
protected void search(java.lang.String substr, boolean caseS, boolean backwards)
protected java.lang.String text4Evaluation(Console.Command cmd)
protected void appendResult(java.lang.String message)
protected void evaluate(Console.Command cmd)
protected void inspect(Console.Command cmd)
protected void setStatus(java.lang.String message)
protected void loadFile(java.lang.String filename)
protected void loadFile(java.io.File file)
public void returnResult(java.lang.String message)