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

    • Kind Annotation Text
    postnew ArrayList(DcopMediaSourcePlugin#1) num objects == 1
    postthis.sources == &new ArrayList(DcopMediaSourceP lugin#1)

  • com.dmdirc.addons.mediasource_dcop.DcopMediaSourcePlugin__static_init

    • Kind Annotation Text

  • List getDcopResult(String)

    • Kind Annotation Text
    presumptioncom.dmdirc.plugins.PluginManager:getExportedService (...)@61 != null
    presumptioncom.dmdirc.plugins.PluginManager:getPluginManager(. ..)@61 != null
    postinit'ed(return_value)

  • List getSources()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.sources

  • void onLoad()

    • Kind Annotation Text

  • void onUnload()

    • Kind Annotation Text