The Meta-Environment API

nl.cwi.sen1.error.viewer
Class ErrorViewerBridge

java.lang.Object
  extended by toolbus.AbstractTool
      extended by toolbus.SwingTool
          extended by nl.cwi.sen1.error.viewer.ErrorViewerTool
              extended by nl.cwi.sen1.error.viewer.ErrorViewerBridge
All Implemented Interfaces:
java.lang.Runnable, ErrorViewerTif, toolbus.IOperations, toolbus.Tool

public class ErrorViewerBridge
extends ErrorViewerTool


Field Summary
private  ErrorViewerTif 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
ErrorViewerBridge(aterm.ATermFactory factory, ErrorViewerTif tool)
           
 
Method Summary
 void recAckEvent(aterm.ATerm t0)
           
 void recTerminate(aterm.ATerm t0)
           
 void refreshFeedbackSummary(java.lang.String s0, aterm.ATerm t1)
           
 void removeFeedbackSummary(java.lang.String s0, java.lang.String s1)
           
 void removeFeedbackSummary(java.lang.String s0, java.lang.String s1, java.lang.String s2)
           
 void showFeedbackSummary(java.lang.String s0, aterm.ATerm t1)
           
 
Methods inherited from class nl.cwi.sen1.error.viewer.ErrorViewerTool
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 ErrorViewerTif tool
Constructor Detail

ErrorViewerBridge

public ErrorViewerBridge(aterm.ATermFactory factory,
                         ErrorViewerTif tool)
Method Detail

showFeedbackSummary

public void showFeedbackSummary(java.lang.String s0,
                                aterm.ATerm t1)

refreshFeedbackSummary

public void refreshFeedbackSummary(java.lang.String s0,
                                   aterm.ATerm t1)

removeFeedbackSummary

public void removeFeedbackSummary(java.lang.String s0,
                                  java.lang.String s1)

removeFeedbackSummary

public void removeFeedbackSummary(java.lang.String s0,
                                  java.lang.String s1,
                                  java.lang.String s2)

recAckEvent

public void recAckEvent(aterm.ATerm t0)

recTerminate

public void recTerminate(aterm.ATerm t0)

The Meta-Environment API