method

com.dmdirc.plugins.ExportedService__static_init

method	void com.dmdirc.plugins.ExportedService(Class, String)
post	init'ed(this.myMethod)
post	this.myObject == null
unanalyzed	call on java.lang.Class:getDeclaredMethods
unanalyzed	call on java.lang.reflect.Method:getName
unanalyzed	call on java.lang.String:equals

method	void com.dmdirc.plugins.ExportedService(Class, String, Object)
presumption	arr$.length@59 <= 232-1
presumption	arr$[i$]@59 != null
presumption	java.lang.Class:getDeclaredMethods(...)@59 != null
presumption	java.lang.reflect.Method:getName(...)@61 != null
post	init'ed(this.myMethod)
post	this.myObject == object
post	init'ed(this.myObject)
test_vector	myClass: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@61: {0}, {1}

method	Object execute(Object[])
post	init'ed(return_value)
test_vector	this.myMethod: Inverse{null}, Addr_Set{null}