public void end_flushBatchRequests(AsyncResult r) { if(r != null && r.getConnection() != this) { const string msg = "Connection for call to end_" + __flushBatchRequests_name + " does not match connection that was used to call corresponding begin_" + __flushBatchRequests_name + " method"; throw new ArgumentException(msg); } AsyncResultI.check(r, __flushBatchRequests_name).wait(); }