| Index: src/scanner-character-streams.h
|
| diff --git a/src/scanner-character-streams.h b/src/scanner-character-streams.h
|
| index 352e17612eaf55fd279a83774b60bd55975ee7ec..a26f50a8922a0220f599d545ab901358166f70cb 100644
|
| --- a/src/scanner-character-streams.h
|
| +++ b/src/scanner-character-streams.h
|
| @@ -99,6 +99,8 @@ class ExternalStreamingStream : public BufferedUtf16CharacterStream {
|
| current_data_length_(0),
|
| utf8_split_char_buffer_length_(0),
|
| bookmark_(0),
|
| + bookmark_data_is_from_current_data_(false),
|
| + bookmark_data_offset_(0),
|
| bookmark_utf8_split_char_buffer_length_(0) {}
|
|
|
| virtual ~ExternalStreamingStream() {
|
| @@ -139,6 +141,8 @@ class ExternalStreamingStream : public BufferedUtf16CharacterStream {
|
| size_t bookmark_;
|
| 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_;
|
| };
|
|
|