The Meta-Environment API

nl.cwi.sen1.error.viewer
Class ErrorViewerTool

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

public abstract class ErrorViewerTool
extends toolbus.SwingTool
implements ErrorViewerTif


Field Summary
private  aterm.ATerm PrecAckEvent0
           
private  aterm.ATerm PrecTerminate0
           
private  aterm.ATerm PrefreshFeedbackSummary0
           
private  aterm.ATerm PremoveFeedbackSummary0
           
private  aterm.ATerm PremoveFeedbackSummary1
           
private  aterm.ATerm PshowFeedbackSummary0
           
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 ErrorViewerTool(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.error.viewer.ErrorViewerTif
recAckEvent, recTerminate, refreshFeedbackSummary, removeFeedbackSummary, removeFeedbackSummary, showFeedbackSummary
 

Field Detail

sigTable

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

PshowFeedbackSummary0

private aterm.ATerm PshowFeedbackSummary0

PrefreshFeedbackSummary0

private aterm.ATerm PrefreshFeedbackSummary0

PremoveFeedbackSummary0

private aterm.ATerm PremoveFeedbackSummary0

PremoveFeedbackSummary1

private aterm.ATerm PremoveFeedbackSummary1

PrecAckEvent0

private aterm.ATerm PrecAckEvent0

PrecTerminate0

private aterm.ATerm PrecTerminate0
Constructor Detail

ErrorViewerTool

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