CallbackObject.java

CallbackObject.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void add(ICallbackInterface)

Kind	Annotation Text
pre	this.callbackInfo != null
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:contains

void addCallback(ICallbackInterface)

Kind	Annotation Text
pre	this.callbackInfo != null
test_vector	java.util.List:contains(...)@78: {1}, {0}

bool call(Object[])

Kind	Annotation Text
pre	(soft) init'ed(args[...])
pre	(soft) init'ed(this.myParser.lastLine)
pre	(soft) this.myManager != null
pre	(soft) this.myManager.callbackHash != null
pre	(soft) this.type != null
pre	args != null
pre	init'ed(this.myParser.createFake)
pre	this.myParser != null
presumption	java.lang.Class:getMethods(...).length@152 >= 1
presumption	java.lang.Class:getMethods(...)@152 != null
presumption	java.lang.Class:getMethods(...)[0]@152 != null
presumption	java.util.ArrayList:iterator(...)@150 != null
post	init'ed(return_value)
unanalyzed	call on call
unanalyzed	call on callErrorInfo
unanalyzed	call on getCallbackType
unanalyzed	call on getCreateFake
unanalyzed	call on getFakeArg
unanalyzed	call on getLastLine
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.Class:getConstructors
unanalyzed	call on java.lang.Class:getMethods
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.annotation.Annotation:annotationT ype
unanalyzed	call on java.lang.reflect.Constructor:getParameterT ypes
unanalyzed	call on java.lang.reflect.Constructor:newInstance
unanalyzed	call on java.lang.reflect.Method:getName
unanalyzed	call on java.lang.reflect.Method:getParameterAnnota tions
unanalyzed	call on java.lang.reflect.Method:getParameterTypes
unanalyzed	call on java.lang.reflect.Method:invoke
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
test_vector	java.util.Iterator:hasNext(...)@150: {0}, {1}
test_vector	this.myParser.createFake: {0}, {1}

bool callErrorInfo(ParserError)

Kind	Annotation Text
pre	this.myManager != null
pre	this.myManager.callbackHash != null
presumption	getCallbackType(...)@99 init'ed
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

void com.dmdirc.parser.irc.callbacks.CallbackObject(IRCParser, CallbackManager, Class)

Kind	Annotation Text
post	init'ed(this.myManager)
post	init'ed(this.myParser)
post	init'ed(this.type)
post	new ArrayList(CallbackObject#1) num objects == 1
post	this.callbackInfo == &new ArrayList(CallbackObj ect#1)
post	this.myManager == manager
post	this.myParser == parser
post	this.type == type

com.dmdirc.parser.irc.callbacks.CallbackObject__static_init

Kind	Annotation Text

void createFakeArgs(Object[])

Kind	Annotation Text
pre	(soft) args != null
pre	(soft) args.length >= 1
pre	(soft) init'ed(args[...])
pre	this.type != null
presumption	arr$.length@175 <= 2³²-1
presumption	arr$.length@175 <= args.length
presumption	arr$.length@175 <= java.lang.reflect. Method:getParameterTypes(...).length@179
presumption	arr$.length@175 >= 1
presumption	arr$.length@175 in {1..2³²-1}
presumption	arr$[i$]@175 != null
presumption	java.lang.Class:getMethods(...).length@175 >= 1
presumption	java.lang.Class:getMethods(...).length@179 >= 1
presumption	java.lang.Class:getMethods(...)@175 != null
presumption	java.lang.Class:getMethods(...)@179 != null
presumption	java.lang.Class:getMethods(...)[0]@175 != null
presumption	java.lang.Class:getMethods(...)[0]@179 != null
presumption	java.lang.annotation.Annotation:annotationType(... )@177 != null
presumption	java.lang.reflect.Method:getParameterAnnotations(.. .)@175 != null
presumption	java.lang.reflect.Method:getParameterTypes(...). length@179 >= 1
presumption	java.lang.reflect.Method:getParameterTypes(... )@179 != null
presumption	java.lang.reflect.Method:getParameterTypes(... )[i]@179 != null
post	init'ed(args[...])
unanalyzed	call on getFakeArg
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.Class:getConstructors
unanalyzed	call on java.lang.Class:getMethods
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.annotation.Annotation:annotationT ype
unanalyzed	call on java.lang.reflect.Constructor:getParameterT ypes
unanalyzed	call on java.lang.reflect.Constructor:newInstance
unanalyzed	call on java.lang.reflect.Method:getName
unanalyzed	call on java.lang.reflect.Method:getParameterAnnota tions
unanalyzed	call on java.lang.reflect.Method:getParameterTypes
unanalyzed	call on java.lang.reflect.Method:invoke
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
test_vector	java.lang.Object:equals(...)@177: {0}, {1}

void del(ICallbackInterface)

Kind	Annotation Text
pre	this.callbackInfo != null
unanalyzed	call on java.util.List:remove

void delCallback(ICallbackInterface)

Kind	Annotation Text
pre	this.callbackInfo != null

Object getFakeArg(Object[], Class)

Kind	Annotation Text
pre	(soft) args != null
pre	(soft) args.length >= 1
pre	(soft) init'ed(args[...])
pre	target != null
pre	this.type != null
presumption	arr$.length@207 - arr$.length@207 in {0..2³²-1}
presumption	arr$.length@207 <= 2³²-1
presumption	arr$.length@207 <= args.length
presumption	arr$.length@207 <= java.lang.reflect. Method:getParameterTypes(...).length@210
presumption	arr$.length@207 in {1..2³²-1}
presumption	arr$.length@217 <= 2³²-1
presumption	arr$.length@224 <= 2³²-1
presumption	arr$.length@224 <= java.lang.reflect. Constructor:getParameterTypes(...).length@218
presumption	arr$.length@240 <= 2³²-1
presumption	arr$[i$]@207 != null
presumption	arr$[i$]@217 != null
presumption	arr$[i$]@224 != null
presumption	arr$[i$]@240 != null
presumption	init'ed(java.lang.Boolean.TYPE)
presumption	java.lang.Class:getConstructors(...)@217 != null
presumption	java.lang.Class:getMethods(...).length@207 >= 1
presumption	java.lang.Class:getMethods(...).length@210 >= 1
presumption	java.lang.Class:getMethods(...)@207 != null
presumption	java.lang.Class:getMethods(...)@210 != null
presumption	java.lang.Class:getMethods(...)@240 != null
presumption	java.lang.Class:getMethods(...)[0]@207 != null
presumption	java.lang.Class:getMethods(...)[0]@210 != null
presumption	java.lang.annotation.Annotation:annotationType(... )@209 != null
presumption	java.lang.reflect.Constructor:getParameterTypes(... ).length@218 >= 1
presumption	java.lang.reflect.Constructor:getParameterTypes(... )@218 != null
presumption	java.lang.reflect.Constructor:getParameterTypes(... )@224 != null
presumption	java.lang.reflect.Method:getName(...)@241 != null
presumption	java.lang.reflect.Method:getParameterAnnotations(.. .)@207 != null
presumption	java.lang.reflect.Method:getParameterTypes(...). length@210 >= 1
presumption	java.lang.reflect.Method:getParameterTypes(...). length@241 >= 1
presumption	java.lang.reflect.Method:getParameterTypes(... )@210 != null
presumption	java.lang.reflect.Method:getParameterTypes(... )@241 != null
presumption	java.lang.reflect.Method:getParameterTypes(... )[0]@241 != null
post	init'ed(return_value)
unanalyzed	call on getFakeArg
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.Class:getConstructors
unanalyzed	call on java.lang.Class:getMethods
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.annotation.Annotation:annotationT ype
unanalyzed	call on java.lang.reflect.Constructor:getParameterT ypes
unanalyzed	call on java.lang.reflect.Constructor:newInstance
unanalyzed	call on java.lang.reflect.Method:getName
unanalyzed	call on java.lang.reflect.Method:getParameterAnnota tions
unanalyzed	call on java.lang.reflect.Method:getParameterTypes
unanalyzed	call on java.lang.reflect.Method:invoke
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
test_vector	java.lang.Object:equals(...)@209: {0}, {1}
test_vector	java.lang.Object:equals(...)@241: {0}, {1}
test_vector	java.lang.String:equals(...)@241: {0}, {1}
test_vector	java.lang.reflect.Method:getParameterTypes(...). length@241: {0, 2..+Inf}, {1}
test_vector	java.util.Map:containsKey(...)@225: {0}, {1}

String getLowerName()

Kind	Annotation Text
pre	this.type != null
post	return_value != null
unanalyzed	call on java.lang.Class:getSimpleName
unanalyzed	call on java.lang.String:substring

String getName()

Kind	Annotation Text
pre	this.type != null
presumption	java.lang.Class:getSimpleName(...)@122 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)