|
The Meta-Environment API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object java.awt.Component java.awt.Container javax.swing.JComponent javax.swing.JPanel nl.cwi.sen1.gui.plugin.editor.SwingEditor
public class SwingEditor
Nested Class Summary |
---|
Nested classes/interfaces inherited from class javax.swing.JPanel |
---|
javax.swing.JPanel.AccessibleJPanel |
Nested classes/interfaces inherited from class javax.swing.JComponent |
---|
javax.swing.JComponent.AccessibleJComponent |
Nested classes/interfaces inherited from class java.awt.Container |
---|
java.awt.Container.AccessibleAWTContainer |
Nested classes/interfaces inherited from class java.awt.Component |
---|
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy |
Field Summary | |
---|---|
private EditorPane |
editorPane
|
private java.lang.String |
filename
|
private java.lang.String |
id
|
Fields inherited from class javax.swing.JComponent |
---|
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW |
Fields inherited from class java.awt.Component |
---|
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT |
Fields inherited from interface java.awt.image.ImageObserver |
---|
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
---|---|
SwingEditor(java.lang.String id,
java.lang.String filename)
|
Method Summary | |
---|---|
void |
addEditorModifiedListener(EditorModifiedListener l)
|
void |
addMouseListener(java.awt.event.MouseListener l)
|
void |
clearSelections()
|
java.lang.String |
getContents()
|
javax.swing.JMenu |
getEditMenu()
|
java.lang.String |
getFilename()
|
java.lang.String |
getId()
|
int |
getMouseOffset(int x,
int y)
|
boolean |
isEditable()
|
boolean |
isModified()
|
private java.lang.String |
readContents()
|
private void |
readFileContents()
|
void |
registerCategories(nl.cwi.sen1.configapi.types.PropertyList properties)
|
void |
registerSlices(aterm.ATerm slices)
|
void |
removeEditorModifiedListener(EditorModifiedListener l)
|
void |
removeMouseListener(java.awt.event.MouseListener l)
|
void |
requestFocus()
|
void |
rereadContents()
|
void |
setContents(java.lang.String contents)
|
void |
setCursorAtOffset(int offset)
|
void |
setEditable(boolean b)
|
void |
setFocus(errorapi.types.Area focus)
|
void |
setModified(boolean modified)
|
void |
setSelection(errorapi.types.Area area)
|
void |
writeContents(java.lang.String filename)
|
void |
writeCopy(java.lang.String filename)
|
Methods inherited from class javax.swing.JPanel |
---|
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI |
Methods inherited from class javax.swing.JComponent |
---|
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, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, 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, 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 |
Methods inherited from class java.awt.Container |
---|
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 |
Methods inherited from class java.awt.Component |
---|
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, 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, hide, 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, 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 |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
private java.lang.String id
private java.lang.String filename
private EditorPane editorPane
Constructor Detail |
---|
public SwingEditor(java.lang.String id, java.lang.String filename) throws java.io.IOException, FileToBigException
java.io.IOException
FileToBigException
Method Detail |
---|
public void rereadContents()
rereadContents
in interface Editor
private void readFileContents() throws java.io.IOException, FileToBigException
java.io.IOException
FileToBigException
private java.lang.String readContents() throws java.io.IOException, FileToBigException
java.io.IOException
FileToBigException
public java.lang.String getContents()
getContents
in interface Editor
public void setContents(java.lang.String contents)
setContents
in interface Editor
public void writeContents(java.lang.String filename) throws java.io.IOException
writeContents
in interface Editor
java.io.IOException
public void writeCopy(java.lang.String filename) throws java.io.IOException
java.io.IOException
public void setCursorAtOffset(int offset)
setCursorAtOffset
in interface Editor
public void setFocus(errorapi.types.Area focus)
setFocus
in interface Editor
public void setSelection(errorapi.types.Area area)
setSelection
in interface Editor
public java.lang.String getId()
getId
in interface Editor
public java.lang.String getFilename()
getFilename
in interface Editor
public void setModified(boolean modified)
setModified
in interface Editor
public boolean isModified()
isModified
in interface Editor
public void registerCategories(nl.cwi.sen1.configapi.types.PropertyList properties)
registerCategories
in interface Editor
public void registerSlices(aterm.ATerm slices)
registerSlices
in interface Editor
public int getMouseOffset(int x, int y)
getMouseOffset
in interface Editor
public javax.swing.JMenu getEditMenu()
getEditMenu
in interface Editor
public void requestFocus()
requestFocus
in class javax.swing.JComponent
public void addMouseListener(java.awt.event.MouseListener l)
addMouseListener
in interface Editor
addMouseListener
in class java.awt.Component
public void removeMouseListener(java.awt.event.MouseListener l)
removeMouseListener
in class java.awt.Component
public void addEditorModifiedListener(EditorModifiedListener l)
addEditorModifiedListener
in interface Editor
public void removeEditorModifiedListener(EditorModifiedListener l)
removeEditorModifiedListener
in interface Editor
public void setEditable(boolean b)
setEditable
in interface Editor
public boolean isEditable()
isEditable
in interface Editor
public void clearSelections()
clearSelections
in interface Editor
|
The Meta-Environment API | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |