nl.cwi.sen1.gui.plugin.editor
Class SwingEditor

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  nl.cwi.sen1.gui.plugin.editor.SwingEditor

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, Editor

public class SwingEditor
extends javax.swing.JPanel
implements Editor

See Also:

Serialized Form

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

id

private java.lang.String id

filename

private java.lang.String filename

editorPane

private EditorPane editorPane

Constructor Detail

SwingEditor

public SwingEditor(java.lang.String id,
                   java.lang.String filename)
            throws java.io.IOException,
                   FileToBigException

Throws:

java.io.IOException

FileToBigException

Method Detail

rereadContents

public void rereadContents()

Specified by:

rereadContents in interface Editor

readFileContents

private void readFileContents()
                       throws java.io.IOException,
                              FileToBigException

Throws:

java.io.IOException

FileToBigException

readContents

private java.lang.String readContents()
                               throws java.io.IOException,
                                      FileToBigException

Throws:

java.io.IOException

FileToBigException

getContents

public java.lang.String getContents()

Specified by:

getContents in interface Editor

setContents

public void setContents(java.lang.String contents)

Specified by:

setContents in interface Editor

writeContents

public void writeContents(java.lang.String filename)
                   throws java.io.IOException

Specified by:

writeContents in interface Editor

Throws:

java.io.IOException

writeCopy

public void writeCopy(java.lang.String filename)
               throws java.io.IOException

Throws:

java.io.IOException

setCursorAtOffset

public void setCursorAtOffset(int offset)

Specified by:

setCursorAtOffset in interface Editor

setFocus

public void setFocus(errorapi.types.Area focus)

Specified by:

setFocus in interface Editor

setSelection

public void setSelection(errorapi.types.Area area)

Specified by:

setSelection in interface Editor

getId

public java.lang.String getId()

Specified by:

getId in interface Editor

getFilename

public java.lang.String getFilename()

Specified by:

getFilename in interface Editor

setModified

public void setModified(boolean modified)

Specified by:

setModified in interface Editor

isModified

public boolean isModified()

Specified by:

isModified in interface Editor

registerCategories

public void registerCategories(nl.cwi.sen1.configapi.types.PropertyList properties)

Specified by:

registerCategories in interface Editor

registerSlices

public void registerSlices(aterm.ATerm slices)

Specified by:

registerSlices in interface Editor

getMouseOffset

public int getMouseOffset(int x,
                          int y)

Specified by:

getMouseOffset in interface Editor

getEditMenu

public javax.swing.JMenu getEditMenu()

Specified by:

getEditMenu in interface Editor

requestFocus

public void requestFocus()

Overrides:

requestFocus in class javax.swing.JComponent

addMouseListener

public void addMouseListener(java.awt.event.MouseListener l)

Specified by:

addMouseListener in interface Editor

Overrides:

addMouseListener in class java.awt.Component

removeMouseListener

public void removeMouseListener(java.awt.event.MouseListener l)

Overrides:

removeMouseListener in class java.awt.Component

addEditorModifiedListener

public void addEditorModifiedListener(EditorModifiedListener l)

Specified by:

addEditorModifiedListener in interface Editor

removeEditorModifiedListener

public void removeEditorModifiedListener(EditorModifiedListener l)

Specified by:

removeEditorModifiedListener in interface Editor

setEditable

public void setEditable(boolean b)

Specified by:

setEditable in interface Editor

isEditable

public boolean isEditable()

Specified by:

isEditable in interface Editor

clearSelections

public void clearSelections()

Specified by:

clearSelections in interface Editor