ExportedService.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.plugins.ExportedService(Class, String)

    • Kind Annotation Text
    postinit'ed(this.myMethod)
    postthis.myObject == null
    unanalyzedcall on java.lang.Class:getDeclaredMethods
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.reflect.Method:getName

  • void com.dmdirc.plugins.ExportedService(Class, String, Object)

    • Kind Annotation Text
    presumptionarr$.length@59 <= 232-1
    presumptionarr$[i$]@59 != null
    presumptionjava.lang.Class:getDeclaredMethods(...)@59 != null
    presumptionjava.lang.reflect.Method:getName(...)@61 != null
    postinit'ed(this.myMethod)
    postinit'ed(this.myObject)
    postthis.myObject == object
    test_vectorjava.lang.String:equals(...)@61: {0}, {1}
    test_vectormyClass: Inverse{null}, Addr_Set{null}

  • com.dmdirc.plugins.ExportedService__static_init

    • Kind Annotation Text

  • Object execute(Object[])

    • Kind Annotation Text
    postinit'ed(return_value)
    test_vectorthis.myMethod: Inverse{null}, Addr_Set{null}