IconManager.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.ui.IconManager()

    • Kind Annotation Text
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@61 != null
    postnew HashMap(IconManager#1) num objects == 1
    postnew HashMap(IconManager#2) num objects == 1
    postthis.icons == &new HashMap(IconManager#1)
    postthis.images == &new HashMap(IconManager#2)

  • com.dmdirc.ui.IconManager__static_init

    • Kind Annotation Text
    postME == &new IconManager(IconManager__static_ init#1)
    postME.icons == &new HashMap(IconManager#1)
    postME.images == &new HashMap(IconManager#2)
    postnew HashMap(IconManager#1) num objects == 1
    postnew HashMap(IconManager#2) num objects == 1
    postnew IconManager(IconManager__static_init#1) num objects == 1
    unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on java.util.HashMap

  • void configChanged(String, String)

    • Kind Annotation Text
    pre(soft) this.icons != null
    pre(soft) this.images != null
    test_vectorjava.lang.String:equals(...)@175: {0}, {1}
    test_vectorjava.util.Map:containsKey(...)@176: {0}, {1}
    test_vectorjava.util.Map:containsKey(...)@179: {0}, {1}

  • Icon getIcon(String)

    • Kind Annotation Text
    prethis.icons != null
    presumptionjava.awt.Toolkit:getDefaultToolkit(...)@83 != null
    presumptionjava.awt.Toolkit:getImage(...)@83 != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.util.URLBuilder:buildURL
    unanalyzedcall on java.awt.Image:getScaledInstance
    unanalyzedcall on java.lang.ClassLoader:getResource
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getContextClassLoader
    test_vectorjava.util.Map:containsKey(...)@85: {1}, {0}

  • IconManager getIconManager()

    • Kind Annotation Text
    postreturn_value == &new IconManager(IconManager__ static_init#1)

  • URL getIconURL(String)

    • Kind Annotation Text
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@149 != null
    presumptionjava.lang.ClassLoader:getResource(...)@161 != null
    presumptionjava.lang.Thread:currentThread(...)@145 != null
    presumptionjava.lang.Thread:getContextClassLoader(...)@145 != null
    postreturn_value != null
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@149: {0}, {1}
    test_vectorcom.dmdirc.util.URLBuilder:buildURL(...)@154: Inverse{null}, Addr_Set{null}
    test_vectorjava.lang.ClassLoader:getResource(...)@146: Addr_Set{null}, Inverse{null}

  • Image getImage(String)

    • Kind Annotation Text
    prethis.images != null
    presumptionjava.awt.Toolkit:getDefaultToolkit(...)@118 != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.util.URLBuilder:buildURL
    unanalyzedcall on java.lang.ClassLoader:getResource
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getContextClassLoader
    test_vectorjava.util.Map:containsKey(...)@117: {1}, {0}

  • Icon getScaledIcon(String, int, int)

    • Kind Annotation Text
    presumptionjavax.swing.ImageIcon:getImage(...)@104 != null
    postnew ImageIcon(getScaledIcon#1) num objects == 1
    postreturn_value == &new ImageIcon(getScaledIcon#1)
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.util.URLBuilder:buildURL
    unanalyzedcall on java.awt.Image:getScaledInstance
    unanalyzedcall on java.lang.ClassLoader:getResource
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Thread:currentThread
    unanalyzedcall on java.lang.Thread:getContextClassLoader

  • Image getScaledImage(Image, int, int)

    • Kind Annotation Text
    preimage != null
    postinit'ed(return_value)