ProcessingManager.java

ProcessingManager.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

Kind	Annotation Text
pre	(soft) this.processHash != null
pre	processor != null
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	handles(...).length@125 <= 2³²-1
presumption	handles(...)@125 != null
presumption	handles(...)[...]@125 != null
unanalyzed	call on call
unanalyzed	call on callDebugInfo
unanalyzed	call on doDebug
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Class:getPackage
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Package:getName
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Hashtable:containsKey
unanalyzed	call on java.util.Hashtable:put
unanalyzed	call on java.util.Hashtable:remove
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

Kind	Annotation Text
pre	(soft) handles[...] != null
pre	(soft) this.processHash != null
pre	handles != null
pre	handles.length <= 2³²-1
pre	processor != null
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
unanalyzed	call on call
unanalyzed	call on callDebugInfo
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Class:getPackage
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Package:getName
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	java.util.Hashtable:containsKey(...)@138: {0}, {1}

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 java.lang.RuntimeException
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

Kind	Annotation Text
pre	parser != null
pre	parser.myCallbackManager != null
pre	parser.myCallbackManager.callbackHash != null
post	new Hashtable(ProcessingManager#1) num objects == 1
post	this.myParser != null
post	this.myParser == parser
post	this.processHash == &new Hashtable(ProcessingMa nager#1)
unanalyzed	call on call
unanalyzed	call on callDebugInfo
unanalyzed	call on com.dmdirc.parser.irc.IRCProcessor
unanalyzed	call on doDebug
unanalyzed	call on handles
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Class:getPackage
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Package:getName
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Hashtable:containsKey
unanalyzed	call on java.util.Hashtable:put
unanalyzed	call on java.util.Hashtable:remove
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

Kind	Annotation Text

Kind	Annotation Text
pre	processor != null
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
pre	this.processHash != null
presumption	java.util.Hashtable:get(...)@157 != null
unanalyzed	call on call
unanalyzed	call on callDebugInfo
unanalyzed	call on java.lang.Class:getName
unanalyzed	call on java.lang.Class:getPackage
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Package:getName
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	java.lang.String:equalsIgnoreCase(...)@158: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@155: {0}, {1}

Kind	Annotation Text
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
unanalyzed	call on call
unanalyzed	call on callDebugInfo
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

Kind	Annotation Text
pre	sParam != null
pre	this.processHash != null
presumption	java.util.Hashtable:containsKey(...)@173 == 1
post	init'ed(return_value)
unanalyzed	call on java.lang.Exception

Kind	Annotation Text
pre	(soft) init'ed(this.myParser.lastLine)
pre	(soft) sParam != null
pre	(soft) this.myParser != null
pre	(soft) this.myParser.myCallbackManager != null
pre	(soft) this.myParser.myCallbackManager. callbackHash != null
pre	(soft) this.processHash != null
unanalyzed	call on call
unanalyzed	call on getCallbackManager
unanalyzed	call on getCallbackType
unanalyzed	call on java.lang.Exception
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.Hashtable:containsKey
unanalyzed	call on java.util.Hashtable:get
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get