| Kind |
Annotation Text |
| presumption | com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@68 != null |
| post | init'ed(this.myServer.myThread) |
| post | init'ed(this.myServer.serverSocket) |
| post | new ArrayList(IdentdServer#1) num objects == 1 |
| post | new IdentdServer(onLoad#2) num objects == 1 |
| post | new ServerSocket(startServer#1) num objects <= 1 |
| post | new Thread(startServer#2) num objects <= 1 |
| post | this.myServer == &new IdentdServer(onLoad#2) |
| post | this.myServer.clientList == &new ArrayList(IdentdServer#1) |
| post | this.myServer.myPlugin != null |
| post | this.myServer.myPlugin == this |
| unanalyzed | call on com.dmdirc.addons.identd.IdentdPlugin:getDo main |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOptionIn t |
| unanalyzed | call on com.dmdirc.config.IdentityManager:getGlobal Config |
| unanalyzed | call on com.dmdirc.logger.Logger:userError |
| unanalyzed | call on com.dmdirc.plugins.PluginInfo:getRelativeFi lename |
| unanalyzed | call on com.dmdirc.plugins.PluginManager:delPlugin |
| unanalyzed | call on com.dmdirc.plugins.PluginManager:getPluginI nfoByName |
| unanalyzed | call on com.dmdirc.plugins.PluginManager:getPluginM anager |
| unanalyzed | call on com.dmdirc.plugins.PluginManager:updateAuto Load |
| unanalyzed | call on com.dmdirc.util.MapList:add |
| unanalyzed | call on java.io.IOException:getMessage |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.Thread |
| unanalyzed | call on java.lang.Thread:start |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.net.ServerSocket |
| unanalyzed | call on java.util.ArrayList |
| test_vector | com.dmdirc.config.ConfigManager:getOptionBool(... )@68: {0}, {1} |
| Kind |
Annotation Text |
| pre | (soft) this.myServer.clientList != null |
| pre | (soft) this.myServer.serverSocket != null |
| pre | init'ed(this.myServer.myThread) |
| pre | this.myServer != null |
| pre | this.servers != null |
| post | this.myServer.myThread == null |
| unanalyzed | call on close |
| unanalyzed | call on com.dmdirc.util.MapList:removeFromAll |
| unanalyzed | call on java.lang.Thread:interrupt |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.net.ServerSocket:close |
| unanalyzed | call on java.net.Socket:close |
| unanalyzed | call on java.util.List:clear |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on java.util.List:size |
| Kind |
Annotation Text |
| pre | (soft) arguments != null |
| pre | (soft) arguments.length >= 1 |
| pre | (soft) init'ed(arguments[0]) |
| pre | (soft) init'ed(this.myServer.myThread) |
| pre | (soft) this.myServer != null |
| pre | (soft) this.myServer.clientList != null |
| pre | (soft) this.myServer.myPlugin != null |
| pre | (soft) this.myServer.serverSocket != null |
| pre | (soft) this.servers != null |
| presumption | com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@103 != null |
| post | init'ed(this.myServer.myThread) |
| post | new ServerSocket(startServer#1) num objects <= 1 |
| post | new Thread(startServer#2) num objects <= 1 |
| post | this.myServer.myThread == One-of{old this.myServer.myThread, &new Thread(startServe r#2), null} |
| post | this.myServer.serverSocket != null |
| post | this.myServer.serverSocket == One-of{old this.myServer.serverSocket, &new ServerSocket(startServer#1)} |
| unanalyzed | call on close |
| unanalyzed | call on com.dmdirc.addons.identd.IdentdPlugin:getDo main |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOptionIn t |
| unanalyzed | call on com.dmdirc.config.IdentityManager:getGlobal Config |
| unanalyzed | call on com.dmdirc.logger.Logger:userError |
| unanalyzed | call on com.dmdirc.plugins.PluginInfo:getRelativeFi lename |
| unanalyzed | call on com.dmdirc.plugins.PluginManager:delPlugin |
| unanalyzed | call on com.dmdirc.plugins.PluginManager:getPluginI nfoByName |
| unanalyzed | call on com.dmdirc.plugins.PluginManager:getPluginM anager |
| unanalyzed | call on com.dmdirc.plugins.PluginManager:updateAuto Load |
| unanalyzed | call on java.io.IOException:getMessage |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.Thread |
| unanalyzed | call on java.lang.Thread:interrupt |
| unanalyzed | call on java.lang.Thread:start |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.net.ServerSocket |
| unanalyzed | call on java.net.ServerSocket:close |
| unanalyzed | call on java.net.Socket:close |
| unanalyzed | call on java.util.List:clear |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on java.util.List:size |
| test_vector | java.util.List:isEmpty(...)@94: {0}, {1} |