The Meta-Environment API

nl.cwi.sen1.gui.plugin
Class EditorPluginTool

java.lang.Object
  extended by toolbus.AbstractTool
      extended by toolbus.SwingTool
          extended by nl.cwi.sen1.gui.plugin.EditorPluginTool
All Implemented Interfaces:
java.lang.Runnable, EditorPluginTif, toolbus.IOperations, toolbus.Tool
Direct Known Subclasses:
EditorPluginBridge

public abstract class EditorPluginTool
extends toolbus.SwingTool
implements EditorPluginTif


Field Summary
private  aterm.ATerm PaddActions0
           
private  aterm.ATerm PclearFocus0
           
private  aterm.ATerm PdisplayMessage0
           
private  aterm.ATerm PeditFile0
           
private  aterm.ATerm PeditorToFront0
           
private  aterm.ATerm PgetContents0
           
private  aterm.ATerm PhighlightSlices0
           
private  aterm.ATerm PisModified0
           
private  aterm.ATerm PkillEditor0
           
private  aterm.ATerm PrecAckEvent0
           
private  aterm.ATerm PrecTerminate0
           
private  aterm.ATerm PregisterTextCategories0
           
private  aterm.ATerm PrereadContents0
           
private  aterm.ATerm PsetContents0
           
private  aterm.ATerm PsetCursorAtOffset0
           
private  aterm.ATerm PsetEditable0
           
private  aterm.ATerm PsetFocus0
           
private  aterm.ATerm PsetInfo0
           
private  aterm.ATerm PsetSelection0
           
private  aterm.ATerm PsetTooltip0
           
private  aterm.ATerm PshowPopup0
           
private  aterm.ATerm PwriteContents0
           
private  java.util.Set<aterm.ATerm> sigTable
           
 
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
protected EditorPluginTool(aterm.ATermFactory factory)
           
 
Method Summary
 void checkInputSignature(aterm.ATermList sigs)
           
 aterm.ATerm handler(aterm.ATerm term)
           
private  void initPatterns()
           
private  void initSigTable()
           
(package private)  void notInInputSignature(aterm.ATerm t)
           
 
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
 
Methods inherited from interface nl.cwi.sen1.gui.plugin.EditorPluginTif
addActions, clearFocus, displayMessage, editFile, editorToFront, getContents, highlightSlices, isModified, killEditor, recAckEvent, recTerminate, registerTextCategories, rereadContents, setContents, setCursorAtOffset, setEditable, setFocus, setInfo, setSelection, setTooltip, showPopup, writeContents
 

Field Detail

sigTable

private java.util.Set<aterm.ATerm> sigTable

PgetContents0

private aterm.ATerm PgetContents0

PeditFile0

private aterm.ATerm PeditFile0

PsetFocus0

private aterm.ATerm PsetFocus0

PisModified0

private aterm.ATerm PisModified0

PkillEditor0

private aterm.ATerm PkillEditor0

PdisplayMessage0

private aterm.ATerm PdisplayMessage0

PsetTooltip0

private aterm.ATerm PsetTooltip0

PregisterTextCategories0

private aterm.ATerm PregisterTextCategories0

PsetSelection0

private aterm.ATerm PsetSelection0

PwriteContents0

private aterm.ATerm PwriteContents0

PeditorToFront0

private aterm.ATerm PeditorToFront0

PsetEditable0

private aterm.ATerm PsetEditable0

PsetContents0

private aterm.ATerm PsetContents0

PhighlightSlices0

private aterm.ATerm PhighlightSlices0

PsetCursorAtOffset0

private aterm.ATerm PsetCursorAtOffset0

PshowPopup0

private aterm.ATerm PshowPopup0

PaddActions0

private aterm.ATerm PaddActions0

PsetInfo0

private aterm.ATerm PsetInfo0

PclearFocus0

private aterm.ATerm PclearFocus0

PrereadContents0

private aterm.ATerm PrereadContents0

PrecAckEvent0

private aterm.ATerm PrecAckEvent0

PrecTerminate0

private aterm.ATerm PrecTerminate0
Constructor Detail

EditorPluginTool

protected EditorPluginTool(aterm.ATermFactory factory)
Method Detail

initSigTable

private void initSigTable()

initPatterns

private void initPatterns()

handler

public aterm.ATerm handler(aterm.ATerm term)
Specified by:
handler in interface toolbus.Tool

checkInputSignature

public void checkInputSignature(aterm.ATermList sigs)
Specified by:
checkInputSignature in interface toolbus.Tool

notInInputSignature

void notInInputSignature(aterm.ATerm t)

The Meta-Environment API