KaffeineSource.java

KaffeineSource.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.addons.mediasource_dcop.KaffeineSource()

Kind	Annotation Text

com.dmdirc.addons.mediasource_dcop.KaffeineSource__static_init

Kind	Annotation Text

String duration(long)

Kind	Annotation Text
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
test_vector	(secondsInput/60)%60: {10..59}, {-59..9}
test_vector	secondsInput%60: {10..59}, {-59..9}
test_vector	secondsInput/3_600: {-2_562_047_788_015_215..0}, {10..5_124_095_576_030_431}, {1..9}
test_vector	secondsInput/60: {-153_722_867_280_912_930..59}, {600..307_445_734_561_825_860}, {60..599}
test_vector	secondsInput: {-2⁶³..3_599}, {36_000..2⁶⁴-1}, {3_600..35_999}

String getAlbum()

Kind	Annotation Text
presumption	com.dmdirc.plugins.ExportedService:execute(...)@61 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager

String getAppName()

Kind	Annotation Text
post	return_value == &"Kaffeine"

String getArtist()

Kind	Annotation Text
presumption	com.dmdirc.plugins.ExportedService:execute(...)@61 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager

String getBitrate()

Kind	Annotation Text
post	return_value == null

String getFormat()

Kind	Annotation Text
post	return_value == null

String getLength()

Kind	Annotation Text
presumption	com.dmdirc.plugins.ExportedService:execute(...)@61 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager

MediaSourceState getState()

Kind	Annotation Text
presumption	com.dmdirc.plugins.ExportedService:execute(...)@61 != null
post	return_value in Addr_Set{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_init#1), &com.dmdirc.addons.nowplaying.MediaSourceState_ _static_init.new MediaSourceState(MediaSourceState_ _s...
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
test_vector	java.lang.Boolean:parseBoolean(...)@48: {0}, {1}
test_vector	java.util.List:size(...)@46: {-2³¹..0}, {1..2³²-1}

String getTime()

Kind	Annotation Text
presumption	com.dmdirc.plugins.ExportedService:execute(...)@61 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager

String getTitle()

Kind	Annotation Text
presumption	com.dmdirc.plugins.ExportedService:execute(...)@61 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager