/** * 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); } }
/** * Push the specified completion event to the parent node */ protected final void pushCompletion(Completion completion) { if (parent != null) { parent.receiveCompletion(parent.getIndex(this), completion); } }