FrameContainerComparator.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.FrameContainerComparator()

    • Kind Annotation Text

  • com.dmdirc.FrameContainerComparator__static_init

    • Kind Annotation Text

  • int compare(FrameContainer, FrameContainer)

    • Kind Annotation Text
    pre(soft) item1 != null
    pre(soft) item2 != null
    presumptionjava.lang.Integer:valueOf(...)@65 != null
    presumptiontoString(...)@62 != null
    postinit'ed(return_value)
    test_vectorjava.lang.String:compareToIgnoreCase(...)@62: {-231..-1, 1..232-1}, {0}

  • int compare(Object, Object)

    • Kind Annotation Text
    pre(soft) x0 != null
    pre(soft) x1 != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.Integer:compareTo
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.Object:hashCode
    unanalyzedcall on java.lang.String:compareToIgnoreCase
    unanalyzedcall on toString

  • int getPosition(FrameContainer)

    • Kind Annotation Text
    postreturn_value in {0..5}

  • bool sortAfter(FrameContainer, FrameContainer)

    • Kind Annotation Text
    postinit'ed(return_value)

  • bool sortBefore(FrameContainer, FrameContainer)

    • Kind Annotation Text
    postinit'ed(return_value)