GJL commented on a change in pull request #11628: [FLINK-14504][rest] Add
Cluster DataSet REST API
URL: https://github.com/apache/flink/pull/11628#discussion_r406135355
##########
File path:
flink-runtime/src/main/java/org/apache/flink/runtime/io/network/partition/DataSetMetaInfo.java
##########
@@ -17,18 +17,42 @@
package org.apache.flink.runtime.io.network.partition;
+import org.apache.flink.annotation.VisibleForTesting;
+import org.apache.flink.util.Preconditions;
+
+import java.util.Optional;
+
/**
* Container for meta-data of a data set.
*/
public final class DataSetMetaInfo {
+ private static final int UNKNOWN = -1;
+ private final int numRegisteredPartitions;
private final int numTotalPartitions;
- public DataSetMetaInfo(int numTotalPartitions) {
+ private DataSetMetaInfo(int numRegisteredPartitions, int
numTotalPartitions) {
+ this.numRegisteredPartitions = numRegisteredPartitions;
this.numTotalPartitions = numTotalPartitions;
}
+ public Optional<Integer> getNumRegisteredPartitions() {
Review comment:
Ok understood. Feel free to merge.
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
[email protected]
With regards,
Apache Git Services
