method

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

method

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

method

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

method	DMDircDesktopPane access$000(ProxyDesktopPaneUI)
pre	x0 != null
pre	init'ed(x0.desktopPane)
post	return_value == x0.desktopPane
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.components. desktopPane.ProxyDesktopPaneUI(DesktopPaneUI, DMDircDesktopPane)
post	this.actionMap == &new ActionMap(initInputActio nMap#2)
post	this.desktopPane == desktopPane
post	init'ed(this.desktopPane)
post	this.inputMap == &new InputMap(initInputActionM ap#1)
post	this.ui == ui
post	init'ed(this.ui)
post	new ActionMap(initInputActionMap#2) num objects == 1
post	new InputMap(initInputActionMap#1) num objects == 1
unanalyzed	call on javax.swing.InputMap
unanalyzed	call on javax.swing.ActionMap
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put

method	void initInputActionMap()
post	this.actionMap == &new ActionMap(initInputActio nMap#2)
post	this.inputMap == &new InputMap(initInputActionM ap#1)
post	new ActionMap(initInputActionMap#2) num objects == 1
post	new InputMap(initInputActionMap#1) num objects == 1
unanalyzed	call on javax.swing.AbstractAction

method

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

method	void actionPerformed(ActionEvent)
pre	this.desktopPane != null
pre	this.desktopPane.treeScroller != null
pre	(soft) this.desktopPane.treeScroller.model != null
pre	(soft) this.desktopPane.treeScroller. 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

method

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

method	void actionPerformed(ActionEvent)
pre	this.desktopPane != null
pre	this.desktopPane.treeScroller != null
pre	(soft) this.desktopPane.treeScroller.model != null
pre	(soft) this.desktopPane.treeScroller. 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

method	void installUI(JComponent)
pre	c != null
pre	init'ed(this.actionMap)
pre	init'ed(this.inputMap)
pre	this.ui != null

method	void uninstallUI(JComponent)
pre	this.ui != null