Messages

method

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

method

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

method

com.dmdirc.addons.ui_swing.framemanager.tree.Tree_ _static_init

method	void com.dmdirc.addons.ui_swing.framemanager.tree. Tree(TreeFrameManager, TreeModel)
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	(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	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(this.dragSelect)
post	this.manager == manager
post	init'ed(this.manager)
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 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.components. TreeScroller
unanalyzed	call on com.dmdirc.util.MapList:add

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

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

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

method not available - call not analyzed Info call on TreeSelectionModel com.dmdirc.addons.ui_ swing.framemanager.tree.Tree:getSelectionModel()

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

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

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

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

method not available - call not analyzed Info call on UnitValue net.miginfocom.layout. PlatformDefaults:getUnitValueX(String)

method not available - call not analyzed Info call on float net.miginfocom.layout. UnitValue:getValue()

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

method

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. TreeScroller(JTree)

method	void setPath(TreePath)
pre	path != null
presumption	javax.swing.tree.TreePath:getLastPathComponent(... ).frameContainer@99 != null
presumption	javax.swing.tree.TreePath:getLastPathComponent(... )@99 != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. TreeScroller:setPath(TreePath)

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.addons.ui_swing. framemanager.tree.Tree:setFocusable(bool)

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

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

method	void setTreePath(TreePath)
post	this.path == path
post	init'ed(this.path)

method	void com.dmdirc.addons.ui_swing.framemanager.tree. Tree$2(Tree, TreePath)
post	this.val$path == Param_2
post	init'ed(this.val$path)

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

method

void run()

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

method	TreeViewNode getNodeForLocation(int, int)
post	init'ed(return_value)
test_vector	com.dmdirc.addons.ui_swing.framemanager.tree. Tree:getPathForLocation(...)@141: Addr_Set{null}, Inverse{null}

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

method	void configChanged(String, String)
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)[...])
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	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(this.dragSelect)
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 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

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

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.FrameContainer:activateFram e()

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

method	void mouseClicked(MouseEvent)
pre	e != null
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:getPathForLocation
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent
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 com.dmdirc.FrameContainer:getFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getPopupMenu
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:addCustomPopupItems
unanalyzed	call on javax.swing.JPopupMenu:getComponentCount
unanalyzed	call on javax.swing.JPopupMenu:addSeparator
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CloseFrameContainerAction
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:show

method	void mousePressed(MouseEvent)
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.addons.ui_swing.framemanager. tree.Tree:getPathForLocation
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent
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 com.dmdirc.FrameContainer:getFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getPopupMenu
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:addCustomPopupItems
unanalyzed	call on javax.swing.JPopupMenu:getComponentCount
unanalyzed	call on javax.swing.JPopupMenu:addSeparator
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CloseFrameContainerAction
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:show
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}

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

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

method	void mouseReleased(MouseEvent)
pre	e != null
post	this.dragButton == 0
unanalyzed	call on com.dmdirc.addons.ui_swing.framemanager. tree.Tree:getPathForLocation
unanalyzed	call on javax.swing.tree.TreePath:getLastPathCompon ent
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 com.dmdirc.FrameContainer:getFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getPopupMenu
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:addCustomPopupItems
unanalyzed	call on javax.swing.JPopupMenu:getComponentCount
unanalyzed	call on javax.swing.JPopupMenu:addSeparator
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. CloseFrameContainerAction
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:show

method

void mouseEntered(MouseEvent)

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

method	void processMouseEvents(MouseEvent)
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}

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

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

method not available - call not analyzed Info call on JPopupMenu com.dmdirc.addons.ui_swing. components.frames.TextFrame:getPopupMenu(PopupType, Object[])

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

method not available - call not analyzed Info call on FrameContainer com.dmdirc.addons.ui_swing. components.frames.TextFrame:getContainer()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.actions. CloseFrameContainerAction(FrameContainer)

method not available - call not analyzed	Info	call on UnitValue net.miginfocom.layout. PlatformDefaults:getUnitValueX(String)
method not available - call not analyzed	Info	call on float net.miginfocom.layout. UnitValue:getValue()
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing. framemanager.tree.Tree:setBorder(Border)

	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.FrameContainer:activateFram e()

	method not available - call not analyzed	Info	call on FrameContainer com.dmdirc.addons.ui_swing. components.frames.TextFrame:getContainer()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.actions. CloseFrameContainerAction(FrameContainer)