de.unisaarland.cs.st.jerify.verifier.tools.gui
Class GuiClassTreeNode

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.tools.gui.GuiClassTreeNode

All Implemented Interfaces:

GuiTreeNode

public class GuiClassTreeNode
extends java.lang.Object
implements GuiTreeNode

Constructor Summary

GuiClassTreeNode(java.lang.String name)

Method Summary

void	addChild(GuiTreeNode child)
boolean	containsChild(GuiTreeNode child)
int	countChildren()
GuiTreeNode	getChild(int i)
int	indexOf(GuiTreeNode child)
void	printAll(int level)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

GuiClassTreeNode

public GuiClassTreeNode(java.lang.String name)

Method Detail

addChild

public void addChild(GuiTreeNode child)

Specified by:

addChild in interface GuiTreeNode

getChild

public GuiTreeNode getChild(int i)

Specified by:

getChild in interface GuiTreeNode

countChildren

public int countChildren()

Specified by:

countChildren in interface GuiTreeNode

indexOf

public int indexOf(GuiTreeNode child)

Specified by:

indexOf in interface GuiTreeNode

containsChild

public boolean containsChild(GuiTreeNode child)

Specified by:

containsChild in interface GuiTreeNode

printAll

public void printAll(int level)

Specified by:

printAll in interface GuiTreeNode

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object