The Meta-Environment API

nl.cwi.sen1.visbase.factbrowser
Class FactbrowserTool

java.lang.Object
  extended by toolbus.AbstractTool
      extended by toolbus.SwingTool
          extended by nl.cwi.sen1.visbase.factbrowser.FactbrowserTool
All Implemented Interfaces:
java.lang.Runnable, FactbrowserTif, toolbus.IOperations, toolbus.Tool
Direct Known Subclasses:
FactbrowserBridge

public abstract class FactbrowserTool
extends toolbus.SwingTool
implements FactbrowserTif


Field Summary
private  aterm.ATerm PfbAddVisualizationPlugin0
           
private  aterm.ATerm PfbRstoreUnloaded0
           
private  aterm.ATerm PfbShowRstoreFacts0
           
private  aterm.ATerm PgetSelectedRstoreid0
           
private  aterm.ATerm PrecAckEvent0
           
private  aterm.ATerm PrecTerminate0
           
private  aterm.ATerm PshowPopup0
           
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 FactbrowserTool(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.visbase.factbrowser.FactbrowserTif
fbAddVisualizationPlugin, fbRstoreUnloaded, fbShowRstoreFacts, getSelectedRstoreid, recAckEvent, recTerminate, showPopup
 

Field Detail

sigTable

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

PfbRstoreUnloaded0

private aterm.ATerm PfbRstoreUnloaded0

PfbAddVisualizationPlugin0

private aterm.ATerm PfbAddVisualizationPlugin0

PfbShowRstoreFacts0

private aterm.ATerm PfbShowRstoreFacts0

PshowPopup0

private aterm.ATerm PshowPopup0

PgetSelectedRstoreid0

private aterm.ATerm PgetSelectedRstoreid0

PrecAckEvent0

private aterm.ATerm PrecAckEvent0

PrecTerminate0

private aterm.ATerm PrecTerminate0
Constructor Detail

FactbrowserTool

protected FactbrowserTool(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