| method | void registerCallbacks() |
| pre | this.owner != null |
| pre | (soft) this.owner.server != null |
| presumption | arr$.length@50 <= 232-1 |
| presumption | arr$[i$]@50 != null |
| presumption | init'ed(com.dmdirc.logger.ErrorLevel.FATAL) |
| presumption | com.dmdirc.parser.irc.IRCParser:getCallbackManager( ...)@47 != null |
| presumption | getServer(...).parser@47 != null |
| presumption | java.lang.Class:getInterfaces(...)@50 != null |
| presumption | java.lang.Class:getName(...)@51 != null |
| presumption | java.lang.Class:getName(...)@52 != null |
| presumption | java.lang.Object:getClass(...)@50 != null |
| unanalyzed | call on com.dmdirc.parser.irc.callbacks. CallbackManager:addCallback |
| unanalyzed | call on getServer |
| unanalyzed | call on getChannelInfo |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getName |
| test_vector | java.lang.String:startsWith(...)@51: {0}, {1} |