Service.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • bool activate()

    • Kind Annotation Text
    pre(soft) init'ed(this.serviceproviders)
    presumptionjava.util.Iterator:next(...)@138 != null
    postinit'ed(return_value)
    unanalyzedcall on addError
    unanalyzedcall on checkRequirements
    unanalyzedcall on com.dmdirc.actions.ActionManager:processEve nt
    unanalyzedcall on getMainClass
    unanalyzedcall on getName
    unanalyzedcall on isActive
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.lang.Throwable:getMessage
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on loadClass
    unanalyzedcall on loadPlugin
    unanalyzedcall on loadRequired
    unanalyzedcall on onLoad
    unanalyzedcall on unloadPlugin
    unanalyzedcall on updateProvides
    test_vectorjava.util.Iterator:hasNext(...)@138: {0}, {1}
    test_vectorprovider.plugin@138: Inverse{null}, Addr_Set{null}

  • void addProvider(ServiceProvider)

    • Kind Annotation Text
    prethis.serviceproviders != null

  • void com.dmdirc.plugins.Service(String, String)

    • Kind Annotation Text
    postinit'ed(this.name)
    postinit'ed(this.type)
    postnew ArrayList(Service#1) num objects == 1
    postthis.name == name
    postthis.serviceproviders == &new ArrayList(Service #1)
    postthis.type == type

  • com.dmdirc.plugins.Service__static_init

    • Kind Annotation Text

  • void delProvider(ServiceProvider)

    • Kind Annotation Text
    prethis.serviceproviders != null

  • ServiceProvider getActiveProvider()

    • Kind Annotation Text
    preinit'ed(this.serviceproviders)
    presumptionjava.util.Iterator:next(...)@102 != null
    postinit'ed(return_value)
    unanalyzedcall on java.util.ArrayList
    test_vectorjava.util.Iterator:hasNext(...)@102: {0}, {1}

  • String getName()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.name

  • List getProviders()

    • Kind Annotation Text
    preinit'ed(this.serviceproviders)
    postnew ArrayList(getProviders#1) num objects == 1
    postreturn_value == &new ArrayList(getProviders#1)

  • String getType()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.type

  • bool isActive()

    • Kind Annotation Text
    preinit'ed(this.serviceproviders)
    presumptionjava.util.Iterator:next(...)@118 != null
    postinit'ed(return_value)
    unanalyzedcall on java.util.ArrayList
    test_vectorjava.util.Iterator:hasNext(...)@118: {0}, {1}

  • String toString()

    • Kind Annotation Text
    prethis.serviceproviders != null
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value == &java.lang.StringBuilder:toStri ng(...)