private static void fillInPartitionedRegionInfo(final InternalCache cache, final Set prDetailsSet,
      final boolean internal) {
    // TODO: optimize by fetching all PR details from each member at once
    Set<PartitionedRegion> partitionedRegions = cache.getPartitionedRegions();
    if (partitionedRegions.isEmpty()) {
      return;
    }
    for (PartitionedRegion partitionedRegion : partitionedRegions) {
      PartitionRegionInfo prDetails = partitionedRegion.getRedundancyProvider()
          .buildPartitionedRegionInfo(internal, cache.getInternalResourceManager().getLoadProbe());
      if (prDetails != null) {
        prDetailsSet.add(prDetails);
      }
    }
  }
Gathers details about the specified partitioned region. Returns null if the partitioned region
is not locally defined.

@param region the region to get info about
@return details about the specified partitioned region
@since GemFire 6.0
geode-core/src/main/java/org/apache/geode/cache/partition/PartitionRegionHelper.java