Last Msg First Msg
























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










method void com.dmdirc.ui.IconManager()
presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@61 != null
postthis.icons == &new HashMap(IconManager#1)
postthis.images == &new HashMap(IconManager#2)
postnew HashMap(IconManager#1) num objects == 1
postnew HashMap(IconManager#2) num objects == 1









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on void com.dmdirc.config.ConfigManager:addCha ngeListener(String, ConfigChangeListener)











method IconManager getIconManager()
postreturn_value == &new IconManager(IconManager__ static_init#1)










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










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










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










method Image getScaledImage(Image, int, int)
preimage != null
postinit'ed(return_value)










method URL getIconURL(String)
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}









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:hasOpt ionString(String, String)
  method not available - call not analyzedInfocall on String com.dmdirc.config.ConfigManager:getO ption(String, String)










  method not available - call not analyzedInfocall on URL com.dmdirc.util.URLBuilder:buildURL(Str ing)










Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because defaultURL == null
Prev Msg Next Msg











method void configChanged(String, String)
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}