de.unisaarland.cs.st.jerify.verifier.tools.gui
Interface GuiTreeNode

All Known Implementing Classes:

GuiClassTreeNode, GuiPackageTreeNode

public interface GuiTreeNode

Method Summary

void	addChild(GuiTreeNode child)
boolean	containsChild(GuiTreeNode child)
int	countChildren()
GuiTreeNode	getChild(int i)
int	indexOf(GuiTreeNode child)
void	printAll(int level)

Method Detail

getChild

GuiTreeNode getChild(int i)

addChild

void addChild(GuiTreeNode child)

countChildren

int countChildren()

indexOf

int indexOf(GuiTreeNode child)

containsChild

boolean containsChild(GuiTreeNode child)

printAll

void printAll(int level)