ColourPickerPanel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addActionListener(ActionListener)

    • Kind Annotation Text
    prethis.listeners != null

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

    • Kind Annotation Text
    postnew ArrayList(ColourPickerPanel#1) num objects == 1
    postthis.listeners == &new ArrayList(ColourPickerPa nel#1)
    postthis.saturation == 1
    postthis.showHex == 1
    postthis.showIrc == 1
    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 java.awt.Dimension
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on javax.swing.JPanel

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

    • Kind Annotation Text
    postinit'ed(this.showHex)
    postinit'ed(this.showIrc)
    postnew ArrayList(ColourPickerPanel#1) num objects == 1
    postthis.listeners == &new ArrayList(ColourPickerPa nel#1)
    postthis.saturation == 1
    postthis.showHex == newShowHex
    postthis.showIrc == newShowIrc

  • com.dmdirc.addons.ui_swing.components.ColourPickerPanel__static_init

    • Kind Annotation Text

  • Color getHexColour(MouseEvent)

    • Kind Annotation Text
    pree != null
    preinit'ed(this.hexOffset)
    preinit'ed(this.saturation)
    presumptionjava.awt.event.MouseEvent:getX(...)@239 >= -231+7
    presumptionjava.awt.event.MouseEvent:getY(...)@240 - this.hexOffset in {-4_294_967_170..2_147_483_773}
    postnew Color(getHexColour#1) num objects == 1
    postreturn_value == &new Color(getHexColour#1)

  • Color getIrcColour(MouseEvent)

    • Kind Annotation Text
    pree != null
    postinit'ed(return_value)

  • void mouseClicked(MouseEvent)

    • Kind Annotation Text
    pre(soft) e != null
    pre(soft) init'ed(this.hexOffset)
    pre(soft) init'ed(this.ircOffset)
    pre(soft) init'ed(this.saturation)
    pre(soft) this.listeners != null
    presumptionjava.awt.Color:getBlue(...)@326 in {0..255}
    presumptionjava.awt.Color:getGreen(...)@326 in {0..255}
    presumptionjava.awt.Color:getRed(...)@326 in {0..255}
    postinit'ed(this.saturation)
    unanalyzedcall on java.awt.Color
    unanalyzedcall on java.awt.Color:HSBtoRGB
    unanalyzedcall on java.awt.event.ActionEvent
    unanalyzedcall on java.awt.event.ActionListener:actionPerform ed
    unanalyzedcall on java.awt.event.MouseEvent:getX
    unanalyzedcall on java.awt.event.MouseEvent:getY
    unanalyzedcall on java.util.List:iterator
    test_vectorjava.awt.event.MouseEvent:getX(...)@311: {-231..7}, {8..232-1}
    test_vectorjava.awt.event.MouseEvent:getX(...)@311: {151..232-1}, {-231..150}
    test_vectorjava.awt.event.MouseEvent:getX(...)@322: {-231..7}, {8..232-1}
    test_vectorjava.awt.event.MouseEvent:getX(...)@322: {132..232-1}, {-231..131}
    test_vectorjava.awt.event.MouseEvent:getX(...)@329: {-231..139}, {140..232-1}
    test_vectorjava.awt.event.MouseEvent:getX(...)@329: {156..232-1}, {-231..155}
    test_vectorthis.showHex: {0}, {1}
    test_vectorthis.showIrc: {0}, {1}

  • void mouseDragged(MouseEvent)

    • Kind Annotation Text

  • void mouseEntered(MouseEvent)

    • Kind Annotation Text

  • void mouseExited(MouseEvent)

    • Kind Annotation Text

  • void mouseMoved(MouseEvent)

    • Kind Annotation Text
    pre(soft) e != null
    pre(soft) init'ed(this.hexOffset)
    pre(soft) init'ed(this.ircOffset)
    pre(soft) init'ed(this.saturation)
    preinit'ed(this.previewRect)
    postinit'ed(this.preview)
    postnew Color(getHexColour#1) num objects <= 1
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on java.awt.Color
    unanalyzedcall on java.awt.Color:HSBtoRGB
    unanalyzedcall on java.awt.event.MouseEvent:getX
    unanalyzedcall on java.awt.event.MouseEvent:getY
    test_vectorjava.awt.event.MouseEvent:getX(...)@394: {-231..7}, {8..232-1}
    test_vectorjava.awt.event.MouseEvent:getX(...)@394: {151..232-1}, {-231..150}
    test_vectorjava.awt.event.MouseEvent:getX(...)@398: {-231..7}, {8..232-1}
    test_vectorjava.awt.event.MouseEvent:getX(...)@398: {132..232-1}, {-231..131}
    test_vectorthis.showHex: {0}, {1}
    test_vectorthis.showIrc: {0}, {1}

  • void mousePressed(MouseEvent)

    • Kind Annotation Text

  • void mouseReleased(MouseEvent)

    • Kind Annotation Text

  • void mouseWheelMoved(MouseWheelEvent)

    • Kind Annotation Text
    pre(soft) e != null
    pre(soft) init'ed(this.hexOffset)
    pre(soft) init'ed(this.ircOffset)
    pre(soft) init'ed(this.previewRect)
    pre(soft) init'ed(this.saturation)
    postinit'ed(this.saturation)
    postnew Color(getHexColour#1) num objects <= 1
    postpossibly_updated(this.preview)
    postthis.saturation == One-of{old this.saturation, old this.saturation + One-of{5_368_709/268_435_456, -5_368_709/268_435_456}, +0, 1}
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:repaint
    unanalyzedcall on com.dmdirc.ui.messages.ColourManager:getCol our
    unanalyzedcall on java.awt.Color
    unanalyzedcall on java.awt.Color:HSBtoRGB
    unanalyzedcall on java.awt.event.MouseEvent:getX
    unanalyzedcall on java.awt.event.MouseEvent:getY
    test_vectorthis.showHex: {0}, {1}

  • void paint(Graphics)

    • Kind Annotation Text
    pre(soft) init'ed(this.saturation)
    pre(soft) this.previewOffset <= 4_294_967_275
    preg != null
    preinit'ed(this.preview)
    preinit'ed(this.previewRect)
    presumptioncom.dmdirc.addons.ui_swing.components. ColourPickerPanel:getWidth(...)@215 >= -2_147_483_634
    presumptioncom.dmdirc.addons.ui_swing.components. ColourPickerPanel:getWidth(...)@220 >= -2_147_483_633
    presumptioncom.dmdirc.addons.ui_swing.components. ColourPickerPanel:getWidth(...)@223 >= -231+7
    presumptioncom.dmdirc.addons.ui_swing.components. ColourPickerPanel:getWidth(...)@227 >= -2_147_483_633
    presumptioninit'ed(java.awt.Color.BLACK)
    presumptionjava.lang.Math:round(...)@188 + offset in {-2_147_483_628..4_294_967_288}
    presumptionjava.lang.Math:round(...)@188 <= 4_294_967_268
    presumptionjava.lang.Math:round(...)@190 + offset in {-2_147_483_628..4_294_967_283}
    presumptionjava.lang.Math:round(...)@190 <= 4_294_967_263
    presumptionjava.lang.Math:round(...)@192 + offset in {-2_147_483_628..232-3}
    presumptionjava.lang.Math:round(...)@192 <= 4_294_967_273
    postnew Rectangle(paint#4) num objects <= 1
    postthis.hexOffset == One-of{old this.hexOffset, One-of{20, 63} + 7}
    postthis.ircOffset == One-of{old this.ircOffset, 27}
    postthis.previewOffset <= 4_294_967_275
    postthis.previewOffset == One-of{One-of{20, 63, One-of{20, 63} + 152} + 7, old this. previewOffset}
    postthis.previewRect != null
    postthis.previewRect == One-of{old this.previewRect, &amp;new Rectangle(paint#4)}
    test_vectorjava.awt.Rectangle:equals(...)@131: {1}, {0}
    test_vectorthis.preview: Inverse{null}, Addr_Set{null}
    test_vectorthis.previewRect: Addr_Set{null}, Inverse{null}
    test_vectorthis.showHex: {0}, {1}
    test_vectorthis.showIrc: {0}, {1}

  • void removeActionListener(ActionListener)

    • Kind Annotation Text
    prethis.listeners != null

  • void throwAction(int, String)

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

  • String toHex(int)

    • Kind Annotation Text
    prevalue in {0..255}
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value == &amp;java.lang.StringBuilder:toStri ng(...)