Lines Matching defs:start_card
177 size_t start_card = _array->index_for(start);
179 assert(start ==_array->address_for_index(start_card), "Precondition");
181 set_remainder_to_point_to_start_incl(start_card, end_card, reducing); // closed interval
186 // a closed, inclusive interval: [start_card, end_card], cf set_remainder_to_point_to_start()
189 BlockOffsetArray::set_remainder_to_point_to_start_incl(size_t start_card, size_t end_card, bool reducing) {
192 if (start_card > end_card) {
195 assert(start_card > _array->index_for(_bottom), "Cannot be first card");
196 assert(_array->offset_array(start_card-1) <= N_words,
198 size_t start_card_for_region = start_card;
204 size_t reach = start_card - 1 + (power_to_cards_back(i+1) - 1);
215 DEBUG_ONLY(check_all_cards(start_card, end_card);)
218 // The card-interval [start_card, end_card] is a closed interval; this
221 void BlockOffsetArray::check_all_cards(size_t start_card, size_t end_card) const {
223 if (end_card < start_card) {
226 guarantee(_array->offset_array(start_card) == N_words, "Wrong value in second card");
228 for (size_t c = start_card + 1; c <= end_card; c++ /* yeah! */) {
231 if (c - start_card > power_to_cards_back(1)) {
236 guarantee(landing_card >= (start_card - 1), "Inv");
237 if (landing_card >= start_card) {
240 guarantee(landing_card == (start_card - 1), "Tautology");