ClientInfo.java

ClientInfo.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void addChannelClientInfo(ChannelClientInfo)

Kind	Annotation Text
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	cci != null
pre	cci.myChannel != null
pre	cci.myChannel.sName != null
pre	init'ed(this.myParser.stringConverter)
pre	this.myChannelClientInfos != null
pre	this.myParser != null
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.myParser.stringConverter != null
post	this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:toCharArray
test_vector	java.util.Map:containsKey(...)@301: {1}, {0}

void alterMode(bool, Character)

Kind	Annotation Text
pre	(soft) init'ed(this.myParser.currentSocketState)
pre	(soft) init'ed(this.myParser.out)
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) init'ed(this.sNickname)
pre	(soft) this.lModeQueue != null
pre	(soft) this.myParser != null
pre	(soft) this.myParser.cMyself != null
pre	(soft) this.myParser.h005Info != null
pre	(soft) this.myParser.hChanModesOther != null
pre	(soft) this.myParser.hChannelList != null
pre	(soft) this.myParser.hUserModes != null
pre	(soft) this.myParser.myCallbackManager != null
pre	(soft) this.myParser.myCallbackManager. callbackHash != null
pre	init'ed(this.bIsFake)
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 <= 1
post	new char[](IRCStringConverter#2) num objects <= 1
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	possibly_updated(new char[](IRCStringConverter#2)[...])
post	possibly_updated(this...myAwayReason)
post	this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
unanalyzed	call on call
unanalyzed	call on callDebugInfo
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:format
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.List:clear
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:size
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
test_vector	java.util.List:contains(...)@373: {0}, {1}
test_vector	java.util.List:contains(...)@376: {0}, {1}
test_vector	java.util.Map:containsKey(...)@363: {0}, {1}
test_vector	java.util.Map:containsKey(...)@371: {1}, {0}
test_vector	this.bIsFake: {0}, {1}

int channelCount()

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

bool checkVisibility()

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

void clearModeQueue()

Kind	Annotation Text
pre	this.lModeQueue != null

void com.dmdirc.parser.irc.ClientInfo(IRCParser, String)

Kind	Annotation Text
pre	sHostmask != null
post	init'ed(this.myParser)
post	new HashMap(ClientInfo#3) num objects == 1
post	new Hashtable(ClientInfo#1) num objects == 1
post	new LinkedList(ClientInfo#2) num objects == 1
post	this.lModeQueue == &new LinkedList(ClientInfo#2 )
post	this.myAwayReason == &""
post	this.myChannelClientInfos == &new Hashtable(ClientInfo#1)
post	this.myMap == &new HashMap(ClientInfo#3)
post	this.myParser == tParser
post	this.sHost == One-of{this.myAwayReason, undefined}
post	this.sHost in Addr_Set{null,&""}
post	this.sIdent == One-of{this.myAwayReason, undefined}
post	this.sIdent in Addr_Set{null,&""}
post	this.sNickname == null
post	this.sNickname == undefined
post	this.sRealName == &""
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring

com.dmdirc.parser.irc.ClientInfo__static_init

Kind	Annotation Text

void delChannelClientInfo(ChannelClientInfo)

Kind	Annotation Text
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	cci != null
pre	cci.myChannel != null
pre	cci.myChannel.sName != null
pre	init'ed(this.myParser.stringConverter)
pre	this.myChannelClientInfos != null
pre	this.myParser != null
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.myParser.stringConverter != null
post	this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:toCharArray
test_vector	java.util.Map:containsKey(...)@313: {0}, {1}

String getAwayReason()

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

bool getAwayState()

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

List getChannelClients()

Kind	Annotation Text
pre	this.myChannelClientInfos != null
presumption	java.util.Map:values(...)@343 != null
post	new ArrayList(getChannelClients#1) num objects == 1
post	return_value == &new ArrayList(getChannelClient s#1)
test_vector	java.util.Iterator:hasNext(...)@343: {0}, {1}

String getHost()

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

String getIdent()

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

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.sNickname)
post	init'ed(return_value)
post	return_value == this.sNickname

IRCParser getParser()

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

String getRealName()

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

long getUserMode()

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

String getUserModeStr()

Kind	Annotation Text
pre	init'ed(this.nModes)
pre	this.myParser != null
pre	this.myParser.hUserModes != null
presumption	java.util.Iterator:next(...)@274 != null
presumption	java.util.Map:get(...)@275 != null
presumption	java.util.Map:keySet(...)@274 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
test_vector	java.util.Iterator:hasNext(...)@274: {0}, {1}

bool isFake()

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

bool isOper()

Kind	Annotation Text
pre	init'ed(this.nModes)
pre	this.myParser != null
pre	this.myParser.hUserModes != null
post	init'ed(return_value)
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

bool isServer()

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

String parseHost(String)

Kind	Annotation Text
pre	sWho != null
post	return_value == null
post	return_value == undefined
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring

String[] parseHostFull(String)

Kind	Annotation Text
pre	sWho != null
post	new String[](parseHostFull#1) num objects == 1
post	return_value == &new String[](parseHostFull#1)
post	return_value.length == 3
post	return_value[0] == null
post	return_value[0] == undefined
post	return_value[1] == null
post	return_value[2] == null
test_vector	java.lang.String:charAt(...)@139: {0..57, 59..2¹⁶-1}, {58}
test_vector	java.lang.String:isEmpty(...)@139: {1}, {0}

void sendModes()

Kind	Annotation Text
pre	(soft) init'ed(this.myParser.currentSocketState)
pre	(soft) init'ed(this.myParser.out)
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) init'ed(this.sNickname)
pre	(soft) this.myParser != null
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	this.lModeQueue != null
presumption	java.util.List:get(...)@398 != 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 <= 1
post	new char[](IRCStringConverter#2) num objects <= 1
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	possibly_updated(new char[](IRCStringConverter#2)[...])
post	possibly_updated(this...myAwayReason)
post	this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
unanalyzed	call on call
unanalyzed	call on callDebugInfo
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:format
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.List:clear
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
test_vector	java.lang.String:charAt(...)@399: {0..42, 44..2¹⁶-1}, {43}
test_vector	java.lang.StringBuilder:length(...)@406: {-2³¹..0}, {1..2³²-1}
test_vector	java.lang.StringBuilder:length(...)@407: {-2³¹..0}, {1..2³²-1}
test_vector	java.util.List:isEmpty(...)@391: {0}, {1}

void setAwayReason(String)

Kind	Annotation Text
post	init'ed(this.myAwayReason)
post	this.myAwayReason == newValue

void setAwayState(bool)

Kind	Annotation Text
post	init'ed(this.bIsAway)
post	this.bIsAway == bNewState
post	this.myAwayReason == One-of{old this.myAwayReason, &""}
test_vector	bNewState: {1}, {0}

ClientInfo setFake(bool)

Kind	Annotation Text
post	init'ed(this.bIsFake)
post	return_value != null
post	return_value == this
post	this.bIsFake == newValue

void setMap(Map)

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

void setRealName(String)

Kind	Annotation Text
post	init'ed(this.sRealName)
post	this.sRealName == newValue

void setUserBits(String, bool)

Kind	Annotation Text
pre	sHostmask != null
post	this.sHost == One-of{old this.sHost, &"", undefined}
post	this.sIdent == One-of{old this.sIdent, &"", undefined}
post	this.sNickname == One-of{old this.sNickname, undefined}
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring

void setUserBits(String, bool, bool)

Kind	Annotation Text
pre	sHostmask != null
post	this.sHost == One-of{old this.sHost, &"", undefined}
post	this.sIdent == One-of{old this.sIdent, &"", undefined}
post	this.sNickname == One-of{old this.sNickname, undefined}
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
test_vector	allowBlank: {0}, {1}
test_vector	bUpdateNick: {0}, {1}

void setUserMode(long)

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

String toString()

Kind	Annotation Text
pre	init'ed(this.sHost)
pre	init'ed(this.sIdent)
pre	init'ed(this.sNickname)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	java.lang.StringBuilder:toString(...)._tainted == this.sHost._tainted \| this.sNickname._tainted \| this.sIdent._tainted
post	return_value == &java.lang.StringBuilder:toStri ng(...)