ActionTypeComparator.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.actions.ActionTypeComparator()

    • Kind Annotation Text

  • com.dmdirc.actions.ActionTypeComparator__static_init

    • Kind Annotation Text

  • int compare(ActionType, ActionType)

    • Kind Annotation Text
    pre(soft) o1.name != null
    preo1 != null
    preo2 != null
    postinit'ed(return_value)

  • int compare(Object, Object)

    • Kind Annotation Text
    pre(soft) x0.name != null
    prex0 != null
    prex1 != null
    postinit'ed(return_value)
    unanalyzedcall on getName
    unanalyzedcall on java.lang.String:compareTo