Messages

method

com.dmdirc.parser.irc.ChannelClientInfo__static_ init

method	void com.dmdirc.parser.irc.ChannelClientInfo(IRCPa rser, ClientInfo, ChannelInfo)
pre	channel != null
pre	channel.sName != null
pre	client != null
pre	client.myChannelClientInfos != null
pre	client.myParser != null
pre	init'ed(client.myParser.stringConverter)
pre	(soft) client.myParser.stringConverter.lowercase != null
pre	(soft) init'ed(client.myParser.stringConverter. lowercase[...])
post	client.myParser.stringConverter == One-of{old client.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
post	client.myParser.stringConverter != null
post	this.cClient == client
post	this.cClient != null
post	this.myChannel == channel
post	this.myChannel != null
post	this.myMap == &new HashMap(ChannelClientInfo#1)
post	this.myParser == tParser
post	init'ed(this.myParser)
post	new HashMap(ChannelClientInfo#1) num objects == 1
post	new IRCStringConverter(getIRCStringConverter#1) num objects <= 1
post	new char[](IRCStringConverter#1) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new char[](IRCStringConverter#2) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new IRCStringConverter(getIRCStringConverter#1). limit == 4
post	new IRCStringConverter(getIRCStringConverter#1). lowercase == &new char[](IRCStringConverter#1)
post	new IRCStringConverter(getIRCStringConverter#1). uppercase == &new char[](IRCStringConverter#2)
post	new char[](IRCStringConverter#1).length == 127
post	new char[](IRCStringConverter#2).length == 127
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	possibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on getChannel
unanalyzed	call on getName
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String
unanalyzed	call on java.util.Map:put

method	void setMap(Map)
post	this.myMap == newMap
post	init'ed(this.myMap)

method	Map getMap()
pre	init'ed(this.myMap)
post	return_value == this.myMap
post	init'ed(return_value)

method	ClientInfo getClient()
post	return_value == this.cClient
post	init'ed(return_value)

method	ChannelInfo getChannel()
post	return_value == this.myChannel
post	init'ed(return_value)

method	String getNickname()
pre	this.cClient != null
pre	init'ed(this.cClient.sNickname)
post	return_value == this.cClient.sNickname
post	init'ed(return_value)

method	void setChanMode(long)
post	this.nModes == nNewMode
post	init'ed(this.nModes)

method	long getChanMode()
pre	init'ed(this.nModes)
post	return_value == this.nModes
post	init'ed(return_value)

method	String getChanModeStr(bool)
pre	this.myParser != null
pre	init'ed(this.myParser.nNextKeyPrefix)
pre	init'ed(this.nModes)
pre	(soft) this.myParser.hPrefixMap != null
pre	(soft) this.myParser.hPrefixModes != null
presumption	java.util.Iterator:next(...)@130 != null
presumption	java.util.Map:get(...)@131 != null
presumption	java.util.Map:get(...)@133 != null
presumption	java.util.Map:keySet(...)@130 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
test_vector	bPrefix: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@130: {0}, {1}

method	long getImportantModeValue()
pre	this.myParser != null
pre	init'ed(this.myParser.nNextKeyPrefix)
pre	(soft) init'ed(this.nModes)
post	return_value >= 0

method	String getImportantMode()
pre	this.myParser != null
pre	init'ed(this.myParser.nNextKeyPrefix)
pre	init'ed(this.nModes)
pre	(soft) this.myParser.hPrefixMap != null
pre	(soft) this.myParser.hPrefixModes != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == One-of{&java.lang. StringBuilder:toString(...)}
post	return_value in Addr_Set{&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Long:longValue
test_vector	java.lang.String:isEmpty(...)@165: {1}, {0}

method	String getImportantModePrefix()
pre	this.myParser != null
pre	init'ed(this.myParser.nNextKeyPrefix)
pre	init'ed(this.nModes)
pre	(soft) this.myParser.hPrefixMap != null
pre	(soft) this.myParser.hPrefixModes != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == One-of{&java.lang. StringBuilder:toString(...)}
post	return_value in Addr_Set{&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Long:longValue
test_vector	java.lang.String:isEmpty(...)@177: {1}, {0}

method	String toString()
pre	this.cClient != null
pre	init'ed(this.cClient.sNickname)
pre	this.myParser != null
pre	init'ed(this.myParser.nNextKeyPrefix)
pre	init'ed(this.nModes)
pre	(soft) this.myParser.hPrefixMap != null
pre	(soft) this.myParser.hPrefixModes != null
post	java.lang.StringBuilder:toString(...)._tainted == this.cClient.sNickname._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on getChanModeStr
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Long:longValue

method	void kick(String)
pre	sReason != null
pre	this.cClient != null
pre	init'ed(this.cClient.sNickname)
pre	this.myParser != null
pre	init'ed(this.myParser.out)
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) this.myParser.cMyself != null
pre	(soft) init'ed(this.myParser.currentSocketState)
pre	(soft) this.myParser.hChanModesOther != null
pre	(soft) this.myParser.hChannelList != null
pre	(soft) this.myParser.myCallbackManager != null
pre	(soft) this.myParser.myCallbackManager. callbackHash != null
post	init'ed(java.lang.String:substring(...)._tainted)
post	possibly_updated(this.myParser.cMyself. myAwayReason)
post	this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
post	init'ed(this.myParser.stringConverter)
post	new IRCStringConverter(getIRCStringConverter#1) num objects <= 1
post	new char[](IRCStringConverter#1) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new char[](IRCStringConverter#2) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
post	init'ed(new IRCStringConverter(getIRCStringConverte r#1).limit)
post	init'ed(new IRCStringConverter(getIRCStringConverte r#1).lowercase)
post	init'ed(new IRCStringConverter(getIRCStringConverte r#1).uppercase)
post	init'ed(new char[](IRCStringConverter#1).length)
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	init'ed(new char[](IRCStringConverter#2).length)
post	possibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on doSendString
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on call
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.io.PrintWriter:printf
unanalyzed	call on setAwayReason
unanalyzed	call on java.util.LinkedList
unanalyzed	call on getListModeQueue
unanalyzed	call on java.util.LinkedList:contains
unanalyzed	call on java.util.Queue:offer
unanalyzed	call on java.util.LinkedList:offer
unanalyzed	call on java.lang.System:currentTimeMillis

method	String toFullString()
pre	this.cClient != null
pre	init'ed(this.cClient.sNickname)
pre	this.myParser != null
pre	init'ed(this.myParser.nNextKeyPrefix)
pre	init'ed(this.nModes)
pre	(soft) this.myParser.hPrefixMap != null
pre	(soft) this.myParser.hPrefixModes != null
post	java.lang.StringBuilder:toString(...)._tainted == this.cClient.sNickname._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Long:longValue