method

com.dmdirc.addons.ui_swing.components. TreeScroller__static_init

method	void com.dmdirc.addons.ui_swing.components. TreeScroller(JTree)
pre	tree != null
presumption	javax.swing.JTree:getModel(...)@60 != null
post	init'ed(this.model)
post	init'ed(this.rootNode)
post	init'ed(this.rootVisible)
post	init'ed(this.selectionModel)
post	this.tree == tree
post	this.tree != null

method	void com.dmdirc.addons.ui_swing.components. TreeScroller(DefaultTreeModel, TreeSelectionModel, bool)
pre	model != null
post	this.model == model
post	this.model != null
post	init'ed(this.rootNode)
post	this.rootVisible == rootVisible
post	init'ed(this.rootVisible)
post	this.selectionModel == selectionModel
post	init'ed(this.selectionModel)

method	void mouseWheelMoved(MouseWheelEvent)
pre	e != null
pre	(soft) this.model != null
pre	(soft) this.selectionModel != null
unanalyzed	call on javax.swing.tree.DefaultTreeModel:getRoot
unanalyzed	call on javax.swing.tree.TreeSelectionModel:setSele ctionPath
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get PreviousNode
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get LastLeaf
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get NextNode
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get FirstChild
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get ChildCount
unanalyzed	call on javax.swing.tree.TreeSelectionModel:isSelec tionEmpty
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get ChildAt
unanalyzed	call on javax.swing.tree.TreeSelectionModel:getSele ctionPath
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent
unanalyzed	call on javax.swing.tree.DefaultTreeModel:getPathTo Root
unanalyzed	call on javax.swing.tree.TreePath
unanalyzed	call on setPath
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewNode:getFrameContainer
unanalyzed	call on com.dmdirc.FrameContainer:activateFrame
test_vector	java.awt.event.MouseWheelEvent:getWheelRotation(... )@89: {0..232-1}, {-231..-1}

method	void changeFocus(bool)
pre	(soft) this.model != null
pre	(soft) this.selectionModel != null
presumption	javax.swing.tree.DefaultMutableTreeNode:getChildAt( ...)@119 != null
presumption	javax.swing.tree.TreePath:getLastPathComponent(... )@122 != null
presumption	javax.swing.tree.TreeSelectionModel:getSelectionPat h(...)@122 != null
unanalyzed	call on javax.swing.tree.DefaultTreeModel:getRoot
unanalyzed	call on javax.swing.tree.TreeSelectionModel:setSele ctionPath
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get PreviousNode
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get LastLeaf
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get NextNode
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode:get FirstChild
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewNode:getFrameContainer
unanalyzed	call on com.dmdirc.FrameContainer:activateFrame
test_vector	direction: {0}, {1}
test_vector	this.rootNode: Inverse{null}, Addr_Set{null}
test_vector	this.rootVisible: {1}, {0}
test_vector	javax.swing.tree.DefaultMutableTreeNode:getChildCou nt(...)@110: {-231..-1, 1.. 232-1}, {0}
test_vector	javax.swing.tree.TreeSelectionModel:isSelectionEmpt y(...)@115: {0}, {1}

method	void setPath(TreePath)
pre	this.selectionModel != null

method	DefaultMutableTreeNode changeFocusUp(DefaultMutabl eTreeNode)
pre	node != null
pre	(soft) this.model != null
pre	(soft) this.rootNode != null
post	init'ed(return_value)
test_vector	this.rootVisible: {1}, {0}
test_vector	javax.swing.tree.DefaultMutableTreeNode:getPrevious Node(...)@155: Addr_Set{null}, Inverse{null}

method	DefaultMutableTreeNode changeFocusDown(DefaultMuta bleTreeNode)
pre	node != null
pre	(soft) this.model != null
pre	(soft) this.rootNode != null
post	init'ed(return_value)
test_vector	this.rootVisible: {1}, {0}
test_vector	javax.swing.tree.DefaultMutableTreeNode:getNextNode (...)@174: Inverse{null}, Addr_Set{null}