Messages

method

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

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

method	void com.dmdirc.addons.ui_swing.components.frames. InputTextFrame(WritableFrameContainer, SwingController)
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	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)
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)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JLabel:setVisible
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 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.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.AbstractAction
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 java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
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 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 net.miginfocom.swing.MigLayout
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
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@113: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. frames.TextFrame(FrameContainer, SwingController)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.WritableFrameConta iner: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 void com.dmdirc.config.ConfigManager:addCha ngeListener(String, String, ConfigChangeListener)

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

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

method not available - call not analyzed Info call on void com.dmdirc.Server:addAwayStateListener (AwayStateListener)

method	void open()
pre	this.inputField != null
pre	(soft) this.awayLabel != 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 javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on com.dmdirc.util.ReturnableThread
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 java.lang.Boolean:booleanValue
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@122: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@122: {0}, {1}

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

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

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, 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 Server com.dmdirc.WritableFrameContainer:ge tServer()

method not available - call not analyzed Info call on bool com.dmdirc.Server:isAway()

method	void initComponents()
presumption	(int) (net.miginfocom.layout.UnitValue:getValue(... )@146) in {-2³¹..2³²-1}
presumption	net.miginfocom.layout.PlatformDefaults:getUnitValue X(...)@146 != null
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)
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.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)
unanalyzed	call on javax.swing.JPopupMenu
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.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.AbstractAction
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 java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
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 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 javax.swing.JLabel:setVisible
unanalyzed	call on net.miginfocom.swing.MigLayout
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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. SwingInputField:addMouseListener(MouseListener)

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

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

method	void initPopupMenu()
pre	this.inputField != null
post	this.inputFieldPopup == &new JPopupMenu(initPop upMenu#1)
post	new JPopupMenu(initPopupMenu#1) num objects == 1
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

method	void initInputField()
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 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.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.AbstractAction
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

method not available - call not analyzed Info call on ActionMap com.dmdirc.addons.ui_swing. components.SwingInputField:getActionMap()

method not available - call not analyzed Info call on InputMap com.dmdirc.addons.ui_swing. components.SwingInputField:getInputMap(int)

method	WritableFrameContainer getContainer()
post	init'ed(return_value)

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

method	InputHandler getInputHandler()
pre	init'ed(this.inputHandler)
post	return_value == this.inputHandler
post	init'ed(return_value)

method	void setInputHandler(InputHandler)
pre	newInputHandler != null
pre	init'ed(this.inputField)
post	this.inputHandler == newInputHandler
post	this.inputHandler != null

method not available - call not analyzed Info call on void com.dmdirc.ui.input.InputHandler:addVa lidationListener(InputValidationListener)

method	SwingInputField getInputField()
pre	init'ed(this.inputField)
post	return_value == this.inputField
post	init'ed(return_value)

method	void setInputField(SwingInputField)
post	this.inputField == newInputField
post	init'ed(this.inputField)

method	JLabel getAwayLabel()
pre	init'ed(this.awayLabel)
post	return_value == this.awayLabel
post	init'ed(return_value)

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

method	void mouseClicked(MouseEvent)
pre	mouseEvent != null
pre	(soft) this.inputField != null
post	possibly_updated(this.inputFieldPopup)
post	new JPopupMenu(initPopupMenu#1) num objects <= 1
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on processMouseEvent
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 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

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

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

method	void mousePressed(MouseEvent)
pre	mouseEvent != null
pre	(soft) this.inputField != null
post	possibly_updated(this.inputFieldPopup)
post	new JPopupMenu(initPopupMenu#1) num objects <= 1
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on processMouseEvent
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 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

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

method	void mouseReleased(MouseEvent)
pre	mouseEvent != null
pre	(soft) this.inputField != null
post	possibly_updated(this.inputFieldPopup)
post	new JPopupMenu(initPopupMenu#1) num objects <= 1
unanalyzed	call on javax.swing.JPopupMenu
unanalyzed	call on processMouseEvent
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 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

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

method	void processMouseEvent(MouseEvent)
pre	e != null
pre	(soft) this.inputField != 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	this.inputFieldPopup == One-of{old this. inputFieldPopup, &new JPopupMenu(initPopupMenu# 1)}
post	new JPopupMenu(initPopupMenu#1) num objects <= 1
unanalyzed	call on javax.swing.JPopupMenu
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. SwingInputField:getMousePosition(...)@293: Addr_Set{null}, Inverse{null}
test_vector	java.awt.event.MouseEvent:isPopupTrigger(...)@292: {0}, {1}

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

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

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.textpane. TextPane:getHeight()

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

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

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

method	void doPaste()
pre	(soft) this.inputField != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
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
presumption	init'ed(java.awt.datatransfer.DataFlavor. stringFlavor)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.lang.String:split
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getConfigManager
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 java.lang.Integer:intValue
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.WritableFrameContainer:getNumLin es
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getController
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 java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.WritableFrameContainer:sendLine
test_vector	java.awt.datatransfer.Clipboard:isDataFlavorAvailab le(...)@310: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

method	void doPaste(String)
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 java.lang.String:replace
unanalyzed	call on java.lang.String:split
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 java.lang.Integer:intValue
unanalyzed	call on com.dmdirc.util.ReturnableThread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
test_vector	clipboard: Addr_Set{null}, Inverse{null}
test_vector	getSplitLine(...).length: {0,1}, {2.. 2³²-1}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.addons.ui_swing. components.frames.InputTextFrame: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 int com.dmdirc.WritableFrameContainer:getNu mLines(String)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. paste.PasteDialog(InputTextFrame, String, Window)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. paste.PasteDialog:setVisible(bool)

method not available - call not analyzed Info call on void com.dmdirc.WritableFrameContainer:send Line(String)

method	String[] getSplitLine(String)
pre	line != null
post	java.lang.String:split(...)._tainted == 0
post	return_value == &java.lang.String:split(...)

method	void configChanged(String, String)
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 javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on java.lang.Runnable:run
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
test_vector	this.inputField: Addr_Set{null}, Inverse{null}
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: {1}, {0}
test_vector	java.lang.String:equals(...)@383: {0}, {1}
test_vector	java.lang.String:equals(...)@388: {1}, {0}
test_vector	java.lang.String:equals(...)@388: {0}, {1}

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

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

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

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

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

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

method not available - call not analyzed Info call on PopupMenu com.dmdirc.commandparser. PopupManager:getMenu(PopupType, ConfigManager)

method	JComponent populatePopupMenu(JComponent, PopupMenu, Object[])
pre	popup != null
pre	(soft) menu != 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 == menu
post	return_value != null
unanalyzed	call on com.dmdirc.commandparser.PopupMenu:getItems
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isDi vider
unanalyzed	call on javax.swing.JSeparator
unanalyzed	call on javax.swing.JComponent:add
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:isSu bMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getN ame
unanalyzed	call on javax.swing.JMenu
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getS ubMenu
unanalyzed	call on populatePopupMenu
unanalyzed	call on com.dmdirc.addons.ui_swing.components. frames.InputTextFrame:getCommandParser
unanalyzed	call on com.dmdirc.commandparser.PopupMenuItem:getC ommand
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.JMenuItem
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}

method not available - call not analyzed Info call on List com.dmdirc.commandparser. PopupMenu:getItems()

method not available - call not analyzed Info call on bool com.dmdirc.commandparser. PopupMenuItem:isDivider()

method not available - call not analyzed Info call on bool com.dmdirc.commandparser. PopupMenuItem:isSubMenu()

method not available - call not analyzed Info call on String com.dmdirc.commandparser. PopupMenuItem:getName()

method not available - call not analyzed Info call on PopupMenu com.dmdirc.commandparser. PopupMenuItem:getSubMenu()

method not available - call not analyzed Info call on CommandParser com.dmdirc.addons.ui_swing. components.frames.InputTextFrame:getCommandParser()

method not available - call not analyzed Info call on String com.dmdirc.commandparser. PopupMenuItem:getName()

method not available - call not analyzed Info call on String com.dmdirc.commandparser. PopupMenuItem:getCommand(Object[])

method	void requestInputFieldFocus()
pre	init'ed(this.inputField)
unanalyzed	call on javax.swing.SwingUtilities:isEventDispatchT hread
unanalyzed	call on com.dmdirc.util.ReturnableThread
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 java.lang.Boolean:booleanValue
test_vector	this.inputField: Addr_Set{null}, Inverse{null}

method	void onAway(String)
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.JPanel:add
unanalyzed	call on javax.swing.JLabel:setVisible

method	void onBack()
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.JPanel:add
unanalyzed	call on javax.swing.JLabel:setVisible

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

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

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

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

method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.addons.ui_swing. components.frames.InputTextFrame:getConfigManager()
method not available - call not analyzed	Info	call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, 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 UnitValue net.miginfocom.layout. PlatformDefaults:getUnitValueX(String)
	method not available - call not analyzed	Info	call on float net.miginfocom.layout. UnitValue:getValue()

method not available - call not analyzed	Info	call on TextPane com.dmdirc.addons.ui_swing. components.frames.InputTextFrame:getTextPane()
method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.textpane. TextPane:getHeight()
method not available - call not analyzed	Info	call on UnitValue net.miginfocom.layout. PlatformDefaults:getUnitValueX(String)
method not available - call not analyzed	Info	call on float net.miginfocom.layout. UnitValue:getValue()

method not available - call not analyzed	Info	call on SwingController com.dmdirc.addons.ui_swing. components.frames.InputTextFrame:getController()
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. paste.PasteDialog(InputTextFrame, String, Window)
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. paste.PasteDialog:setVisible(bool)

	method not available - call not analyzed	Info	call on String com.dmdirc.commandparser. PopupMenuItem:getName()
	method not available - call not analyzed	Info	call on PopupMenu com.dmdirc.commandparser. PopupMenuItem:getSubMenu()

method not available - call not analyzed	Info	call on CommandParser com.dmdirc.addons.ui_swing. components.frames.InputTextFrame:getCommandParser()
method not available - call not analyzed	Info	call on String com.dmdirc.commandparser. PopupMenuItem:getName()
method not available - call not analyzed	Info	call on String com.dmdirc.commandparser. PopupMenuItem:getCommand(Object[])