method com.dmdirc.ui.themes.ThemeIdentity__static_init










method void com.dmdirc.ui.themes.ThemeIdentity(InputStrea m, Theme)
presumptionthis.myTarget@59 != null
postthis.myTarget != null
postthis.theme == theme
postinit'ed(this.theme)









  method not available - call not analyzedInfocall on void com.dmdirc.config.Identity(InputStream , bool)










  method not available - call not analyzedInfocall on void com.dmdirc.config.ConfigTarget:setThem e()











method bool hasOption(String, String)
predomain != null
postinit'ed(return_value)
test_vectorjava.lang.String:equalsIgnoreCase(...)@68: {1}, {0}
test_vectorjava.lang.String:equalsIgnoreCase(...)@68: {0}, {1}









  method not available - call not analyzedInfocall on bool com.dmdirc.config.Identity:hasOption(S tring, String)











method String getOption(String, String)
pre(soft) this.theme != null
pre(soft) this.theme.file != null
postinit'ed(return_value)
unanalyzedcall on java.io.File:getName
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:substring
test_vectorcom.dmdirc.config.Identity:getOption(...)@80: Inverse{null}, Addr_Set{null}









  method not available - call not analyzedInfocall on String com.dmdirc.config.Identity:getOption (String, String)











method String getName()
postjava.lang.StringBuilder:toString(...)._tainted == 0
postreturn_value == &java.lang.StringBuilder:toStri ng(...)









  method not available - call not analyzedInfocall on String com.dmdirc.config.Identity:getName()