/** * Push the specified completion event to the parent node */ protected final void pushCompletion(Completion completion) { if (parent != null) parent.receiveCompletion(parent.getIndex(this), completion); }
/** * Push the specified completion event to the parent node */ protected final void pushCompletion(Completion completion) { if (parent != null) parent.receiveCompletion(parent.getIndex(this), completion); }