IrcAddress.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.util.IrcAddress(String)

    • Kind Annotation Text
    preaddress != null
    presumptionjava.lang.String:equalsIgnoreCase(...)@86 == 1
    presumptionjava.net.URI:getHost(...)@102 != null
    presumptionjava.net.URI:getScheme(...)@84 != null
    presumptionjava.net.URI:getScheme(...)@86 != null
    postinit'ed(this.pass)
    postinit'ed(this.port)
    postinit'ed(this.server)
    postnew ArrayList(IrcAddress#1) num objects == 1
    postpossibly_updated(this.usesSSL)
    postthis.channels == &new ArrayList(IrcAddress#1)
    unanalyzedcall on java.lang.Exception
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.util.List:add
    test_vectorjava.lang.String:equalsIgnoreCase(...)@84: {0}, {1}
    test_vectorjava.net.URI:getPort(...)@98: {-231..-1}, {0..232-1}
    test_vectorjava.net.URI:getScheme(...)@84: Addr_Set{null}, Inverse{null}
    test_vectorjava.net.URI:getUserInfo(...)@90: Addr_Set{null}, Inverse{null}

  • com.dmdirc.util.IrcAddress__static_init

    • Kind Annotation Text

  • void connect()

    • Kind Annotation Text
    pre(soft) init'ed(this.pass)
    pre(soft) init'ed(this.port)
    pre(soft) init'ed(this.usesSSL)
    preinit'ed(this.channels)
    preinit'ed(this.server)
    presumptioncom.dmdirc.config.IdentityManager:getProfiles(... )@205 != null
    unanalyzedcall on com.dmdirc.Server
    unanalyzedcall on com.dmdirc.Server:join
    unanalyzedcall on com.dmdirc.ServerManager:getServerManager
    unanalyzedcall on com.dmdirc.ServerManager:getServersByAddres s
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:isEmpty

  • void connect(Identity)

    • Kind Annotation Text
    pre(soft) init'ed(this.pass)
    pre(soft) init'ed(this.port)
    pre(soft) init'ed(this.usesSSL)
    preinit'ed(this.channels)
    preinit'ed(this.server)
    presumptioncom.dmdirc.ServerManager:getServerManager(...)@214 != null
    presumptioncom.dmdirc.ServerManager:getServersByAddress(... )@214 != null
    presumptionjava.util.ArrayList:iterator(...)@221 != null
    presumptionjava.util.List:get(...)@220 != null
    test_vectorjava.util.Iterator:hasNext(...)@221: {0}, {1}
    test_vectorjava.util.List:isEmpty(...)@216: {0}, {1}

  • void doChannels(String)

    • Kind Annotation Text
    test_vectorchannels: Addr_Set{null}, Inverse{null}
    test_vectorjava.lang.String:charAt(...)@124: {47}, {0..46, 48..216-1}
    test_vectorjava.lang.String:length(...)@124: {0}, {1..232-1}

  • void doPass(String)

    • Kind Annotation Text
    postinit'ed(this.pass)
    postthis.pass == pass

  • void doPort(int)

    • Kind Annotation Text
    postinit'ed(this.port)
    postthis.port == port

  • void doServer(String)

    • Kind Annotation Text
    postinit'ed(this.server)
    postthis.server == server

  • List getChannels()

    • Kind Annotation Text
    preinit'ed(this.channels)
    postinit'ed(return_value)
    postreturn_value == this.channels

  • String getPassword()

    • Kind Annotation Text
    preinit'ed(this.pass)
    postinit'ed(return_value)
    postreturn_value == this.pass

  • int getPort()

    • Kind Annotation Text
    preinit'ed(this.port)
    postinit'ed(return_value)
    postreturn_value == this.port

  • String getServer()

    • Kind Annotation Text
    preinit'ed(this.server)
    postinit'ed(return_value)
    postreturn_value == this.server

  • bool isSSL()

    • Kind Annotation Text
    preinit'ed(this.usesSSL)
    postinit'ed(return_value)
    postreturn_value == this.usesSSL