| method | Object get(Object) |
| pre | argument != null |
| presumption | com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@45 != null |
| presumption | com.dmdirc.parser.irc.ChannelClientInfo:getMap(... )@42 != null |
| presumption | com.dmdirc.parser.irc.ChannelClientInfo:getMap(... )@43 != null |
| presumption | com.dmdirc.parser.irc.ClientInfo:getMap(...)@45 != null |
| post | init'ed(return_value) |
| unanalyzed | call on com.dmdirc.parser.irc.ClientInfo:getNicknam e |
| unanalyzed | call on com.dmdirc.parser.irc.ClientInfo:getIdent |
| unanalyzed | call on com.dmdirc.parser.irc.ClientInfo:getHost |
| unanalyzed | call on java.util.Map:entrySet |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on java.util.Map$Entry:getKey |
| unanalyzed | call on java.lang.String:matches |
| unanalyzed | call on java.util.Map$Entry:getValue |
| unanalyzed | call on java.lang.Integer:intValue |
| unanalyzed | call on java.lang.Math:max |
| unanalyzed | call on com.dmdirc.parser.irc.ClientInfo:getMap |
| unanalyzed | call on java.lang.Integer:valueOf |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelClientInfo:get Client |
| test_vector | java.util.Map:containsKey(...)@42: {0}, {1} |