Messages

method	com.dmdirc.parser.irc.IRCAuthenticator__static_ init
post	me == null

method	void com.dmdirc.parser.irc.IRCAuthenticator()
post	this.replies == &new HashMap(IRCAuthenticator#1 )
post	new HashMap(IRCAuthenticator#1) num objects == 1

method	IRCAuthenticator getIRCAuthenticator()
pre	init'ed(me)
post	me == One-of{old me, &new IRCAuthenticator(getI RCAuthenticator#1)}
post	me != null
post	return_value == me
post	new HashMap(IRCAuthenticator#1) num objects <= 1
post	new IRCAuthenticator(getIRCAuthenticator#1) num objects <= 1
post	new IRCAuthenticator(getIRCAuthenticator#1). replies == &new HashMap(IRCAuthenticator#1)
unanalyzed	call on java.net.Authenticator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.net.Authenticator:setDefault
test_vector	me: Inverse{null}, Addr_Set{null}

method	void addAuthentication(ServerInfo)
pre	server != null
pre	init'ed(server.proxyPass)
pre	init'ed(server.proxyPort)
pre	init'ed(server.proxyUser)
pre	(soft) server.proxyHost != null
pre	(soft) this.replies != null
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.net.PasswordAuthentication
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map:put

method	void addAuthentication(String, int, String, String)
pre	(soft) host != null
pre	(soft) this.replies != null
test_vector	password: Addr_Set{null}, Inverse{null}
test_vector	username: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:isEmpty(...)@101: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@101: {0}, {1}
test_vector	java.util.Map:containsKey(...)@107: {0}, {1}

method	PasswordAuthentication getPasswordAuthentication()
pre	this.replies != null
presumption	com.dmdirc.parser.irc.IRCAuthenticator:getRequestin gHost(...)@127 != null
post	init'ed(return_value)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCAuthenticator:getRequestingHost()

method not available - call not analyzed Info call on int com.dmdirc.parser.irc.IRCAuthenticator: getRequestingPort()