| method | Object get(Object) |
| pre | argument != null |
| presumption | com.dmdirc.parser.irc.ClientInfo:getMap(...)@39 != 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 |