method

com.dmdirc.addons.ui_swing.framemanager.tree. TreeViewNode__static_init

method	void com.dmdirc.addons.ui_swing.framemanager.tree. TreeViewNode(NodeLabel, FrameContainer)
post	this.frameContainer == frameContainer
post	init'ed(this.frameContainer)
post	this.label == label
post	init'ed(this.label)

method	NodeLabel getLabel()
pre	init'ed(this.label)
post	return_value == this.label
post	init'ed(return_value)

method	FrameContainer getFrameContainer()
pre	init'ed(this.frameContainer)
post	return_value == this.frameContainer
post	init'ed(return_value)