ProcessNick.java

ProcessNick.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

bool callChannelNickChanged(ChannelInfo, ChannelClientInfo, String)

Kind	Annotation Text
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@91 init'ed
post	init'ed(return_value)
unanalyzed	call on getCallbackManager
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

bool callNickChanged(ClientInfo, String)

Kind	Annotation Text
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@103 init'ed
post	init'ed(return_value)
unanalyzed	call on getCallbackManager
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

void com.dmdirc.parser.irc.ProcessNick(IRCParser, ProcessingManager)

Kind	Annotation Text
post	init'ed(this.myManager)
post	init'ed(this.myParser)
post	this.myManager == manager
post	this.myParser == parser

com.dmdirc.parser.irc.ProcessNick__static_init

Kind	Annotation Text

String[] handles()

Kind	Annotation Text
post	new String[](handles#1) num objects == 1
post	return_value == &new String[](handles#1)
post	return_value.length == 1
post	return_value[0] == &"NICK"

void process(String, String[])

Kind	Annotation Text
pre	(soft) init'ed(this.myParser.lastLine)
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) this.myParser != null
pre	(soft) this.myParser.hChannelList != null
pre	(soft) this.myParser.hClientList != null
pre	(soft) this.myParser.myCallbackManager != null
pre	(soft) this.myParser.myCallbackManager. callbackHash != null
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	(soft) token.length in {1..2³²}
pre	(soft) token[0] != null
pre	(soft) token[...] != null
pre	token != null
presumption	getClientInfo(...).sNickname != null
presumption	getIRCStringConverter(...).lowercase != null
presumption	getIRCStringConverter(...).lowercase.length >= 1
presumption	iChannel.hChannelUserList@61 != null
presumption	iChannel.myParser.stringConverter.lowercase@61 != null
presumption	iChannel.myParser.stringConverter.lowercase@63 != null
presumption	iChannel.myParser@61 != null
presumption	iChannel.sName@61 != null
presumption	iClient.sNickname != null
presumption	java.util.Iterator:next(...)@61 != null
presumption	java.util.Map:values(...)@2067 != null
presumption	this.myParser.stringConverter.lowercase != null
presumption	this.myParser.stringConverter.lowercase@48 != null
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#1)[...])
post	init'ed(new char[](IRCStringConverter#2).length)
post	init'ed(this.myParser.stringConverter)
post	new IRCStringConverter(getIRCStringConverter#1) num objects <= 1
post	new IRCStringConverter(getIRCStringConverter#1) num objects == 0
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 <= 1
post	new char[](IRCStringConverter#1) num objects == 0
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 <= 1
post	new char[](IRCStringConverter#2) num objects == 0
post	new char[](IRCStringConverter#2) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new char[](IRCStringConverter#2).length == 127
post	possibly_updated(new IRCStringConverter(getIRCStrin gConverter#1).limit)
post	possibly_updated(new IRCStringConverter(getIRCStrin gConverter#1).lowercase)
post	possibly_updated(new IRCStringConverter(getIRCStrin gConverter#1).uppercase)
post	possibly_updated(new char[](IRCStringConverter#1). length)
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	possibly_updated(new char[](IRCStringConverter#2). length)
post	possibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzed	call on call
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo
unanalyzed	call on getCallbackManager
unanalyzed	call on getCallbackType
unanalyzed	call on getChannel
unanalyzed	call on getClientInfo
unanalyzed	call on getName
unanalyzed	call on getNickname
unanalyzed	call on getUser
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:isEmpty
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.Throwable:__curr_excep_obj
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map:values
unanalyzed	call on parseHost
test_vector	java.util.Iterator:hasNext(...)@61: {0}, {1}