ColourManager.java

ColourManager.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void access$000()

Kind	Annotation Text
pre	(soft) IRC_COLOURS != null
pre	(soft) IRC_COLOURS.length >= 16
pre	(soft) IRC_COLOURS[...] != null
pre	(soft) init'ed(DEFAULT_COLOURS[...])
post	init'ed(IRC_COLOURS[...])
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionCo lour
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.awt.Color:equals
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove

void com.dmdirc.ui.messages.ColourManager$1()

Kind	Annotation Text

com.dmdirc.ui.messages.ColourManager$1__static_init

Kind	Annotation Text

void com.dmdirc.ui.messages.ColourManager()

Kind	Annotation Text

com.dmdirc.ui.messages.ColourManager__static_init

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@198 != null
presumption	init'ed(java.awt.Color.BLACK)
presumption	init'ed(java.awt.Color.BLUE)
presumption	init'ed(java.awt.Color.GRAY)
presumption	init'ed(java.awt.Color.LIGHT_GRAY)
presumption	init'ed(java.awt.Color.RED)
presumption	init'ed(java.awt.Color.WHITE)
presumption	init'ed(java.awt.Color.YELLOW)
post	COLOUR_CACHE == &new HashMap(ColourManager__ static_init#1)
post	DEFAULT_COLOURS == &new Color[](ColourManager__ static_init#2)
post	DEFAULT_COLOURS.length == 16
post	DEFAULT_COLOURS[0] == java.awt.Color.WHITE
post	DEFAULT_COLOURS[10] == &new Color(ColourManager __static_init#9)
post	DEFAULT_COLOURS[11] == &new Color(ColourManager __static_init#10)
post	DEFAULT_COLOURS[12] == java.awt.Color.BLUE
post	DEFAULT_COLOURS[13] == &new Color(ColourManager __static_init#11)
post	DEFAULT_COLOURS[14] == java.awt.Color.GRAY
post	DEFAULT_COLOURS[15] == java.awt.Color.LIGHT_GRAY
post	DEFAULT_COLOURS[...] == null
post	DEFAULT_COLOURS[...] == undefined
post	DEFAULT_COLOURS[1] == java.awt.Color.BLACK
post	DEFAULT_COLOURS[2] == &new Color(ColourManager_ _static_init#3)
post	DEFAULT_COLOURS[3] == &new Color(ColourManager_ _static_init#4)
post	DEFAULT_COLOURS[4] == java.awt.Color.RED
post	DEFAULT_COLOURS[5] == &new Color(ColourManager_ _static_init#5)
post	DEFAULT_COLOURS[6] == &new Color(ColourManager_ _static_init#6)
post	DEFAULT_COLOURS[7] == &new Color(ColourManager_ _static_init#7)
post	DEFAULT_COLOURS[8] == java.awt.Color.YELLOW
post	DEFAULT_COLOURS[9] == &new Color(ColourManager_ _static_init#8)
post	IRC_COLOURS == &new Color[](ColourManager__ static_init#12)
post	IRC_COLOURS.length == 16
post	init'ed(COLOUR_CACHE)
post	init'ed(DEFAULT_COLOURS[0])
post	init'ed(DEFAULT_COLOURS[12])
post	init'ed(DEFAULT_COLOURS[14])
post	init'ed(DEFAULT_COLOURS[15])
post	init'ed(DEFAULT_COLOURS[1])
post	init'ed(DEFAULT_COLOURS[4])
post	init'ed(DEFAULT_COLOURS[8])
post	new Color(ColourManager__static_init#10) num objects == 1
post	new Color(ColourManager__static_init#11) num objects == 1
post	new Color(ColourManager__static_init#3) num objects == 1
post	new Color(ColourManager__static_init#4) num objects == 1
post	new Color(ColourManager__static_init#5) num objects == 1
post	new Color(ColourManager__static_init#6) num objects == 1
post	new Color(ColourManager__static_init#7) num objects == 1
post	new Color(ColourManager__static_init#8) num objects == 1
post	new Color(ColourManager__static_init#9) num objects == 1
post	new Color[](ColourManager__static_init#12) num objects == 1
post	new Color[](ColourManager__static_init#2) num objects == 1
post	new HashMap(ColourManager__static_init#1) num objects == 1
post	possibly_updated(IRC_COLOURS[...])
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionCo lour
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.awt.Color:equals
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove

void configChanged(String, String)

Kind	Annotation Text
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 16
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS[...] != null
pre	(soft) init'ed(com.dmdirc.ui.messages. ColourManager__static_init.new Color[](ColourManage r__static_init#2)[...])
post	init'ed(com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS[...])
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionCo lour
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.awt.Color:equals
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove

Color getColour(int)

Kind	Annotation Text
pre	(soft) IRC_COLOURS != null
pre	(soft) IRC_COLOURS.length - number in {-2³²+1..-16, 1..+Inf}
pre	(soft) init'ed(IRC_COLOURS[...])
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	init'ed(java.awt.Color.WHITE)
post	init'ed(return_value)
post	return_value == One-of{IRC_COLOURS[...], java.awt.Color.WHITE}
test_vector	number: {-2³¹..-1}, {16..2³²-1}, {0..15}

Color getColour(String)

Kind	Annotation Text
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	init'ed(java.awt.Color.WHITE)
post	init'ed(return_value)
test_vector	java.util.Map:containsKey(...)@136: {0}, {1}

String getHex(Color)

Kind	Annotation Text
pre	colour != null
presumption	java.awt.Color:getBlue(...)@178 in {0..255}
presumption	java.awt.Color:getGreen(...)@177 in {0..255}
presumption	java.awt.Color:getRed(...)@176 in {0..255}
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)

void initColours()

Kind	Annotation Text
pre	(soft) IRC_COLOURS != null
pre	(soft) IRC_COLOURS.length >= 16
pre	(soft) IRC_COLOURS[...] != null
pre	(soft) init'ed(DEFAULT_COLOURS[...])
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@64 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@65 != null
post	init'ed(IRC_COLOURS[...])
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
test_vector	com.dmdirc.config.ConfigManager:hasOptionColour(... )@64: {0}, {1}
test_vector	java.awt.Color:equals(...)@68: {1}, {0}

Color parseColour(String)

Kind	Annotation Text
pre	(soft) IRC_COLOURS != null
pre	(soft) IRC_COLOURS.length >= 1
pre	(soft) init'ed(IRC_COLOURS[...])
presumption	init'ed(java.awt.Color.WHITE)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put

Color parseColour(String, Color)

Kind	Annotation Text
pre	(soft) IRC_COLOURS != null
pre	(soft) IRC_COLOURS.length >= 1
pre	(soft) init'ed(IRC_COLOURS[...])
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
test_vector	java.lang.Integer:parseInt(...)@95: {16..2³²-1}, {0..15}
test_vector	java.lang.String:length(...)@103: {0..5, 7..2³²-1}, {6}
test_vector	java.lang.String:length(...)@91: {3.. 2³²-1}, {0..2}
test_vector	java.util.Map:containsKey(...)@84: {0}, {1}
test_vector	spec: Addr_Set{null}, Inverse{null}

String toHex(int)

Kind	Annotation Text
pre	value in {0..255}
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)