Messages

method

com.dmdirc.addons.ui_swing.framemanager.tree. TreeViewTreeCellRenderer__static_init

method	void com.dmdirc.addons.ui_swing.framemanager.tree. TreeViewTreeCellRenderer(TreeFrameManager)
pre	manager != null
pre	manager.tree != null
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	this.config.listeners != null
presumption	this.config.sources != null
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	this.config == com/dmdirc/config/IdentityManager. globalconfig
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(this.activeBackground)
post	init'ed(this.activeBold)
post	init'ed(this.activeForeground)
post	this.manager == manager
post	this.manager != null
post	init'ed(this.rolloverColour)
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).file)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
unanalyzed	call on hasOption
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 java.util.List:iterator
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 java.lang.Boolean:parseBoolean
unanalyzed	call on getTree
unanalyzed	call on javax.swing.JTree:repaint
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
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 com.dmdirc.util.MapList:add

method	Component getTreeCellRendererComponent(JTree, Object, bool, bool, bool, int, bool)
pre	(soft) init'ed(this.activeBackground)
pre	(soft) init'ed(this.activeBold)
pre	(soft) init'ed(this.activeForeground)
pre	(soft) init'ed(this.rolloverColour)
pre	(soft) tree != null
pre	(soft) init'ed(value.label)
pre	(soft) init'ed(value.label.notificationColour)
pre	(soft) init'ed(value.label.rollover)
pre	(soft) init'ed(value.label.selected)
presumption	com.dmdirc.addons.ui_swing.framemanager.tree. NodeLabel:getFont(...)@118 != null
presumption	com.dmdirc.addons.ui_swing.framemanager.tree. NodeLabel:getFont(...)@120 != null
presumption	com.dmdirc.addons.ui_swing.framemanager.tree. NodeLabel:getFont(...)@125 != null
post	return_value == One-of{&new JLabel(getTreeCellR endererComponent#1), &new JLabel(getTreeCellRen dererComponent#2), value.label}
post	return_value != null
post	new JLabel(getTreeCellRendererComponent#1) num objects <= 1
post	new JLabel(getTreeCellRendererComponent#2) num objects <= 1
test_vector	this.activeBold: {0}, {1}
test_vector	value: Inverse{null}, Addr_Set{null}
test_vector	value.label: Inverse{null}, Addr_Set{null}
test_vector	value.label.notificationColour: Addr_Set{null}, Inverse{null}
test_vector	value.label.rollover: {0}, {1}
test_vector	value.label.selected: {0}, {1}

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

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

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

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

method not available - call not analyzed Info call on Font com.dmdirc.addons.ui_swing. framemanager.tree.NodeLabel:getFont()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing. framemanager.tree.NodeLabel:setFont(Font)

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

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

method	void setColours()
pre	this.config != null
pre	this.config.sources != null
pre	this.manager != null
pre	this.manager.tree != null
post	init'ed(this.activeBackground)
post	init'ed(this.activeBold)
post	init'ed(this.activeForeground)
post	init'ed(this.rolloverColour)
unanalyzed	call on hasOption
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 java.util.List:iterator
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 java.lang.Boolean:parseBoolean

method	void configChanged(String, String)
pre	(soft) this.config != null
pre	(soft) this.config.sources != null
pre	(soft) this.manager != null
pre	(soft) this.manager.tree != null
post	possibly_updated(this.activeBackground)
post	possibly_updated(this.activeBold)
post	possibly_updated(this.activeForeground)
post	possibly_updated(this.rolloverColour)
unanalyzed	call on hasOption
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 java.util.List:iterator
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 java.lang.Boolean:parseBoolean
unanalyzed	call on getTree
unanalyzed	call on javax.swing.JTree:repaint
test_vector	java.lang.String:equals(...)@153: {1}, {0}
test_vector	java.lang.String:equals(...)@153: {0}, {1}

	method not available - call not analyzed	Info	call on Font com.dmdirc.addons.ui_swing. framemanager.tree.NodeLabel:getFont()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing. framemanager.tree.NodeLabel:setFont(Font)