nl.cwi.sen1.visbase.factbrowser
Class FactbrowserBridge

java.lang.Object
  toolbus.AbstractTool
      toolbus.SwingTool
          nl.cwi.sen1.visbase.factbrowser.FactbrowserTool
              nl.cwi.sen1.visbase.factbrowser.FactbrowserBridge

All Implemented Interfaces:

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

public class FactbrowserBridge
extends FactbrowserTool

Field Summary

private FactbrowserTif

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

FactbrowserBridge(aterm.ATermFactory factory, FactbrowserTif tool)

Method Summary

void	fbAddVisualizationPlugin(aterm.ATerm t0, int i1, java.lang.String s2)
void	fbRstoreUnloaded(int i0)
void	fbShowRstoreFacts(java.lang.String s0, int i1, aterm.ATerm t2)
aterm.ATerm	getSelectedRstoreid()
void	recAckEvent(aterm.ATerm t0)
void	recTerminate(aterm.ATerm t0)
void	showPopup(int i0, aterm.ATerm t1)

Methods inherited from class nl.cwi.sen1.visbase.factbrowser.FactbrowserTool

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 FactbrowserTif tool

Constructor Detail

FactbrowserBridge

public FactbrowserBridge(aterm.ATermFactory factory,
                         FactbrowserTif tool)

Method Detail

fbRstoreUnloaded

public void fbRstoreUnloaded(int i0)

fbAddVisualizationPlugin

public void fbAddVisualizationPlugin(aterm.ATerm t0,
                                     int i1,
                                     java.lang.String s2)

fbShowRstoreFacts

public void fbShowRstoreFacts(java.lang.String s0,
                              int i1,
                              aterm.ATerm t2)

showPopup

public void showPopup(int i0,
                      aterm.ATerm t1)

getSelectedRstoreid

public aterm.ATerm getSelectedRstoreid()

recAckEvent

public void recAckEvent(aterm.ATerm t0)

recTerminate

public void recTerminate(aterm.ATerm t0)