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

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

All Implemented Interfaces:

GuiTreeNode

public class GuiPackageTreeNode
extends java.lang.Object
implements GuiTreeNode

Typestate: addChild(...) ↑ ↓ |-new ()-->[Uninit]--setName(...) ---| ↓ |-new(string | name)--> [Init]-> can now be used

Author:

Daniel Wand

Constructor Summary

GuiPackageTreeNode()

GuiPackageTreeNode(javax.lang.model.element.Name name)

GuiPackageTreeNode(java.lang.String name)

Method Summary

void	addChild(GuiTreeNode child)
boolean	containsChild(GuiTreeNode child)
int	countChildren()
boolean	equals(java.lang.Object obj)
GuiTreeNode	getChild(int i)
int	hashCode()
int	indexOf(GuiTreeNode child)
void	merge(GuiTreeNode some)
void	mergeWithChild(GuiTreeNode equal)
void	printAll(int level)
void	setName(javax.lang.model.element.Name name)
void	setName(java.lang.String name)
void	testInit()
java.lang.String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

GuiPackageTreeNode

public GuiPackageTreeNode()

GuiPackageTreeNode

public GuiPackageTreeNode(java.lang.String name)

GuiPackageTreeNode

public GuiPackageTreeNode(javax.lang.model.element.Name name)

Method Detail

setName

public void setName(java.lang.String name)

setName

public void setName(javax.lang.model.element.Name name)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

addChild

public void addChild(GuiTreeNode child)

Specified by:

addChild in interface GuiTreeNode

testInit

public void testInit()

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

printAll

public void printAll(int level)

Specified by:

printAll in interface GuiTreeNode

containsChild

public boolean containsChild(GuiTreeNode child)

Specified by:

containsChild in interface GuiTreeNode

merge

public void merge(GuiTreeNode some)

mergeWithChild

public void mergeWithChild(GuiTreeNode equal)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object