diff options
-rw-r--r-- | page.c | 35 |
1 files changed, 16 insertions, 19 deletions
@@ -1,6 +1,7 @@ #include <stdint.h> #include <string.h> #include <stdlib.h> +#include <assert.h> #ifndef PAGE_SIZE #define PAGE_SIZE 4096 @@ -65,32 +66,28 @@ void free_page(struct page *page) { } void move_gap_forward(struct page *page) { - if (page->gap_end < PAGE_SIZE) { - page->elements[page->gap_start] = page->elements[page->gap_end]; - page->gap_start++; - page->gap_end++; - } + assert(page->gap_end < PAGE_SIZE); + page->elements[page->gap_start] = page->elements[page->gap_end]; + page->gap_start++; + page->gap_end++; } void move_gap_backward(struct page *page) { - if (page->gap_start > 0) { - page->gap_end--; - page->gap_start--; - page->elements[page->gap_end] = page->elements[page->gap_start]; - } + assert(page->gap_start > 0); + page->gap_end--; + page->gap_start--; + page->elements[page->gap_end] = page->elements[page->gap_start]; } void insert_at_gap(struct page *page, uint8_t c) { - if (page->element_count < PAGE_SIZE) { - page->elements[page->gap_start] = c; - page->gap_start++; - page->element_count++; - } + assert(page->element_count < PAGE_SIZE); + page->elements[page->gap_start] = c; + page->gap_start++; + page->element_count++; } void delete_at_gap(struct page *page) { - if (page->gap_start > 0) { - page->gap_start--; - page->element_count--; - } + assert(page->gap_start > 0); + page->gap_start--; + page->element_count--; } |