|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ErrorNode | |
---|---|
nl.cwi.sen1.error.model |
Uses of ErrorNode in nl.cwi.sen1.error.model |
---|
Methods in nl.cwi.sen1.error.model that return ErrorNode | |
---|---|
private ErrorNode |
ErrorDecorator.decorateError(errorapi.types.Error error,
java.lang.String producer,
java.lang.String id)
|
Methods in nl.cwi.sen1.error.model with parameters of type ErrorNode | |
---|---|
private void |
ErrorDecorator.addToGroup(int grouping,
java.util.Map<java.lang.String,GroupNode> groups,
java.lang.String name,
ErrorNode node)
|
private java.lang.String |
ErrorDecorator.getErrorGroup(ErrorNode node,
int grouping)
|
private void |
ErrorDecorator.insert(javax.swing.tree.DefaultMutableTreeNode top,
ErrorNode node)
|
Method parameters in nl.cwi.sen1.error.model with type arguments of type ErrorNode | |
---|---|
private boolean |
ErrorDecorator.collectNodes(javax.swing.tree.DefaultMutableTreeNode top,
java.util.List<ErrorNode> list)
|
private void |
ErrorDecorator.groupNodes(java.util.List<ErrorNode> list,
java.util.Map<java.lang.String,GroupNode> groups,
int grouping)
|
private void |
ErrorDecorator.removeNodes(javax.swing.tree.DefaultMutableTreeNode top,
java.util.List<ErrorNode> toBeRemoved)
|
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |