The Meta-Environment API

org.meta_environment.eclipse.errors
Class ErrorViewer

java.lang.Object
  extended by toolbus.adapter.AbstractTool
      extended by toolbus.adapter.java.AbstractJavaTool
          extended by toolbus.adapter.eclipse.EclipseTool
              extended by org.meta_environment.eclipse.errors.ErrorViewer
All Implemented Interfaces:
toolbus.IOperations

public class ErrorViewer
extends toolbus.adapter.eclipse.EclipseTool


Nested Class Summary
private static class ErrorViewer.InstanceKeeper
           
 
Field Summary
private  errorapi.Factory eFactory
           
private static java.lang.String ERROR_ID
           
private static java.lang.String PRODUCER
           
private static java.lang.String TOOL_NAME
           
 
Fields inherited from class toolbus.adapter.eclipse.EclipseTool
factory, TIME_OUT
 
Fields inherited from class toolbus.adapter.AbstractTool
DIRECTTOOL, REMOTETOOL, termFactory, toolBridge
 
Fields inherited from interface toolbus.IOperations
ACKDO, ACKEVENT, CONNECT, DEBUGPERFORMANCESTATS, DISCONNECT, DO, END, EVAL, EVENT, PERFORMANCESTATS, REQUEST, RESPONSE, TERMINATE, UNDEFINED, VALUE
 
Constructor Summary
private ErrorViewer()
           
 
Method Summary
static ErrorViewer getInstance()
           
 java.lang.String getName()
           
private  int getSeverity(errorapi.types.Error error)
           
 void refreshFeedbackSummary(java.lang.String panelId, aterm.ATerm summaryTerm)
           
 void removeFeedbackSummary(java.lang.String theId)
           
 void removeFeedbackSummary(java.lang.String panelId, java.lang.String path)
           
 void removeFeedbackSummary(java.lang.String panelId, java.lang.String producer, java.lang.String id)
           
private  void showError(errorapi.types.Summary summary, errorapi.types.Error error, int severity)
           
 void showFeedbackSummary(java.lang.String panelId, aterm.ATerm summaryTerm)
           
private  void showSubject(errorapi.types.Summary summary, java.lang.String desc, errorapi.types.Subject subject, int severity)
           
 
Methods inherited from class toolbus.adapter.eclipse.EclipseTool
connect, connect, decode, receiveAckEvent, receiveTerminate
 
Methods inherited from class toolbus.adapter.java.AbstractJavaTool
connectDirectly
 
Methods inherited from class toolbus.adapter.AbstractTool
disconnect, getFactory, getToolBridge, pack, sendEvent, sendRequest, setToolBridge, terminate, unpack
 
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

PRODUCER

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

ERROR_ID

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

eFactory

private errorapi.Factory eFactory
Constructor Detail

ErrorViewer

private ErrorViewer()
Method Detail

getInstance

public static ErrorViewer getInstance()

getName

public java.lang.String getName()
Overrides:
getName in class toolbus.adapter.eclipse.EclipseTool

showFeedbackSummary

public void showFeedbackSummary(java.lang.String panelId,
                                aterm.ATerm summaryTerm)

getSeverity

private int getSeverity(errorapi.types.Error error)

showError

private void showError(errorapi.types.Summary summary,
                       errorapi.types.Error error,
                       int severity)
                throws org.eclipse.core.runtime.CoreException
Throws:
org.eclipse.core.runtime.CoreException

showSubject

private void showSubject(errorapi.types.Summary summary,
                         java.lang.String desc,
                         errorapi.types.Subject subject,
                         int severity)
                  throws org.eclipse.core.runtime.CoreException
Throws:
org.eclipse.core.runtime.CoreException

refreshFeedbackSummary

public void refreshFeedbackSummary(java.lang.String panelId,
                                   aterm.ATerm summaryTerm)

removeFeedbackSummary

public void removeFeedbackSummary(java.lang.String panelId,
                                  java.lang.String producer,
                                  java.lang.String id)

removeFeedbackSummary

public void removeFeedbackSummary(java.lang.String theId)

removeFeedbackSummary

public void removeFeedbackSummary(java.lang.String panelId,
                                  java.lang.String path)

The Meta-Environment API