IRCAuthenticator.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addAuthentication(ServerInfo)

    • Kind Annotation Text
    pre(soft) server.proxyHost != null
    pre(soft) this.replies != null
    preinit'ed(server.proxyPass)
    preinit'ed(server.proxyPort)
    preinit'ed(server.proxyUser)
    preserver != null
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:toCharArray
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.net.PasswordAuthentication
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove

  • void addAuthentication(String, int, String, String)

    • Kind Annotation Text
    pre(soft) host != null
    pre(soft) this.replies != null
    test_vectorjava.lang.String:isEmpty(...)@101: {0}, {1}
    test_vectorjava.lang.String:isEmpty(...)@101: {1}, {0}
    test_vectorjava.util.Map:containsKey(...)@107: {0}, {1}
    test_vectorpassword: Addr_Set{null}, Inverse{null}
    test_vectorusername: Addr_Set{null}, Inverse{null}

  • void com.dmdirc.parser.irc.IRCAuthenticator()

    • Kind Annotation Text
    postnew HashMap(IRCAuthenticator#1) num objects == 1
    postthis.replies == &new HashMap(IRCAuthenticator#1 )

  • com.dmdirc.parser.irc.IRCAuthenticator__static_init

    • Kind Annotation Text
    postme == null

  • IRCAuthenticator getIRCAuthenticator()

    • Kind Annotation Text
    preinit'ed(me)
    postme != null
    postme == One-of{old me, &new IRCAuthenticator(getI RCAuthenticator#1)}
    postnew HashMap(IRCAuthenticator#1) num objects <= 1
    postnew IRCAuthenticator(getIRCAuthenticator#1) num objects <= 1
    postnew IRCAuthenticator(getIRCAuthenticator#1). replies == &amp;new HashMap(IRCAuthenticator#1)
    postreturn_value == me
    unanalyzedcall on java.net.Authenticator
    unanalyzedcall on java.net.Authenticator:setDefault
    unanalyzedcall on java.util.HashMap
    test_vectorme: Inverse{null}, Addr_Set{null}

  • PasswordAuthentication getPasswordAuthentication()

    • Kind Annotation Text
    prethis.replies != null
    presumptioncom.dmdirc.parser.irc.IRCAuthenticator:getRequestin gHost(...)@127 != null
    postinit'ed(return_value)