DummyChannelWindow.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addName(ChannelClientInfo)

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_dummy.DummyChannelWindow(Channel)

    • Kind Annotation Text
    preparent != null
    postnew ChannelCommandParser(DummyChannelWindow#1) num objects == 1
    postthis.commandParser == &new ChannelCommandParser (DummyChannelWindow#1)
    postthis.container != null
    postthis.container == parent
    postthis.parent == this.container

  • com.dmdirc.addons.ui_dummy.DummyChannelWindow__static_init

    • Kind Annotation Text

  • Channel getChannel()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.parent

  • void redrawNicklist()

    • Kind Annotation Text

  • void removeName(ChannelClientInfo)

    • Kind Annotation Text

  • void updateNames()

    • Kind Annotation Text

  • void updateNames(List)

    • Kind Annotation Text