method com.dmdirc.plugins.Plugin__static_init










method int compareTo(Object)
prex0 != null
postinit'ed(return_value)
unanalyzedcall on java.lang.Object:toString
unanalyzedcall on java.lang.String:compareTo










method void com.dmdirc.plugins.Plugin()
postthis.domainSet == 0
postthis.myDomain == &"plugin-unknown"










method void setDomain(String)
preinit'ed(this.domainSet)
postthis.domainSet == 1
postthis.myDomain == One-of{old this.myDomain, newDomain}
test_vectorthis.domainSet: {1}, {0}










method String getDomain()
preinit'ed(this.myDomain)
postreturn_value == this.myDomain
postinit'ed(return_value)










method void domainUpdated()










method ValidationResponse checkPrerequisites()
postreturn_value == &new ValidationResponse(checkPr erequisites#1)
postnew ValidationResponse(checkPrerequisites#1) num objects == 1









  method not available - call not analyzedInfocall on void com.dmdirc.config.prefs.validator. ValidationResponse()











method void showConfig(PreferencesManager)










method int compareTo(Plugin)
preo != null
postinit'ed(return_value)