| method | Component getListCellRendererComponent(JList, Object, int, bool, bool) |
| pre | init'ed(this.showColours) |
| pre | value != null |
| pre | (soft) init'ed(this.altBackgroundColour) |
| presumption | init'ed(com.dmdirc.ChannelClientProperty.NICKLIST_ BACKGROUND) |
| presumption | init'ed(com.dmdirc.ChannelClientProperty.NICKLIST_ FOREGROUND) |
| post | return_value == this |
| post | return_value != null |
| test_vector | index mod 2: {0}, {1} |
| test_vector | isSelected: {1}, {0} |
| test_vector | this.showColours: {0}, {1} |
| test_vector | com.dmdirc.parser.irc.ChannelClientInfo:getMap(... )@93: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.Map:containsKey(...)@100: {0}, {1} |
| test_vector | java.util.Map:containsKey(...)@96: {0}, {1} |