nl.cwi.sen1.gui.plugin
Interface Editor

All Known Implementing Classes:

SwingEditor

public interface Editor

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()
void	registerCategories(nl.cwi.sen1.configapi.types.PropertyList properties)
void	registerSlices(aterm.ATerm slices)
void	removeEditorModifiedListener(EditorModifiedListener l)
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)

Method Detail

addMouseListener

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

addEditorModifiedListener

void addEditorModifiedListener(EditorModifiedListener l)

removeEditorModifiedListener

void removeEditorModifiedListener(EditorModifiedListener l)

writeContents

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

Throws:

java.io.IOException

setCursorAtOffset

void setCursorAtOffset(int offset)

setFocus

void setFocus(errorapi.types.Area focus)

getId

java.lang.String getId()

getFilename

java.lang.String getFilename()

setModified

void setModified(boolean modified)

isModified

boolean isModified()

registerCategories

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

registerSlices

void registerSlices(aterm.ATerm slices)

getMouseOffset

int getMouseOffset(int x,
                   int y)

getEditMenu

javax.swing.JMenu getEditMenu()

rereadContents

void rereadContents()

setEditable

void setEditable(boolean b)

isEditable

boolean isEditable()

getContents

java.lang.String getContents()

setContents

void setContents(java.lang.String contents)

setSelection

void setSelection(errorapi.types.Area area)

clearSelections

void clearSelections()