TreeScroller.java

current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void changeFocus(bool)

    • Kind Annotation Text
    pre(soft) this.model != null
    pre(soft) this.selectionModel != null
    presumptionjavax.swing.tree.DefaultMutableTreeNode:getChildAt( ...)@119 != null
    presumptionjavax.swing.tree.TreePath:getLastPathComponent(... )@122 != null
    presumptionjavax.swing.tree.TreeSelectionModel:getSelectionPat h(...)@122 != null
    unanalyzedcall on com.dmdirc.FrameContainer:activateFrame
    unanalyzedcall on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewNode:getFrameContainer
    unanalyzedcall on javax.swing.tree.DefaultMutableTreeNode:get FirstChild
    unanalyzedcall on javax.swing.tree.DefaultMutableTreeNode:get LastLeaf
    unanalyzedcall on javax.swing.tree.DefaultMutableTreeNode:get NextNode
    unanalyzedcall on javax.swing.tree.DefaultMutableTreeNode:get PreviousNode
    unanalyzedcall on javax.swing.tree.DefaultTreeModel:getRoot
    unanalyzedcall on javax.swing.tree.TreePath:getLastPathCompon ent
    unanalyzedcall on javax.swing.tree.TreeSelectionModel:setSele ctionPath
    test_vectordirection: {0}, {1}
    test_vectorjavax.swing.tree.DefaultMutableTreeNode:getChildCou nt(...)@110: {-231..-1, 1.. 232-1}, {0}
    test_vectorjavax.swing.tree.TreeSelectionModel:isSelectionEmpt y(...)@115: {0}, {1}
    test_vectorthis.rootNode: Inverse{null}, Addr_Set{null}
    test_vectorthis.rootVisible: {1}, {0}

  • DefaultMutableTreeNode changeFocusDown(DefaultMutableTreeNode)

    • Kind Annotation Text
    pre(soft) this.model != null
    pre(soft) this.rootNode != null
    prenode != null
    postinit'ed(return_value)
    test_vectorjavax.swing.tree.DefaultMutableTreeNode:getNextNode (...)@174: Inverse{null}, Addr_Set{null}
    test_vectorthis.rootVisible: {1}, {0}

  • DefaultMutableTreeNode changeFocusUp(DefaultMutableTreeNode)

    • Kind Annotation Text
    pre(soft) this.model != null
    pre(soft) this.rootNode != null
    prenode != null
    postinit'ed(return_value)
    test_vectorjavax.swing.tree.DefaultMutableTreeNode:getPrevious Node(...)@155: Addr_Set{null}, Inverse{null}
    test_vectorthis.rootVisible: {1}, {0}

  • void com.dmdirc.addons.ui_swing.components.TreeScroller(JTree)

    • Kind Annotation Text
    pretree != null
    presumptionjavax.swing.JTree:getModel(...)@60 != null
    postinit'ed(this.model)
    postinit'ed(this.rootNode)
    postinit'ed(this.rootVisible)
    postinit'ed(this.selectionModel)
    postthis.tree != null
    postthis.tree == tree

  • void com.dmdirc.addons.ui_swing.components.TreeScroller(DefaultTreeModel, TreeSelectionModel, bool)

    • Kind Annotation Text
    premodel != null
    postinit'ed(this.rootNode)
    postinit'ed(this.rootVisible)
    postinit'ed(this.selectionModel)
    postthis.model != null
    postthis.model == model
    postthis.rootVisible == rootVisible
    postthis.selectionModel == selectionModel

  • com.dmdirc.addons.ui_swing.components.TreeScroller__static_init

    • Kind Annotation Text

  • void mouseWheelMoved(MouseWheelEvent)

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

  • void setPath(TreePath)

    • Kind Annotation Text
    prethis.selectionModel != null