reallocateStateStack method
void
reallocateStateStack()
Implementation
void reallocateStateStack() {
var old_stack_length = stateStack.length;
var stack_length = old_stack_length + STACK_INCREMENT;
if (stateStack.isEmpty) {
stateStack = List.filled(stack_length, 0);
} else {
ArrayList.copy(stateStack, 0, stateStack = List.filled(stack_length, 0),
0, old_stack_length);
}
return;
}