NowPlayingPlugin.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addPlugin(PluginInfo)

    • Kind Annotation Text
    pre(soft) this.managers != null
    pre(soft) this.order != null
    pre(soft) this.sources != null
    pretarget != null
    presumptionjava.util.Iterator:next(...)@156 != null
    presumptiontargetPlugin.sources@146 != null
    unanalyzedcall on getAppName
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    test_vectorjava.util.Iterator:hasNext(...)@156: {0}, {1}

  • void addSourceToOrder(MediaSource)

    • Kind Annotation Text
    presource != null
    prethis.order != null
    test_vectorjava.util.List:contains(...)@170: {1}, {0}

  • void com.dmdirc.addons.nowplaying.NowPlayingPlugin()

    • Kind Annotation Text
    postnew ArrayList(NowPlayingPlugin#1) num objects == 1
    postnew ArrayList(NowPlayingPlugin#2) num objects == 1
    postthis.managers == &new ArrayList(NowPlayingPlugi n#2)
    postthis.sources == &new ArrayList(NowPlayingPlugin #1)

  • com.dmdirc.addons.nowplaying.NowPlayingPlugin__static_init

    • Kind Annotation Text

  • String doSubstitution(String, MediaSource)

    • Kind Annotation Text
    preformat != null
    presource != null
    presumptiongetState(...)@251 != null
    postreturn_value != null

  • MediaSource getBestSource()

    • Kind Annotation Text
    preinit'ed(this.order)
    prethis.managers != null
    presumptionjava.util.Iterator:next(...)@221 != null
    postinit'ed(return_value)
    unanalyzedcall on getSources
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator
    test_vectorgetState(...)@222: Addr_Set{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_ init#1)}, Inverse{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaS...
    test_vectorgetState(...)@223: Inverse{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_ init#4)}, Addr_Set{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaS...
    test_vectorjava.util.Iterator:hasNext(...)@221: {0}, {1}

  • MediaSource getSource(String)

    • Kind Annotation Text
    prethis.managers != null
    presumptiongetAppName(...)@272 != null
    presumptionjava.util.Iterator:next(...)@271 != null
    postinit'ed(return_value)
    unanalyzedcall on getSources
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator
    test_vectorjava.lang.String:equalsIgnoreCase(...)@272: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@271: {0}, {1}

  • List getSources()

    • Kind Annotation Text
    prethis.managers != null
    presumptionjava.util.Iterator:next(...)@288 != null
    postnew ArrayList(getSources#1) num objects == 1
    postreturn_value == &new ArrayList(getSources#1)
    test_vectorjava.util.Iterator:hasNext(...)@288: {0}, {1}

  • bool hasRunningSource()

    • Kind Annotation Text
    prethis.managers != null
    presumptionjava.util.Iterator:next(...)@198 != null
    postinit'ed(return_value)
    unanalyzedcall on getSources
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator
    test_vectorgetState(...)@199: Addr_Set{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_ init#1)}, Inverse{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaS...
    test_vectorjava.util.Iterator:hasNext(...)@198: {0}, {1}

  • void loadSettings()

    • Kind Annotation Text
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@121 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@122 != null
    postinit'ed(this.order)
    postnew ArrayList(loadSettings#1) num objects <= 1
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@121: {0}, {1}

  • void onLoad()

    • Kind Annotation Text
    prethis.managers != null
    prethis.sources != null
    presumptioncom.dmdirc.plugins.PluginManager:getPluginInfos(... )@79 != null
    presumptioncom.dmdirc.plugins.PluginManager:getPluginManager(. ..)@79 != null
    presumptioninit'ed(com.dmdirc.actions.CoreActionType.PLUGIN_ LOADED)
    presumptioninit'ed(com.dmdirc.actions.CoreActionType.PLUGIN_ UNLOADED)
    presumptionjava.util.Iterator:next(...)@79 != null
    postinit'ed(this.order)
    postnew ArrayList(loadSettings#1) num objects <= 1
    postnew NowPlayingCommand(onLoad#2) num objects == 1
    postthis.command == &amp;new NowPlayingCommand(onLoad#2 )
    postthis.command.parent != null
    postthis.command.parent == this
    unanalyzedcall on com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain
    unanalyzedcall on com.dmdirc.commandparser.CommandManager:reg isterCommand
    unanalyzedcall on com.dmdirc.commandparser.commands. ChatCommand
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionLi st
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.plugins.PluginInfo:getPlugin
    unanalyzedcall on getAppName
    unanalyzedcall on getSources
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    test_vectorcom.dmdirc.plugins.PluginInfo:isLoaded(...)@80: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@79: {0}, {1}

  • void onUnload()

    • Kind Annotation Text
    preinit'ed(this.command)
    prethis.managers != null
    prethis.sources != null

  • void processEvent(ActionType, StringBuffer, Object[])

    • Kind Annotation Text
    pre(soft) arguments != null
    pre(soft) arguments.length >= 1
    pre(soft) arguments[0] != null
    pre(soft) this.managers != null
    pre(soft) this.order != null
    pre(soft) this.sources != null
    presumptioninit'ed(com.dmdirc.actions.CoreActionType.PLUGIN_ LOADED)
    presumptioninit'ed(com.dmdirc.actions.CoreActionType.PLUGIN_ UNLOADED)
    unanalyzedcall on com.dmdirc.plugins.PluginInfo:getPlugin
    unanalyzedcall on getAppName
    unanalyzedcall on getSources
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove

  • void removePlugin(PluginInfo)

    • Kind Annotation Text
    pre(soft) this.managers != null
    pre(soft) this.sources != null
    pretarget != null

  • void saveSettings(List)

    • Kind Annotation Text
    presumptioncom.dmdirc.config.IdentityManager:getConfigIdentity (...)@116 != null
    postinit'ed(this.order)
    postthis.order == newOrder

  • void showConfig(PreferencesManager)

    • Kind Annotation Text
    preinit'ed(this.order)
    premanager != null
    presumptioncom.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@106 != null
    unanalyzedcall on com.dmdirc.addons.nowplaying. ConfigPanel:add
    unanalyzedcall on com.dmdirc.addons.nowplaying. ConfigPanel:setLayout
    unanalyzedcall on com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. reorderablelist.ReorderableJList:getModel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionsPanel
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on java.util.Arrays:asList
    unanalyzedcall on java.util.LinkedList
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Timer
    unanalyzedcall on java.util.Timer:cancel
    unanalyzedcall on java.util.Timer:schedule
    unanalyzedcall on java.util.TimerTask
    unanalyzedcall on javax.swing.BorderFactory:createTitledBorde r
    unanalyzedcall on javax.swing.DefaultListModel:addElement
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JPanel:add
    unanalyzedcall on javax.swing.JPanel:setBorder
    unanalyzedcall on javax.swing.JPanel:setLayout
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JTextField
    unanalyzedcall on javax.swing.JTextField:addKeyListener
    unanalyzedcall on net.miginfocom.swing.MigLayout