method

com.dmdirc.addons.mediasource_dcop.AmarokSource__ static_init

method

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

method	MediaSourceState getState()
presumption	com.dmdirc.plugins.ExportedService:execute(...)@61 != null
presumption	java.util.List:get(...)@47 != 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.Integer:parseInt(...)@49: {0}, {1}, {2}, {-231..-1, 3..232-1}
test_vector	java.util.List:size(...)@46: {-231..0}, {1..232-1}

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

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	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 getTime()
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 getFormat()
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 getBitrate()
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