docs: public void setRangePartitioned(Ordering ordering, DataDistribution distribution) {
  		if (ordering == null) {
  			throw new NullPointerException();
  		}
  		
  		this.partitioning = PartitioningProperty.RANGE_PARTITIONED;
  		this.ordering = ordering;
  		this.partitioningFields = ordering.getInvolvedIndexes();
  		this.distribution = distribution;
  	}