/** * Returns the partition with the given ID. * * @param resultPartitionId ID of the partition to look up * @throws NullPointerException If partition ID <code>null</code> * @throws IllegalArgumentException Thrown if unknown partition ID * @return Intermediate result partition with the given ID */ public IntermediateResultPartition getPartitionById(IntermediateResultPartitionID resultPartitionId) { IntermediateResultPartition partition = getPartitionOrNullById(resultPartitionId); if (partition == null) { throw new IllegalArgumentException("Unknown intermediate result partition ID " + resultPartitionId); } return partition; }
IntermediateResultPartition resultPartition = intermediateResult.getPartitionOrNullById( predecessorResultPartition.getPartitionId()); if (resultPartition != null) {