Messages

method

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

method

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

method

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

method

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

method

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

method	NicklistListModel access$000(ChannelFrame)
pre	x0 != null
pre	init'ed(x0.nicklistModel)
post	return_value == x0.nicklistModel
post	init'ed(return_value)

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

method not available - call not analyzed Info call on ConfigManager com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getConfigManager()

method not available - call not analyzed Info call on Color com.dmdirc.config.ConfigManager:getOp tionColour(String, String, String[])

method not available - call not analyzed Info call on ConfigManager com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getConfigManager()

method not available - call not analyzed Info call on void com.dmdirc.config.ConfigManager:addCha ngeListener(String, String, ConfigChangeListener)

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:addLi stener(ActionListener, ActionType[])

method not available - call not analyzed Info call on Server com.dmdirc.Channel:getServer()

method not available - call not analyzed Info call on void com.dmdirc.commandparser.parsers. ChannelCommandParser(Server, Channel)

method not available - call not analyzed Info call on Server com.dmdirc.Channel:getServer()

method not available - call not analyzed Info call on String com.dmdirc.Server:getNetwork()

method not available - call not analyzed Info call on ChannelInfo com.dmdirc.Channel:getChannelIn fo()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelInfo:getName()

method not available - call not analyzed Info call on Identity com.dmdirc.config.IdentityManager: getChannelConfig(String, String)

method	CommandParser getCommandParser()
post	return_value == this.commandParser
post	init'ed(return_value)

method	void com.dmdirc.addons.ui_swing.components.frames. ChannelFrame$1(ChannelFrame, List)
post	this.val$clients == Param_2
post	init'ed(this.val$clients)

method

void updateNames(List)

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

method

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

method

void updateNames()

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

method	void com.dmdirc.addons.ui_swing.components.frames. ChannelFrame$3(ChannelFrame, ChannelClientInfo)
post	this.val$client == Param_2
post	init'ed(this.val$client)

method

void addName(ChannelClientInfo)

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

method	void com.dmdirc.addons.ui_swing.components.frames. ChannelFrame$4(ChannelFrame, ChannelClientInfo)
post	this.val$client == Param_2
post	init'ed(this.val$client)

method

void removeName(ChannelClientInfo)

method	void run()
pre	this.nicklistModel != null
pre	this.nicklistModel.nicknames != null
unanalyzed	call on java.util.List:size
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
unanalyzed	call on java.util.List:remove

method	JList getNickList()
pre	init'ed(this.nickList)
post	return_value == this.nickList
post	init'ed(return_value)

method	Channel getChannel()
post	return_value == this.parentChannel
post	init'ed(return_value)

method	void initComponents()
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	this.nickList == &new JList(initComponents#4)
post	this.nickScrollPane == &new JScrollPane(initCom ponents#3)
post	this.nicklistModel == &new NicklistListModel(in itComponents#6)
post	this.settingsMI == &new JMenuItem(initComponent s#1)
post	this.splitPane == &new SnappingJSplitPane(initC omponents#2)
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.nicklistModel.nicknames != null
post	init'ed(this.nicklistModel.sortByCase)
post	init'ed(this.nicklistModel.sortByMode)
post	this.splitPane.config != null
post	init'ed(this.splitPane.leftComponentSnap)
post	this.splitPane.snapDistance == 10
post	init'ed(this.splitPane.useOneTouchExpandable)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane$Orientation:equals
unanalyzed	call on javax.swing.JSplitPane
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setOneTouchExpandable
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:setContinuousLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SnappingJSplitPane:getActionMap
unanalyzed	call on javax.swing.ActionMap:setParent
unanalyzed	call on javax.swing.ActionMap:clear
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on java.util.List:size
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.AbstractListModel
unanalyzed	call on java.util.Collections:synchronizedList
unanalyzed	call on java.util.ArrayList

method not available - call not analyzed Info call on ConfigManager com.dmdirc.Channel:getConfigM anager()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. renderers.NicklistRenderer(ConfigManager, JList)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getConfigManager()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getContentPane()

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getContentPane()

method not available - call not analyzed Info call on TextPane com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getTextPane()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:pack()

method	void actionPerformed(ActionEvent)
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

method not available - call not analyzed Info call on SwingController com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getController()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:showChannelSet tingsDialog(Channel, Window)

method	JSplitPane getSplitPane()
pre	init'ed(this.splitPane)
post	return_value == this.splitPane
post	init'ed(return_value)

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

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

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

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

method not available - call not analyzed Info call on Point com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getMousePosition()

method not available - call not analyzed Info call on Point com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getMousePosition()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelClientInfo:getNickname()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:showPopupMenu(ClickType, Point, String)

method	bool checkCursorInSelectedCell()
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}

method	bool selectNickUnderCursor()
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}

method	void configChanged(String, String)
pre	this.nickList != null
pre	(soft) init'ed(this.inputField)
pre	(soft) this.nickScrollPane != null
pre	(soft) this.splitPane != 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 javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getConfigManager
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:configChanged
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionCo lour
test_vector	java.lang.String:equals(...)@368: {1}, {0}
test_vector	java.lang.String:equals(...)@368: {0}, {1}
test_vector	java.lang.String:equals(...)@381: {0}, {1}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getConfigManager()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method	void processEvent(ActionType, StringBuffer, Object[])
pre	this.identity != null
pre	this.nickScrollPane != null
unanalyzed	call on javax.swing.JScrollPane:getSize
unanalyzed	call on java.awt.Dimension:getWidth
unanalyzed	call on com.dmdirc.config.Identity:setOption

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

method	void saveSplitPanePosition()
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

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, int)

method	PopupType getNicknamePopupType()
presumption	init'ed(com.dmdirc.commandparser.PopupType.CHAN_ NICK)
post	return_value == com.dmdirc.commandparser.PopupType. CHAN_NICK
post	init'ed(return_value)

method	PopupType getChannelPopupType()
presumption	init'ed(com.dmdirc.commandparser.PopupType.CHAN_ NORMAL)
post	return_value == com.dmdirc.commandparser.PopupType. CHAN_NORMAL
post	init'ed(return_value)

method	PopupType getHyperlinkPopupType()
presumption	init'ed(com.dmdirc.commandparser.PopupType.CHAN_ HYPERLINK)
post	return_value == com.dmdirc.commandparser.PopupType. CHAN_HYPERLINK
post	init'ed(return_value)

method	PopupType getNormalPopupType()
presumption	init'ed(com.dmdirc.commandparser.PopupType.CHAN_ NORMAL)
post	return_value == com.dmdirc.commandparser.PopupType. CHAN_NORMAL
post	init'ed(return_value)

method	void addCustomPopupItems(JPopupMenu)
pre	popupMenu != null
pre	this.settingsMI != null
presumption	com.dmdirc.Server:getState(...)@436 != null
presumption	init'ed(com.dmdirc.ServerState.CONNECTED)
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@436 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getContainer(...)@187 != null
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}

method not available - call not analyzed Info call on Server com.dmdirc.WritableFrameContainer:ge tServer()

method not available - call not analyzed Info call on ServerState com.dmdirc.Server:getState()

method not available - call not analyzed Info call on bool com.dmdirc.ServerState:equals(Object)

method	void redrawNicklist()
pre	this.nickList != null

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getConfigManager()
	method not available - call not analyzed	Info	call on Color com.dmdirc.config.ConfigManager:getOp tionColour(String, String, String[])

	method not available - call not analyzed	Info	call on Server com.dmdirc.Channel:getServer()
	method not available - call not analyzed	Info	call on void com.dmdirc.commandparser.parsers. ChannelCommandParser(Server, Channel)

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.Channel:getConfigM anager()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. renderers.NicklistRenderer(ConfigManager, JList)

	method not available - call not analyzed	Info	call on Container com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getContentPane()
	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)

	method not available - call not analyzed	Info	call on SwingController com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getController()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:showChannelSet tingsDialog(Channel, Window)

method not available - call not analyzed	Info	call on Point com.dmdirc.addons.ui_swing. components.frames.ChannelFrame:getMousePosition()
method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ChannelClientInfo:getNickname()
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. frames.ChannelFrame:showPopupMenu(ClickType, Point, String)

method not available - call not analyzed	Info	call on Server com.dmdirc.WritableFrameContainer:ge tServer()
method not available - call not analyzed	Info	call on ServerState com.dmdirc.Server:getState()
method not available - call not analyzed	Info	call on bool com.dmdirc.ServerState:equals(Object)