| Index: src/scanner.h
|
| diff --git a/src/scanner.h b/src/scanner.h
|
| index 6422ee8cab8ab71868b47f504d37e89fb3a47a4d..73a4e217981c593d3ec5871b4ded1f053c8d4c13 100644
|
| --- a/src/scanner.h
|
| +++ b/src/scanner.h
|
| @@ -25,103 +25,538 @@
|
| // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
| // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
| +// Features shared by parsing and pre-parsing scanners.
|
| +
|
| #ifndef V8_SCANNER_H_
|
| #define V8_SCANNER_H_
|
|
|
| -#include "scanner-base.h"
|
| +#include "allocation.h"
|
| +#include "char-predicates.h"
|
| +#include "checks.h"
|
| +#include "globals.h"
|
| +#include "token.h"
|
| +#include "unicode-inl.h"
|
| +#include "utils.h"
|
|
|
| namespace v8 {
|
| namespace internal {
|
|
|
| -// 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 BufferedUC16CharacterStream: public UC16CharacterStream {
|
| +// Returns the value (0 .. 15) of a hexadecimal character c.
|
| +// If c is not a legal hexadecimal character, returns a value < 0.
|
| +inline int HexValue(uc32 c) {
|
| + c -= '0';
|
| + if (static_cast<unsigned>(c) <= 9) return c;
|
| + c = (c | 0x20) - ('a' - '0'); // detect 0x11..0x16 and 0x31..0x36.
|
| + if (static_cast<unsigned>(c) <= 5) return c + 10;
|
| + return -1;
|
| +}
|
| +
|
| +
|
| +// ---------------------------------------------------------------------
|
| +// Buffered stream of characters, using an internal UC16 buffer.
|
| +
|
| +class UC16CharacterStream {
|
| public:
|
| - BufferedUC16CharacterStream();
|
| - virtual ~BufferedUC16CharacterStream();
|
| + UC16CharacterStream() : pos_(0) { }
|
| + virtual ~UC16CharacterStream() { }
|
| +
|
| + // Returns and advances past the next UC16 character in the input
|
| + // stream. If there are no more characters, it returns a negative
|
| + // value.
|
| + inline uc32 Advance() {
|
| + if (buffer_cursor_ < buffer_end_ || ReadBlock()) {
|
| + pos_++;
|
| + return static_cast<uc32>(*(buffer_cursor_++));
|
| + }
|
| + // Note: currently the following increment is necessary to avoid a
|
| + // parser problem! The scanner treats the final kEndOfInput as
|
| + // a character with a position, and does math relative to that
|
| + // position.
|
| + pos_++;
|
| +
|
| + return kEndOfInput;
|
| + }
|
|
|
| - virtual void PushBack(uc32 character);
|
| + // Return the current position in the character stream.
|
| + // Starts at zero.
|
| + inline unsigned pos() const { return pos_; }
|
| +
|
| + // Skips forward past the next character_count UC16 characters
|
| + // in the input, or until the end of input if that comes sooner.
|
| + // Returns the number of characters actually skipped. If less
|
| + // than character_count,
|
| + inline unsigned SeekForward(unsigned character_count) {
|
| + unsigned buffered_chars =
|
| + static_cast<unsigned>(buffer_end_ - buffer_cursor_);
|
| + if (character_count <= buffered_chars) {
|
| + buffer_cursor_ += character_count;
|
| + pos_ += character_count;
|
| + return character_count;
|
| + }
|
| + return SlowSeekForward(character_count);
|
| + }
|
| +
|
| + // Pushes back the most recently read UC16 character (or negative
|
| + // value if at end of input), i.e., the value returned by the most recent
|
| + // call to Advance.
|
| + // Must not be used right after calling SeekForward.
|
| + virtual void PushBack(int32_t character) = 0;
|
|
|
| protected:
|
| - static const unsigned kBufferSize = 512;
|
| - static const unsigned kPushBackStepSize = 16;
|
| + static const uc32 kEndOfInput = -1;
|
| +
|
| + // Ensures that the buffer_cursor_ points to the character at
|
| + // position pos_ of the input, if possible. If the position
|
| + // is at or after the end of the input, return false. If there
|
| + // are more characters available, return true.
|
| + virtual bool ReadBlock() = 0;
|
| + virtual unsigned SlowSeekForward(unsigned character_count) = 0;
|
| +
|
| + const uc16* buffer_cursor_;
|
| + const uc16* buffer_end_;
|
| + unsigned pos_;
|
| +};
|
| +
|
|
|
| - virtual unsigned SlowSeekForward(unsigned delta);
|
| - virtual bool ReadBlock();
|
| - virtual void SlowPushBack(uc16 character);
|
| +class UnicodeCache {
|
| +// ---------------------------------------------------------------------
|
| +// Caching predicates used by scanners.
|
| + public:
|
| + UnicodeCache() {}
|
| + typedef unibrow::Utf8InputBuffer<1024> Utf8Decoder;
|
| +
|
| + StaticResource<Utf8Decoder>* utf8_decoder() {
|
| + return &utf8_decoder_;
|
| + }
|
| +
|
| + bool IsIdentifierStart(unibrow::uchar c) { return kIsIdentifierStart.get(c); }
|
| + bool IsIdentifierPart(unibrow::uchar c) { return kIsIdentifierPart.get(c); }
|
| + bool IsLineTerminator(unibrow::uchar c) { return kIsLineTerminator.get(c); }
|
| + bool IsWhiteSpace(unibrow::uchar c) { return kIsWhiteSpace.get(c); }
|
|
|
| - virtual unsigned BufferSeekForward(unsigned delta) = 0;
|
| - virtual unsigned FillBuffer(unsigned position, unsigned length) = 0;
|
| + private:
|
|
|
| - const uc16* pushback_limit_;
|
| - uc16 buffer_[kBufferSize];
|
| + unibrow::Predicate<IdentifierStart, 128> kIsIdentifierStart;
|
| + unibrow::Predicate<IdentifierPart, 128> kIsIdentifierPart;
|
| + unibrow::Predicate<unibrow::LineTerminator, 128> kIsLineTerminator;
|
| + unibrow::Predicate<unibrow::WhiteSpace, 128> kIsWhiteSpace;
|
| + StaticResource<Utf8Decoder> utf8_decoder_;
|
| +
|
| + DISALLOW_COPY_AND_ASSIGN(UnicodeCache);
|
| };
|
|
|
|
|
| -// Generic string stream.
|
| -class GenericStringUC16CharacterStream: public BufferedUC16CharacterStream {
|
| +// ----------------------------------------------------------------------------
|
| +// LiteralBuffer - Collector of chars of literals.
|
| +
|
| +class LiteralBuffer {
|
| public:
|
| - GenericStringUC16CharacterStream(Handle<String> data,
|
| - unsigned start_position,
|
| - unsigned end_position);
|
| - virtual ~GenericStringUC16CharacterStream();
|
| + LiteralBuffer() : is_ascii_(true), position_(0), backing_store_() { }
|
|
|
| - protected:
|
| - virtual unsigned BufferSeekForward(unsigned delta);
|
| - virtual unsigned FillBuffer(unsigned position, unsigned length);
|
| + ~LiteralBuffer() {
|
| + if (backing_store_.length() > 0) {
|
| + backing_store_.Dispose();
|
| + }
|
| + }
|
| +
|
| + inline void AddChar(uc16 character) {
|
| + if (position_ >= backing_store_.length()) ExpandBuffer();
|
| + if (is_ascii_) {
|
| + if (character < kMaxAsciiCharCodeU) {
|
| + backing_store_[position_] = static_cast<byte>(character);
|
| + position_ += kASCIISize;
|
| + return;
|
| + }
|
| + ConvertToUC16();
|
| + }
|
| + *reinterpret_cast<uc16*>(&backing_store_[position_]) = character;
|
| + position_ += kUC16Size;
|
| + }
|
| +
|
| + bool is_ascii() { return is_ascii_; }
|
| +
|
| + Vector<const uc16> uc16_literal() {
|
| + ASSERT(!is_ascii_);
|
| + ASSERT((position_ & 0x1) == 0);
|
| + return Vector<const uc16>(
|
| + reinterpret_cast<const uc16*>(backing_store_.start()),
|
| + position_ >> 1);
|
| + }
|
| +
|
| + Vector<const char> ascii_literal() {
|
| + ASSERT(is_ascii_);
|
| + return Vector<const char>(
|
| + reinterpret_cast<const char*>(backing_store_.start()),
|
| + position_);
|
| + }
|
| +
|
| + int length() {
|
| + return is_ascii_ ? position_ : (position_ >> 1);
|
| + }
|
| +
|
| + void Reset() {
|
| + position_ = 0;
|
| + is_ascii_ = true;
|
| + }
|
| + private:
|
| + static const int kInitialCapacity = 16;
|
| + static const int kGrowthFactory = 4;
|
| + static const int kMinConversionSlack = 256;
|
| + static const int kMaxGrowth = 1 * MB;
|
| + inline int NewCapacity(int min_capacity) {
|
| + int capacity = Max(min_capacity, backing_store_.length());
|
| + int new_capacity = Min(capacity * kGrowthFactory, capacity + kMaxGrowth);
|
| + return new_capacity;
|
| + }
|
| +
|
| + void ExpandBuffer() {
|
| + Vector<byte> new_store = Vector<byte>::New(NewCapacity(kInitialCapacity));
|
| + memcpy(new_store.start(), backing_store_.start(), position_);
|
| + backing_store_.Dispose();
|
| + backing_store_ = new_store;
|
| + }
|
| +
|
| + void ConvertToUC16() {
|
| + ASSERT(is_ascii_);
|
| + Vector<byte> new_store;
|
| + int new_content_size = position_ * kUC16Size;
|
| + if (new_content_size >= backing_store_.length()) {
|
| + // Ensure room for all currently read characters as UC16 as well
|
| + // as the character about to be stored.
|
| + new_store = Vector<byte>::New(NewCapacity(new_content_size));
|
| + } else {
|
| + new_store = backing_store_;
|
| + }
|
| + char* src = reinterpret_cast<char*>(backing_store_.start());
|
| + uc16* dst = reinterpret_cast<uc16*>(new_store.start());
|
| + for (int i = position_ - 1; i >= 0; i--) {
|
| + dst[i] = src[i];
|
| + }
|
| + if (new_store.start() != backing_store_.start()) {
|
| + backing_store_.Dispose();
|
| + backing_store_ = new_store;
|
| + }
|
| + position_ = new_content_size;
|
| + is_ascii_ = false;
|
| + }
|
| +
|
| + bool is_ascii_;
|
| + int position_;
|
| + Vector<byte> backing_store_;
|
|
|
| - Handle<String> string_;
|
| - unsigned start_position_;
|
| - unsigned length_;
|
| + DISALLOW_COPY_AND_ASSIGN(LiteralBuffer);
|
| };
|
|
|
|
|
| -// UC16 stream based on a literal UTF-8 string.
|
| -class Utf8ToUC16CharacterStream: public BufferedUC16CharacterStream {
|
| +// ----------------------------------------------------------------------------
|
| +// Scanner base-class.
|
| +
|
| +// Generic functionality used by both JSON and JavaScript scanners.
|
| +class Scanner {
|
| public:
|
| - Utf8ToUC16CharacterStream(const byte* data, unsigned length);
|
| - virtual ~Utf8ToUC16CharacterStream();
|
| + // -1 is outside of the range of any real source code.
|
| + static const int kNoOctalLocation = -1;
|
| +
|
| + typedef unibrow::Utf8InputBuffer<1024> Utf8Decoder;
|
| +
|
| + class LiteralScope {
|
| + public:
|
| + explicit LiteralScope(Scanner* self);
|
| + ~LiteralScope();
|
| + void Complete();
|
| +
|
| + private:
|
| + Scanner* scanner_;
|
| + bool complete_;
|
| + };
|
| +
|
| + explicit Scanner(UnicodeCache* scanner_contants);
|
| +
|
| + // Returns the current token again.
|
| + Token::Value current_token() { return current_.token; }
|
| +
|
| + // One token look-ahead (past the token returned by Next()).
|
| + Token::Value peek() const { return next_.token; }
|
| +
|
| + struct Location {
|
| + Location(int b, int e) : beg_pos(b), end_pos(e) { }
|
| + Location() : beg_pos(0), end_pos(0) { }
|
| +
|
| + bool IsValid() const {
|
| + return beg_pos >= 0 && end_pos >= beg_pos;
|
| + }
|
| +
|
| + static Location invalid() { return Location(-1, -1); }
|
| +
|
| + int beg_pos;
|
| + int end_pos;
|
| + };
|
| +
|
| + // Returns the location information for the current token
|
| + // (the token returned by Next()).
|
| + Location location() const { return current_.location; }
|
| + Location peek_location() const { return next_.location; }
|
| +
|
| + // Returns the literal string, if any, for the current token (the
|
| + // token returned by Next()). The string is 0-terminated and in
|
| + // UTF-8 format; they may contain 0-characters. Literal strings are
|
| + // collected for identifiers, strings, and numbers.
|
| + // These functions only give the correct result if the literal
|
| + // was scanned between calls to StartLiteral() and TerminateLiteral().
|
| + bool is_literal_ascii() {
|
| + ASSERT_NOT_NULL(current_.literal_chars);
|
| + return current_.literal_chars->is_ascii();
|
| + }
|
| + Vector<const char> literal_ascii_string() {
|
| + ASSERT_NOT_NULL(current_.literal_chars);
|
| + return current_.literal_chars->ascii_literal();
|
| + }
|
| + Vector<const uc16> literal_uc16_string() {
|
| + ASSERT_NOT_NULL(current_.literal_chars);
|
| + return current_.literal_chars->uc16_literal();
|
| + }
|
| + int literal_length() const {
|
| + ASSERT_NOT_NULL(current_.literal_chars);
|
| + return current_.literal_chars->length();
|
| + }
|
| +
|
| + bool literal_contains_escapes() const {
|
| + Location location = current_.location;
|
| + int source_length = (location.end_pos - location.beg_pos);
|
| + if (current_.token == Token::STRING) {
|
| + // Subtract delimiters.
|
| + source_length -= 2;
|
| + }
|
| + return current_.literal_chars->length() != source_length;
|
| + }
|
| +
|
| + // Returns the literal string for the next token (the token that
|
| + // would be returned if Next() were called).
|
| + bool is_next_literal_ascii() {
|
| + ASSERT_NOT_NULL(next_.literal_chars);
|
| + return next_.literal_chars->is_ascii();
|
| + }
|
| + Vector<const char> next_literal_ascii_string() {
|
| + ASSERT_NOT_NULL(next_.literal_chars);
|
| + return next_.literal_chars->ascii_literal();
|
| + }
|
| + Vector<const uc16> next_literal_uc16_string() {
|
| + ASSERT_NOT_NULL(next_.literal_chars);
|
| + return next_.literal_chars->uc16_literal();
|
| + }
|
| + int next_literal_length() const {
|
| + ASSERT_NOT_NULL(next_.literal_chars);
|
| + return next_.literal_chars->length();
|
| + }
|
| +
|
| + UnicodeCache* unicode_cache() { return unicode_cache_; }
|
| +
|
| + static const int kCharacterLookaheadBufferSize = 1;
|
|
|
| protected:
|
| - virtual unsigned BufferSeekForward(unsigned delta);
|
| - virtual unsigned FillBuffer(unsigned char_position, unsigned length);
|
| - void SetRawPosition(unsigned char_position);
|
| -
|
| - const byte* raw_data_;
|
| - unsigned raw_data_length_; // Measured in bytes, not characters.
|
| - unsigned raw_data_pos_;
|
| - // The character position of the character at raw_data[raw_data_pos_].
|
| - // Not necessarily the same as pos_.
|
| - unsigned raw_character_position_;
|
| + // The current and look-ahead token.
|
| + struct TokenDesc {
|
| + Token::Value token;
|
| + Location location;
|
| + LiteralBuffer* literal_chars;
|
| + };
|
| +
|
| + // Call this after setting source_ to the input.
|
| + void Init() {
|
| + // Set c0_ (one character ahead)
|
| + STATIC_ASSERT(kCharacterLookaheadBufferSize == 1);
|
| + Advance();
|
| + // Initialize current_ to not refer to a literal.
|
| + current_.literal_chars = NULL;
|
| + }
|
| +
|
| + // Literal buffer support
|
| + inline void StartLiteral() {
|
| + LiteralBuffer* free_buffer = (current_.literal_chars == &literal_buffer1_) ?
|
| + &literal_buffer2_ : &literal_buffer1_;
|
| + free_buffer->Reset();
|
| + next_.literal_chars = free_buffer;
|
| + }
|
| +
|
| + inline void AddLiteralChar(uc32 c) {
|
| + ASSERT_NOT_NULL(next_.literal_chars);
|
| + next_.literal_chars->AddChar(c);
|
| + }
|
| +
|
| + // Complete scanning of a literal.
|
| + inline void TerminateLiteral() {
|
| + // Does nothing in the current implementation.
|
| + }
|
| +
|
| + // Stops scanning of a literal and drop the collected characters,
|
| + // e.g., due to an encountered error.
|
| + inline void DropLiteral() {
|
| + next_.literal_chars = NULL;
|
| + }
|
| +
|
| + inline void AddLiteralCharAdvance() {
|
| + AddLiteralChar(c0_);
|
| + Advance();
|
| + }
|
| +
|
| + // Low-level scanning support.
|
| + void Advance() { c0_ = source_->Advance(); }
|
| + void PushBack(uc32 ch) {
|
| + source_->PushBack(c0_);
|
| + c0_ = ch;
|
| + }
|
| +
|
| + inline Token::Value Select(Token::Value tok) {
|
| + Advance();
|
| + return tok;
|
| + }
|
| +
|
| + inline Token::Value Select(uc32 next, Token::Value then, Token::Value else_) {
|
| + Advance();
|
| + if (c0_ == next) {
|
| + Advance();
|
| + return then;
|
| + } else {
|
| + return else_;
|
| + }
|
| + }
|
| +
|
| + uc32 ScanHexNumber(int expected_length);
|
| +
|
| + // Return the current source position.
|
| + int source_pos() {
|
| + return source_->pos() - kCharacterLookaheadBufferSize;
|
| + }
|
| +
|
| + UnicodeCache* unicode_cache_;
|
| +
|
| + // Buffers collecting literal strings, numbers, etc.
|
| + LiteralBuffer literal_buffer1_;
|
| + LiteralBuffer literal_buffer2_;
|
| +
|
| + TokenDesc current_; // desc for current token (as returned by Next())
|
| + TokenDesc next_; // desc for next token (one token look-ahead)
|
| +
|
| + // Input stream. Must be initialized to an UC16CharacterStream.
|
| + UC16CharacterStream* source_;
|
| +
|
| + // One Unicode character look-ahead; c0_ < 0 at the end of the input.
|
| + uc32 c0_;
|
| };
|
|
|
| +// ----------------------------------------------------------------------------
|
| +// JavaScriptScanner - base logic for JavaScript scanning.
|
|
|
| -// UTF16 buffer to read characters from an external string.
|
| -class ExternalTwoByteStringUC16CharacterStream: public UC16CharacterStream {
|
| +class JavaScriptScanner : public Scanner {
|
| public:
|
| - ExternalTwoByteStringUC16CharacterStream(Handle<ExternalTwoByteString> data,
|
| - int start_position,
|
| - int end_position);
|
| - virtual ~ExternalTwoByteStringUC16CharacterStream();
|
| + // A LiteralScope that disables recording of some types of JavaScript
|
| + // literals. If the scanner is configured to not record the specific
|
| + // type of literal, the scope will not call StartLiteral.
|
| + class LiteralScope {
|
| + public:
|
| + explicit LiteralScope(JavaScriptScanner* self)
|
| + : scanner_(self), complete_(false) {
|
| + scanner_->StartLiteral();
|
| + }
|
| + ~LiteralScope() {
|
| + if (!complete_) scanner_->DropLiteral();
|
| + }
|
| + void Complete() {
|
| + scanner_->TerminateLiteral();
|
| + complete_ = true;
|
| + }
|
|
|
| - virtual void PushBack(uc32 character) {
|
| - ASSERT(buffer_cursor_ > raw_data_);
|
| - buffer_cursor_--;
|
| - pos_--;
|
| + private:
|
| + JavaScriptScanner* scanner_;
|
| + bool complete_;
|
| + };
|
| +
|
| + explicit JavaScriptScanner(UnicodeCache* scanner_contants);
|
| +
|
| + void Initialize(UC16CharacterStream* source);
|
| +
|
| + // Returns the next token.
|
| + Token::Value Next();
|
| +
|
| + // Returns true if there was a line terminator before the peek'ed token,
|
| + // possibly inside a multi-line comment.
|
| + bool HasAnyLineTerminatorBeforeNext() const {
|
| + return has_line_terminator_before_next_ ||
|
| + has_multiline_comment_before_next_;
|
| }
|
|
|
| - protected:
|
| - virtual unsigned SlowSeekForward(unsigned delta) {
|
| - // Fast case always handles seeking.
|
| - return 0;
|
| + // Scans the input as a regular expression pattern, previous
|
| + // character(s) must be /(=). Returns true if a pattern is scanned.
|
| + bool ScanRegExpPattern(bool seen_equal);
|
| + // Returns true if regexp flags are scanned (always since flags can
|
| + // be empty).
|
| + bool ScanRegExpFlags();
|
| +
|
| + // Tells whether the buffer contains an identifier (no escapes).
|
| + // Used for checking if a property name is an identifier.
|
| + static bool IsIdentifier(unibrow::CharacterStream* buffer);
|
| +
|
| + // Scans octal escape sequence. Also accepts "\0" decimal escape sequence.
|
| + uc32 ScanOctalEscape(uc32 c, int length);
|
| +
|
| + // Returns the location of the last seen octal literal
|
| + Location octal_position() const { return octal_pos_; }
|
| + void clear_octal_position() { octal_pos_ = Location::invalid(); }
|
| +
|
| + // Seek forward to the given position. This operation does not
|
| + // work in general, for instance when there are pushed back
|
| + // characters, but works for seeking forward until simple delimiter
|
| + // tokens, which is what it is used for.
|
| + void SeekForward(int pos);
|
| +
|
| + bool HarmonyBlockScoping() const {
|
| + return harmony_block_scoping_;
|
| }
|
| - virtual bool ReadBlock() {
|
| - // Entire string is read at start.
|
| - return false;
|
| + void SetHarmonyBlockScoping(bool block_scoping) {
|
| + harmony_block_scoping_ = block_scoping;
|
| }
|
| - Handle<ExternalTwoByteString> source_;
|
| - const uc16* raw_data_; // Pointer to the actual array of characters.
|
| +
|
| +
|
| + protected:
|
| + bool SkipWhiteSpace();
|
| + Token::Value SkipSingleLineComment();
|
| + Token::Value SkipMultiLineComment();
|
| +
|
| + // Scans a single JavaScript token.
|
| + void Scan();
|
| +
|
| + void ScanDecimalDigits();
|
| + Token::Value ScanNumber(bool seen_period);
|
| + Token::Value ScanIdentifierOrKeyword();
|
| + Token::Value ScanIdentifierSuffix(LiteralScope* literal);
|
| +
|
| + void ScanEscape();
|
| + Token::Value ScanString();
|
| +
|
| + // Scans a possible HTML comment -- begins with '<!'.
|
| + Token::Value ScanHtmlComment();
|
| +
|
| + // Decodes a unicode escape-sequence which is part of an identifier.
|
| + // If the escape sequence cannot be decoded the result is kBadChar.
|
| + uc32 ScanIdentifierUnicodeEscape();
|
| + // Recognizes a uniocde escape-sequence and adds its characters,
|
| + // uninterpreted, to the current literal. Used for parsing RegExp
|
| + // flags.
|
| + bool ScanLiteralUnicodeEscape();
|
| +
|
| + // Start position of the octal literal last scanned.
|
| + Location octal_pos_;
|
| +
|
| + // Whether there is a line terminator whitespace character after
|
| + // the current token, and before the next. Does not count newlines
|
| + // inside multiline comments.
|
| + bool has_line_terminator_before_next_;
|
| + // Whether there is a multi-line comment that contains a
|
| + // line-terminator after the current token, and before the next.
|
| + bool has_multiline_comment_before_next_;
|
| + // Whether we scan 'let' as a keyword for harmony block scoped
|
| + // let bindings.
|
| + bool harmony_block_scoping_;
|
| };
|
|
|
| } } // namespace v8::internal
|
|
|