method com.dmdirc.commandline.RemoteServer__static_init
postSERVER == &new RemoteServer(RemoteServer__ static_init#1)
postnew RemoteServer(RemoteServer__static_init#1) num objects == 1










method void com.dmdirc.commandline.RemoteServer()










method void connect(List)
preaddresses != null
presumptionjava.util.Iterator:next(...)@60 != null
test_vectorjava.util.Iterator:hasNext(...)@60: {0}, {1}









  method not available - call not analyzedInfocall on void com.dmdirc.util.IrcAddress:connect()











method void bind()
presumptioninit'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumptionjava.rmi.registry.LocateRegistry:createRegistry(... )@81 != null









  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)











method RemoteInterface getServer()
presumptionjava.rmi.registry.LocateRegistry:getRegistry(... )@100 != null
postinit'ed(return_value)