ProxyDesktopPaneUI.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • DMDircDesktopPane access$000(ProxyDesktopPaneUI)

    • Kind Annotation Text
    preinit'ed(x0.desktopPane)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.desktopPane

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) this.desktopPane.treeScroller.model != null
    pre(soft) this.desktopPane.treeScroller. selectionModel != null
    prethis.desktopPane != null
    prethis.desktopPane.treeScroller != 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

  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) this.desktopPane.treeScroller.model != null
    pre(soft) this.desktopPane.treeScroller. selectionModel != null
    prethis.desktopPane != null
    prethis.desktopPane.treeScroller != 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

  • void com.dmdirc.addons.ui_swing.components.desktopPane.ProxyDesktopPaneUI$1(ProxyDesktopPaneUI, String)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.desktopPane.ProxyDesktopPaneUI$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.desktopPane.ProxyDesktopPaneUI$2(ProxyDesktopPaneUI, String)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.desktopPane.ProxyDesktopPaneUI$2__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.desktopPane.ProxyDesktopPaneUI(DesktopPaneUI, DMDircDesktopPane)

    • Kind Annotation Text
    postinit'ed(this.desktopPane)
    postinit'ed(this.ui)
    postnew ActionMap(initInputActionMap#2) num objects == 1
    postnew InputMap(initInputActionMap#1) num objects == 1
    postthis.actionMap == &new ActionMap(initInputActio nMap#2)
    postthis.desktopPane == desktopPane
    postthis.inputMap == &new InputMap(initInputActionM ap#1)
    postthis.ui == ui
    unanalyzedcall on javax.swing.AbstractAction
    unanalyzedcall on javax.swing.ActionMap
    unanalyzedcall on javax.swing.ActionMap:put
    unanalyzedcall on javax.swing.InputMap
    unanalyzedcall on javax.swing.InputMap:put
    unanalyzedcall on javax.swing.KeyStroke:getKeyStroke

  • com.dmdirc.addons.ui_swing.components.desktopPane.ProxyDesktopPaneUI__static_init

    • Kind Annotation Text

  • void initInputActionMap()

    • Kind Annotation Text
    postnew ActionMap(initInputActionMap#2) num objects == 1
    postnew InputMap(initInputActionMap#1) num objects == 1
    postthis.actionMap == &new ActionMap(initInputActio nMap#2)
    postthis.inputMap == &new InputMap(initInputActionM ap#1)
    unanalyzedcall on javax.swing.AbstractAction

  • void installUI(JComponent)

    • Kind Annotation Text
    prec != null
    preinit'ed(this.actionMap)
    preinit'ed(this.inputMap)
    prethis.ui != null

  • void uninstallUI(JComponent)

    • Kind Annotation Text
    prethis.ui != null