TreeFrameManager.java

TreeFrameManager.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

Tree access$000(TreeFrameManager)

Kind	Annotation Text
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.tree

void access$100(TreeFrameManager)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	x0 != null
pre	x0.tree != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
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)
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
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:repaint
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setBackground
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setForeground
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
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.util.MapList
unanalyzed	call on getOption
unanalyzed	call on getOptionColour
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put

Map access$200(TreeFrameManager)

Kind	Annotation Text
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.nodes

TreeViewModel access$300(TreeFrameManager)

Kind	Annotation Text
pre	x0 != null
post	init'ed(return_value)
post	return_value == x0.model

void addWindow(FrameContainer)

Kind	Annotation Text
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

void addWindow(FrameContainer, FrameContainer)

Kind	Annotation Text
pre	this.nodes != null
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater

void addWindow(TreeViewNode, FrameContainer)

Kind	Annotation Text

void adjustmentValueChanged(AdjustmentEvent)

Kind	Annotation Text
pre	e != null
presumption	java.awt.event.AdjustmentEvent:getSource(...)@231 != null

bool canPositionHorizontally()

Kind	Annotation Text
post	return_value == 0

bool canPositionVertically()

Kind	Annotation Text
post	return_value == 1

void checkRollover(MouseEvent)

Kind	Annotation Text
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}

void com.dmdirc.addons.ui_swing.framemanager.tree.TreeFrameManager$1(TreeFrameManager, JComponent)

Kind	Annotation Text
post	init'ed(this.val$parent)
post	this.val$parent == Param_2

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.framemanager.tree.TreeFrameManager$2(TreeFrameManager, FrameContainer)

Kind	Annotation Text
post	init'ed(this.val$window)
post	this.val$window == Param_2

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.framemanager.tree.TreeFrameManager$3(TreeFrameManager, FrameContainer, TreeViewNode)

Kind	Annotation Text
post	init'ed(this.val$parent)
post	init'ed(this.val$window)
post	this.val$parent == Param_3
post	this.val$window == Param_2

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.framemanager.tree.TreeFrameManager$4(TreeFrameManager, Window, Color)

Kind	Annotation Text
post	init'ed(this.val$colour)
post	init'ed(this.val$window)
post	this.val$colour == Param_3
post	this.val$window == Param_2

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.framemanager.tree.TreeFrameManager$5(TreeFrameManager, Window)

Kind	Annotation Text
post	init'ed(this.val$window)
post	this.val$window == Param_2

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.framemanager.tree.TreeFrameManager$6(TreeFrameManager, Window, Icon)

Kind	Annotation Text
post	init'ed(this.val$icon)
post	init'ed(this.val$window)
post	this.val$icon == Param_3
post	this.val$window == Param_2

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.framemanager.tree.TreeFrameManager()

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

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

Kind	Annotation Text

void configChanged(String, String)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.tree != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
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)
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
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:repaint
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setBackground
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setForeground
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
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.util.MapList
unanalyzed	call on getOption
unanalyzed	call on getOptionColour
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put

void delWindow(FrameContainer)

Kind	Annotation Text

void delWindow(FrameContainer, FrameContainer)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater

JTree getTree()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.tree

void iconChanged(Window, Icon)

Kind	Annotation Text

void notificationCleared(Window)

Kind	Annotation Text

void notificationSet(Window, Color)

Kind	Annotation Text

void run()

Kind	Annotation Text
pre	(soft) this.tree != null
pre	this.nodes != null
pre	this.val$window != null
unanalyzed	call on java.lang.Object:equals

void run()

Kind	Annotation Text
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	java.util.Map:get(...)@158: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.tree.DefaultMutableTreeNode:getLevel(.. .)@163: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	this.nodes: Addr_Set{null}, Inverse{null}

void run()

Kind	Annotation Text
pre	(soft) this.tree != null
pre	this.nodes != null
pre	this.val$window != null
unanalyzed	call on java.lang.Object:equals

void run()

Kind	Annotation Text
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) init'ed(this.model.root)
pre	(soft) this.model.comparator != null
pre	this.model != null
pre	this.nodes != null
pre	this.tree != null
pre	this.val$window != null
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	init'ed(new ArrayList(getSources#1) num objects)
post	init'ed(new ConfigManager(getGlobalConfig#1) num objects)
post	init'ed(new MapList(ConfigManager#1) num objects)
post	java.lang.StringBuilder:toString(...)._tainted == 0
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)
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.FrameContainer:getIcon
unanalyzed	call on com.dmdirc.FrameContainer:toString
unanalyzed	call on com.dmdirc.FrameContainerComparator:compare
unanalyzed	call on com.dmdirc.GlobalWindow:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:getFont
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setIcon
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setPreferredSize
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setText
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.NodeLabel:setToolTipText
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewModel:getRoot
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewNode:getChildAt
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewNode:getChildCount
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.TreeViewNode:getUserObject
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getContaine r
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.lang.Boolean:parseBoolean
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:compareToIgnoreCase
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.tree.DefaultMutableTreeNode
unanalyzed	call on javax.swing.tree.DefaultTreeModel:insertNod eInto
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
test_vector	com.dmdirc.addons.ui_swing.framemanager.tree. Tree:getRowBounds(...)@202: Addr_Set{null}, Inverse{null}
test_vector	this.val$parent: Inverse{null}, Addr_Set{null}

void run()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.tree != null
pre	this.val$parent != null
presumption	javax.swing.JScrollPane:getHorizontalScrollBar(... )@119 != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
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)
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
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:repaint
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setBackground
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:setForeground
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
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.util.MapList
unanalyzed	call on getOption
unanalyzed	call on getOptionColour
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put

void run()

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

void selectionChanged(Window)

Kind	Annotation Text
pre	(soft) this.tree != null
pre	this.nodes != 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	new TreePath(selectionChanged#1) num objects <= 1
post	this.tree.path == One-of{old this.tree.path, &new TreePath(selectionChanged#1)}
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on java.lang.Object:equals
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}
test_vector	window: Addr_Set{null}, Inverse{null}

void setColours()

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

void setParent(JComponent)

Kind	Annotation Text