ActionComponentChain.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • Class appliesTo()

    • Kind Annotation Text
    prethis.components != null
    presumptionjava.util.List:get(...)@90 != null
    postinit'ed(return_value)

  • void com.dmdirc.actions.ActionComponentChain(Class, String)

    • Kind Annotation Text
    prechain != null
    postnew ArrayList(ActionComponentChain#1) num objects == 1
    postthis.components == &new ArrayList(ActionCompone ntChain#1)
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on java.lang.Enum:name
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.util.List:iterator

  • com.dmdirc.actions.ActionComponentChain__static_init

    • Kind Annotation Text

  • Object get(Object)

    • Kind Annotation Text
    prethis.components != null
    presumptionjava.util.Iterator:next(...)@77 != null
    postinit'ed(return_value)
    test_vectorjava.util.Iterator:hasNext(...)@77: {0}, {1}

  • String getName()

    • Kind Annotation Text
    prethis.components != null
    presumptionjava.util.Iterator:next(...)@110 != null
    postreturn_value != null
    test_vectorjava.util.Iterator:hasNext(...)@110: {0}, {1}

  • Class getType()

    • Kind Annotation Text
    prethis.components != null
    presumptionjava.util.List:get(...)@99 != null
    presumptionjava.util.List:size(...)@99 >= -231+1
    postinit'ed(return_value)

  • String toString()

    • Kind Annotation Text
    prethis.components != null
    presumptionjava.util.Iterator:next(...)@126 != null
    postreturn_value != null
    test_vectorjava.util.Iterator:hasNext(...)@126: {0}, {1}