Last Msg First Msg
























method com.dmdirc.util.IrcAddress__static_init










method void com.dmdirc.util.IrcAddress(String)
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
postthis.channels == &new ArrayList(IrcAddress#1)
postinit'ed(this.pass)
postinit'ed(this.port)
postinit'ed(this.server)
postpossibly_updated(this.usesSSL)
postnew ArrayList(IrcAddress#1) num objects == 1
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:charAt
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.lang.String:equalsIgnoreCase
unanalyzedcall on java.lang.String:isEmpty
unanalyzedcall on java.util.List:add
unanalyzedcall on java.lang.Exception
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}










method void doPass(String)
postthis.pass == pass
postinit'ed(this.pass)










method void doChannels(String)
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}









Prev Msg Next Msg
  use of default init
Low Prob.
check if init'ed(arr$.length)
  use of default init
Low Prob.
check if init'ed(len$)
  test always goes same way
Low Prob.
Test predetermined because i$ == len$
  dead code
Low Prob.
Dead code here because i$ == len$
  dead code continuesInfoDead code continues
Prev Msg Next Msg










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues











method void doPort(int)
postthis.port == port
postinit'ed(this.port)










method void doServer(String)
postthis.server == server
postinit'ed(this.server)










method bool isSSL()
preinit'ed(this.usesSSL)
postreturn_value == this.usesSSL
postinit'ed(return_value)










method String getServer()
preinit'ed(this.server)
postreturn_value == this.server
postinit'ed(return_value)










method int getPort()
preinit'ed(this.port)
postreturn_value == this.port
postinit'ed(return_value)










method String getPassword()
preinit'ed(this.pass)
postreturn_value == this.pass
postinit'ed(return_value)










method List getChannels()
preinit'ed(this.channels)
postreturn_value == this.channels
postinit'ed(return_value)










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









  method not available - call not analyzedInfocall on List com.dmdirc.config.IdentityManager:getP rofiles()











method void connect(Identity)
preinit'ed(this.channels)
preinit'ed(this.server)
pre(soft) init'ed(this.pass)
pre(soft) init'ed(this.port)
pre(soft) init'ed(this.usesSSL)
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}









  method not available - call not analyzedInfocall on ServerManager com.dmdirc.ServerManager:getS erverManager()
  method not available - call not analyzedInfocall on List com.dmdirc.ServerManager:getServersByA ddress(String)










  method not available - call not analyzedInfocall on void com.dmdirc.Server(String, int, String, bool, Identity, List)










  method not available - call not analyzedInfocall on void com.dmdirc.Server:join(String)