InputTextFrame.java

InputTextFrame.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void close()

Kind	Annotation Text
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@464 != 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.WritableFrameContainer:getServer(... )@463: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getContainer(...)@187: Addr_Set{null}, Inverse{null}

void com.dmdirc.addons.ui_swing.components.frames.InputTextFrame(WritableFrameContainer, SwingController)

Kind	Annotation Text
pre	owner != null
presumption	com.dmdirc.WritableFrameContainer:getConfigManager( ...)@99 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@114 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getContainer(...)@187 != null
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 JPanel(initComponents#4) num objects == 1
post	new JPopupMenu(initComponents#2) num objects == 1
post	new JPopupMenu(initPopupMenu#1) num objects == 1
post	new JTextField(SwingInputField#2) num objects == 1
post	new ListenerList(SwingInputField#1) num objects == 1
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	this.awayLabel == &new JLabel(initComponents#3)
post	this.inputField == &new SwingInputField(initCom ponents#1)
post	this.inputFieldPopup == &new JPopupMenu(initPop upMenu#1)
post	this.inputPanel == &new JPanel(initComponents#4 )
post	this.nickPopup == &new JPopupMenu(initComponent s#2)
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.TextFrame:getContainer
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.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.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put
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.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.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
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@113: Addr_Set{null}, Inverse{null}

com.dmdirc.addons.ui_swing.components.frames.InputTextFrame__static_init

Kind	Annotation Text

void configChanged(String, String)

Kind	Annotation Text
pre	(soft) init'ed(this.inputField)
presumption	com.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getConfigManager(...)@385 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getConfigManager(...)@390 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getConfigManager(...)@393 != null
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
test_vector	com.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getConfigManager(...)@381: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@381: {0}, {1}
test_vector	java.lang.String:equals(...)@383: {0}, {1}
test_vector	java.lang.String:equals(...)@383: {1}, {0}
test_vector	java.lang.String:equals(...)@388: {0}, {1}
test_vector	java.lang.String:equals(...)@388: {1}, {0}
test_vector	this.inputField: Addr_Set{null}, Inverse{null}

void doPaste()

Kind	Annotation Text
pre	(soft) this.inputField != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	init'ed(java.awt.datatransfer.DataFlavor. stringFlavor)
presumption	java.awt.Toolkit:getDefaultToolkit(...)@310 != null
presumption	java.awt.Toolkit:getDefaultToolkit(...)@321 != null
presumption	java.awt.Toolkit:getSystemClipboard(...)@310 != null
presumption	java.awt.Toolkit:getSystemClipboard(...)@321 != null
unanalyzed	call on com.dmdirc.WritableFrameContainer:getNumLin es
unanalyzed	call on com.dmdirc.WritableFrameContainer:sendLine
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getConfigManager
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getController
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialog:setVisible
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
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 java.lang.Integer:intValue
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
test_vector	java.awt.datatransfer.Clipboard:isDataFlavorAvailab le(...)@310: {1}, {0}

void doPaste(String)

Kind	Annotation Text
pre	this.inputField != null
presumption	com.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getConfigManager(...)@347 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getController(...)@352 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. TextFrame:getContainer(...)@187 != null
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
presumption	getSplitLine(...).length <= 2³²-1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
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 java.lang.Integer:intValue
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
test_vector	clipboard: Addr_Set{null}, Inverse{null}
test_vector	getSplitLine(...).length: {0,1}, {2.. 2³²-1}

JLabel getAwayLabel()

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

FrameContainer getContainer()

Kind	Annotation Text
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer

WritableFrameContainer getContainer()

Kind	Annotation Text
post	init'ed(return_value)

SwingInputField getInputField()

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

InputHandler getInputHandler()

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

String[] getSplitLine(String)

Kind	Annotation Text
pre	line != null
post	java.lang.String:split(...)._tainted == 0
post	return_value == &java.lang.String:split(...)

void initComponents()

Kind	Annotation Text
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@146) in {-2³¹..2³²-1}
presumption	net.miginfocom.layout.PlatformDefaults:getUnitValue X(...)@146 != null
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 JPanel(initComponents#4) num objects == 1
post	new JPopupMenu(initComponents#2) num objects == 1
post	new JPopupMenu(initPopupMenu#1) num objects == 1
post	new JTextField(SwingInputField#2) num objects == 1
post	new ListenerList(SwingInputField#1) num objects == 1
post	new SwingInputField(initComponents#1) num objects == 1
post	this.awayLabel == &new JLabel(initComponents#3)
post	this.inputField == &new SwingInputField(initCom ponents#1)
post	this.inputField.errorIndicator == &new JLabel(SwingInputField#4)
post	this.inputField.listeners == &new ListenerList(SwingInputField#1)
post	this.inputField.textField == &new JTextField(SwingInputField#2)
post	this.inputField.wrapIndicator == &new JLabel(SwingInputField#3)
post	this.inputFieldPopup == &new JPopupMenu(initPop upMenu#1)
post	this.inputPanel == &new JPanel(initComponents#4 )
post	this.nickPopup == &new JPopupMenu(initComponent s#2)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputField:add
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.logger.Logger:appError
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
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.lang.Runnable:run
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put
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:setVisible
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.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.swing.MigLayout

void initInputField()

Kind	Annotation Text
pre	this.inputField != null
presumption	com.dmdirc.addons.ui_swing.components. SwingInputField:getActionMap(...)@172 != null
presumption	com.dmdirc.addons.ui_swing.components. SwingInputField:getInputMap(...)@174 != null
presumption	com.dmdirc.addons.ui_swing.components. SwingInputField:getInputMap(...)@176 != null
presumption	com.dmdirc.util.ReturnableThread:getObject(... )@203 != null
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
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

void initPopupMenu()

Kind	Annotation Text
pre	this.inputField != null
post	new JPopupMenu(initPopupMenu#1) num objects == 1
post	this.inputFieldPopup == &new JPopupMenu(initPop upMenu#1)
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread

void mouseClicked(MouseEvent)

Kind	Annotation Text
pre	(soft) this.inputField != 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: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	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: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	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: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 onAway(String)

Kind	Annotation Text
pre	(soft) this.awayLabel != null
pre	(soft) this.inputPanel != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JPanel:add

void onBack()

Kind	Annotation Text
pre	(soft) this.awayLabel != null
pre	(soft) this.inputPanel != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on javax.swing.JLabel:setVisible
unanalyzed	call on javax.swing.JPanel:add

void open()

Kind	Annotation Text
pre	(soft) this.awayLabel != null
pre	this.inputField != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@124 != null
presumption	com.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getConfigManager(...)@122 != 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
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 java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@122: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@122: {0}, {1}

JComponent populatePopupMenu(JComponent, PopupMenu, Object[])

Kind	Annotation Text
pre	(soft) menu != null
pre	popup != null
presumption	com.dmdirc.commandparser.PopupMenu:getItems(... )@425 != null
presumption	com.dmdirc.commandparser.PopupMenuItem:getSubMenu(. ..)@429 != null
presumption	java.util.Iterator:next(...)@425 != null
post	return_value != null
post	return_value == menu
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getCommandParser
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on populatePopupMenu
test_vector	com.dmdirc.commandparser.PopupMenuItem:isDivider(.. .)@426: {0}, {1}
test_vector	com.dmdirc.commandparser.PopupMenuItem:isSubMenu(.. .)@428: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@425: {0}, {1}

void popuplateNicklistPopup(String)

Kind	Annotation Text
presumption	com.dmdirc.commandparser.PopupManager:getMenu(... )@407 != null
presumption	init'ed(com.dmdirc.commandparser.PopupType.CHAN_ NICK)
post	new JPopupMenu(popuplateNicklistPopup#1) num objects == 1
post	this.nickPopup == &new JPopupMenu(popuplateNick listPopup#1)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getCommandParser
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on javax.swing.JMenuItem
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on populatePopupMenu

void processMouseEvent(MouseEvent)

Kind	Annotation Text
pre	(soft) this.inputField != null
pre	e != null
presumption	(int) (java.awt.Point:getX(...)@297) in {-2³¹..2³²-1}
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@297) + (int) (java.awt.Point:getY(...)@297) + com.dmdirc.addons.ui_swing.textpane. TextPane:getHeight(...)@297 in range
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@297) + (int) (java.awt.Point:getY(...)@297) + com.dmdirc.addons.ui_swing.textpane. TextPane:getHeight(...)@297 in {-2³¹.. 2³²-1}
presumption	com.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getTextPane(...)@297 != null
presumption	net.miginfocom.layout.PlatformDefaults:getUnitValue X(...)@297 != 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.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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.AbstractAction
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.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
test_vector	com.dmdirc.addons.ui_swing.components. SwingInputField:getMousePosition(...)@293: Addr_Set{null}, Inverse{null}
test_vector	java.awt.event.MouseEvent:isPopupTrigger(...)@292: {0}, {1}

void requestInputFieldFocus()

Kind	Annotation Text
pre	init'ed(this.inputField)
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 java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.SwingUtilities:invokeAndWait
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
test_vector	this.inputField: Addr_Set{null}, Inverse{null}

void setAwayIndicator(bool)

Kind	Annotation Text
pre	(soft) this.awayLabel != null
pre	(soft) this.inputPanel != null
presumption	com.dmdirc.addons.ui_swing.components.frames. InputTextFrame:getConfigManager(...)@244 != null
test_vector	awayState: {1}, {0}

void setInputField(SwingInputField)

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

void setInputHandler(InputHandler)

Kind	Annotation Text
pre	init'ed(this.inputField)
pre	newInputHandler != null
post	this.inputHandler != null
post	this.inputHandler == newInputHandler