NicklistRenderer.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.renderers.NicklistRenderer(ConfigManager, JList)

    • Kind Annotation Text
    preconfig != null
    postinit'ed(this.altBackgroundColour)
    postinit'ed(this.nicklist)
    postinit'ed(this.showColours)
    postthis.config != null
    postthis.config == config
    postthis.nicklist == nicklist

  • com.dmdirc.addons.ui_swing.components.renderers.NicklistRenderer__static_init

    • Kind Annotation Text

  • void configChanged(String, String)

    • Kind Annotation Text
    prethis.config != null
    prethis.nicklist != null
    postpossibly_updated(this.altBackgroundColour)
    postpossibly_updated(this.showColours)
    test_vectorjava.lang.String:equals(...)@113: {0}, {1}

  • Component getListCellRendererComponent(JList, Object, int, bool, bool)

    • Kind Annotation Text
    pre(soft) init'ed(this.altBackgroundColour)
    preinit'ed(this.showColours)
    prevalue != null
    presumptioninit'ed(com.dmdirc.ChannelClientProperty.NICKLIST_ BACKGROUND)
    presumptioninit'ed(com.dmdirc.ChannelClientProperty.NICKLIST_ FOREGROUND)
    postreturn_value != null
    postreturn_value == this
    test_vectorcom.dmdirc.parser.irc.ChannelClientInfo:getMap(... )@93: Addr_Set{null}, Inverse{null}
    test_vectorindex mod 2: {0}, {1}
    test_vectorisSelected: {1}, {0}
    test_vectorjava.util.Map:containsKey(...)@100: {0}, {1}
    test_vectorjava.util.Map:containsKey(...)@96: {0}, {1}
    test_vectorthis.showColours: {0}, {1}