ProcessTopic.java

ProcessTopic.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

bool callChannelTopic(ChannelInfo, bool)

Kind	Annotation Text
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@78 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.ProcessTopic(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.ProcessTopic__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 == 3
post	return_value[0] == &"TOPIC"
post	return_value[1] == &"332"
post	return_value[2] == &"333"

void process(String, String[])

Kind	Annotation Text
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) init'ed(token[...])
pre	(soft) init'ed(token[4])
pre	(soft) init'ed(token[5])
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 {3..2³²}
pre	(soft) token[0] != null
pre	(soft) token[2] != null
pre	(soft) token[3] != null
pre	sParam != null
pre	token != null
presumption	iClient.sHost != null
presumption	this.myParser.stringConverter.lowercase != 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 IRCStringConverter(getIRCStringConverter#1) num objects == 0
post	new char[](IRCStringConverter#1) num objects <= 1
post	new char[](IRCStringConverter#1) num objects == 0
post	new char[](IRCStringConverter#2) num objects <= 1
post	new char[](IRCStringConverter#2) num objects == 0
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	possibly_updated(new char[](IRCStringConverter#2)[...])
post	token[0] != null
post	token[0] == One-of{old token[0], &java.lang. String:substring(...)}
unanalyzed	call on call
unanalyzed	call on getCallbackManager
unanalyzed	call on getCallbackType
unanalyzed	call on getChannelInfo
unanalyzed	call on getClientInfo
unanalyzed	call on java.lang.Boolean: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: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.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on parseHost
test_vector	java.lang.String:charAt(...)@62: {0..57, 59..2¹⁶-1}, {58}
test_vector	java.lang.String:equals(...)@38: {0}, {1}
test_vector	java.lang.String:equals(...)@42: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@57: {0}, {1}
test_vector	token.length: {3}, {4}, {5}, {6..2³²}