Messages

method

com.dmdirc.addons.ui_swing.components. ColourPickerPanel__static_init

method	void com.dmdirc.addons.ui_swing.components. ColourPickerPanel(bool, bool)
post	this.listeners == &new ArrayList(ColourPickerPa nel#1)
post	this.saturation == 1
post	this.showHex == newShowHex
post	init'ed(this.showHex)
post	this.showIrc == newShowIrc
post	init'ed(this.showIrc)
post	new ArrayList(ColourPickerPanel#1) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ColourPickerPanel:setPreferredSize(Dimension)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseMotionListener(MouseMotio nListener)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseWheelListener(MouseWheelL istener)

method	void com.dmdirc.addons.ui_swing.components. ColourPickerPanel()
post	this.listeners == &new ArrayList(ColourPickerPa nel#1)
post	this.saturation == 1
post	this.showHex == 1
post	this.showIrc == 1
post	new ArrayList(ColourPickerPanel#1) num objects == 1
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.awt.Dimension
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:setPreferredSize
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseMotionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:addMouseWheelListener

method	void paint(Graphics)
pre	g != null
pre	init'ed(this.previewRect)
pre	init'ed(this.preview)
pre	(soft) this.previewOffset <= 4_294_967_275
pre	(soft) init'ed(this.saturation)
presumption	com.dmdirc.addons.ui_swing.components. ColourPickerPanel:getWidth(...)@215 >= -2_147_483_634
presumption	com.dmdirc.addons.ui_swing.components. ColourPickerPanel:getWidth(...)@220 >= -2_147_483_633
presumption	com.dmdirc.addons.ui_swing.components. ColourPickerPanel:getWidth(...)@223 >= -2³¹+7
presumption	com.dmdirc.addons.ui_swing.components. ColourPickerPanel:getWidth(...)@227 >= -2_147_483_633
presumption	init'ed(java.awt.Color.BLACK)
presumption	java.lang.Math:round(...)@188 <= 4_294_967_268
presumption	java.lang.Math:round(...)@188 + offset in {-2_147_483_628..4_294_967_288}
presumption	java.lang.Math:round(...)@190 <= 4_294_967_263
presumption	java.lang.Math:round(...)@190 + offset in {-2_147_483_628..4_294_967_283}
presumption	java.lang.Math:round(...)@192 <= 4_294_967_273
presumption	java.lang.Math:round(...)@192 + offset in {-2_147_483_628..2³²-3}
post	this.hexOffset == One-of{old this.hexOffset, One-of{20, 63} + 7}
post	this.ircOffset == One-of{old this.ircOffset, 27}
post	this.previewOffset == One-of{One-of{20, 63, One-of{20, 63} + 152} + 7, old this. previewOffset}
post	this.previewOffset <= 4_294_967_275
post	this.previewRect == One-of{old this.previewRect, &new Rectangle(paint#4)}
post	this.previewRect != null
post	new Rectangle(paint#4) num objects <= 1
test_vector	this.previewRect: Addr_Set{null}, Inverse{null}
test_vector	this.preview: Inverse{null}, Addr_Set{null}
test_vector	this.showHex: {0}, {1}
test_vector	this.showIrc: {0}, {1}
test_vector	java.awt.Rectangle:equals(...)@131: {1}, {0}

method not available - call not analyzed Info call on Color com.dmdirc.addons.ui_swing. components.ColourPickerPanel:getBackground()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. ColourPickerPanel:getWidth()

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

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:getColour(int)

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. ColourPickerPanel:getWidth()

method not available - call not analyzed Info call on Color com.dmdirc.addons.ui_swing. components.ColourPickerPanel:getBackground()

method not available - call not analyzed Info call on int com.dmdirc.addons.ui_swing.components. ColourPickerPanel:getWidth()

method	Color getHexColour(MouseEvent)
pre	e != null
pre	init'ed(this.hexOffset)
pre	init'ed(this.saturation)
presumption	java.awt.event.MouseEvent:getX(...)@239 >= -2³¹+7
presumption	java.awt.event.MouseEvent:getY(...)@240 - this.hexOffset in {-4_294_967_170..2_147_483_773}
post	return_value == &new Color(getHexColour#1)
post	new Color(getHexColour#1) num objects == 1

method	Color getIrcColour(MouseEvent)
pre	e != null
post	init'ed(return_value)

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:getColour(int)

method	void addActionListener(ActionListener)
pre	this.listeners != null

method	void removeActionListener(ActionListener)
pre	this.listeners != null

method	void throwAction(int, String)
pre	this.listeners != null
presumption	java.util.Iterator:next(...)@285 != null
test_vector	java.util.Iterator:hasNext(...)@285: {0}, {1}

method	String toHex(int)
pre	value in {0..255}
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)

method	void mouseClicked(MouseEvent)
pre	(soft) e != null
pre	(soft) init'ed(this.saturation)
pre	(soft) init'ed(this.hexOffset)
pre	(soft) init'ed(this.ircOffset)
pre	(soft) this.listeners != null
presumption	java.awt.Color:getBlue(...)@326 in {0..255}
presumption	java.awt.Color:getGreen(...)@326 in {0..255}
presumption	java.awt.Color:getRed(...)@326 in {0..255}
post	init'ed(this.saturation)
unanalyzed	call on java.awt.Color:HSBtoRGB
unanalyzed	call on java.awt.Color
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on java.awt.event.ActionEvent
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.awt.event.ActionListener:actionPerform ed
test_vector	this.showHex: {0}, {1}
test_vector	this.showIrc: {0}, {1}
test_vector	java.awt.event.MouseEvent:getX(...)@311: {-2³¹..7}, {8..2³²-1}
test_vector	java.awt.event.MouseEvent:getX(...)@311: {151..2³²-1}, {-2³¹..150}
test_vector	java.awt.event.MouseEvent:getX(...)@322: {-2³¹..7}, {8..2³²-1}
test_vector	java.awt.event.MouseEvent:getX(...)@322: {132..2³²-1}, {-2³¹..131}
test_vector	java.awt.event.MouseEvent:getX(...)@329: {-2³¹..139}, {140..2³²-1}
test_vector	java.awt.event.MouseEvent:getX(...)@329: {156..2³²-1}, {-2³¹..155}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ColourPickerPanel:repaint()

method

void mousePressed(MouseEvent)

method

void mouseReleased(MouseEvent)

method

void mouseEntered(MouseEvent)

method

void mouseExited(MouseEvent)

method

void mouseDragged(MouseEvent)

method	void mouseMoved(MouseEvent)
pre	init'ed(this.previewRect)
pre	(soft) e != null
pre	(soft) init'ed(this.hexOffset)
pre	(soft) init'ed(this.ircOffset)
pre	(soft) init'ed(this.saturation)
post	init'ed(this.preview)
post	new Color(getHexColour#1) num objects <= 1
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on java.awt.Color:HSBtoRGB
unanalyzed	call on java.awt.Color
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
test_vector	this.showHex: {0}, {1}
test_vector	this.showIrc: {0}, {1}
test_vector	java.awt.event.MouseEvent:getX(...)@394: {-2³¹..7}, {8..2³²-1}
test_vector	java.awt.event.MouseEvent:getX(...)@394: {151..2³²-1}, {-2³¹..150}
test_vector	java.awt.event.MouseEvent:getX(...)@398: {-2³¹..7}, {8..2³²-1}
test_vector	java.awt.event.MouseEvent:getX(...)@398: {132..2³²-1}, {-2³¹..131}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ColourPickerPanel:repaint(Rectangle)

method	void mouseWheelMoved(MouseWheelEvent)
pre	(soft) e != null
pre	(soft) init'ed(this.saturation)
pre	(soft) init'ed(this.hexOffset)
pre	(soft) init'ed(this.ircOffset)
pre	(soft) init'ed(this.previewRect)
post	possibly_updated(this.preview)
post	this.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}
post	init'ed(this.saturation)
post	new Color(getHexColour#1) num objects <= 1
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getCol our
unanalyzed	call on java.awt.Color:HSBtoRGB
unanalyzed	call on java.awt.Color
unanalyzed	call on java.awt.event.MouseEvent:getX
unanalyzed	call on java.awt.event.MouseEvent:getY
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ColourPickerPanel:repaint
test_vector	this.showHex: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ColourPickerPanel:repaint()

	method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.components. ColourPickerPanel:getWidth()
	method not available - call not analyzed	Info	call on int com.dmdirc.addons.ui_swing.components. ColourPickerPanel:getHeight()