| method | void actionPerformed(ActionEvent) |
| pre | (soft) com.dmdirc.addons.addonbrowser. InstallListener$1__static_init.new int[](InstallLis tener$1__static_init#1)[...] not in {2,3} |
| pre | (soft) init'ed(com/dmdirc/Main.configdir) |
| pre | (soft) this.info != null |
| pre | (soft) this.info.type != null |
| presumption | com.dmdirc.addons.addonbrowser.AddonInfo_ AddonType:ordinal(...)@67 in {0..2} |
| presumption | init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM) |
| presumption | java.io.File:createTempFile(...)@61 != null |
| post | init'ed(com/dmdirc/Main.configdir) |
| post | possibly_updated(com/dmdirc/ServerManager.me) |
| post | java.lang.StringBuilder:toString(...)._tainted == 0 |
| post | init'ed(new ArrayList(ServerManager#1) num objects) |
| post | init'ed(new ServerManager(getServerManager#1) num objects) |
| post | init'ed(new ServerManager(getServerManager#1). servers) |
| unanalyzed | call on com.dmdirc.logger.Logger:assertTrue |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.util.Map:values |
| unanalyzed | call on java.util.Collection:iterator |
| unanalyzed | call on getConfigDir |
| unanalyzed | call on java.lang.System:getProperty |
| unanalyzed | call on java.io.File:isDirectory |
| unanalyzed | call on java.io.File:getName |
| unanalyzed | call on java.util.Map:containsKey |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.io.File:listFiles |
| unanalyzed | call on com.dmdirc.actions.Action |
| unanalyzed | call on com.dmdirc.updater.components. ActionGroupComponent |
| unanalyzed | call on com.dmdirc.util.MapList:clear |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on java.util.ArrayList:iterator |
| unanalyzed | call on remove |
| unanalyzed | call on getTriggers |
| unanalyzed | call on java.lang.Object:equals |
| unanalyzed | call on getCommandName |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on getTabCompleter |
| unanalyzed | call on com.dmdirc.ui.input.TabCompleter:removeEntr y |
| unanalyzed | call on getConditions |
| unanalyzed | call on com.dmdirc.commandparser.CommandManager:get CommandChar |
| unanalyzed | call on java.util.Map:clear |
| unanalyzed | call on java.io.File |
| unanalyzed | call on java.io.File:exists |
| unanalyzed | call on java.io.File:mkdirs |
| unanalyzed | call on java.io.File:createNewFile |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.io.IOException:getMessage |
| unanalyzed | call on com.dmdirc.logger.Logger:userError |
| unanalyzed | call on java.io.File:delete |
| unanalyzed | call on com.dmdirc.util.resourcemanager. ZipResourceManager:getInstance |
| unanalyzed | call on com.dmdirc.util.resourcemanager. ZipResourceManager:extractResources |
| unanalyzed | call on com.dmdirc.util.ConfigFile |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on java.lang.System:getenv |
| unanalyzed | call on com.dmdirc.util.ConfigFile:read |
| unanalyzed | call on loadActionFromConfig |
| unanalyzed | call on com.dmdirc.util.InvalidConfigFileException: getMessage |
| test_vector | com.dmdirc.addons.addonbrowser.InstallListener$1__ static_init.new int[](InstallListener$1__static_ init#1)[...]: {1}, {-231..0, 4..232-1} |