OptionalColourChooser.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) init'ed(this.showHex)
    pre(soft) init'ed(this.showIRC)
    pre(soft) init'ed(this.window)
    pre(soft) this.cpd != null
    pre(soft) this.editButton != null
    pre(soft) this.enabled != null
    pre(soft) this.listeners != null
    pre(soft) this.previewPanel != null
    pree != null
    presumptionjava.awt.event.ActionEvent:getActionCommand(... )@206 != null
    postinit'ed(new ColourPickerDialog(actionPerformed#1). colourChooser)
    postinit'ed(new ColourPickerDialog(actionPerformed#1). window)
    postinit'ed(new ColourPickerPanel(ColourPickerDialog#1) .listeners)
    postinit'ed(new ColourPickerPanel(ColourPickerDialog#1) .saturation)
    postinit'ed(new ColourPickerPanel(ColourPickerDialog#1) .showHex)
    postinit'ed(new ColourPickerPanel(ColourPickerDialog#1) .showIrc)
    postnew ArrayList(ColourPickerPanel#1) num objects <= 1
    postnew ColourPickerDialog(actionPerformed#1) num objects <= 1
    postnew ColourPickerPanel(ColourPickerDialog#1) num objects <= 1
    postpossibly_updated(this.value)
    postthis.cpd != null
    postthis.cpd == One-of{&amp;new ColourPickerDialog(acti onPerformed#1), old this.cpd}
    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 com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on com.dmdirc.util.ListenerList:get
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Window:addWindowListener
    unanalyzedcall on java.awt.Window:getIconImages
    unanalyzedcall on java.awt.event.ActionEvent
    unanalyzedcall on java.awt.event.ActionListener:actionPerform ed
    unanalyzedcall on java.awt.event.WindowAdapter
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on javax.swing.JDialog
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:setBackground
    unanalyzedcall on javax.swing.JPanel:setToolTipText

  • void addActionListener(ActionListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void clearColour()

    • Kind Annotation Text
    prethis.previewPanel != null
    postthis.value == &amp;"ffffff"

  • void com.dmdirc.addons.ui_swing.components.OptionalColourChooser()

    • Kind Annotation Text
    postnew JButton(OptionalColourChooser#2) num objects == 1
    postnew JCheckBox(OptionalColourChooser#7) num objects == 1
    postnew JPanel(OptionalColourChooser#5) num objects == 1
    postnew ListenerList(OptionalColourChooser#1) num objects == 1
    postthis.editButton == &amp;new JButton(OptionalColourC hooser#2)
    postthis.enabled == &amp;new JCheckBox(OptionalColourCh ooser#7)
    postthis.listeners == &amp;new ListenerList(OptionalCol ourChooser#1)
    postthis.previewPanel == &amp;new JPanel(OptionalColour Chooser#5)
    postthis.showHex == 1
    postthis.showIRC == 1
    postthis.value == &amp;""
    postthis.window == null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setLayout
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on isWindowsUI
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on javax.swing.BorderFactory:createLineBorder
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setMargin
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JCheckBox:addActionListener
    unanalyzedcall on javax.swing.JCheckBox:setPreferredSize
    unanalyzedcall on javax.swing.JCheckBox:setSelected
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:setBackground
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.JPanel:setPreferredSize
    unanalyzedcall on javax.swing.JPanel:setToolTipText
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void com.dmdirc.addons.ui_swing.components.OptionalColourChooser(Window)

    • Kind Annotation Text
    postinit'ed(this.window)
    postnew JButton(OptionalColourChooser#2) num objects == 1
    postnew JCheckBox(OptionalColourChooser#7) num objects == 1
    postnew JPanel(OptionalColourChooser#5) num objects == 1
    postnew ListenerList(OptionalColourChooser#1) num objects == 1
    postthis.editButton == &amp;new JButton(OptionalColourC hooser#2)
    postthis.enabled == &amp;new JCheckBox(OptionalColourCh ooser#7)
    postthis.listeners == &amp;new ListenerList(OptionalCol ourChooser#1)
    postthis.previewPanel == &amp;new JPanel(OptionalColour Chooser#5)
    postthis.showHex == 1
    postthis.showIRC == 1
    postthis.value == &amp;""
    postthis.window == window
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setLayout
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on isWindowsUI
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on javax.swing.BorderFactory:createLineBorder
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setMargin
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JCheckBox:addActionListener
    unanalyzedcall on javax.swing.JCheckBox:setPreferredSize
    unanalyzedcall on javax.swing.JCheckBox:setSelected
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:setBackground
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.JPanel:setPreferredSize
    unanalyzedcall on javax.swing.JPanel:setToolTipText
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void com.dmdirc.addons.ui_swing.components.OptionalColourChooser(String, bool, bool, bool)

    • Kind Annotation Text
    preinitialColour != null
    postinit'ed(this.showHex)
    postinit'ed(this.showIRC)
    postnew JButton(OptionalColourChooser#2) num objects == 1
    postnew JCheckBox(OptionalColourChooser#7) num objects == 1
    postnew JPanel(OptionalColourChooser#5) num objects == 1
    postnew ListenerList(OptionalColourChooser#1) num objects == 1
    postthis.editButton == &amp;new JButton(OptionalColourC hooser#2)
    postthis.enabled == &amp;new JCheckBox(OptionalColourCh ooser#7)
    postthis.listeners == &amp;new ListenerList(OptionalCol ourChooser#1)
    postthis.previewPanel == &amp;new JPanel(OptionalColour Chooser#5)
    postthis.showHex == hexColours
    postthis.showIRC == ircColours
    postthis.value != null
    postthis.value == initialColour
    postthis.window == null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. OptionalColourChooser:setLayout
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on com.dmdirc.util.ListenerList
    unanalyzedcall on isWindowsUI
    unanalyzedcall on java.awt.Dimension
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on javax.swing.BorderFactory:createLineBorder
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JButton:setMargin
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JCheckBox:addActionListener
    unanalyzedcall on javax.swing.JCheckBox:setPreferredSize
    unanalyzedcall on javax.swing.JCheckBox:setSelected
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:setBackground
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.JPanel:setPreferredSize
    unanalyzedcall on javax.swing.JPanel:setToolTipText
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • void com.dmdirc.addons.ui_swing.components.OptionalColourChooser(String, bool, bool, bool, Window)

    • Kind Annotation Text
    preinitialColour != null
    presumptioninit'ed(java.awt.Color.DARK_GRAY)
    postinit'ed(this.showHex)
    postinit'ed(this.showIRC)
    postinit'ed(this.window)
    postnew JButton(OptionalColourChooser#2) num objects == 1
    postnew JCheckBox(OptionalColourChooser#7) num objects == 1
    postnew JPanel(OptionalColourChooser#5) num objects == 1
    postnew ListenerList(OptionalColourChooser#1) num objects == 1
    postthis.editButton == &amp;new JButton(OptionalColourC hooser#2)
    postthis.enabled == &amp;new JCheckBox(OptionalColourCh ooser#7)
    postthis.listeners == &amp;new ListenerList(OptionalCol ourChooser#1)
    postthis.previewPanel == &amp;new JPanel(OptionalColour Chooser#5)
    postthis.showHex == hexColours
    postthis.showIRC == ircColours
    postthis.value != null
    postthis.value == initialColour
    postthis.window == window
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:parseC olour
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on javax.swing.JPanel:setBackground
    unanalyzedcall on javax.swing.JPanel:setToolTipText
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel
    test_vectorinitialState: {1}, {0}

  • com.dmdirc.addons.ui_swing.components.OptionalColourChooser__static_init

    • Kind Annotation Text

  • void fireActionEvent()

    • Kind Annotation Text
    prethis.listeners != null
    presumptioncom.dmdirc.util.ListenerList:get(...)@226 != null
    presumptionjava.util.Iterator:next(...)@226 != null
    test_vectorjava.util.Iterator:hasNext(...)@226: {0}, {1}

  • String getColour()

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

  • bool isEnabled()

    • Kind Annotation Text
    prethis.enabled != null
    postinit'ed(return_value)

  • void setWindow(Window)

    • Kind Annotation Text
    postinit'ed(this.window)
    postthis.window == window

  • void updateColour(String)

    • Kind Annotation Text
    prenewColour != null
    prethis.previewPanel != null
    test_vectorjava.lang.String:isEmpty(...)@180: {0}, {1}