Tree.java

Tree.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.addons.ui_swing.framemanager.tree.Tree$1(Tree, JTree)

Kind	Annotation Text

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.framemanager.tree.Tree$2(Tree, TreePath)

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

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

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.framemanager.tree.Tree(TreeFrameManager, TreeModel)

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	(int) (net.miginfocom.layout.UnitValue:getValue(... )@88) in {-2³¹..2³²-1}
presumption	com.dmdirc.addons.ui_swing.framemanager.tree. Tree:getInputMap(...)@79 != null
presumption	com.dmdirc.addons.ui_swing.framemanager.tree. Tree:getInputMap(...)@80 != null
presumption	com.dmdirc.addons.ui_swing.framemanager.tree. Tree:getInputMap(...)@81 != null
presumption	com.dmdirc.addons.ui_swing.framemanager.tree. Tree:getInputMap(...)@82 != null
presumption	com.dmdirc.addons.ui_swing.framemanager.tree. Tree:getSelectionModel(...)@83 != null
presumption	getGlobalConfig(...).listeners != null
presumption	net.miginfocom.layout.PlatformDefaults:getUnitValue X(...)@88 != 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.dragSelect)
post	init'ed(this.manager)
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
post	this.manager == manager
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TreeScroller
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.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 getSources
unanalyzed	call on getTarget
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.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

com.dmdirc.addons.ui_swing.framemanager.tree.Tree__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)
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
post	init'ed(this.dragSelect)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
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 == 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.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.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.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

TreeViewNode getNodeForLocation(int, int)

Kind	Annotation Text
post	init'ed(return_value)
test_vector	com.dmdirc.addons.ui_swing.framemanager.tree. Tree:getPathForLocation(...)@141: Addr_Set{null}, Inverse{null}

void mouseClicked(MouseEvent)

Kind	Annotation Text
pre	e != null
unanalyzed	call on com.dmdirc.FrameContainer:getFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CloseFrameContainerAction
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:addCustomPopupItems
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getPopupMenu
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:getPathForLocation
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:addSeparator
unanalyzed	call on javax.swing.JPopupMenu:getComponentCount
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent

void mouseDragged(MouseEvent)

Kind	Annotation Text
pre	(soft) e != null
pre	(soft) init'ed(this.dragButton)
pre	init'ed(this.dragSelect)
pre	this.manager != null
pre	this.manager.nodes != null
pre	this.manager.tree != null
presumption	javax.swing.tree.TreePath:getLastPathComponent(... ).frameContainer@165 != null
presumption	javax.swing.tree.TreePath:getLastPathComponent(... )@165 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:getPathForLocation
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:repaint
unanalyzed	call on getNodeForLocation
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent
test_vector	this.dragButton: {0}, {1}
test_vector	this.dragSelect: {0}, {1}

void mouseEntered(MouseEvent)

Kind	Annotation Text

void mouseExited(MouseEvent)

Kind	Annotation Text
pre	this.manager != null
pre	this.manager.nodes != null
pre	this.manager.tree != null
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:getPathForLocation
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:repaint
unanalyzed	call on getNodeForLocation
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent

void mouseMoved(MouseEvent)

Kind	Annotation Text
pre	this.manager != null
pre	this.manager.nodes != null
pre	this.manager.tree != null
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:getPathForLocation
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:repaint
unanalyzed	call on getNodeForLocation
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent

void mousePressed(MouseEvent)

Kind	Annotation Text
pre	e != null
presumption	javax.swing.tree.TreePath:getLastPathComponent(... ).frameContainer@202 != null
presumption	javax.swing.tree.TreePath:getLastPathComponent(... )@202 != null
post	possibly_updated(this.dragButton)
unanalyzed	call on com.dmdirc.FrameContainer:getFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CloseFrameContainerAction
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:addCustomPopupItems
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getPopupMenu
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:getPathForLocation
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:addSeparator
unanalyzed	call on javax.swing.JPopupMenu:getComponentCount
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent
test_vector	com.dmdirc.addons.ui_swing.framemanager.tree. Tree:getPathForLocation(...)@200: Addr_Set{null}, Inverse{null}
test_vector	java.awt.event.MouseEvent:getButton(...)@198: {-2³¹..0, 2..2³²-1}, {1}

void mouseReleased(MouseEvent)

Kind	Annotation Text
pre	e != null
post	this.dragButton == 0
unanalyzed	call on com.dmdirc.FrameContainer:getFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CloseFrameContainerAction
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:addCustomPopupItems
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getPopupMenu
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:getPathForLocation
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:addSeparator
unanalyzed	call on javax.swing.JPopupMenu:getComponentCount
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent

void processMouseEvents(MouseEvent)

Kind	Annotation Text
pre	e != null
presumption	com.dmdirc.FrameContainer:getFrame(...)@247 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getPopupMenu(...)@249 != null
presumption	javax.swing.tree.TreePath:getLastPathComponent(... ).frameContainer@247 != null
presumption	javax.swing.tree.TreePath:getLastPathComponent(... )@247 != null
test_vector	com.dmdirc.addons.ui_swing.framemanager.tree. Tree:getPathForLocation(...)@244: Addr_Set{null}, Inverse{null}
test_vector	java.awt.event.MouseEvent:isPopupTrigger(...)@246: {0}, {1}
test_vector	javax.swing.JPopupMenu:getComponentCount(...)@251: {-2³¹..0}, {1..2³²-1}

void run()

Kind	Annotation Text

void setPath(TreePath)

Kind	Annotation Text
pre	path != null
presumption	javax.swing.tree.TreePath:getLastPathComponent(... ).frameContainer@99 != null
presumption	javax.swing.tree.TreePath:getLastPathComponent(... )@99 != null

void setTreePath(TreePath)

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