NowPlayingCommand.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.nowplaying.NowPlayingCommand(NowPlayingPlugin)

    • Kind Annotation Text
    postinit'ed(this.parent)
    postthis.parent == parent

  • com.dmdirc.addons.nowplaying.NowPlayingCommand__static_init

    • Kind Annotation Text

  • void doSourceList(InputWindow, bool)

    • Kind Annotation Text
    prethis.parent != null
    prethis.parent.managers != null
    presumptiongetState(...).niceName@117 != null
    presumptiongetState(...)@117 != null
    presumptionjava.util.Iterator:next(...)@113 != null
    presumptionjava.util.List:size(...)@110 >= 1
    unanalyzedcall on com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on doSubstitution
    unanalyzedcall on getAlbum
    unanalyzedcall on getAppName
    unanalyzedcall on getArtist
    unanalyzedcall on getBitrate
    unanalyzedcall on getFormat
    unanalyzedcall on getLength
    unanalyzedcall on getSources
    unanalyzedcall on getState
    unanalyzedcall on getTime
    unanalyzedcall on getTitle
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator
    test_vectorgetState(...)@116: 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(...)@113: {0}, {1}
    test_vectorjava.util.List:isEmpty(...)@106: {0}, {1}

  • void execute(InputWindow, Server, MessageTarget, bool, CommandArguments)

    • Kind Annotation Text
    pre(soft) init'ed(this.parent.order)
    pre(soft) target != null
    pre(soft) this.parent != null
    pre(soft) this.parent.managers != null
    preargs != null
    presumptioncom.dmdirc.MessageTarget:getFrame(...)@77 != null
    presumptioncom.dmdirc.MessageTarget:getFrame(...)@89 != null
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@64 >= 1
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@67 >= 1
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@70 >= 2
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...)@64 != null
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...)@67 != null
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...)@69 != null
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...)@70 != null
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...)[0]@64 != null
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...)[0]@67 != null
    presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@77 != null
    presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@89 != null
    unanalyzedcall on com.dmdirc.addons.nowplaying. NowPlayingCommand:doTable
    unanalyzedcall on com.dmdirc.addons.nowplaying. NowPlayingCommand:sendLine
    unanalyzedcall on com.dmdirc.addons.nowplaying. NowPlayingPlugin:getDomain
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on doSubstitution
    unanalyzedcall on getAlbum
    unanalyzedcall on getAppName
    unanalyzedcall on getArtist
    unanalyzedcall on getBitrate
    unanalyzedcall on getFormat
    unanalyzedcall on getLength
    unanalyzedcall on getSources
    unanalyzedcall on getState
    unanalyzedcall on getTime
    unanalyzedcall on getTitle
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:isEmpty
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:size
    test_vectorcom.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@64: {0}, {1..+Inf}
    test_vectorcom.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@67: {0}, {1..+Inf}
    test_vectorcom.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@69: {0,1}, {2..+Inf}
    test_vectorgetState(...)@76: 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(MediaSo...
    test_vectorjava.lang.String:equalsIgnoreCase(...)@64: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@67: {0}, {1}

  • String getHelp()

    • Kind Annotation Text
    postreturn_value == &amp;"nowplaying [--sources|--sourc e <source>] - tells the channel the song you're currently playing"

  • String getInformation(MediaSource)

    • Kind Annotation Text
    presource != null
    prethis.parent != null
    presumptioncom.dmdirc.config.ConfigManager:getOption(...)@139 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@139 != null
    postreturn_value != null
    unanalyzedcall on getAlbum
    unanalyzedcall on getAppName
    unanalyzedcall on getArtist
    unanalyzedcall on getBitrate
    unanalyzedcall on getFormat
    unanalyzedcall on getLength
    unanalyzedcall on getState
    unanalyzedcall on getTime
    unanalyzedcall on getTitle
    unanalyzedcall on java.lang.String:replaceAll

  • String getName()

    • Kind Annotation Text
    postreturn_value == &amp;"nowplaying"

  • AdditionalTabTargets getSuggestions(int, List)

    • Kind Annotation Text
    pre(soft) previousArgs != null
    pre(soft) this.parent != null
    pre(soft) this.parent.managers != null
    presumptionjava.util.Iterator:next(...)@174 != null
    presumptionjava.util.List:get(...)@173 != null
    postnew AdditionalTabTargets(getSuggestions#1) num objects == 1
    postreturn_value == &amp;new AdditionalTabTargets(getSu ggestions#1)
    unanalyzedcall on getSources
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator
    test_vectorarg: {-231..-1, 2..232-1}, {0}, {1}
    test_vectorgetState(...)@175: Addr_Set{&amp;com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_ init#1)}, Inverse{&amp;com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaS...
    test_vectorjava.lang.String:equalsIgnoreCase(...)@173: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@174: {0}, {1}

  • bool showInHelp()

    • Kind Annotation Text
    postreturn_value == 1