method

com.dmdirc.addons.mediasource_dcop.KaffeineSource_ _static_init

method

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

method	MediaSourceState getState()
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.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute
test_vector	java.lang.Boolean:parseBoolean(...)@48: {0}, {1}
test_vector	java.util.List:size(...)@46: {-231..0}, {1..232-1}

method	String getAppName()
post	return_value == &"Kaffeine"

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

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

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

method	String getLength()
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.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute

method	String getTime()
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.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute

method	String getFormat()
post	return_value == null

method	String getBitrate()
post	return_value == null

method	String duration(long)
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: {-263..3_599}, {36_000..264-1}, {3_600..35_999}
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}