| method | void com.dmdirc.updater.components. PluginComponent(PluginInfo) |
| pre | plugin != null |
| presumption | com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@45 != null |
| presumption | com.dmdirc.plugins.PluginInfo:getVersion(...)@56 != null |
| post | this.plugin == plugin |
| post | this.plugin != null |
| unanalyzed | call on com.dmdirc.plugins.PluginInfo:getAddonID |
| unanalyzed | call on com.dmdirc.plugins.PluginInfo:getName |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOption |
| unanalyzed | call on getName |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.List:add |
| test_vector | com.dmdirc.config.ConfigManager:hasOptionInt(... )@56: {0}, {1} |
| test_vector | com.dmdirc.plugins.PluginInfo:getAddonID(...)@56: {-231..0}, {1..232-1} |
|   |
method not available - call not analyzed | Info | call on int com.dmdirc.plugins.PluginInfo:getAddonI D() |
|   |
method not available - call not analyzed | Info | call on Version com.dmdirc.plugins.PluginInfo:getVe rsion() |
|   |
method not available - call not analyzed | Info | call on String com.dmdirc.plugins.PluginInfo:getNam e() |
|   |
method not available - call not analyzed | Info | call on bool com.dmdirc.config.ConfigManager:hasOpt ionInt(String, String) |
| method | bool doInstall(String) |
| pre | this.plugin != null |
| post | init'ed(return_value) |
| test_vector | com.dmdirc.plugins.PluginInfo:isLoaded(...)@100: {1}, {0} |
| test_vector | com.dmdirc.plugins.PluginInfo:isLoaded(...)@114: {0}, {1} |
| test_vector | com.dmdirc.plugins.PluginInfo:isLoaded(...)@96: {1}, {0} |
| test_vector | com.dmdirc.plugins.PluginInfo:isUnloadable(... )@100: {1}, {0} |
| test_vector | com.dmdirc.plugins.PluginInfo:isUnloadable(... )@96: {1}, {0} |
| test_vector | java.io.File:exists(...)@104: {0}, {1} |
| test_vector | java.io.File:exists(...)@96: {0}, {1} |
| test_vector | java.io.File:renameTo(...)@100: {1}, {0} |