Method recordCompletion

src/DeferredGroup.java:135–144

Called back when one of the Deferred in the group completes. @param result The result of the deferred.

(final Object result)

   * @param result The result of the deferred.
   */
  private void recordCompletion(final Object result) {
    int left;
    synchronized (this) {
      results.add(result);
      left = --nresults;
    }
    if (left == 0) {
      done();
    }
  }

  /**
   * Called back when one of the {@link Deferred} in the group completes.