VlcMediaSourcePlugin.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_vlc.VlcMediaSourcePlugin()

    • Kind Annotation Text
    postnew HashMap(VlcMediaSourcePlugin#1) num objects == 1
    postthis.information == &new HashMap(VlcMediaSource Plugin#1)

  • com.dmdirc.addons.mediasource_vlc.VlcMediaSourcePlugin__static_init

    • Kind Annotation Text

  • bool fetchInformation()

    • Kind Annotation Text
    prethis.information != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@228 != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@231 != null
    presumptioncom.dmdirc.util.Downloader:getPage(...)@228 != null
    presumptioncom.dmdirc.util.Downloader:getPage(...)@231 != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.Integer:toString
    unanalyzedcall on java.lang.String:endsWith
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:indexOf
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map:put

  • String getAlbum()

    • Kind Annotation Text
    prethis.information != null
    postinit'ed(return_value)

  • String getAppName()

    • Kind Annotation Text
    postreturn_value == &"VLC"

  • String getArtist()

    • Kind Annotation Text
    prethis.information != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    test_vectorjava.util.Map:containsKey(...)@81: {0}, {1}

  • String getBitrate()

    • Kind Annotation Text
    prethis.information != null
    postinit'ed(return_value)

  • String getFallbackArtist()

    • Kind Annotation Text
    prethis.information != null
    presumptioninit'ed(java.io.File.separator)
    presumptioninit'ed(java.io.File.separatorChar)
    presumptionjava.util.Map:get(...)@96 != null
    postreturn_value == &"unknown"
    test_vectorjava.util.Map:containsKey(...)@93: {0}, {1}

  • String getFallbackTitle()

    • Kind Annotation Text
    prethis.information != null
    presumptioninit'ed(java.io.File.separatorChar)
    presumptionjava.lang.String:indexOf(...)@140 <= 232-2
    presumptionjava.util.Map:get(...)@133 != null
    postjava.lang.String:substring(...)._tainted == 0
    postreturn_value != null
    test_vectorjava.lang.String:indexOf(...)@140: {-231. .-1}, {0..232-2}
    test_vectorjava.util.Map:containsKey(...)@130: {0}, {1}

  • String getFormat()

    • Kind Annotation Text
    prethis.information != null
    postinit'ed(return_value)

  • String getLength()

    • Kind Annotation Text
    prethis.information != null
    postinit'ed(return_value)

  • MediaSourceState getState()

    • Kind Annotation Text
    prethis.information != null
    presumptionjava.util.Map:get(...)@57 != null
    postreturn_value in Addr_Set{&amp;com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_init#1), &amp;com.dmdirc.addons.nowplaying.MediaSourceState_ _static_init.new MediaSourceState(MediaSourceState_ _s...
    unanalyzedcall on com.dmdirc.addons.mediasource_vlc. VlcMediaSourcePlugin:getDomain
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.util.Downloader:getPage
    unanalyzedcall on java.lang.Integer:toString
    unanalyzedcall on java.lang.String:endsWith
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:indexOf
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map:clear
    unanalyzedcall on java.util.Map:put
    test_vectorjava.lang.String:equalsIgnoreCase(...)@58: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@60: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@62: {0}, {1}

  • String getTime()

    • Kind Annotation Text
    prethis.information != null
    postinit'ed(return_value)

  • String getTitle()

    • Kind Annotation Text
    prethis.information != null
    postinit'ed(return_value)
    postjava.lang.String:substring(...)._tainted == 0
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.String:indexOf
    unanalyzedcall on java.lang.String:lastIndexOf
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    test_vectorjava.util.Map:containsKey(...)@117: {0}, {1}

  • void onLoad()

    • Kind Annotation Text

  • void onUnload()

    • Kind Annotation Text

  • void parseInformation(List, List)

    • Kind Annotation Text
    pre(soft) this.information != null
    preres != null
    preres2 != null
    presumptionjava.lang.String:indexOf(...)@258 <= 232-2
    presumptionjava.lang.String:indexOf(...)@302 <= 232-2
    presumptionjava.util.Iterator:next(...)@254 != null
    presumptionjava.util.Iterator:next(...)@270 != null
    test_vectorjava.lang.String:endsWith(...)@285: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@277: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@279: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@297: {0}, {1}
    test_vectorjava.lang.String:isEmpty(...)@288: {1}, {0}
    test_vectorjava.lang.String:startsWith(...)@257: {0}, {1}
    test_vectorjava.lang.String:startsWith(...)@274: {0}, {1}
    test_vectorjava.lang.String:startsWith(...)@281: {0}, {1}
    test_vectorjava.lang.String:startsWith(...)@299: {0}, {1}
    test_vectorjava.lang.String:startsWith(...)@301: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@254: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@270: {0}, {1}

  • void showConfig(PreferencesManager)

    • Kind Annotation Text
    premanager != null
    presumptioncom.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@213 != null
    presumptioninit'ed(com.dmdirc.config.prefs.PreferencesType. TEXT)
    unanalyzedcall on com.dmdirc.addons.mediasource_vlc. InstructionsPanel:add
    unanalyzedcall on com.dmdirc.addons.mediasource_vlc. InstructionsPanel:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on net.miginfocom.swing.MigLayout