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;
}