CallbackObjectSpecific.java

CallbackObjectSpecific.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
pre	this.specificData != null
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:contains
test_vector	java.util.Hashtable:containsKey(...)@97: {0}, {1}

void add(ICallbackInterface, String)

Kind	Annotation Text
pre	specificTarget != null
pre	this.callbackInfo != null
pre	this.specificData != null
unanalyzed	call on java.util.Hashtable:containsKey
unanalyzed	call on java.util.Hashtable:remove
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:contains
test_vector	java.lang.String:isEmpty(...)@108: {1}, {0}

bool call(Object[])

Kind	Annotation Text
pre	(soft) args.length in {1..2³²}
pre	(soft) args[0].sHost != null
pre	(soft) args[...].sHost != null
pre	(soft) init'ed(args[0])
pre	(soft) init'ed(args[...])
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.myManager != null
pre	(soft) this.myManager.callbackHash != null
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	(soft) this.specificData != 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@156 >= 1
presumption	java.lang.Class:getMethods(...)@156 != null
presumption	java.lang.Class:getMethods(...)[0]@156 != null
presumption	java.util.ArrayList:iterator(...)@143 != null
presumption	this.myParser.stringConverter.lowercase.length@140 in range
presumption	this.myParser.stringConverter.lowercase@140 != null
presumption	this.myParser.stringConverter.lowercase@144 != null
post	init'ed(new IRCStringConverter(getIRCStringConverte r#1) num objects)
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) num objects)
post	init'ed(new char[](IRCStringConverter#1).length)
post	init'ed(new char[](IRCStringConverter#1)[...])
post	init'ed(new char[](IRCStringConverter#2) num objects)
post	init'ed(new char[](IRCStringConverter#2).length)
post	init'ed(new char[](IRCStringConverter#2)[...])
post	init'ed(return_value)
post	init'ed(this.myParser.stringConverter)
unanalyzed	call on call
unanalyzed	call on callErrorInfo
unanalyzed	call on getCallbackType
unanalyzed	call on getCreateFake
unanalyzed	call on getFakeArg
unanalyzed	call on getIRCStringConverter
unanalyzed	call on getLastLine
unanalyzed	call on getName
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: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: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.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.Hashtable:containsKey
unanalyzed	call on java.util.Hashtable:get
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on parseHost
test_vector	java.lang.Class:isAnnotationPresent(...)@144: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@143: {0}, {1}
test_vector	this.myParser.createFake: {0}, {1}

void com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific(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	new Hashtable(CallbackObjectSpecific#1) num objects == 1
post	this.callbackInfo == &new ArrayList(CallbackObj ect#1)
post	this.myManager == manager
post	this.myParser == parser
post	this.specificData == &new Hashtable(CallbackObj ectSpecific#1)
post	this.type == type
unanalyzed	call on java.util.ArrayList

com.dmdirc.parser.irc.callbacks.CallbackObjectSpecific__static_init

Kind	Annotation Text

void del(ICallbackInterface)

Kind	Annotation Text
pre	this.callbackInfo != null
pre	this.specificData != null
unanalyzed	call on java.util.List:remove
test_vector	java.util.Hashtable:containsKey(...)@121: {0}, {1}

bool isValidChan(ICallbackInterface, ChannelInfo)

Kind	Annotation Text
pre	(soft) cChannel != null
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) this.myParser != null
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	(soft) this.myParser.stringConverter.lowercase. length >= 1
pre	this.specificData != null
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	not_init'ed(new IRCStringConverter(getIRCStringConv erter#1).limit)
post	not_init'ed(new IRCStringConverter(getIRCStringConv erter#1).lowercase)
post	not_init'ed(new IRCStringConverter(getIRCStringConv erter#1).uppercase)
post	not_init'ed(new char[](IRCStringConverter#1). length)
post	not_init'ed(new char[](IRCStringConverter#2). length)
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	possibly_updated(new char[](IRCStringConverter#2)[...])
post	this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:toCharArray
test_vector	java.util.Hashtable:containsKey(...)@66: {0}, {1}

bool isValidUser(ICallbackInterface, String)

Kind	Annotation Text
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) this.myParser != null
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	(soft) this.myParser.stringConverter.lowercase. length >= 1
pre	sHost != null
pre	this.specificData != null
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	not_init'ed(new IRCStringConverter(getIRCStringConv erter#1).limit)
post	not_init'ed(new IRCStringConverter(getIRCStringConv erter#1).lowercase)
post	not_init'ed(new IRCStringConverter(getIRCStringConv erter#1).uppercase)
post	not_init'ed(new char[](IRCStringConverter#1). length)
post	not_init'ed(new char[](IRCStringConverter#2). length)
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	possibly_updated(new char[](IRCStringConverter#2)[...])
post	this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
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
test_vector	java.util.Hashtable:containsKey(...)@81: {0}, {1}