NicklistComparator.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.addons.ui_swing.components.NicklistComparator(bool, bool)

    • Kind Annotation Text
    postinit'ed(this.sortByCase)
    postinit'ed(this.sortByMode)
    postthis.sortByCase == newSortByCase
    postthis.sortByMode == newSortByMode

  • com.dmdirc.addons.ui_swing.components.NicklistComparator__static_init

    • Kind Annotation Text

  • int compare(ChannelClientInfo, ChannelClientInfo)

    • Kind Annotation Text
    preclient1 != null
    preclient2 != null
    presumptioncom.dmdirc.parser.irc.ChannelClientInfo:getNickname (...)@72 != null
    postinit'ed(return_value)
    test_vectorthis.sortByCase: {0}, {1}
    test_vectorthis.sortByMode: {0}, {1}

  • int compare(Object, Object)

    • Kind Annotation Text
    prex0 != null
    prex1 != null
    postinit'ed(return_value)
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModeValue
    unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
    unanalyzedcall on java.lang.String:compareTo
    unanalyzedcall on java.lang.String:compareToIgnoreCase