IdentClient.java

current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void close()

    • Kind Annotation Text
    pre(soft) this.mySocket != null
    preinit'ed(this.myThread)
    postthis.myThread == null
    test_vectorthis.myThread: Addr_Set{null}, Inverse{null}

  • void com.dmdirc.addons.identd.IdentClient(IdentdServer, Socket, IdentdPlugin)

    • Kind Annotation Text
    postinit'ed(this.myPlugin)
    postinit'ed(this.myServer)
    postinit'ed(this.mySocket)
    postnew Thread(IdentClient#1) num objects == 1
    postthis.myPlugin == plugin
    postthis.myServer == server
    postthis.mySocket == socket
    postthis.myThread == &new Thread(IdentClient#1)

  • com.dmdirc.addons.identd.IdentClient__static_init

    • Kind Annotation Text

  • String escapeString(String)

    • Kind Annotation Text
    prestr != null
    postreturn_value != null

  • String getIdentResponse(String, ConfigManager)

    • Kind Annotation Text
    preinput != null
    postcom/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
    postinit'ed(new ServerManager(getServerManager#1). servers)
    postinit'ed(return_value)
    postnew ArrayList(ServerManager#1) num objects == 0
    postnew ServerManager(getServerManager#1) num objects == 0
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getLocalPor t
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:iterator

  • Server getServerByPort(int)

    • Kind Annotation Text
    preinit'ed(com/dmdirc/ServerManager.me)
    presumptionjava.util.Iterator:next(...)@207 != null
    presumptionserver.parser@207 != null
    postcom/dmdirc/ServerManager.me != null
    postcom/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
    postinit'ed(return_value)
    postnew ArrayList(ServerManager#1) num objects <= 1
    postnew ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
    postnew ServerManager(getServerManager#1).servers == &amp;new ArrayList(ServerManager#1)
    unanalyzedcall on java.util.ArrayList
    test_vectorjava.util.Iterator:hasNext(...)@207: {0}, {1}

  • void run()

    • Kind Annotation Text
    pre(soft) init'ed(this.myThread)
    pre(soft) this.mySocket != null
    prethis.myServer != null
    prethis.myServer.clientList != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
    postcom/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &amp;new ServerManager(getServerManager#1)}
    postinit'ed(new ServerManager(getServerManager#1). servers)
    postnew ArrayList(ServerManager#1) num objects <= 1
    postnew ServerManager(getServerManager#1) num objects <= 1
    unanalyzedcall on com.dmdirc.addons.identd.IdentdPlugin:getDo main
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getLocalPor t
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMyNickna me
    unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMyUserna me
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:format
    unanalyzedcall on java.lang.String:indexOf
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.List:size

  • String unescapeString(String)

    • Kind Annotation Text
    prestr != null
    postreturn_value != null