The Meta-Environment API

nl.cwi.sen1.error.viewer
Class ErrorViewer

java.lang.Object
  extended by nl.cwi.sen1.gui.plugin.DefaultStudioPlugin
      extended by nl.cwi.sen1.error.viewer.ErrorViewer
All Implemented Interfaces:
ErrorViewerTif, nl.cwi.sen1.gui.plugin.StudioPlugin

public class ErrorViewer
extends nl.cwi.sen1.gui.plugin.DefaultStudioPlugin
implements ErrorViewerTif


Field Summary
(package private)  ErrorViewerBridge bridge
           
private  nl.cwi.sen1.gui.component.StudioComponent component
           
(package private)  errorapi.Factory errorFactory
           
private  java.util.HashMap<java.lang.String,ErrorPanel> panels
           
private  nl.cwi.sen1.gui.Studio studio
           
private static java.lang.String TOOL_NAME
           
 
Constructor Summary
ErrorViewer()
           
 
Method Summary
private  void addListener(ErrorPanel panel)
           
private  ErrorPanel createPanel(java.lang.String panelId)
           
 java.lang.String getName()
           
private  ErrorPanel getPanel(java.lang.String panelId)
           
 void initStudioPlugin(nl.cwi.sen1.gui.Studio studio)
           
 void recAckEvent(aterm.ATerm t0)
           
 void recTerminate(aterm.ATerm t0)
           
 void refreshFeedbackSummary(java.lang.String panelId, aterm.ATerm summaryTerm)
           
 void removeFeedbackSummary(java.lang.String panelId, java.lang.String path)
           
 void removeFeedbackSummary(java.lang.String panelId, java.lang.String producer, java.lang.String id)
           
 void showFeedbackSummary(java.lang.String panelId, aterm.ATerm summaryTerm)
           
 
Methods inherited from class nl.cwi.sen1.gui.plugin.DefaultStudioPlugin
addStudioPluginListener, fireStudioPluginClosed, removeStudioPluginListener
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TOOL_NAME

private static final java.lang.String TOOL_NAME
See Also:
Constant Field Values

studio

private nl.cwi.sen1.gui.Studio studio

component

private nl.cwi.sen1.gui.component.StudioComponent component

bridge

ErrorViewerBridge bridge

errorFactory

errorapi.Factory errorFactory

panels

private java.util.HashMap<java.lang.String,ErrorPanel> panels
Constructor Detail

ErrorViewer

public ErrorViewer()
Method Detail

getName

public java.lang.String getName()
Specified by:
getName in interface nl.cwi.sen1.gui.plugin.StudioPlugin

initStudioPlugin

public void initStudioPlugin(nl.cwi.sen1.gui.Studio studio)
Specified by:
initStudioPlugin in interface nl.cwi.sen1.gui.plugin.StudioPlugin

addListener

private void addListener(ErrorPanel panel)

createPanel

private ErrorPanel createPanel(java.lang.String panelId)

getPanel

private ErrorPanel getPanel(java.lang.String panelId)

showFeedbackSummary

public void showFeedbackSummary(java.lang.String panelId,
                                aterm.ATerm summaryTerm)
Specified by:
showFeedbackSummary in interface ErrorViewerTif

refreshFeedbackSummary

public void refreshFeedbackSummary(java.lang.String panelId,
                                   aterm.ATerm summaryTerm)
Specified by:
refreshFeedbackSummary in interface ErrorViewerTif

removeFeedbackSummary

public void removeFeedbackSummary(java.lang.String panelId,
                                  java.lang.String producer,
                                  java.lang.String id)
Specified by:
removeFeedbackSummary in interface ErrorViewerTif

removeFeedbackSummary

public void removeFeedbackSummary(java.lang.String panelId,
                                  java.lang.String path)
Specified by:
removeFeedbackSummary in interface ErrorViewerTif

recAckEvent

public void recAckEvent(aterm.ATerm t0)
Specified by:
recAckEvent in interface ErrorViewerTif

recTerminate

public void recTerminate(aterm.ATerm t0)
Specified by:
recTerminate in interface ErrorViewerTif

The Meta-Environment API