nl.cwi.sen1.error.model
Class ErrorNode

java.lang.Object
  javax.swing.tree.DefaultMutableTreeNode
      nl.cwi.sen1.error.model.SelectableNode
          nl.cwi.sen1.error.model.ErrorNode

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, javax.swing.tree.MutableTreeNode, javax.swing.tree.TreeNode

public class ErrorNode
extends SelectableNode

See Also:

Serialized Form

Field Summary

private errorapi.types.Error	error
private java.lang.String	id
private errorapi.types.Location	location
private java.lang.String	producer

Fields inherited from class javax.swing.tree.DefaultMutableTreeNode

allowsChildren, children, EMPTY_ENUMERATION, parent, userObject

Constructor Summary

ErrorNode(errorapi.types.Error error, java.lang.String producer, java.lang.String id)

Method Summary

java.lang.String	getId()
errorapi.types.Location	getLocation()
java.lang.String	getProducer()
boolean	isError()
boolean	isFatal()
boolean	isInfo()
boolean	isWarning()
void	selected(nl.cwi.sen1.gui.Studio studio, ErrorViewerBridge bridge)
void	setLocation(errorapi.types.Location location)
java.lang.String	toString()

Methods inherited from class javax.swing.tree.DefaultMutableTreeNode

add, breadthFirstEnumeration, children, clone, depthFirstEnumeration, getAllowsChildren, getChildAfter, getChildAt, getChildBefore, getChildCount, getDepth, getFirstChild, getFirstLeaf, getIndex, getLastChild, getLastLeaf, getLeafCount, getLevel, getNextLeaf, getNextNode, getNextSibling, getParent, getPath, getPathToRoot, getPreviousLeaf, getPreviousNode, getPreviousSibling, getRoot, getSharedAncestor, getSiblingCount, getUserObject, getUserObjectPath, insert, isLeaf, isNodeAncestor, isNodeChild, isNodeDescendant, isNodeRelated, isNodeSibling, isRoot, pathFromAncestorEnumeration, postorderEnumeration, preorderEnumeration, remove, remove, removeAllChildren, removeFromParent, setAllowsChildren, setParent, setUserObject

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

producer

private java.lang.String producer

id

private java.lang.String id

error

private errorapi.types.Error error

location

private errorapi.types.Location location

Constructor Detail

ErrorNode

public ErrorNode(errorapi.types.Error error,
                 java.lang.String producer,
                 java.lang.String id)

Method Detail

getProducer

public java.lang.String getProducer()

getLocation

public errorapi.types.Location getLocation()

getId

public java.lang.String getId()

toString

public java.lang.String toString()

Overrides:

toString in class javax.swing.tree.DefaultMutableTreeNode

setLocation

public void setLocation(errorapi.types.Location location)

selected

public void selected(nl.cwi.sen1.gui.Studio studio,
                     ErrorViewerBridge bridge)

Specified by:

selected in class SelectableNode

isError

public boolean isError()

isWarning

public boolean isWarning()

isFatal

public boolean isFatal()

isInfo

public boolean isInfo()