ChannelClientInfo.java

ChannelClientInfo.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.parser.irc.ChannelClientInfo(IRCParser, ClientInfo, ChannelInfo)

Kind	Annotation Text
pre	(soft) client.myParser.stringConverter.lowercase != null
pre	(soft) init'ed(client.myParser.stringConverter. lowercase[...])
pre	channel != null
pre	channel.sName != null
pre	client != null
pre	client.myChannelClientInfos != null
pre	client.myParser != null
pre	init'ed(client.myParser.stringConverter)
post	client.myParser.stringConverter != null
post	client.myParser.stringConverter == One-of{old client.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
post	init'ed(this.myParser)
post	new HashMap(ChannelClientInfo#1) num objects == 1
post	new IRCStringConverter(getIRCStringConverter#1) num objects <= 1
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) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new char[](IRCStringConverter#1).length == 127
post	new char[](IRCStringConverter#2) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new char[](IRCStringConverter#2).length == 127
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	possibly_updated(new char[](IRCStringConverter#2)[...])
post	this.cClient != null
post	this.cClient == client
post	this.myChannel != null
post	this.myChannel == channel
post	this.myMap == &new HashMap(ChannelClientInfo#1)
post	this.myParser == tParser
unanalyzed	call on getChannel
unanalyzed	call on getName
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:put

com.dmdirc.parser.irc.ChannelClientInfo__static_init

Kind	Annotation Text

long getChanMode()

Kind	Annotation Text
pre	init'ed(this.nModes)
post	init'ed(return_value)
post	return_value == this.nModes

String getChanModeStr(bool)

Kind	Annotation Text
pre	(soft) this.myParser.hPrefixMap != null
pre	(soft) this.myParser.hPrefixModes != null
pre	init'ed(this.myParser.nNextKeyPrefix)
pre	init'ed(this.nModes)
pre	this.myParser != 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}

ChannelInfo getChannel()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.myChannel

ClientInfo getClient()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.cClient

String getImportantMode()

Kind	Annotation Text
pre	(soft) this.myParser.hPrefixMap != null
pre	(soft) this.myParser.hPrefixModes != null
pre	init'ed(this.myParser.nNextKeyPrefix)
pre	init'ed(this.nModes)
pre	this.myParser != 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.lang.Character:charValue
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Long:longValue
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
test_vector	java.lang.String:isEmpty(...)@165: {1}, {0}

String getImportantModePrefix()

Kind	Annotation Text
pre	(soft) this.myParser.hPrefixMap != null
pre	(soft) this.myParser.hPrefixModes != null
pre	init'ed(this.myParser.nNextKeyPrefix)
pre	init'ed(this.nModes)
pre	this.myParser != 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.lang.Character:charValue
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Long:longValue
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
test_vector	java.lang.String:isEmpty(...)@177: {1}, {0}

long getImportantModeValue()

Kind	Annotation Text
pre	(soft) init'ed(this.nModes)
pre	init'ed(this.myParser.nNextKeyPrefix)
pre	this.myParser != null
post	return_value >= 0

Map getMap()

Kind	Annotation Text
pre	init'ed(this.myMap)
post	init'ed(return_value)
post	return_value == this.myMap

String getNickname()

Kind	Annotation Text
pre	init'ed(this.cClient.sNickname)
pre	this.cClient != null
post	init'ed(return_value)
post	return_value == this.cClient.sNickname

void kick(String)

Kind	Annotation Text
pre	(soft) init'ed(this.myParser.currentSocketState)
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) this.myParser.cMyself != null
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
pre	init'ed(this.cClient.sNickname)
pre	init'ed(this.myParser.out)
pre	sReason != null
pre	this.cClient != null
pre	this.myParser != null
post	init'ed(java.lang.String:substring(...)._tainted)
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	init'ed(new char[](IRCStringConverter#2).length)
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	possibly_updated(new char[](IRCStringConverter#1)[...])
post	possibly_updated(new char[](IRCStringConverter#2)[...])
post	possibly_updated(this.myParser.cMyself. myAwayReason)
post	this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
unanalyzed	call on call
unanalyzed	call on doSendString
unanalyzed	call on getListModeQueue
unanalyzed	call on java.io.PrintWriter:printf
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.util.LinkedList:contains
unanalyzed	call on java.util.LinkedList:offer
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Queue:offer
unanalyzed	call on setAwayReason

void setChanMode(long)

Kind	Annotation Text
post	init'ed(this.nModes)
post	this.nModes == nNewMode

void setMap(Map)

Kind	Annotation Text
post	init'ed(this.myMap)
post	this.myMap == newMap

String toFullString()

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

String toString()

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