Messages

method

com.dmdirc.addons.ui_swing.components.desktopPane. DMDircDesktopPane$7__static_init

method

com.dmdirc.addons.ui_swing.components.desktopPane. DMDircDesktopPane$6__static_init

method

com.dmdirc.addons.ui_swing.components.desktopPane. DMDircDesktopPane$5__static_init

method

com.dmdirc.addons.ui_swing.components.desktopPane. DMDircDesktopPane$4__static_init

method

com.dmdirc.addons.ui_swing.components.desktopPane. DMDircDesktopPane$3__static_init

method

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

method

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

method	void access$000(DMDircDesktopPane, Component, Object, int)
pre	x0 != null

method	int access$100(DMDircDesktopPane)
pre	x0 != null
pre	init'ed(x0.xOffset)
post	return_value == x0.xOffset
post	init'ed(return_value)

method	int access$102(DMDircDesktopPane, int)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.xOffset == return_value

method	int access$200(DMDircDesktopPane)
pre	x0 != null
pre	init'ed(x0.yOffset)
post	return_value == x0.yOffset
post	init'ed(return_value)

method	int access$202(DMDircDesktopPane, int)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.yOffset == return_value

method	int access$112(DMDircDesktopPane, int)
pre	init'ed(x0.xOffset)
pre	x0 != null
pre	x1 + x0.xOffset in {-2³¹..2³²-1}
post	return_value == x1 + old x0.xOffset
post	init'ed(return_value)
post	x0.xOffset == return_value

method	int access$212(DMDircDesktopPane, int)
pre	init'ed(x0.yOffset)
pre	x0 != null
pre	x1 + x0.yOffset in {-2³¹..2³²-1}
post	return_value == x1 + old x0.yOffset
post	init'ed(return_value)
post	x0.yOffset == return_value

method	Window access$300(DMDircDesktopPane)
pre	x0 != null
pre	init'ed(x0.selectedWindow)
post	return_value == x0.selectedWindow
post	init'ed(return_value)

method	Map access$400(DMDircDesktopPane)
pre	x0 != null
post	return_value == x0.nodes
post	init'ed(return_value)

method	TreeViewModel access$500(DMDircDesktopPane)
pre	x0 != null
post	return_value == x0.model
post	init'ed(return_value)

method	MainFrame access$600(DMDircDesktopPane)
pre	x0 != null
pre	init'ed(x0.mainFrame)
post	return_value == x0.mainFrame
post	init'ed(return_value)

method	Window access$302(DMDircDesktopPane, Window)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.selectedWindow == return_value

method	TreeSelectionModel access$700(DMDircDesktopPane)
pre	x0 != null
post	return_value == x0.selectionModel
post	init'ed(return_value)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane:addImpl(Component, Object, int)

method	com.dmdirc.addons.ui_swing.components.desktopPane. DMDircDesktopPane__static_init
post	init'ed(LOGGER)

method	void com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane(MainFrame)
post	this.changing == &new AtomicBoolean(DMDircDeskt opPane#1)
post	this.mainFrame == mainFrame
post	init'ed(this.mainFrame)
post	this.model == &new TreeViewModel(DMDircDesktopP ane#5)
post	this.treeScroller.model == &new TreeViewModel(DMDircDesktopPane#5)
post	this.nodes == &new HashMap(DMDircDesktopPane#4)
post	this.selectionModel == &new DefaultTreeSelectio nModel(DMDircDesktopPane#7)
post	this.treeScroller.selectionModel == &new DefaultTreeSelectionModel(DMDircDesktopPane#7)
post	this.treeScroller == &new DMDircDesktopPane$1(D MDircDesktopPane#8)
post	new AtomicBoolean(DMDircDesktopPane#1) num objects == 1
post	new DMDircDesktopPane$1(DMDircDesktopPane#8) num objects == 1
post	new DefaultTreeSelectionModel(DMDircDesktopPane#7) num objects == 1
post	new HashMap(DMDircDesktopPane#4) num objects == 1
post	new TreeViewModel(DMDircDesktopPane#5) num objects == 1
post	init'ed(this.treeScroller.rootNode)
post	this.treeScroller.rootVisible == 0
unanalyzed	call on javax.swing.JDesktopPane:setUI
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
unanalyzed	call on javax.swing.plaf.DesktopPaneUI
unanalyzed	call on javax.swing.tree.DefaultTreeModel:getRoot

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane:setBackground(Color)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane:setBorder(Border)

method not available - call not analyzed Info call on DesktopPaneUI com.dmdirc.addons.ui_swing. components.desktopPane.DMDircDesktopPane:getUI()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewNode(NodeLabel, FrameContainer)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewModel(TreeViewNode)

method	void com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane$1(DMDircDesktopPane, DefaultTreeModel, TreeSelectionModel, bool)
pre	x0 != null
post	this.model == x0
post	this.model != null
post	init'ed(this.rootNode)
post	this.rootVisible == x2
post	init'ed(this.rootVisible)
post	this.selectionModel == x1
post	init'ed(this.selectionModel)
unanalyzed	call on javax.swing.tree.DefaultTreeModel:getRoot

method	void setPath(TreePath)
pre	path != null
pre	this.selectionModel != null
presumption	com.dmdirc.addons.ui_swing.framemanager.tree. TreeViewNode:getFrameContainer(...)@122 != null
presumption	javax.swing.tree.TreePath:getLastPathComponent(... )@122 != null
unanalyzed	call on javax.swing.tree.TreeSelectionModel:setSele ctionPath

method not available - call not analyzed Info call on FrameContainer com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewNode:getFrameContainer()

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:activateFram e()

method not available - call not analyzed Info call on void com.dmdirc.ui.WindowManager:addFrameMa nager(FrameManager)

method	void setUI(DesktopPaneUI)
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
unanalyzed	call on javax.swing.plaf.DesktopPaneUI

method	void com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane$2(DMDircDesktopPane, JComponent, int)
post	this.val$comp == Param_2
post	init'ed(this.val$comp)
post	this.val$index == Param_3
post	init'ed(this.val$index)

method	void add(JComponent, int)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.val$comp != null
pre	(soft) this.xOffset <= 4_294_967_265
pre	(soft) this.yOffset <= 4_294_967_265
post	this.xOffset == One-of{old this.xOffset, 0} + 30
post	this.yOffset == One-of{old this.yOffset, 0} + 30
unanalyzed	call on com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane:addImpl

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane:getWidth()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane:getHeight()

method

void com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane$3(DMDircDesktopPane)

method	Window getSelectedWindow()
post	init'ed(return_value)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject

method not available - call not analyzed Info call on void com.dmdirc.util.ReturnableThread()

method	void run()
pre	init'ed(this.selectedWindow)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane$3:setObject(Object)

method

void setParent(JComponent)

method	bool canPositionVertically()
post	return_value == 1

method	bool canPositionHorizontally()
post	return_value == 1

method	void addWindow(FrameContainer)
pre	this.model != null
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError

method not available - call not analyzed Info call on TreeViewNode com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewModel:getRootNode()

method	void com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane$4(DMDircDesktopPane, FrameContainer, FrameContainer)
post	this.val$parent == Param_2
post	init'ed(this.val$parent)
post	this.val$window == Param_3
post	init'ed(this.val$window)

method	void addWindow(FrameContainer, FrameContainer)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError

method	void run()
pre	this.nodes != null
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError

method	void delWindow(FrameContainer, FrameContainer)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError

method	void com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane$5(DMDircDesktopPane, FrameContainer)
post	this.val$window == Param_2
post	init'ed(this.val$window)

method	void delWindow(FrameContainer)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError

method	void run()
pre	(soft) this.mainFrame != null
pre	(soft) init'ed(this.mainFrame.showVersion)
pre	(soft) this.model != null
pre	(soft) this.val$window != null
presumption	com.dmdirc.FrameContainer:getFrame(...)@256 != null
presumption	com.dmdirc.addons.ui_swing.components.desktopPane. DMDircDesktopPane:getAllFrames(...)@258 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.util.Map:get(...)@245 != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isMaximum
unanalyzed	call on javax.swing.JFrame:setTitle
test_vector	this.nodes: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.addons.ui_swing.components.desktopPane. DMDircDesktopPane:getAllFrames(...).length@258: {1..+Inf}, {0}
test_vector	com.dmdirc.addons.ui_swing.framemanager.tree. TreeViewNode:getLevel(...)@246: {-2³¹.. -1, 1..2³²-1}, {0}
test_vector	java.util.Map:get(...)@242: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewNode:getLevel()

method not available - call not analyzed Info call on String com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewNode:toString()

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewModel:removeNodeFromParen t(MutableTreeNode)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:removeSelect ionListener(SelectionListener)

method not available - call not analyzed Info call on Window com.dmdirc.FrameContainer:getFrame()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:removePropertyChangeListener(Prope rtyChangeListener)

method not available - call not analyzed Info call on JInternalFrame[] com.dmdirc.addons.ui_ swing.components.desktopPane.DMDircDesktopPane:getA llFrames()

method	void com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane$6(DMDircDesktopPane, FrameContainer, TreeViewNode)
post	this.val$parent == Param_3
post	init'ed(this.val$parent)
post	this.val$window == Param_2
post	init'ed(this.val$window)

method	void addWindow(TreeViewNode, FrameContainer)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError

method	void run()
pre	this.model != null
pre	this.nodes != null
pre	this.val$window != null
presumption	com.dmdirc.FrameContainer:getFrame(...)@285 != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewNode(NodeLabel, FrameContainer)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewNode:setUserObject(Object )

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewModel:insertNodeInto(Tree ViewNode, TreeViewNode)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:addSelection Listener(SelectionListener)

method	void scrollUp()
pre	this.treeScroller != null
pre	(soft) this.treeScroller.model != null
pre	(soft) this.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 scrollDown()
pre	this.treeScroller != null
pre	(soft) this.treeScroller.model != null
pre	(soft) this.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.DMDircDesktopPane$7(DMDircDesktopPane, Window)
post	this.val$window == Param_2
post	init'ed(this.val$window)

method	void selectionChanged(Window)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater

method	void run()
pre	this.mainFrame != null
pre	init'ed(this.mainFrame.showVersion)
pre	this.model != null
pre	this.nodes != null
pre	this.val$window != null
pre	(soft) this.selectionModel != null
pre	(soft) init'ed(this.val$window.inputField)
post	this.selectedWindow == this.val$window
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isMaximum
unanalyzed	call on javax.swing.JFrame:setTitle
test_vector	com.dmdirc.addons.ui_swing.framemanager.tree. TreeViewModel:getPathToRoot(...)@310: Addr_Set{null}, Inverse{null}
test_vector	path.length@310: {0}, {1..+Inf}

method not available - call not analyzed Info call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()

method not available - call not analyzed Info call on TreeNode[] com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewModel:getPathToRoot(TreeN ode)

method not available - call not analyzed Info call on String com.dmdirc.ui.interfaces. Window:getTitle()

method	void propertyChange(PropertyChangeEvent)
pre	evt != null
pre	(soft) init'ed(this.maximised)
pre	(soft) this.changing != null
pre	(soft) this.mainFrame != null
pre	(soft) init'ed(this.mainFrame.showVersion)
pre	(soft) init'ed(this.selectedWindow)
presumption	java.beans.PropertyChangeEvent:getNewValue(... )@330 != null
presumption	java.beans.PropertyChangeEvent:getSource(...)@327 != null
presumption	java.beans.PropertyChangeEvent:getSource(...)@330 != null
post	init'ed(this.maximised)
unanalyzed	call on setTitle
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:get
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:set
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Stack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. desktopPane.DMDircDesktopPane:getAllFrames
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.Stack:addAll
unanalyzed	call on java.util.Stack:empty
unanalyzed	call on java.util.Stack:pop
unanalyzed	call on javax.swing.JInternalFrame:isMaximum
unanalyzed	call on com.dmdirc.ui.interfaces.Window:maximise
unanalyzed	call on com.dmdirc.ui.interfaces.Window:restore
unanalyzed	call on com.dmdirc.ui.interfaces.Window:activateFra me
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isMaximum
unanalyzed	call on javax.swing.JFrame:setTitle
test_vector	java.lang.String:equals(...)@326: {0}, {1}
test_vector	java.lang.String:equals(...)@329: {0}, {1}

method not available - call not analyzed Info call on String com.dmdirc.ui.interfaces. Window:getTitle()

method	void handleTitleEvent(Window, String)
pre	init'ed(this.maximised)
pre	(soft) this.mainFrame != null
pre	(soft) init'ed(this.mainFrame.showVersion)
pre	(soft) init'ed(this.selectedWindow)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isMaximum
unanalyzed	call on javax.swing.JFrame:setTitle
test_vector	this.maximised: {0}, {1}
test_vector	window == this.selectedWindow: {0}, {1}

method	void handleMaximiseEvent(bool, String)
pre	this.changing != null
pre	(soft) this.mainFrame != null
pre	(soft) init'ed(this.mainFrame.showVersion)
pre	(soft) init'ed(this.selectedWindow)
presumption	java.util.Stack:pop(...)@355 != null
post	possibly_updated(this.maximised)
unanalyzed	call on javax.swing.UIManager:getLookAndFeel
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isMaximum
unanalyzed	call on javax.swing.JFrame:setTitle
test_vector	isMaximised: {0}, {1}
test_vector	this.selectedWindow: Addr_Set{null}, Inverse{null}
test_vector	java.util.Stack:empty(...)@354: {1}, {0}
test_vector	java.util.concurrent.atomic.AtomicBoolean:get(... )@345: {0}, {1}
test_vector	javax.swing.JInternalFrame:isMaximum(...)@357: {1}, {0}
test_vector	javax.swing.JInternalFrame:isMaximum(...)@361: {0}, {1}

method not available - call not analyzed Info call on JInternalFrame[] com.dmdirc.addons.ui_ swing.components.desktopPane.DMDircDesktopPane:getA llFrames()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:maximise()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:restore()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:activateFrame()

	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewNode(NodeLabel, FrameContainer)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewModel(TreeViewNode)

	method not available - call not analyzed	Info	call on FrameContainer com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewNode:getFrameContainer()
	method not available - call not analyzed	Info	call on void com.dmdirc.FrameContainer:activateFram e()

	method not available - call not analyzed	Info	call on String com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewNode:toString()
	method not available - call not analyzed	Info	call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

	method not available - call not analyzed	Info	call on Window com.dmdirc.FrameContainer:getFrame()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame:removePropertyChangeListener(Prope rtyChangeListener)

	method not available - call not analyzed	Info	call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()
	method not available - call not analyzed	Info	call on TreeNode[] com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewModel:getPathToRoot(TreeN ode)