org.meta_environment.eclipse.errors
Class ErrorViewer
java.lang.Object
toolbus.adapter.AbstractTool
toolbus.adapter.java.AbstractJavaTool
toolbus.adapter.eclipse.EclipseTool
org.meta_environment.eclipse.errors.ErrorViewer
- All Implemented Interfaces:
- toolbus.IOperations
public class ErrorViewer
- extends toolbus.adapter.eclipse.EclipseTool
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 |
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 |
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
ErrorViewer
private ErrorViewer()
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)