nl.cwi.sen1.gui.plugin
Class EditorPluginBridge

java.lang.Object
  toolbus.AbstractTool
      toolbus.SwingTool
          nl.cwi.sen1.gui.plugin.EditorPluginTool
              nl.cwi.sen1.gui.plugin.EditorPluginBridge

All Implemented Interfaces:

java.lang.Runnable, EditorPluginTif, toolbus.IOperations, toolbus.Tool

public class EditorPluginBridge
extends EditorPluginTool

Field Summary

private EditorPluginTif

tool

Fields inherited from class toolbus.AbstractTool

factory

Fields inherited from interface toolbus.IOperations

ACKDO, ACKEVENT, CONNECT, DEBUGPERFORMANCESTATS, DISCONNECT, DO, END, EVAL, EVENT, PERFORMANCESTATS, REQUEST, RESPONSE, TERMINATE, UNDEFINED, VALUE

Constructor Summary

EditorPluginBridge(aterm.ATermFactory factory, EditorPluginTif tool)

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)

Methods inherited from class nl.cwi.sen1.gui.plugin.EditorPluginTool

checkInputSignature, handler, notInInputSignature

Methods inherited from class toolbus.SwingTool

handleIncomingTerm

Methods inherited from class toolbus.AbstractTool

connect, connect, disconnect, getAddress, getLockObject, getPort, handleIncomingTerm, handleTerm, init, isConnected, postEvent, postRequest, readTerm, run, sendEvent, sendTerm, setLockObject, stopRunning

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

tool

private EditorPluginTif tool

Constructor Detail

EditorPluginBridge

public EditorPluginBridge(aterm.ATermFactory factory,
                          EditorPluginTif tool)

Method Detail

getContents

public void getContents(aterm.ATerm t0)

editFile

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

setFocus

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

isModified

public void isModified(aterm.ATerm t0)

killEditor

public void killEditor(aterm.ATerm t0)

displayMessage

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

setTooltip

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

registerTextCategories

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

setSelection

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

writeContents

public void writeContents(aterm.ATerm t0)

editorToFront

public void editorToFront(aterm.ATerm t0)

setEditable

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

setContents

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

highlightSlices

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

setCursorAtOffset

public void setCursorAtOffset(aterm.ATerm t0,
                              int i1)

showPopup

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

addActions

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

setInfo

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

clearFocus

public void clearFocus(aterm.ATerm t0)

rereadContents

public void rereadContents(aterm.ATerm t0)

recAckEvent

public void recAckEvent(aterm.ATerm t0)

recTerminate

public void recTerminate(aterm.ATerm t0)