Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager$6__static_init

method

com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager$5__static_init

method

com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager$4__static_init

method

com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager$3__static_init

method

com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager$2__static_init

method

com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager$1__static_init

method

com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager__static_init

method	Tree access$000(TreeFrameManager)
pre	x0 != null
post	return_value == x0.tree
post	init'ed(return_value)

method	void access$100(TreeFrameManager)
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	x0 != null
pre	x0.tree != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == 0
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:repaint
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on hasOption
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getOptionColour
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setBackground
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setForeground

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

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

method	void com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager()
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	getGlobalConfig(...).listeners != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == 0
post	this.model == &new TreeViewModel(TreeFrameManag er#2)
post	this.nodes == &new HashMap(TreeFrameManager#1)
post	this.tree == &new Tree(TreeFrameManager#4)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	new FrameContainerComparator(TreeViewModel#1) num objects == 1
post	new HashMap(TreeFrameManager#1) num objects == 1
post	new Tree(TreeFrameManager#4) num objects == 1
post	new TreeViewModel(TreeFrameManager#2) num objects == 1
post	init'ed(this.tree.dragSelect)
post	this.tree.manager == this
post	this.tree.manager != null
post	this.model.comparator == &new FrameContainerCom parator(TreeViewModel#1)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on hasOption
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getOptionColour
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode
unanalyzed	call on javax.swing.tree.DefaultTreeModel
unanalyzed	call on com.dmdirc.FrameContainerComparator
unanalyzed	call on java.lang.Boolean:parseBoolean
unanalyzed	call on getTree
unanalyzed	call on javax.swing.JTree:repaint
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on javax.swing.JTree
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:putClientProperty
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:getInputMap
unanalyzed	call on javax.swing.InputMap:setParent
unanalyzed	call on javax.swing.InputMap:clear
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:getSelectionModel
unanalyzed	call on javax.swing.tree.TreeSelectionModel:setSele ctionMode
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setRootVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setRowHeight
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setShowsRootHandles
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setOpaque
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TreeScroller
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setFocusable
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:addMouseListener
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:addMouseMotionListener

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.Tree:setCellRenderer(TreeCellRend erer)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.Tree:setVisible(bool)

method	bool canPositionVertically()
post	return_value == 1

method	bool canPositionHorizontally()
post	return_value == 0

method	void com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager$1(TreeFrameManager, JComponent)
post	this.val$parent == Param_2
post	init'ed(this.val$parent)

method

void setParent(JComponent)

method	void run()
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.tree != null
pre	this.val$parent != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	javax.swing.JScrollPane:getHorizontalScrollBar(... )@119 != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == 0
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:repaint
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on hasOption
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getOptionColour
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setBackground
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setForeground

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method	void addWindow(FrameContainer)
pre	this.model != null
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewModel:getRoot

method	void addWindow(FrameContainer, FrameContainer)
pre	this.nodes != null
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater

method	void delWindow(FrameContainer, FrameContainer)
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater

method	void com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager$2(TreeFrameManager, FrameContainer)
post	this.val$window == Param_2
post	init'ed(this.val$window)

method

void delWindow(FrameContainer)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
pre	(soft) this.model != null
pre	(soft) this.val$window != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.util.Map:get(...)@161 != null
test_vector	this.nodes: Addr_Set{null}, Inverse{null}
test_vector	java.util.Map:get(...)@158: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.tree.DefaultMutableTreeNode:getLevel(.. .)@163: {-2³¹..-1, 1..2³²-1}, {0}

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 void com.dmdirc.FrameContainer:removeIconCh angeListener(IconChangeListener)

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:removeNotifi cationListener(NotificationListener)

method	void com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager$3(TreeFrameManager, 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)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. UIUtilities:invokeLater(Runnable)

method	void run()
pre	this.model != null
pre	this.nodes != null
pre	this.tree != null
pre	this.val$window != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) this.model.comparator != null
pre	(soft) init'ed(this.model.root)
presumption	(int) (java.awt.Rectangle:getY(...)@205) in {-2³¹..2³²-1}
presumption	com.dmdirc.addons.ui_swing.framemanager.tree. TreeViewModel:getRoot(...)@147 != null
post	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(new ArrayList(getSources#1) num objects)
post	init'ed(new ConfigManager(getGlobalConfig#1) num objects)
post	possibly_updated(new ConfigManager(getGlobalConfig# 1).channel)
post	possibly_updated(new ConfigManager(getGlobalConfig# 1).file)
post	possibly_updated(new ConfigManager(getGlobalConfig# 1).ircd)
post	possibly_updated(new ConfigManager(getGlobalConfig# 1).listeners)
post	possibly_updated(new ConfigManager(getGlobalConfig# 1).network)
post	possibly_updated(new ConfigManager(getGlobalConfig# 1).server)
post	possibly_updated(new ConfigManager(getGlobalConfig# 1).sources)
post	init'ed(new MapList(ConfigManager#1) num objects)
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.FrameContainer:toString
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setText
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setToolTipText
unanalyzed	call on com.dmdirc.FrameContainer:getIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setIcon
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:getFont
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setPreferredSize
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewModel:getRoot
unanalyzed	call on com.dmdirc.FrameContainerComparator:compare
unanalyzed	call on com.dmdirc.GlobalWindow:instanceof
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Boolean:parseBoolean
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewNode:getChildCount
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewNode:getChildAt
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewNode:getUserObject
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:compareToIgnoreCase
unanalyzed	call on javax.swing.tree.DefaultTreeModel:insertNod eInto
test_vector	this.val$parent: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.addons.ui_swing.framemanager.tree. Tree:getRowBounds(...)@202: Addr_Set{null}, Inverse{null}

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

method not available - call not analyzed Info call on TreeNode[] com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewNode:getPath()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing. framemanager.tree.Tree:getRowForPath(TreePath)

method not available - call not analyzed Info call on Rectangle com.dmdirc.addons.ui_swing. framemanager.tree.Tree:getRowBounds(int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.Tree:scrollRectToVisible(Rectangl e)

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

method not available - call not analyzed Info call on void com.dmdirc.FrameContainer:addIconChang eListener(IconChangeListener)

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

method	JTree getTree()
post	return_value == this.tree
post	init'ed(return_value)

method	void adjustmentValueChanged(AdjustmentEvent)
pre	e != null
presumption	java.awt.event.AdjustmentEvent:getSource(...)@231 != null

method	void checkRollover(MouseEvent)
pre	this.nodes != null
pre	this.tree != null
presumption	java.util.Iterator:next(...)@250 != null
presumption	java.util.Map:values(...)@250 != null
presumption	treeNode.label@250 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:getPathForLocation
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent
test_vector	event: Inverse{null}, Addr_Set{null}
test_vector	java.util.Iterator:hasNext(...)@250: {1}, {0}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getNodeForLocation(...) != null

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.Tree:repaint()

method	void setColours()
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.tree != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	getGlobalConfig(...).sources != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on hasOption
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getOptionColour
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.Tree:setBackground(Color)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.Tree:setForeground(Color)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.Tree:repaint()

method	void configChanged(String, String)
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.tree != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == 0
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:repaint
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on hasOption
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on getOptionColour
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setBackground
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setForeground

method	void selectionChanged(Window)
pre	this.nodes != null
pre	(soft) this.tree != null
presumption	com.dmdirc.addons.ui_swing.framemanager.tree. Tree:getModel(...)@288 != null
presumption	java.util.Iterator:next(...)@281 != null
presumption	java.util.Map:values(...)@280 != null
presumption	treeNode.label@281 != null
post	this.tree.path == One-of{old this.tree.path, &new TreePath(selectionChanged#1)}
post	new TreePath(selectionChanged#1) num objects <= 1
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
test_vector	window: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@281: {1}, {0}
test_vector	javax.swing.tree.DefaultTreeModel:getPathToRoot(... )@288: Addr_Set{null}, Inverse{null}
test_vector	treePath.length@288: {0}, {1..+Inf}

method not available - call not analyzed Info call on TreeModel com.dmdirc.addons.ui_swing. framemanager.tree.Tree:getModel()

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

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because path != null

Prev Msg Next Msg

method	void com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager$4(TreeFrameManager, Window, Color)
post	this.val$colour == Param_3
post	init'ed(this.val$colour)
post	this.val$window == Param_2
post	init'ed(this.val$window)

method

void notificationSet(Window, Color)

method	void run()
pre	this.nodes != null
pre	this.val$window != null
pre	(soft) this.tree != null
unanalyzed	call on java.lang.Object:equals

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

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (label.notificationColour) in notificationSet

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.Tree:repaint()

method	void com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager$5(TreeFrameManager, Window)
post	this.val$window == Param_2
post	init'ed(this.val$window)

method

void notificationCleared(Window)

method	void run()
pre	this.nodes != null
pre	this.val$window != null
pre	(soft) this.tree != null
unanalyzed	call on java.lang.Object:equals

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

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (label.notificationColour) in notificationCleared

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.Tree:repaint()

method	void com.dmdirc.addons.ui_swing.framemanager.tree. TreeFrameManager$6(TreeFrameManager, Window, Icon)
post	this.val$icon == Param_3
post	init'ed(this.val$icon)
post	this.val$window == Param_2
post	init'ed(this.val$window)

method

void iconChanged(Window, Icon)

method	void run()
pre	this.nodes != null
pre	this.val$window != null
pre	(soft) this.tree != null
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setIcon
unanalyzed	call on java.lang.Object:equals

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 void com.dmdirc.addons.ui_swing. framemanager.tree.Tree:repaint()

	method not available - call not analyzed	Info	call on TreeNode[] com.dmdirc.addons.ui_swing. framemanager.tree.TreeViewNode:getPath()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing. framemanager.tree.Tree:expandPath(TreePath)

	method not available - call not analyzed	Info	call on TreeModel com.dmdirc.addons.ui_swing. framemanager.tree.Tree:getModel()
	method not available - call not analyzed	Info	call on FrameContainer com.dmdirc.ui.interfaces. Window:getContainer()