IRCProcessor.java

IRCProcessor.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

bool callDebugInfo(int, String)

Kind	Annotation Text
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
post	init'ed(return_value)
unanalyzed	call on call
unanalyzed	call on java.lang.Integer:valueOf
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 callDebugInfo(int, String, Object[])

Kind	Annotation Text
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
post	init'ed(return_value)
unanalyzed	call on call
unanalyzed	call on java.lang.Integer:valueOf
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 callErrorInfo(ParserError)

Kind	Annotation Text
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
post	init'ed(return_value)
unanalyzed	call on call
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.IRCProcessor(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.IRCProcessor__static_init

Kind	Annotation Text

CallbackManager getCallbackManager()

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

ChannelInfo getChannelInfo(String)

Kind	Annotation Text
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	init'ed(this.myParser.stringConverter)
pre	sWhat != null
pre	this.myParser != null
pre	this.myParser.hChannelList != null
post	init'ed(return_value)
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
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

ClientInfo getClientInfo(String)

Kind	Annotation Text
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	init'ed(this.myParser.stringConverter)
pre	sWho != null
pre	this.myParser != null
pre	this.myParser.hClientList != null
post	init'ed(return_value)
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: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.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on parseHost

String getLowerName()

Kind	Annotation Text
post	return_value != null
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Class:getPackage
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Package:getName
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring

String getName()

Kind	Annotation Text
presumption	java.lang.Class:getName(...)@162 != null
presumption	java.lang.Object:getClass(...)@157 != null
presumption	java.lang.Object:getClass(...)@162 != null
presumption	java.lang.Package:getName(...)@160 != null
presumption	java.lang.String:length(...)@160 <= 2³²-2
post	java.lang.String:substring(...)._tainted == 0
post	return_value == &java.lang.String:substring(... )
test_vector	java.lang.Class:getPackage(...)@157: Addr_Set{null}, Inverse{null}

bool isValidChannelName(String)

Kind	Annotation Text
pre	(soft) init'ed(this.myParser.cMyself.bIsFake)
pre	(soft) init'ed(this.myParser.cMyself.sNickname)
pre	(soft) init'ed(this.myParser.sThinkNickname)
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) this.myParser.cMyself != null
pre	(soft) this.myParser.hChanPrefix != null
pre	(soft) this.myParser.hChannelList != null
pre	this.myParser != 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#2).length)
post	init'ed(return_value)
post	init'ed(this.myParser.stringConverter)
post	new IRCStringConverter(getIRCStringConverter#1) num objects == 0
post	new char[](IRCStringConverter#1) num objects == 0
post	new char[](IRCStringConverter#2) num objects == 0
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	possibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzed	call on getNickname
unanalyzed	call on isFake
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:toCharArray
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 java.util.Map:isEmpty

void sendString(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.myParser.out)
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

String toString()

Kind	Annotation Text
post	java.lang.String:substring(...)._tainted == 0
post	return_value == &java.lang.String:substring(... )
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Class:getPackage
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Package:getName
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring