method

com.dmdirc.parser.irc.callbacks.CallbackObjectSpec ific__static_init

method	void com.dmdirc.parser.irc.callbacks. CallbackObjectSpecific(IRCParser, CallbackManager, Class)
post	this.callbackInfo == &new ArrayList(CallbackObj ect#1)
post	this.myManager == manager
post	init'ed(this.myManager)
post	this.myParser == parser
post	init'ed(this.myParser)
post	this.specificData == &new Hashtable(CallbackObj ectSpecific#1)
post	this.type == type
post	init'ed(this.type)
post	new ArrayList(CallbackObject#1) num objects == 1
post	new Hashtable(CallbackObjectSpecific#1) num objects == 1
unanalyzed	call on java.util.ArrayList

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

method	bool isValidUser(ICallbackInterface, String)
pre	sHost != null
pre	this.specificData != null
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) this.myParser != null
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	(soft) this.myParser.stringConverter.lowercase. length >= 1
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
post	init'ed(return_value)
post	this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
post	init'ed(this.myParser.stringConverter)
post	new IRCStringConverter(getIRCStringConverter#1) 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	new char[](IRCStringConverter#1) num objects == 0
post	not_init'ed(new char[](IRCStringConverter#1). length)
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	new char[](IRCStringConverter#2) num objects == 0
post	not_init'ed(new char[](IRCStringConverter#2). length)
post	possibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:split
test_vector	java.util.Hashtable:containsKey(...)@81: {0}, {1}

method	void add(ICallbackInterface)
pre	this.callbackInfo != null
pre	this.specificData != null
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
test_vector	java.util.Hashtable:containsKey(...)@97: {0}, {1}

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

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

method	bool call(Object[])
pre	args != null
pre	this.myParser != null
pre	init'ed(this.myParser.createFake)
pre	(soft) args.length in {1..232}
pre	(soft) init'ed(args[0])
pre	(soft) args[0].sHost != null
pre	(soft) init'ed(args[...])
pre	(soft) args[...].sHost != null
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) this.myManager != null
pre	(soft) this.myManager.callbackHash != null
pre	(soft) init'ed(this.myParser.lastLine)
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) this.specificData != null
pre	(soft) this.type != 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(return_value)
post	init'ed(this.myParser.stringConverter)
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)[...])
unanalyzed	call on java.util.Hashtable:containsKey
unanalyzed	call on parseHost
unanalyzed	call on getIRCStringConverter
unanalyzed	call on java.util.Hashtable:get
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:length
unanalyzed	call on getCreateFake
unanalyzed	call on java.lang.Class:getMethods
unanalyzed	call on java.lang.reflect.Method:getParameterAnnota tions
unanalyzed	call on java.lang.annotation.Annotation:annotationT ype
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.reflect.Method:getParameterTypes
unanalyzed	call on getFakeArg
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Class:getConstructors
unanalyzed	call on java.lang.reflect.Constructor:getParameterT ypes
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.reflect.Constructor:newInstance
unanalyzed	call on java.lang.reflect.Method:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.reflect.Method:invoke
unanalyzed	call on getLastLine
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on callErrorInfo
unanalyzed	call on getCallbackType
unanalyzed	call on call
unanalyzed	call on getName
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.RuntimeException
test_vector	this.myParser.createFake: {0}, {1}
test_vector	java.lang.Class:isAnnotationPresent(...)@144: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@143: {0}, {1}