CustomInputFrame.java


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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addCustomPopupItems(JPopupMenu)

  • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.frames.CustomInputFrame(WritableFrameContainer, CommandParser, SwingController)

  • Kind Annotation Text
    preowner != null
    postinit'ed(this.commandParser)
    postnew JLabel(SwingInputField#3) num objects == 1
    postnew JLabel(SwingInputField#4) num objects == 1
    postnew JLabel(initComponents#3) num objects == 1
    postnew JPanel(initComponents#4) num objects == 1
    postnew JPopupMenu(initComponents#2) num objects == 1
    postnew JPopupMenu(initPopupMenu#1) num objects == 1
    postnew JTextField(SwingInputField#2) num objects == 1
    postnew ListenerList(SwingInputField#1) num objects == 1
    postnew SwingInputField(initComponents#1) num objects == 1
    postnew SwingInputField(initComponents#1). errorIndicator == &new JLabel(SwingInputField#4 )
    postnew SwingInputField(initComponents#1).listeners == &new ListenerList(SwingInputField#1)
    postnew SwingInputField(initComponents#1).textField == &new JTextField(SwingInputField#2)
    postnew SwingInputField(initComponents#1). wrapIndicator == &new JLabel(SwingInputField#3)
    postnew SwingInputHandler(CustomInputFrame#1) num objects == 1
    postthis.awayLabel == &new JLabel(initComponents#3)
    postthis.commandParser == commandParser
    postthis.inputField == &new SwingInputField(initCom ponents#1)
    postthis.inputFieldPopup == &new JPopupMenu(initPop upMenu#1)
    postthis.inputHandler == &new SwingInputHandler(Cus tomInputFrame#1)
    postthis.inputPanel == &new JPanel(initComponents#4 )
    postthis.nickPopup == &new JPopupMenu(initComponent s#2)
    unanalyzedcall on com.dmdirc.Server:addAwayStateListener
    unanalyzedcall on com.dmdirc.WritableFrameContainer:getConfig Manager
    unanalyzedcall on com.dmdirc.WritableFrameContainer:getServer
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. SwingInputField:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. SwingInputField:addMouseListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. SwingInputField:getActionMap
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. SwingInputField:getInputMap
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. SwingInputField:setActionMap
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. SwingInputField:setInputMap
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. SwingInputField:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.CustomInputFrame:getContentPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.CustomInputFrame:getSearchBar
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.CustomInputFrame:getTextPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.CustomInputFrame:pack
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.CustomInputFrame:setTitle
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.TextFrame
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.TextFrame:getContainer
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionCo lour
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.ui.IconManager:getIcon
    unanalyzedcall on com.dmdirc.ui.IconManager:getIconManager
    unanalyzedcall on com.dmdirc.ui.input.InputHandler
    unanalyzedcall on com.dmdirc.ui.input.InputHandler:addValidat ionListener
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on com.dmdirc.util.ReturnableThread
    unanalyzedcall on com.dmdirc.util.ReturnableThread:getObject
    unanalyzedcall on com.dmdirc.util.ReturnableThread:run
    unanalyzedcall on java.awt.BorderLayout
    unanalyzedcall on java.awt.Container:add
    unanalyzedcall on java.awt.Container:setLayout
    unanalyzedcall on java.lang.Runnable:run
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on javax.swing.AbstractAction
    unanalyzedcall on javax.swing.ActionMap:put
    unanalyzedcall on javax.swing.InputMap:put
    unanalyzedcall on javax.swing.JComponent
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:setText
    unanalyzedcall on javax.swing.JLabel:setVisible
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JPopupMenu
    unanalyzedcall on javax.swing.JPopupMenu:add
    unanalyzedcall on javax.swing.JPopupMenu:setLightWeightPopupE nabled
    unanalyzedcall on javax.swing.JPopupMenu:setOpaque
    unanalyzedcall on javax.swing.JTextField
    unanalyzedcall on javax.swing.JTextField:addKeyListener
    unanalyzedcall on javax.swing.JTextField:getActionMap
    unanalyzedcall on javax.swing.JTextField:getInputMap
    unanalyzedcall on javax.swing.JTextField:setFocusTraversalKey sEnabled
    unanalyzedcall on javax.swing.KeyStroke:getKeyStroke
    unanalyzedcall on javax.swing.SwingUtilities:invokeAndWait
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.SwingUtilities:isEventDispatchT hread
    unanalyzedcall on javax.swing.text.Document:addUndoableEditLi stener
    unanalyzedcall on javax.swing.text.JTextComponent:getActionMa p
    unanalyzedcall on javax.swing.text.JTextComponent:getDocument
    unanalyzedcall on javax.swing.text.JTextComponent:getInputMap
    unanalyzedcall on javax.swing.undo.UndoManager
    unanalyzedcall on net.miginfocom.layout.PlatformDefaults:getU nitValueX
    unanalyzedcall on net.miginfocom.layout.UnitValue:getValue
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • com.dmdirc.addons.ui_swing.components.frames.CustomInputFrame__static_init

  • Kind Annotation Text

  • PopupType getChannelPopupType()

  • Kind Annotation Text
    postreturn_value == null

  • CommandParser getCommandParser()

  • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.commandParser

  • PopupType getHyperlinkPopupType()

  • Kind Annotation Text
    postreturn_value == null

  • PopupType getNicknamePopupType()

  • Kind Annotation Text
    postreturn_value == null

  • PopupType getNormalPopupType()

  • Kind Annotation Text
    postreturn_value == null

  • void initComponents()

  • Kind Annotation Text
    preinit'ed(this.inputPanel)
    presumptioncom.dmdirc.addons.ui_swing.components.frames. CustomInputFrame:getContentPane(...)@81 != null
    presumptioncom.dmdirc.addons.ui_swing.components.frames. CustomInputFrame:getContentPane(...)@82 != null
    presumptioncom.dmdirc.addons.ui_swing.components.frames. CustomInputFrame:getContentPane(...)@83 != null
    presumptioncom.dmdirc.addons.ui_swing.components.frames. CustomInputFrame:getContentPane(...)@84 != null