ChannelFrame.java

ChannelFrame.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

NicklistListModel access$000(ChannelFrame)

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

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	actionEvent != null
pre	init'ed(this.settingsMI)
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getController(...)@258 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer

void addCustomPopupItems(JPopupMenu)

Kind	Annotation Text
pre	popupMenu != null
pre	this.settingsMI != null
presumption	com.dmdirc.Server:getState(...)@436 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@436 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getContainer(...)@187 != null
presumption	init'ed(com.dmdirc.ServerState.CONNECTED)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
test_vector	com.dmdirc.ServerState:equals(...)@436: {0}, {1}
test_vector	javax.swing.JPopupMenu:getComponentCount(...)@442: {-2³¹..0}, {1..2³²-1}

void addName(ChannelClientInfo)

Kind	Annotation Text

bool checkCursorInSelectedCell()

Kind	Annotation Text
pre	this.nickList != null
presumption	javax.swing.JList:getCellBounds(...)@330 != null
presumption	javax.swing.JList:getModel(...)@329 != null
post	init'ed(return_value)
test_vector	java.awt.Rectangle:contains(...)@330: {0}, {1}
test_vector	javax.swing.JList:getCellBounds(...)@330: Addr_Set{null}, Inverse{null}
test_vector	javax.swing.JList:getMousePosition(...)@327: Addr_Set{null}, Inverse{null}
test_vector	javax.swing.JList:isSelectedIndex(...)@330: {0}, {1}

void close()

Kind	Annotation Text
pre	this.identity != null
pre	this.nickScrollPane != null
unanalyzed	call on com.dmdirc.Server:removeAwayStateListener
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:close
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on java.awt.Dimension:getWidth
unanalyzed	call on javax.swing.JScrollPane:getSize

void com.dmdirc.addons.ui_swing.components.frames.ChannelFrame$1(ChannelFrame, List)

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

com.dmdirc.addons.ui_swing.components.frames.ChannelFrame$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.frames.ChannelFrame$2(ChannelFrame)

Kind	Annotation Text

com.dmdirc.addons.ui_swing.components.frames.ChannelFrame$2__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.frames.ChannelFrame$3(ChannelFrame, ChannelClientInfo)

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

com.dmdirc.addons.ui_swing.components.frames.ChannelFrame$3__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.frames.ChannelFrame$4(ChannelFrame, ChannelClientInfo)

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

com.dmdirc.addons.ui_swing.components.frames.ChannelFrame$4__static_init

Kind	Annotation Text

void com.dmdirc.addons.ui_swing.components.frames.ChannelFrame(Channel, SwingController)

Kind	Annotation Text
pre	owner != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@129 != null
presumption	com.dmdirc.Channel:getServer(...)@129 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getConfigManager(...)@104 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getConfigManager(...)@107 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getConfigManager(...)@111 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getConfigManager(...)@113 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getConfigManager(...)@114 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getConfigManager(...)@116 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getConfigManager(...)@117 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getConfigManager(...)@119 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getContainer(...)@187 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ CLOSING)
presumption	java.util.Collections:synchronizedList(...)@67 != null
post	init'ed(new NicklistListModel(initComponents#6). sortByCase)
post	init'ed(new NicklistListModel(initComponents#6). sortByMode)
post	init'ed(new SnappingJSplitPane(initComponents#2). leftComponentSnap)
post	init'ed(new SnappingJSplitPane(initComponents#2). useOneTouchExpandable)
post	init'ed(this.identity)
post	new ChannelCommandParser(ChannelFrame#4) num objects == 1
post	new JLabel(SwingInputField#3) num objects == 1
post	new JLabel(SwingInputField#4) num objects == 1
post	new JLabel(initComponents#3) num objects == 1
post	new JList(initComponents#4) num objects == 1
post	new JMenuItem(initComponents#1) num objects == 1
post	new JPanel(initComponents#4) num objects == 1
post	new JPopupMenu(initComponents#2) num objects == 1
post	new JPopupMenu(initPopupMenu#1) num objects == 1
post	new JScrollPane(initComponents#3) num objects == 1
post	new JTextField(SwingInputField#2) num objects == 1
post	new ListenerList(SwingInputField#1) num objects == 1
post	new NicklistListModel(initComponents#6) num objects == 1
post	new NicklistListModel(initComponents#6).nicknames != null
post	new SnappingJSplitPane(initComponents#2) num objects == 1
post	new SnappingJSplitPane(initComponents#2).config != null
post	new SnappingJSplitPane(initComponents#2). snapDistance == 10
post	new SwingInputField(initComponents#1) num objects == 1
post	new SwingInputField(initComponents#1). errorIndicator == &new JLabel(SwingInputField#4 )
post	new SwingInputField(initComponents#1).listeners == &new ListenerList(SwingInputField#1)
post	new SwingInputField(initComponents#1).textField == &new JTextField(SwingInputField#2)
post	new SwingInputField(initComponents#1). wrapIndicator == &new JLabel(SwingInputField#3)
post	new SwingInputHandler(ChannelFrame#5) num objects == 1
post	this.awayLabel == &new JLabel(initComponents#3)
post	this.commandParser == &new ChannelCommandParser (ChannelFrame#4)
post	this.inputField == &new SwingInputField(initCom ponents#1)
post	this.inputFieldPopup == &new JPopupMenu(initPop upMenu#1)
post	this.inputHandler == &new SwingInputHandler(Cha nnelFrame#5)
post	this.inputPanel == &new JPanel(initComponents#4 )
post	this.nickList == &new JList(initComponents#4)
post	this.nickPopup == &new JPopupMenu(initComponent s#2)
post	this.nickScrollPane == &new JScrollPane(initCom ponents#3)
post	this.nicklistModel == &new NicklistListModel(in itComponents#6)
post	this.parentChannel != null
post	this.parentChannel == owner
post	this.settingsMI == &new JMenuItem(initComponent s#1)
post	this.splitPane == &new SnappingJSplitPane(initC omponents#2)
unanalyzed	call on com.dmdirc.Channel:getConfigManager
unanalyzed	call on com.dmdirc.Server:addAwayStateListener
unanalyzed	call on com.dmdirc.WritableFrameContainer:getConfig Manager
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:addMouseListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setInputMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:getConfigManager
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:getContentPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:getSearchBar
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:getTextPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:pack
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. renderers.NicklistRenderer
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionCo lour
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.input.InputHandler
unanalyzed	call on com.dmdirc.ui.input.InputHandler:addValidat ionListener
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on java.awt.Container:add
unanalyzed	call on java.awt.Container:setLayout
unanalyzed	call on java.awt.Dimension
unanalyzed	call on java.lang.Runnable:run
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.Collections:synchronizedList
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.AbstractListModel
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on javax.swing.JComponent
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JList
unanalyzed	call on javax.swing.JList:addMouseListener
unanalyzed	call on javax.swing.JList:setCellRenderer
unanalyzed	call on javax.swing.JList:setModel
unanalyzed	call on javax.swing.JList:setSelectionMode
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JMenuItem:addActionListener
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:setLightWeightPopupE nabled
unanalyzed	call on javax.swing.JPopupMenu:setOpaque
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JScrollPane:setMinimumSize
unanalyzed	call on javax.swing.JScrollPane:setPreferredSize
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on javax.swing.JSplitPane:setLeftComponent
unanalyzed	call on javax.swing.JSplitPane:setResizeWeight
unanalyzed	call on javax.swing.JSplitPane:setRightComponent
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on javax.swing.JTextField:addKeyListener
unanalyzed	call on javax.swing.JTextField:getActionMap
unanalyzed	call on javax.swing.JTextField:getInputMap
unanalyzed	call on javax.swing.JTextField:setFocusTraversalKey sEnabled
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on javax.swing.text.Document:addUndoableEditLi stener
unanalyzed	call on javax.swing.text.JTextComponent:getActionMa p
unanalyzed	call on javax.swing.text.JTextComponent:getDocument
unanalyzed	call on javax.swing.text.JTextComponent:getInputMap
unanalyzed	call on javax.swing.undo.UndoManager
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on net.miginfocom.swing.MigLayout

com.dmdirc.addons.ui_swing.components.frames.ChannelFrame__static_init

Kind	Annotation Text

void configChanged(String, String)

Kind	Annotation Text
pre	(soft) init'ed(this.inputField)
pre	(soft) this.nickScrollPane != null
pre	(soft) this.splitPane != null
pre	this.nickList != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getConfigManager(...)@373 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getConfigManager(...)@376 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getConfigManager(...)@382 != null
presumption	javax.swing.JSplitPane:getWidth(...)@385 - com.dmdirc.config.ConfigManager:getOptionInt(... )@382 in {-2³¹..2³²-1}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getConfigManager
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:configChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionCo lour
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
test_vector	java.lang.String:equals(...)@368: {0}, {1}
test_vector	java.lang.String:equals(...)@368: {1}, {0}
test_vector	java.lang.String:equals(...)@381: {0}, {1}

Channel getChannel()

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

PopupType getChannelPopupType()

Kind	Annotation Text
presumption	init'ed(com.dmdirc.commandparser.PopupType.CHAN_ NORMAL)
post	init'ed(return_value)
post	return_value == com.dmdirc.commandparser.PopupType. CHAN_NORMAL

CommandParser getCommandParser()

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

PopupType getHyperlinkPopupType()

Kind	Annotation Text
presumption	init'ed(com.dmdirc.commandparser.PopupType.CHAN_ HYPERLINK)
post	init'ed(return_value)
post	return_value == com.dmdirc.commandparser.PopupType. CHAN_HYPERLINK

JList getNickList()

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

PopupType getNicknamePopupType()

Kind	Annotation Text
presumption	init'ed(com.dmdirc.commandparser.PopupType.CHAN_ NICK)
post	init'ed(return_value)
post	return_value == com.dmdirc.commandparser.PopupType. CHAN_NICK

PopupType getNormalPopupType()

Kind	Annotation Text
presumption	init'ed(com.dmdirc.commandparser.PopupType.CHAN_ NORMAL)
post	init'ed(return_value)
post	return_value == com.dmdirc.commandparser.PopupType. CHAN_NORMAL

JSplitPane getSplitPane()

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

void initComponents()

Kind	Annotation Text
pre	init'ed(this.inputPanel)
pre	this.parentChannel != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getConfigManager(...)@232 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getContentPane(...)@237 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getContentPane(...)@239 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getContentPane(...)@240 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getContentPane(...)@241 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@229 != null
presumption	java.util.Collections:synchronizedList(...)@67 != null
post	init'ed(this.nicklistModel.sortByCase)
post	init'ed(this.nicklistModel.sortByMode)
post	init'ed(this.splitPane.leftComponentSnap)
post	init'ed(this.splitPane.useOneTouchExpandable)
post	new JList(initComponents#4) num objects == 1
post	new JMenuItem(initComponents#1) num objects == 1
post	new JScrollPane(initComponents#3) num objects == 1
post	new NicklistListModel(initComponents#6) num objects == 1
post	new SnappingJSplitPane(initComponents#2) num objects == 1
post	this.nickList == &new JList(initComponents#4)
post	this.nickScrollPane == &new JScrollPane(initCom ponents#3)
post	this.nicklistModel == &new NicklistListModel(in itComponents#6)
post	this.nicklistModel.nicknames != null
post	this.settingsMI == &new JMenuItem(initComponent s#1)
post	this.splitPane == &new SnappingJSplitPane(initC omponents#2)
post	this.splitPane.config != null
post	this.splitPane.snapDistance == 10
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
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.Collections:synchronizedList
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.AbstractListModel
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.JSplitPane

void mouseClicked(MouseEvent)

Kind	Annotation Text
pre	(soft) this.inputField != null
pre	(soft) this.nickList != null
pre	mouseEvent != null
post	new JPopupMenu(initPopupMenu#1) num objects <= 1
post	possibly_updated(this.inputFieldPopup)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getMousePosition
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:getMousePosition
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:showPopupMenu
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getTextPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:mouseClicked
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:processMouseEvent
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getHeight
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on initPopupMenu
unanalyzed	call on java.awt.Point:getX
unanalyzed	call on java.awt.Point:getY
unanalyzed	call on java.awt.Rectangle:contains
unanalyzed	call on java.awt.event.MouseEvent:getSource
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.JList:clearSelection
unanalyzed	call on javax.swing.JList:getCellBounds
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:getMousePosition
unanalyzed	call on javax.swing.JList:getSelectedValue
unanalyzed	call on javax.swing.JList:isSelectedIndex
unanalyzed	call on javax.swing.JList:setSelectedIndex
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:setLightWeightPopupE nabled
unanalyzed	call on javax.swing.JPopupMenu:setOpaque
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.ListModel:getSize
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on processMouseEvent

void mousePressed(MouseEvent)

Kind	Annotation Text
pre	(soft) this.inputField != null
pre	(soft) this.nickList != null
pre	mouseEvent != null
post	new JPopupMenu(initPopupMenu#1) num objects <= 1
post	possibly_updated(this.inputFieldPopup)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getMousePosition
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:getMousePosition
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:showPopupMenu
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getTextPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:mousePressed
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:processMouseEvent
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getHeight
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on initPopupMenu
unanalyzed	call on java.awt.Point:getX
unanalyzed	call on java.awt.Point:getY
unanalyzed	call on java.awt.Rectangle:contains
unanalyzed	call on java.awt.event.MouseEvent:getSource
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.JList:clearSelection
unanalyzed	call on javax.swing.JList:getCellBounds
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:getMousePosition
unanalyzed	call on javax.swing.JList:getSelectedValue
unanalyzed	call on javax.swing.JList:isSelectedIndex
unanalyzed	call on javax.swing.JList:setSelectedIndex
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:setLightWeightPopupE nabled
unanalyzed	call on javax.swing.JPopupMenu:setOpaque
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.ListModel:getSize
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on processMouseEvent

void mouseReleased(MouseEvent)

Kind	Annotation Text
pre	(soft) this.inputField != null
pre	(soft) this.nickList != null
pre	mouseEvent != null
post	new JPopupMenu(initPopupMenu#1) num objects <= 1
post	possibly_updated(this.inputFieldPopup)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getMousePosition
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:getMousePosition
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:showPopupMenu
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getTextPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:mouseReleased
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:processMouseEvent
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getHeight
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on initPopupMenu
unanalyzed	call on java.awt.Point:getX
unanalyzed	call on java.awt.Point:getY
unanalyzed	call on java.awt.Rectangle:contains
unanalyzed	call on java.awt.event.MouseEvent:getSource
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.JList:clearSelection
unanalyzed	call on javax.swing.JList:getCellBounds
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:getMousePosition
unanalyzed	call on javax.swing.JList:getSelectedValue
unanalyzed	call on javax.swing.JList:isSelectedIndex
unanalyzed	call on javax.swing.JList:setSelectedIndex
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:setLightWeightPopupE nabled
unanalyzed	call on javax.swing.JPopupMenu:setOpaque
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.ListModel:getSize
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
unanalyzed	call on processMouseEvent

void processEvent(ActionType, StringBuffer, Object[])

Kind	Annotation Text
pre	this.identity != null
pre	this.nickScrollPane != null
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on java.awt.Dimension:getWidth
unanalyzed	call on javax.swing.JScrollPane:getSize

void processMouseEvent(MouseEvent)

Kind	Annotation Text
pre	(soft) this.inputField != null
pre	(soft) this.nickList != null
pre	e != null
presumption	init'ed(com.dmdirc.addons.ui_swing.textpane. ClickType.NICKNAME)
presumption	javax.swing.JList:getSelectedValue(...)@308 != null
post	new JPopupMenu(initPopupMenu#1) num objects <= 1
post	this.inputFieldPopup == One-of{old this. inputFieldPopup, &new JPopupMenu(initPopupMenu# 1)}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:getMousePosition
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getTextPane
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:processMouseEvent
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:getHeight
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on com.dmdirc.util.ReturnableThread:getObject
unanalyzed	call on com.dmdirc.util.ReturnableThread:run
unanalyzed	call on initPopupMenu
unanalyzed	call on java.awt.Point:getX
unanalyzed	call on java.awt.Point:getY
unanalyzed	call on java.awt.Rectangle:contains
unanalyzed	call on java.awt.event.MouseEvent:getSource
unanalyzed	call on java.awt.event.MouseEvent:isPopupTrigger
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.JList:getCellBounds
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:getMousePosition
unanalyzed	call on javax.swing.JList:isSelectedIndex
unanalyzed	call on javax.swing.JList:setSelectedIndex
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on javax.swing.JPopupMenu:add
unanalyzed	call on javax.swing.JPopupMenu:setLightWeightPopupE nabled
unanalyzed	call on javax.swing.JPopupMenu:setOpaque
unanalyzed	call on javax.swing.JPopupMenu:show
unanalyzed	call on javax.swing.ListModel:getSize
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on net.miginfocom.layout.PlatformDefaults:getU nitValueX
unanalyzed	call on net.miginfocom.layout.UnitValue:getValue
test_vector	com.dmdirc.addons.ui_swing.components.frames. ChannelFrame:getMousePosition(...)@304: Addr_Set{null}, Inverse{null}
test_vector	java.awt.event.MouseEvent:isPopupTrigger(...)@307: {0}, {1}
test_vector	javax.swing.JList:getMousePosition(...)@304: Addr_Set{null}, Inverse{null}

void redrawNicklist()

Kind	Annotation Text
pre	this.nickList != null

void removeName(ChannelClientInfo)

Kind	Annotation Text

void run()

Kind	Annotation Text
pre	init'ed(this.nicklistModel.sortByCase)
pre	init'ed(this.nicklistModel.sortByMode)
pre	this.nicklistModel != null
pre	this.nicklistModel.nicknames != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:size

void run()

Kind	Annotation Text
pre	this.nicklistModel != null
pre	this.nicklistModel.nicknames != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:size

void run()

Kind	Annotation Text
pre	init'ed(this.nicklistModel.sortByCase)
pre	init'ed(this.nicklistModel.sortByMode)
pre	this.nicklistModel != null
pre	this.nicklistModel.nicknames != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:size

void run()

Kind	Annotation Text
pre	init'ed(this.nicklistModel.sortByCase)
pre	init'ed(this.nicklistModel.sortByMode)
pre	this.nicklistModel != null
pre	this.nicklistModel.nicknames != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.util.List:size

void saveSplitPanePosition()

Kind	Annotation Text
pre	this.identity != null
pre	this.nickScrollPane != null
presumption	(int) (java.awt.Dimension:getWidth(...)@405) in {-2³¹..2³²-1}
presumption	javax.swing.JScrollPane:getSize(...)@405 != null

bool selectNickUnderCursor()

Kind	Annotation Text
pre	this.nickList != null
presumption	javax.swing.JList:getCellBounds(...)@352 != null
presumption	javax.swing.JList:getModel(...)@351 != null
post	init'ed(return_value)
test_vector	java.awt.Rectangle:contains(...)@352: {0}, {1}
test_vector	javax.swing.JList:getCellBounds(...)@352: Addr_Set{null}, Inverse{null}
test_vector	javax.swing.JList:getMousePosition(...)@349: Addr_Set{null}, Inverse{null}

void updateNames()

Kind	Annotation Text

void updateNames(List)

Kind	Annotation Text