791 |
/* Move right. */ |
/* Move right. */ |
792 |
if (pos < INTERVAL_LAST_POS (i) + TOTAL_LENGTH (i->right)) |
if (pos < INTERVAL_LAST_POS (i) + TOTAL_LENGTH (i->right)) |
793 |
{ |
{ |
794 |
i->right->position = INTERVAL_LAST_POS (i) + |
i->right->position = INTERVAL_LAST_POS (i) |
795 |
LEFT_TOTAL_LENGTH (i->right); |
+ LEFT_TOTAL_LENGTH (i->right); |
796 |
i = i->right; /* Move to the right child */ |
i = i->right; /* Move to the right child */ |
797 |
} |
} |
798 |
else if (NULL_PARENT (i)) |
else if (NULL_PARENT (i)) |
799 |
error ("Point after end of properties"); |
error ("Point %d after end of properties", pos); |
800 |
else |
else |
801 |
i = INTERVAL_PARENT (i); |
i = INTERVAL_PARENT (i); |
802 |
continue; |
continue; |
803 |
} |
} |
804 |
else |
else |