AmarokSource.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.AmarokSource()

    • Kind Annotation Text

  • com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init

    • Kind Annotation Text

  • String getAlbum()

    • Kind Annotation Text
    presumptioncom.dmdirc.plugins.ExportedService:execute(...)@61 != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.plugins.ExportedService:execute
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getExporte dService
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getPluginM anager

  • String getAppName()

    • Kind Annotation Text
    postreturn_value == &"Amarok"

  • String getArtist()

    • Kind Annotation Text
    presumptioncom.dmdirc.plugins.ExportedService:execute(...)@61 != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.plugins.ExportedService:execute
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getExporte dService
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getPluginM anager

  • String getBitrate()

    • Kind Annotation Text
    presumptioncom.dmdirc.plugins.ExportedService:execute(...)@61 != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.plugins.ExportedService:execute
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getExporte dService
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getPluginM anager

  • String getFormat()

    • Kind Annotation Text
    presumptioncom.dmdirc.plugins.ExportedService:execute(...)@61 != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.plugins.ExportedService:execute
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getExporte dService
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getPluginM anager

  • String getLength()

    • Kind Annotation Text
    presumptioncom.dmdirc.plugins.ExportedService:execute(...)@61 != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.plugins.ExportedService:execute
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getExporte dService
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getPluginM anager

  • MediaSourceState getState()

    • Kind Annotation Text
    presumptioncom.dmdirc.plugins.ExportedService:execute(...)@61 != null
    presumptionjava.util.List:get(...)@47 != null
    postreturn_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...
    unanalyzedcall on com.dmdirc.plugins.ExportedService:execute
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getExporte dService
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getPluginM anager
    test_vectorjava.lang.Integer:parseInt(...)@49: {0}, {1}, {2}, {-231..-1, 3..232-1}
    test_vectorjava.util.List:size(...)@46: {-231..0}, {1..232-1}

  • String getTime()

    • Kind Annotation Text
    presumptioncom.dmdirc.plugins.ExportedService:execute(...)@61 != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.plugins.ExportedService:execute
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getExporte dService
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getPluginM anager

  • String getTitle()

    • Kind Annotation Text
    presumptioncom.dmdirc.plugins.ExportedService:execute(...)@61 != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.plugins.ExportedService:execute
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getExporte dService
    unanalyzedcall on com.dmdirc.plugins.PluginManager:getPluginM anager