[runtime] Support Proxy setPrototypeOf trap

src/parsing/scanner-character-streams.h

 // Copyright 2011 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef V8_PARSING_SCANNER_CHARACTER_STREAMS_H_
 #define V8_PARSING_SCANNER_CHARACTER_STREAMS_H_
 
 #include "src/handles.h"
 #include "src/parsing/scanner.h"
 #include "src/vector.h"
 
 namespace v8 {
 namespace internal {
 
 // Forward declarations.
 class ExternalTwoByteString;
 
 // A buffered character stream based on a random access character
 // source (ReadBlock can be called with pos_ pointing to any position,
 // even positions before the current).
-class BufferedUtf16CharacterStream: public Utf16CharacterStream {
+class BufferedUtf16CharacterStream : public Utf16CharacterStream {
  public:
   BufferedUtf16CharacterStream();
   ~BufferedUtf16CharacterStream() override;
 
   void PushBack(uc32 character) override;
 
  protected:
   static const size_t kBufferSize = 512;
   static const size_t kPushBackStepSize = 16;
 
   size_t SlowSeekForward(size_t delta) override;
   bool ReadBlock() override;
   virtual void SlowPushBack(uc16 character);
 
   virtual size_t BufferSeekForward(size_t delta) = 0;
   virtual size_t FillBuffer(size_t position) = 0;
 
   const uc16* pushback_limit_;
   uc16 buffer_[kBufferSize];
 };
 
 
 // Generic string stream.
-class GenericStringUtf16CharacterStream: public BufferedUtf16CharacterStream {
+class GenericStringUtf16CharacterStream : public BufferedUtf16CharacterStream {
  public:
   GenericStringUtf16CharacterStream(Handle<String> data, size_t start_position,
                                     size_t end_position);
   ~GenericStringUtf16CharacterStream() override;
 
   bool SetBookmark() override;
   void ResetToBookmark() override;
 
  protected:
   static const size_t kNoBookmark = -1;
 
   size_t BufferSeekForward(size_t delta) override;
   size_t FillBuffer(size_t position) override;
 
   Handle<String> string_;
   size_t length_;
   size_t bookmark_;
 };
 
 
 // Utf16 stream based on a literal UTF-8 string.
-class Utf8ToUtf16CharacterStream: public BufferedUtf16CharacterStream {
+class Utf8ToUtf16CharacterStream : public BufferedUtf16CharacterStream {
  public:
   Utf8ToUtf16CharacterStream(const byte* data, size_t length);
   ~Utf8ToUtf16CharacterStream() override;
 
   static size_t CopyChars(uint16_t* dest, size_t length, const byte* src,
                           size_t* src_pos, size_t src_length);
 
  protected:
   size_t BufferSeekForward(size_t delta) override;
   size_t FillBuffer(size_t char_position) override;
@@ skipping 64 matching lines @@
   Vector<uint16_t> bookmark_buffer_;
   Vector<uint8_t> bookmark_data_;
   bool bookmark_data_is_from_current_data_;
   size_t bookmark_data_offset_;
   uint8_t bookmark_utf8_split_char_buffer_[4];
   size_t bookmark_utf8_split_char_buffer_length_;
 };
 
 
 // UTF16 buffer to read characters from an external string.
-class ExternalTwoByteStringUtf16CharacterStream: public Utf16CharacterStream {
+class ExternalTwoByteStringUtf16CharacterStream : public Utf16CharacterStream {
  public:
   ExternalTwoByteStringUtf16CharacterStream(Handle<ExternalTwoByteString> data,
                                             int start_position,
                                             int end_position);
   ~ExternalTwoByteStringUtf16CharacterStream() override;
 
   void PushBack(uc32 character) override {
     DCHECK(buffer_cursor_ > raw_data_);
     buffer_cursor_--;
     pos_--;
@@ skipping 17 matching lines @@
  private:
   static const size_t kNoBookmark = -1;
 
   size_t bookmark_;
 };
 
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_PARSING_SCANNER_CHARACTER_STREAMS_H_