, actually_owning_ranks(actually_owning_ranks)
, local_range(local_range)
, actually_owning_rank_list(actually_owning_rank_list)
- {}
+ {
+ Assert(local_range.first < local_range.second, ExcInternalError());
+ }
/**
* Implementation of
for (types::global_dof_index i = interval.first;
i < interval.second;
i++)
- Assert(actually_owning_ranks[i - local_range.first] ==
- numbers::invalid_unsigned_int,
- ExcInternalError());
- Assert(interval.first >= local_range.first &&
- interval.first < local_range.second,
- ExcInternalError());
- Assert(interval.second > local_range.first &&
- interval.second <= local_range.second,
- ExcInternalError());
+ Assert(
+ actually_owning_ranks[i - local_range.first] ==
+ numbers::invalid_unsigned_int,
+ ExcMessage(
+ "Multiple processes seem to own the same global index. "
+ "A possible reason is that the sets of locally owned "
+ "indices are not distinct."));
+ Assert(interval.first < interval.second, ExcInternalError());
+ Assert(
+ local_range.first <= interval.first &&
+ interval.second <= local_range.second,
+ ExcMessage(
+ "The specified interval is not handled by the current process."));
#endif
std::fill(actually_owning_ranks.data() + interval.first -
local_range.first,