nl.cwi.sen1.gui.plugin
Interface EditorPluginTif

All Known Implementing Classes:

EditorPlugin, EditorPluginBridge, EditorPluginTool

public interface EditorPluginTif

Method Summary

void	addActions(aterm.ATerm t0, aterm.ATerm t1)
void	clearFocus(aterm.ATerm t0)
void	displayMessage(aterm.ATerm t0, java.lang.String s1)
void	editFile(aterm.ATerm t0, java.lang.String s1)
void	editorToFront(aterm.ATerm t0)
void	getContents(aterm.ATerm t0)
void	highlightSlices(aterm.ATerm t0, aterm.ATerm t1)
void	isModified(aterm.ATerm t0)
void	killEditor(aterm.ATerm t0)
void	recAckEvent(aterm.ATerm t0)
void	recTerminate(aterm.ATerm t0)
void	registerTextCategories(aterm.ATerm t0, aterm.ATerm t1)
void	rereadContents(aterm.ATerm t0)
void	setContents(aterm.ATerm t0, java.lang.String s1)
void	setCursorAtOffset(aterm.ATerm t0, int i1)
void	setEditable(aterm.ATerm t0, aterm.ATerm t1)
void	setFocus(aterm.ATerm t0, aterm.ATerm t1)
void	setInfo(aterm.ATerm t0, java.lang.String s1)
void	setSelection(aterm.ATerm t0, aterm.ATerm t1)
void	setTooltip(aterm.ATerm t0, java.lang.String s1)
void	showPopup(aterm.ATerm t0, aterm.ATerm t1)
void	writeContents(aterm.ATerm t0)

Method Detail

getContents

void getContents(aterm.ATerm t0)

editFile

void editFile(aterm.ATerm t0,
              java.lang.String s1)

setFocus

void setFocus(aterm.ATerm t0,
              aterm.ATerm t1)

isModified

void isModified(aterm.ATerm t0)

killEditor

void killEditor(aterm.ATerm t0)

displayMessage

void displayMessage(aterm.ATerm t0,
                    java.lang.String s1)

setTooltip

void setTooltip(aterm.ATerm t0,
                java.lang.String s1)

registerTextCategories

void registerTextCategories(aterm.ATerm t0,
                            aterm.ATerm t1)

setSelection

void setSelection(aterm.ATerm t0,
                  aterm.ATerm t1)

writeContents

void writeContents(aterm.ATerm t0)

editorToFront

void editorToFront(aterm.ATerm t0)

setEditable

void setEditable(aterm.ATerm t0,
                 aterm.ATerm t1)

setContents

void setContents(aterm.ATerm t0,
                 java.lang.String s1)

highlightSlices

void highlightSlices(aterm.ATerm t0,
                     aterm.ATerm t1)

setCursorAtOffset

void setCursorAtOffset(aterm.ATerm t0,
                       int i1)

showPopup

void showPopup(aterm.ATerm t0,
               aterm.ATerm t1)

addActions

void addActions(aterm.ATerm t0,
                aterm.ATerm t1)

setInfo

void setInfo(aterm.ATerm t0,
             java.lang.String s1)

clearFocus

void clearFocus(aterm.ATerm t0)

rereadContents

void rereadContents(aterm.ATerm t0)

recAckEvent

void recAckEvent(aterm.ATerm t0)

recTerminate

void recTerminate(aterm.ATerm t0)