public function replace_slice(HTMLTokenSet $slice) { array_splice($this->tokens, $slice->sliceOffsetBegin, $slice->sliceOffsetLength, $slice->tokens); }