public ProxyFlushBatch(Ice.ObjectPrxHelperBase prx, string operation, object cookie) : base(prx, operation, cookie) { observer_ = ObserverHelper.get(prx, operation); _batchRequestNum = prx.getBatchRequestQueue__().swap(os_); }