TextAreaInputField.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void actionPerformed(ActionEvent)

    • Kind Annotation Text
    pre(soft) actionEvent != null
    prethis.colourPicker != null
    presumptioncom.dmdirc.addons.ui_swing.components. TextAreaInputField:getDocument(...)@91 != null

  • void addActionListener(ActionListener)

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.TextAreaInputField$1(TextAreaInputField)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.TextAreaInputField$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.TextAreaInputField(int, int)

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.TextAreaInputField(String)

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.TextAreaInputField__static_init

    • Kind Annotation Text

  • void hideColourPicker()

    • Kind Annotation Text
    preinit'ed(this.colourPicker)
    postthis.colourPicker == null
    test_vectorthis.colourPicker: Addr_Set{null}, Inverse{null}

  • void removeActionListener(ActionListener)

    • Kind Annotation Text

  • void showColourPicker(bool, bool)

    • Kind Annotation Text
    presumption(int) (java.awt.Point:getX(...)@100) in {-231..232-1}
    presumption(int) (java.awt.Point:getY(...)@100) in {-232..8_589_934_590}
    presumptioncom.dmdirc.addons.ui_swing.components. ColourPickerDialog:getHeight(...)@100 - (int) (java.awt.Point:getY(...)@100) in {-232+1. .231}
    presumptioncom.dmdirc.addons.ui_swing.components. TextAreaInputField:getLocationOnScreen(...)@100 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@83 != null
    postinit'ed(new ColourPickerDialog(showColourPicker#1). window)
    postinit'ed(new ColourPickerPanel(ColourPickerDialog#1) .showHex)
    postinit'ed(new ColourPickerPanel(ColourPickerDialog#1) .showIrc)
    postnew ArrayList(ColourPickerPanel#1) num objects <= 1
    postnew ColourPickerDialog(showColourPicker#1) num objects <= 1
    postnew ColourPickerDialog(showColourPicker#1). colourChooser == &amp;new ColourPickerPanel(ColourP ickerDialog#1)
    postnew ColourPickerPanel(ColourPickerDialog#1) num objects <= 1
    postnew ColourPickerPanel(ColourPickerDialog#1). listeners == &amp;new ArrayList(ColourPickerPanel#1 )
    postnew ColourPickerPanel(ColourPickerDialog#1). saturation == 1
    postthis.colourPicker == One-of{old this.colourPicker, &amp;new ColourPickerDialog(showColourPicker#1)}
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:pack
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setDefaultCloseOperation
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setFocusableWindowState
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerDialog:setResizable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseMotionListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseWheelListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:setPreferredSize
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog:setIconImages
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Window:addWindowListener
    unanalyzedcall on java.awt.Window:getIconImages
    unanalyzedcall on java.awt.event.WindowAdapter
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on javax.swing.JDialog
    unanalyzedcall on javax.swing.JPanel
    test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@83: {0}, {1}