| Index: src/parser.h
|
| diff --git a/src/parser.h b/src/parser.h
|
| deleted file mode 100644
|
| index c912c8f020ca072f5aaa4ac36de57625ccff14a3..0000000000000000000000000000000000000000
|
| --- a/src/parser.h
|
| +++ /dev/null
|
| @@ -1,1412 +0,0 @@
|
| -// Copyright 2012 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_PARSER_H_
|
| -#define V8_PARSER_H_
|
| -
|
| -#include "src/allocation.h"
|
| -#include "src/ast.h"
|
| -#include "src/compiler.h" // TODO(titzer): remove this include dependency
|
| -#include "src/pending-compilation-error-handler.h"
|
| -#include "src/preparse-data.h"
|
| -#include "src/preparse-data-format.h"
|
| -#include "src/preparser.h"
|
| -#include "src/scopes.h"
|
| -
|
| -namespace v8 {
|
| -
|
| -class ScriptCompiler;
|
| -
|
| -namespace internal {
|
| -
|
| -class Target;
|
| -
|
| -// A container for the inputs, configuration options, and outputs of parsing.
|
| -class ParseInfo {
|
| - public:
|
| - explicit ParseInfo(Zone* zone);
|
| - ParseInfo(Zone* zone, Handle<JSFunction> function);
|
| - ParseInfo(Zone* zone, Handle<Script> script);
|
| - // TODO(all) Only used via Debug::FindSharedFunctionInfoInScript, remove?
|
| - ParseInfo(Zone* zone, Handle<SharedFunctionInfo> shared);
|
| -
|
| - ~ParseInfo() {
|
| - if (ast_value_factory_owned()) {
|
| - delete ast_value_factory_;
|
| - set_ast_value_factory_owned(false);
|
| - }
|
| - ast_value_factory_ = nullptr;
|
| - }
|
| -
|
| - Zone* zone() { return zone_; }
|
| -
|
| -// Convenience accessor methods for flags.
|
| -#define FLAG_ACCESSOR(flag, getter, setter) \
|
| - bool getter() const { return GetFlag(flag); } \
|
| - void setter() { SetFlag(flag); } \
|
| - void setter(bool val) { SetFlag(flag, val); }
|
| -
|
| - FLAG_ACCESSOR(kToplevel, is_toplevel, set_toplevel)
|
| - FLAG_ACCESSOR(kLazy, is_lazy, set_lazy)
|
| - FLAG_ACCESSOR(kEval, is_eval, set_eval)
|
| - FLAG_ACCESSOR(kGlobal, is_global, set_global)
|
| - FLAG_ACCESSOR(kStrictMode, is_strict_mode, set_strict_mode)
|
| - FLAG_ACCESSOR(kStrongMode, is_strong_mode, set_strong_mode)
|
| - FLAG_ACCESSOR(kNative, is_native, set_native)
|
| - FLAG_ACCESSOR(kModule, is_module, set_module)
|
| - FLAG_ACCESSOR(kAllowLazyParsing, allow_lazy_parsing, set_allow_lazy_parsing)
|
| - FLAG_ACCESSOR(kAstValueFactoryOwned, ast_value_factory_owned,
|
| - set_ast_value_factory_owned)
|
| -
|
| -#undef FLAG_ACCESSOR
|
| -
|
| - void set_parse_restriction(ParseRestriction restriction) {
|
| - SetFlag(kParseRestriction, restriction != NO_PARSE_RESTRICTION);
|
| - }
|
| -
|
| - ParseRestriction parse_restriction() const {
|
| - return GetFlag(kParseRestriction) ? ONLY_SINGLE_FUNCTION_LITERAL
|
| - : NO_PARSE_RESTRICTION;
|
| - }
|
| -
|
| - ScriptCompiler::ExternalSourceStream* source_stream() {
|
| - return source_stream_;
|
| - }
|
| - void set_source_stream(ScriptCompiler::ExternalSourceStream* source_stream) {
|
| - source_stream_ = source_stream;
|
| - }
|
| -
|
| - ScriptCompiler::StreamedSource::Encoding source_stream_encoding() {
|
| - return source_stream_encoding_;
|
| - }
|
| - void set_source_stream_encoding(
|
| - ScriptCompiler::StreamedSource::Encoding source_stream_encoding) {
|
| - source_stream_encoding_ = source_stream_encoding;
|
| - }
|
| -
|
| - v8::Extension* extension() { return extension_; }
|
| - void set_extension(v8::Extension* extension) { extension_ = extension; }
|
| -
|
| - ScriptData** cached_data() { return cached_data_; }
|
| - void set_cached_data(ScriptData** cached_data) { cached_data_ = cached_data; }
|
| -
|
| - ScriptCompiler::CompileOptions compile_options() { return compile_options_; }
|
| - void set_compile_options(ScriptCompiler::CompileOptions compile_options) {
|
| - compile_options_ = compile_options;
|
| - }
|
| -
|
| - Scope* script_scope() { return script_scope_; }
|
| - void set_script_scope(Scope* script_scope) { script_scope_ = script_scope; }
|
| -
|
| - AstValueFactory* ast_value_factory() { return ast_value_factory_; }
|
| - void set_ast_value_factory(AstValueFactory* ast_value_factory) {
|
| - ast_value_factory_ = ast_value_factory;
|
| - }
|
| -
|
| - FunctionLiteral* literal() { return literal_; }
|
| - void set_literal(FunctionLiteral* literal) { literal_ = literal; }
|
| -
|
| - Scope* scope() { return scope_; }
|
| - void set_scope(Scope* scope) { scope_ = scope; }
|
| -
|
| - UnicodeCache* unicode_cache() { return unicode_cache_; }
|
| - void set_unicode_cache(UnicodeCache* unicode_cache) {
|
| - unicode_cache_ = unicode_cache;
|
| - }
|
| -
|
| - uintptr_t stack_limit() { return stack_limit_; }
|
| - void set_stack_limit(uintptr_t stack_limit) { stack_limit_ = stack_limit; }
|
| -
|
| - uint32_t hash_seed() { return hash_seed_; }
|
| - void set_hash_seed(uint32_t hash_seed) { hash_seed_ = hash_seed; }
|
| -
|
| - //--------------------------------------------------------------------------
|
| - // TODO(titzer): these should not be part of ParseInfo.
|
| - //--------------------------------------------------------------------------
|
| - Isolate* isolate() { return isolate_; }
|
| - Handle<JSFunction> closure() { return closure_; }
|
| - Handle<SharedFunctionInfo> shared_info() { return shared_; }
|
| - Handle<Script> script() { return script_; }
|
| - Handle<Context> context() { return context_; }
|
| - void clear_script() { script_ = Handle<Script>::null(); }
|
| - void set_isolate(Isolate* isolate) { isolate_ = isolate; }
|
| - void set_context(Handle<Context> context) { context_ = context; }
|
| - void set_script(Handle<Script> script) { script_ = script; }
|
| - //--------------------------------------------------------------------------
|
| -
|
| - LanguageMode language_mode() {
|
| - return construct_language_mode(is_strict_mode(), is_strong_mode());
|
| - }
|
| - void set_language_mode(LanguageMode language_mode) {
|
| - STATIC_ASSERT(LANGUAGE_END == 3);
|
| - set_strict_mode(language_mode & STRICT_BIT);
|
| - set_strong_mode(language_mode & STRONG_BIT);
|
| - }
|
| -
|
| - void ReopenHandlesInNewHandleScope() {
|
| - closure_ = Handle<JSFunction>(*closure_);
|
| - shared_ = Handle<SharedFunctionInfo>(*shared_);
|
| - script_ = Handle<Script>(*script_);
|
| - context_ = Handle<Context>(*context_);
|
| - }
|
| -
|
| - private:
|
| - // Various configuration flags for parsing.
|
| - enum Flag {
|
| - // ---------- Input flags ---------------------------
|
| - kToplevel = 1 << 0,
|
| - kLazy = 1 << 1,
|
| - kEval = 1 << 2,
|
| - kGlobal = 1 << 3,
|
| - kStrictMode = 1 << 4,
|
| - kStrongMode = 1 << 5,
|
| - kNative = 1 << 6,
|
| - kParseRestriction = 1 << 7,
|
| - kModule = 1 << 8,
|
| - kAllowLazyParsing = 1 << 9,
|
| - // ---------- Output flags --------------------------
|
| - kAstValueFactoryOwned = 1 << 10
|
| - };
|
| -
|
| - //------------- Inputs to parsing and scope analysis -----------------------
|
| - Zone* zone_;
|
| - unsigned flags_;
|
| - ScriptCompiler::ExternalSourceStream* source_stream_;
|
| - ScriptCompiler::StreamedSource::Encoding source_stream_encoding_;
|
| - v8::Extension* extension_;
|
| - ScriptCompiler::CompileOptions compile_options_;
|
| - Scope* script_scope_;
|
| - UnicodeCache* unicode_cache_;
|
| - uintptr_t stack_limit_;
|
| - uint32_t hash_seed_;
|
| -
|
| - // TODO(titzer): Move handles and isolate out of ParseInfo.
|
| - Isolate* isolate_;
|
| - Handle<JSFunction> closure_;
|
| - Handle<SharedFunctionInfo> shared_;
|
| - Handle<Script> script_;
|
| - Handle<Context> context_;
|
| -
|
| - //----------- Inputs+Outputs of parsing and scope analysis -----------------
|
| - ScriptData** cached_data_; // used if available, populated if requested.
|
| - AstValueFactory* ast_value_factory_; // used if available, otherwise new.
|
| -
|
| - //----------- Outputs of parsing and scope analysis ------------------------
|
| - FunctionLiteral* literal_; // produced by full parser.
|
| - Scope* scope_; // produced by scope analysis.
|
| -
|
| - void SetFlag(Flag f) { flags_ |= f; }
|
| - void SetFlag(Flag f, bool v) { flags_ = v ? flags_ | f : flags_ & ~f; }
|
| - bool GetFlag(Flag f) const { return (flags_ & f) != 0; }
|
| -
|
| - void set_shared_info(Handle<SharedFunctionInfo> shared) { shared_ = shared; }
|
| - void set_closure(Handle<JSFunction> closure) { closure_ = closure; }
|
| -};
|
| -
|
| -class FunctionEntry BASE_EMBEDDED {
|
| - public:
|
| - enum {
|
| - kStartPositionIndex,
|
| - kEndPositionIndex,
|
| - kLiteralCountIndex,
|
| - kPropertyCountIndex,
|
| - kLanguageModeIndex,
|
| - kUsesSuperPropertyIndex,
|
| - kCallsEvalIndex,
|
| - kSize
|
| - };
|
| -
|
| - explicit FunctionEntry(Vector<unsigned> backing)
|
| - : backing_(backing) { }
|
| -
|
| - FunctionEntry() : backing_() { }
|
| -
|
| - int start_pos() { return backing_[kStartPositionIndex]; }
|
| - int end_pos() { return backing_[kEndPositionIndex]; }
|
| - int literal_count() { return backing_[kLiteralCountIndex]; }
|
| - int property_count() { return backing_[kPropertyCountIndex]; }
|
| - LanguageMode language_mode() {
|
| - DCHECK(is_valid_language_mode(backing_[kLanguageModeIndex]));
|
| - return static_cast<LanguageMode>(backing_[kLanguageModeIndex]);
|
| - }
|
| - bool uses_super_property() { return backing_[kUsesSuperPropertyIndex]; }
|
| - bool calls_eval() { return backing_[kCallsEvalIndex]; }
|
| -
|
| - bool is_valid() { return !backing_.is_empty(); }
|
| -
|
| - private:
|
| - Vector<unsigned> backing_;
|
| -};
|
| -
|
| -
|
| -// Wrapper around ScriptData to provide parser-specific functionality.
|
| -class ParseData {
|
| - public:
|
| - static ParseData* FromCachedData(ScriptData* cached_data) {
|
| - ParseData* pd = new ParseData(cached_data);
|
| - if (pd->IsSane()) return pd;
|
| - cached_data->Reject();
|
| - delete pd;
|
| - return NULL;
|
| - }
|
| -
|
| - void Initialize();
|
| - FunctionEntry GetFunctionEntry(int start);
|
| - int FunctionCount();
|
| -
|
| - bool HasError();
|
| -
|
| - unsigned* Data() { // Writable data as unsigned int array.
|
| - return reinterpret_cast<unsigned*>(const_cast<byte*>(script_data_->data()));
|
| - }
|
| -
|
| - void Reject() { script_data_->Reject(); }
|
| -
|
| - bool rejected() const { return script_data_->rejected(); }
|
| -
|
| - private:
|
| - explicit ParseData(ScriptData* script_data) : script_data_(script_data) {}
|
| -
|
| - bool IsSane();
|
| - unsigned Magic();
|
| - unsigned Version();
|
| - int FunctionsSize();
|
| - int Length() const {
|
| - // Script data length is already checked to be a multiple of unsigned size.
|
| - return script_data_->length() / sizeof(unsigned);
|
| - }
|
| -
|
| - ScriptData* script_data_;
|
| - int function_index_;
|
| -
|
| - DISALLOW_COPY_AND_ASSIGN(ParseData);
|
| -};
|
| -
|
| -// ----------------------------------------------------------------------------
|
| -// REGEXP PARSING
|
| -
|
| -// A BufferedZoneList is an automatically growing list, just like (and backed
|
| -// by) a ZoneList, that is optimized for the case of adding and removing
|
| -// a single element. The last element added is stored outside the backing list,
|
| -// and if no more than one element is ever added, the ZoneList isn't even
|
| -// allocated.
|
| -// Elements must not be NULL pointers.
|
| -template <typename T, int initial_size>
|
| -class BufferedZoneList {
|
| - public:
|
| - BufferedZoneList() : list_(NULL), last_(NULL) {}
|
| -
|
| - // Adds element at end of list. This element is buffered and can
|
| - // be read using last() or removed using RemoveLast until a new Add or until
|
| - // RemoveLast or GetList has been called.
|
| - void Add(T* value, Zone* zone) {
|
| - if (last_ != NULL) {
|
| - if (list_ == NULL) {
|
| - list_ = new(zone) ZoneList<T*>(initial_size, zone);
|
| - }
|
| - list_->Add(last_, zone);
|
| - }
|
| - last_ = value;
|
| - }
|
| -
|
| - T* last() {
|
| - DCHECK(last_ != NULL);
|
| - return last_;
|
| - }
|
| -
|
| - T* RemoveLast() {
|
| - DCHECK(last_ != NULL);
|
| - T* result = last_;
|
| - if ((list_ != NULL) && (list_->length() > 0))
|
| - last_ = list_->RemoveLast();
|
| - else
|
| - last_ = NULL;
|
| - return result;
|
| - }
|
| -
|
| - T* Get(int i) {
|
| - DCHECK((0 <= i) && (i < length()));
|
| - if (list_ == NULL) {
|
| - DCHECK_EQ(0, i);
|
| - return last_;
|
| - } else {
|
| - if (i == list_->length()) {
|
| - DCHECK(last_ != NULL);
|
| - return last_;
|
| - } else {
|
| - return list_->at(i);
|
| - }
|
| - }
|
| - }
|
| -
|
| - void Clear() {
|
| - list_ = NULL;
|
| - last_ = NULL;
|
| - }
|
| -
|
| - int length() {
|
| - int length = (list_ == NULL) ? 0 : list_->length();
|
| - return length + ((last_ == NULL) ? 0 : 1);
|
| - }
|
| -
|
| - ZoneList<T*>* GetList(Zone* zone) {
|
| - if (list_ == NULL) {
|
| - list_ = new(zone) ZoneList<T*>(initial_size, zone);
|
| - }
|
| - if (last_ != NULL) {
|
| - list_->Add(last_, zone);
|
| - last_ = NULL;
|
| - }
|
| - return list_;
|
| - }
|
| -
|
| - private:
|
| - ZoneList<T*>* list_;
|
| - T* last_;
|
| -};
|
| -
|
| -
|
| -// Accumulates RegExp atoms and assertions into lists of terms and alternatives.
|
| -class RegExpBuilder: public ZoneObject {
|
| - public:
|
| - explicit RegExpBuilder(Zone* zone);
|
| - void AddCharacter(uc16 character);
|
| - // "Adds" an empty expression. Does nothing except consume a
|
| - // following quantifier
|
| - void AddEmpty();
|
| - void AddAtom(RegExpTree* tree);
|
| - void AddAssertion(RegExpTree* tree);
|
| - void NewAlternative(); // '|'
|
| - void AddQuantifierToAtom(
|
| - int min, int max, RegExpQuantifier::QuantifierType type);
|
| - RegExpTree* ToRegExp();
|
| -
|
| - private:
|
| - void FlushCharacters();
|
| - void FlushText();
|
| - void FlushTerms();
|
| - Zone* zone() const { return zone_; }
|
| -
|
| - Zone* zone_;
|
| - bool pending_empty_;
|
| - ZoneList<uc16>* characters_;
|
| - BufferedZoneList<RegExpTree, 2> terms_;
|
| - BufferedZoneList<RegExpTree, 2> text_;
|
| - BufferedZoneList<RegExpTree, 2> alternatives_;
|
| -#ifdef DEBUG
|
| - enum {ADD_NONE, ADD_CHAR, ADD_TERM, ADD_ASSERT, ADD_ATOM} last_added_;
|
| -#define LAST(x) last_added_ = x;
|
| -#else
|
| -#define LAST(x)
|
| -#endif
|
| -};
|
| -
|
| -
|
| -class RegExpParser BASE_EMBEDDED {
|
| - public:
|
| - RegExpParser(FlatStringReader* in, Handle<String>* error, bool multiline_mode,
|
| - bool unicode, Isolate* isolate, Zone* zone);
|
| -
|
| - static bool ParseRegExp(Isolate* isolate, Zone* zone, FlatStringReader* input,
|
| - bool multiline, bool unicode,
|
| - RegExpCompileData* result);
|
| -
|
| - RegExpTree* ParsePattern();
|
| - RegExpTree* ParseDisjunction();
|
| - RegExpTree* ParseGroup();
|
| - RegExpTree* ParseCharacterClass();
|
| -
|
| - // Parses a {...,...} quantifier and stores the range in the given
|
| - // out parameters.
|
| - bool ParseIntervalQuantifier(int* min_out, int* max_out);
|
| -
|
| - // Parses and returns a single escaped character. The character
|
| - // must not be 'b' or 'B' since they are usually handle specially.
|
| - uc32 ParseClassCharacterEscape();
|
| -
|
| - // Checks whether the following is a length-digit hexadecimal number,
|
| - // and sets the value if it is.
|
| - bool ParseHexEscape(int length, uc32* value);
|
| - bool ParseUnicodeEscape(uc32* value);
|
| - bool ParseUnlimitedLengthHexNumber(int max_value, uc32* value);
|
| -
|
| - uc32 ParseOctalLiteral();
|
| -
|
| - // Tries to parse the input as a back reference. If successful it
|
| - // stores the result in the output parameter and returns true. If
|
| - // it fails it will push back the characters read so the same characters
|
| - // can be reparsed.
|
| - bool ParseBackReferenceIndex(int* index_out);
|
| -
|
| - CharacterRange ParseClassAtom(uc16* char_class);
|
| - RegExpTree* ReportError(Vector<const char> message);
|
| - void Advance();
|
| - void Advance(int dist);
|
| - void Reset(int pos);
|
| -
|
| - // Reports whether the pattern might be used as a literal search string.
|
| - // Only use if the result of the parse is a single atom node.
|
| - bool simple();
|
| - bool contains_anchor() { return contains_anchor_; }
|
| - void set_contains_anchor() { contains_anchor_ = true; }
|
| - int captures_started() { return captures_started_; }
|
| - int position() { return next_pos_ - 1; }
|
| - bool failed() { return failed_; }
|
| -
|
| - static bool IsSyntaxCharacter(uc32 c);
|
| -
|
| - static const int kMaxCaptures = 1 << 16;
|
| - static const uc32 kEndMarker = (1 << 21);
|
| -
|
| - private:
|
| - enum SubexpressionType {
|
| - INITIAL,
|
| - CAPTURE, // All positive values represent captures.
|
| - POSITIVE_LOOKAROUND,
|
| - NEGATIVE_LOOKAROUND,
|
| - GROUPING
|
| - };
|
| -
|
| - class RegExpParserState : public ZoneObject {
|
| - public:
|
| - RegExpParserState(RegExpParserState* previous_state,
|
| - SubexpressionType group_type,
|
| - RegExpLookaround::Type lookaround_type,
|
| - int disjunction_capture_index, Zone* zone)
|
| - : previous_state_(previous_state),
|
| - builder_(new (zone) RegExpBuilder(zone)),
|
| - group_type_(group_type),
|
| - lookaround_type_(lookaround_type),
|
| - disjunction_capture_index_(disjunction_capture_index) {}
|
| - // Parser state of containing expression, if any.
|
| - RegExpParserState* previous_state() { return previous_state_; }
|
| - bool IsSubexpression() { return previous_state_ != NULL; }
|
| - // RegExpBuilder building this regexp's AST.
|
| - RegExpBuilder* builder() { return builder_; }
|
| - // Type of regexp being parsed (parenthesized group or entire regexp).
|
| - SubexpressionType group_type() { return group_type_; }
|
| - // Lookahead or Lookbehind.
|
| - RegExpLookaround::Type lookaround_type() { return lookaround_type_; }
|
| - // Index in captures array of first capture in this sub-expression, if any.
|
| - // Also the capture index of this sub-expression itself, if group_type
|
| - // is CAPTURE.
|
| - int capture_index() { return disjunction_capture_index_; }
|
| -
|
| - // Check whether the parser is inside a capture group with the given index.
|
| - bool IsInsideCaptureGroup(int index);
|
| -
|
| - private:
|
| - // Linked list implementation of stack of states.
|
| - RegExpParserState* previous_state_;
|
| - // Builder for the stored disjunction.
|
| - RegExpBuilder* builder_;
|
| - // Stored disjunction type (capture, look-ahead or grouping), if any.
|
| - SubexpressionType group_type_;
|
| - // Stored read direction.
|
| - RegExpLookaround::Type lookaround_type_;
|
| - // Stored disjunction's capture index (if any).
|
| - int disjunction_capture_index_;
|
| - };
|
| -
|
| - // Return the 1-indexed RegExpCapture object, allocate if necessary.
|
| - RegExpCapture* GetCapture(int index);
|
| -
|
| - Isolate* isolate() { return isolate_; }
|
| - Zone* zone() const { return zone_; }
|
| -
|
| - uc32 current() { return current_; }
|
| - bool has_more() { return has_more_; }
|
| - bool has_next() { return next_pos_ < in()->length(); }
|
| - uc32 Next();
|
| - FlatStringReader* in() { return in_; }
|
| - void ScanForCaptures();
|
| -
|
| - Isolate* isolate_;
|
| - Zone* zone_;
|
| - Handle<String>* error_;
|
| - ZoneList<RegExpCapture*>* captures_;
|
| - FlatStringReader* in_;
|
| - uc32 current_;
|
| - int next_pos_;
|
| - int captures_started_;
|
| - // The capture count is only valid after we have scanned for captures.
|
| - int capture_count_;
|
| - bool has_more_;
|
| - bool multiline_;
|
| - bool unicode_;
|
| - bool simple_;
|
| - bool contains_anchor_;
|
| - bool is_scanned_for_captures_;
|
| - bool failed_;
|
| -};
|
| -
|
| -// ----------------------------------------------------------------------------
|
| -// JAVASCRIPT PARSING
|
| -
|
| -class Parser;
|
| -class SingletonLogger;
|
| -
|
| -
|
| -struct ParserFormalParameters : FormalParametersBase {
|
| - struct Parameter {
|
| - Parameter(const AstRawString* name, Expression* pattern,
|
| - Expression* initializer, int initializer_end_position,
|
| - bool is_rest)
|
| - : name(name),
|
| - pattern(pattern),
|
| - initializer(initializer),
|
| - initializer_end_position(initializer_end_position),
|
| - is_rest(is_rest) {}
|
| - const AstRawString* name;
|
| - Expression* pattern;
|
| - Expression* initializer;
|
| - int initializer_end_position;
|
| - bool is_rest;
|
| - bool is_simple() const {
|
| - return pattern->IsVariableProxy() && initializer == nullptr && !is_rest;
|
| - }
|
| - };
|
| -
|
| - explicit ParserFormalParameters(Scope* scope)
|
| - : FormalParametersBase(scope), params(4, scope->zone()) {}
|
| - ZoneList<Parameter> params;
|
| -
|
| - int Arity() const { return params.length(); }
|
| - const Parameter& at(int i) const { return params[i]; }
|
| -};
|
| -
|
| -
|
| -class ParserTraits {
|
| - public:
|
| - struct Type {
|
| - // TODO(marja): To be removed. The Traits object should contain all the data
|
| - // it needs.
|
| - typedef v8::internal::Parser* Parser;
|
| -
|
| - typedef Variable GeneratorVariable;
|
| -
|
| - typedef v8::internal::AstProperties AstProperties;
|
| -
|
| - // Return types for traversing functions.
|
| - typedef const AstRawString* Identifier;
|
| - typedef v8::internal::Expression* Expression;
|
| - typedef Yield* YieldExpression;
|
| - typedef v8::internal::FunctionLiteral* FunctionLiteral;
|
| - typedef v8::internal::ClassLiteral* ClassLiteral;
|
| - typedef v8::internal::Literal* Literal;
|
| - typedef ObjectLiteral::Property* ObjectLiteralProperty;
|
| - typedef ZoneList<v8::internal::Expression*>* ExpressionList;
|
| - typedef ZoneList<ObjectLiteral::Property*>* PropertyList;
|
| - typedef ParserFormalParameters::Parameter FormalParameter;
|
| - typedef ParserFormalParameters FormalParameters;
|
| - typedef ZoneList<v8::internal::Statement*>* StatementList;
|
| -
|
| - // For constructing objects returned by the traversing functions.
|
| - typedef AstNodeFactory Factory;
|
| - };
|
| -
|
| - explicit ParserTraits(Parser* parser) : parser_(parser) {}
|
| -
|
| - // Helper functions for recursive descent.
|
| - bool IsEval(const AstRawString* identifier) const;
|
| - bool IsArguments(const AstRawString* identifier) const;
|
| - bool IsEvalOrArguments(const AstRawString* identifier) const;
|
| - bool IsUndefined(const AstRawString* identifier) const;
|
| - V8_INLINE bool IsFutureStrictReserved(const AstRawString* identifier) const;
|
| -
|
| - // Returns true if the expression is of type "this.foo".
|
| - static bool IsThisProperty(Expression* expression);
|
| -
|
| - static bool IsIdentifier(Expression* expression);
|
| -
|
| - bool IsPrototype(const AstRawString* identifier) const;
|
| -
|
| - bool IsConstructor(const AstRawString* identifier) const;
|
| -
|
| - static const AstRawString* AsIdentifier(Expression* expression) {
|
| - DCHECK(IsIdentifier(expression));
|
| - return expression->AsVariableProxy()->raw_name();
|
| - }
|
| -
|
| - static bool IsBoilerplateProperty(ObjectLiteral::Property* property) {
|
| - return ObjectLiteral::IsBoilerplateProperty(property);
|
| - }
|
| -
|
| - static bool IsArrayIndex(const AstRawString* string, uint32_t* index) {
|
| - return string->AsArrayIndex(index);
|
| - }
|
| -
|
| - static Expression* GetPropertyValue(ObjectLiteral::Property* property) {
|
| - return property->value();
|
| - }
|
| -
|
| - // Functions for encapsulating the differences between parsing and preparsing;
|
| - // operations interleaved with the recursive descent.
|
| - static void PushLiteralName(FuncNameInferrer* fni, const AstRawString* id) {
|
| - fni->PushLiteralName(id);
|
| - }
|
| -
|
| - void PushPropertyName(FuncNameInferrer* fni, Expression* expression);
|
| -
|
| - static void InferFunctionName(FuncNameInferrer* fni,
|
| - FunctionLiteral* func_to_infer) {
|
| - fni->AddFunction(func_to_infer);
|
| - }
|
| -
|
| - static void CheckFunctionLiteralInsideTopLevelObjectLiteral(
|
| - Scope* scope, ObjectLiteralProperty* property, bool* has_function) {
|
| - Expression* value = property->value();
|
| - if (scope->DeclarationScope()->is_script_scope() &&
|
| - value->AsFunctionLiteral() != NULL) {
|
| - *has_function = true;
|
| - value->AsFunctionLiteral()->set_pretenure();
|
| - }
|
| - }
|
| -
|
| - // If we assign a function literal to a property we pretenure the
|
| - // literal so it can be added as a constant function property.
|
| - static void CheckAssigningFunctionLiteralToProperty(Expression* left,
|
| - Expression* right);
|
| -
|
| - // Keep track of eval() calls since they disable all local variable
|
| - // optimizations. This checks if expression is an eval call, and if yes,
|
| - // forwards the information to scope.
|
| - void CheckPossibleEvalCall(Expression* expression, Scope* scope);
|
| -
|
| - // Determine if the expression is a variable proxy and mark it as being used
|
| - // in an assignment or with a increment/decrement operator.
|
| - static Expression* MarkExpressionAsAssigned(Expression* expression);
|
| -
|
| - // Returns true if we have a binary expression between two numeric
|
| - // literals. In that case, *x will be changed to an expression which is the
|
| - // computed value.
|
| - bool ShortcutNumericLiteralBinaryExpression(Expression** x, Expression* y,
|
| - Token::Value op, int pos,
|
| - AstNodeFactory* factory);
|
| -
|
| - // Rewrites the following types of unary expressions:
|
| - // not <literal> -> true / false
|
| - // + <numeric literal> -> <numeric literal>
|
| - // - <numeric literal> -> <numeric literal with value negated>
|
| - // ! <literal> -> true / false
|
| - // The following rewriting rules enable the collection of type feedback
|
| - // without any special stub and the multiplication is removed later in
|
| - // Crankshaft's canonicalization pass.
|
| - // + foo -> foo * 1
|
| - // - foo -> foo * (-1)
|
| - // ~ foo -> foo ^(~0)
|
| - Expression* BuildUnaryExpression(Expression* expression, Token::Value op,
|
| - int pos, AstNodeFactory* factory);
|
| -
|
| - // Generate AST node that throws a ReferenceError with the given type.
|
| - Expression* NewThrowReferenceError(MessageTemplate::Template message,
|
| - int pos);
|
| -
|
| - // Generate AST node that throws a SyntaxError with the given
|
| - // type. The first argument may be null (in the handle sense) in
|
| - // which case no arguments are passed to the constructor.
|
| - Expression* NewThrowSyntaxError(MessageTemplate::Template message,
|
| - const AstRawString* arg, int pos);
|
| -
|
| - // Generate AST node that throws a TypeError with the given
|
| - // type. Both arguments must be non-null (in the handle sense).
|
| - Expression* NewThrowTypeError(MessageTemplate::Template message,
|
| - const AstRawString* arg, int pos);
|
| -
|
| - // Generic AST generator for throwing errors from compiled code.
|
| - Expression* NewThrowError(Runtime::FunctionId function_id,
|
| - MessageTemplate::Template message,
|
| - const AstRawString* arg, int pos);
|
| -
|
| - // Reporting errors.
|
| - void ReportMessageAt(Scanner::Location source_location,
|
| - MessageTemplate::Template message,
|
| - const char* arg = NULL,
|
| - ParseErrorType error_type = kSyntaxError);
|
| - void ReportMessage(MessageTemplate::Template message, const char* arg = NULL,
|
| - ParseErrorType error_type = kSyntaxError);
|
| - void ReportMessage(MessageTemplate::Template message, const AstRawString* arg,
|
| - ParseErrorType error_type = kSyntaxError);
|
| - void ReportMessageAt(Scanner::Location source_location,
|
| - MessageTemplate::Template message,
|
| - const AstRawString* arg,
|
| - ParseErrorType error_type = kSyntaxError);
|
| -
|
| - // "null" return type creators.
|
| - static const AstRawString* EmptyIdentifier() {
|
| - return NULL;
|
| - }
|
| - static Expression* EmptyExpression() {
|
| - return NULL;
|
| - }
|
| - static Literal* EmptyLiteral() {
|
| - return NULL;
|
| - }
|
| - static ObjectLiteralProperty* EmptyObjectLiteralProperty() { return NULL; }
|
| - static FunctionLiteral* EmptyFunctionLiteral() { return NULL; }
|
| -
|
| - // Used in error return values.
|
| - static ZoneList<Expression*>* NullExpressionList() {
|
| - return NULL;
|
| - }
|
| - static const AstRawString* EmptyFormalParameter() { return NULL; }
|
| -
|
| - // Non-NULL empty string.
|
| - V8_INLINE const AstRawString* EmptyIdentifierString();
|
| -
|
| - // Odd-ball literal creators.
|
| - Literal* GetLiteralTheHole(int position, AstNodeFactory* factory);
|
| -
|
| - // Producing data during the recursive descent.
|
| - const AstRawString* GetSymbol(Scanner* scanner);
|
| - const AstRawString* GetNextSymbol(Scanner* scanner);
|
| - const AstRawString* GetNumberAsSymbol(Scanner* scanner);
|
| -
|
| - Expression* ThisExpression(Scope* scope, AstNodeFactory* factory,
|
| - int pos = RelocInfo::kNoPosition);
|
| - Expression* SuperPropertyReference(Scope* scope, AstNodeFactory* factory,
|
| - int pos);
|
| - Expression* SuperCallReference(Scope* scope, AstNodeFactory* factory,
|
| - int pos);
|
| - Expression* NewTargetExpression(Scope* scope, AstNodeFactory* factory,
|
| - int pos);
|
| - Expression* DefaultConstructor(bool call_super, Scope* scope, int pos,
|
| - int end_pos, LanguageMode language_mode);
|
| - Literal* ExpressionFromLiteral(Token::Value token, int pos, Scanner* scanner,
|
| - AstNodeFactory* factory);
|
| - Expression* ExpressionFromIdentifier(const AstRawString* name,
|
| - int start_position, int end_position,
|
| - Scope* scope, AstNodeFactory* factory);
|
| - Expression* ExpressionFromString(int pos, Scanner* scanner,
|
| - AstNodeFactory* factory);
|
| - Expression* GetIterator(Expression* iterable, AstNodeFactory* factory);
|
| - ZoneList<v8::internal::Expression*>* NewExpressionList(int size, Zone* zone) {
|
| - return new(zone) ZoneList<v8::internal::Expression*>(size, zone);
|
| - }
|
| - ZoneList<ObjectLiteral::Property*>* NewPropertyList(int size, Zone* zone) {
|
| - return new(zone) ZoneList<ObjectLiteral::Property*>(size, zone);
|
| - }
|
| - ZoneList<v8::internal::Statement*>* NewStatementList(int size, Zone* zone) {
|
| - return new(zone) ZoneList<v8::internal::Statement*>(size, zone);
|
| - }
|
| -
|
| - V8_INLINE void AddParameterInitializationBlock(
|
| - const ParserFormalParameters& parameters,
|
| - ZoneList<v8::internal::Statement*>* body, bool* ok);
|
| -
|
| - V8_INLINE Scope* NewScope(Scope* parent_scope, ScopeType scope_type,
|
| - FunctionKind kind = kNormalFunction);
|
| -
|
| - V8_INLINE void AddFormalParameter(ParserFormalParameters* parameters,
|
| - Expression* pattern,
|
| - Expression* initializer,
|
| - int initializer_end_position, bool is_rest);
|
| - V8_INLINE void DeclareFormalParameter(
|
| - Scope* scope, const ParserFormalParameters::Parameter& parameter,
|
| - ExpressionClassifier* classifier);
|
| - void ParseArrowFunctionFormalParameters(ParserFormalParameters* parameters,
|
| - Expression* params,
|
| - const Scanner::Location& params_loc,
|
| - bool* ok);
|
| - void ParseArrowFunctionFormalParameterList(
|
| - ParserFormalParameters* parameters, Expression* params,
|
| - const Scanner::Location& params_loc,
|
| - Scanner::Location* duplicate_loc, bool* ok);
|
| -
|
| - V8_INLINE DoExpression* ParseDoExpression(bool* ok);
|
| -
|
| - void ReindexLiterals(const ParserFormalParameters& parameters);
|
| -
|
| - // Temporary glue; these functions will move to ParserBase.
|
| - Expression* ParseV8Intrinsic(bool* ok);
|
| - FunctionLiteral* ParseFunctionLiteral(
|
| - const AstRawString* name, Scanner::Location function_name_location,
|
| - FunctionNameValidity function_name_validity, FunctionKind kind,
|
| - int function_token_position, FunctionLiteral::FunctionType type,
|
| - FunctionLiteral::ArityRestriction arity_restriction,
|
| - LanguageMode language_mode, bool* ok);
|
| - V8_INLINE void SkipLazyFunctionBody(
|
| - int* materialized_literal_count, int* expected_property_count, bool* ok,
|
| - Scanner::BookmarkScope* bookmark = nullptr);
|
| - V8_INLINE ZoneList<Statement*>* ParseEagerFunctionBody(
|
| - const AstRawString* name, int pos,
|
| - const ParserFormalParameters& parameters, FunctionKind kind,
|
| - FunctionLiteral::FunctionType function_type, bool* ok);
|
| -
|
| - ClassLiteral* ParseClassLiteral(const AstRawString* name,
|
| - Scanner::Location class_name_location,
|
| - bool name_is_strict_reserved, int pos,
|
| - bool* ok);
|
| -
|
| - V8_INLINE void CheckConflictingVarDeclarations(v8::internal::Scope* scope,
|
| - bool* ok);
|
| -
|
| - class TemplateLiteral : public ZoneObject {
|
| - public:
|
| - TemplateLiteral(Zone* zone, int pos)
|
| - : cooked_(8, zone), raw_(8, zone), expressions_(8, zone), pos_(pos) {}
|
| -
|
| - const ZoneList<Expression*>* cooked() const { return &cooked_; }
|
| - const ZoneList<Expression*>* raw() const { return &raw_; }
|
| - const ZoneList<Expression*>* expressions() const { return &expressions_; }
|
| - int position() const { return pos_; }
|
| -
|
| - void AddTemplateSpan(Literal* cooked, Literal* raw, int end, Zone* zone) {
|
| - DCHECK_NOT_NULL(cooked);
|
| - DCHECK_NOT_NULL(raw);
|
| - cooked_.Add(cooked, zone);
|
| - raw_.Add(raw, zone);
|
| - }
|
| -
|
| - void AddExpression(Expression* expression, Zone* zone) {
|
| - DCHECK_NOT_NULL(expression);
|
| - expressions_.Add(expression, zone);
|
| - }
|
| -
|
| - private:
|
| - ZoneList<Expression*> cooked_;
|
| - ZoneList<Expression*> raw_;
|
| - ZoneList<Expression*> expressions_;
|
| - int pos_;
|
| - };
|
| -
|
| - typedef TemplateLiteral* TemplateLiteralState;
|
| -
|
| - V8_INLINE TemplateLiteralState OpenTemplateLiteral(int pos);
|
| - V8_INLINE void AddTemplateSpan(TemplateLiteralState* state, bool tail);
|
| - V8_INLINE void AddTemplateExpression(TemplateLiteralState* state,
|
| - Expression* expression);
|
| - V8_INLINE Expression* CloseTemplateLiteral(TemplateLiteralState* state,
|
| - int start, Expression* tag);
|
| - V8_INLINE Expression* NoTemplateTag() { return NULL; }
|
| - V8_INLINE static bool IsTaggedTemplate(const Expression* tag) {
|
| - return tag != NULL;
|
| - }
|
| -
|
| - V8_INLINE ZoneList<v8::internal::Expression*>* PrepareSpreadArguments(
|
| - ZoneList<v8::internal::Expression*>* list);
|
| - V8_INLINE void MaterializeUnspreadArgumentsLiterals(int count) {}
|
| - V8_INLINE Expression* SpreadCall(Expression* function,
|
| - ZoneList<v8::internal::Expression*>* args,
|
| - int pos);
|
| - V8_INLINE Expression* SpreadCallNew(Expression* function,
|
| - ZoneList<v8::internal::Expression*>* args,
|
| - int pos);
|
| -
|
| - private:
|
| - Parser* parser_;
|
| -};
|
| -
|
| -
|
| -class Parser : public ParserBase<ParserTraits> {
|
| - public:
|
| - explicit Parser(ParseInfo* info);
|
| - ~Parser() {
|
| - delete reusable_preparser_;
|
| - reusable_preparser_ = NULL;
|
| - delete cached_parse_data_;
|
| - cached_parse_data_ = NULL;
|
| - }
|
| -
|
| - // Parses the source code represented by the compilation info and sets its
|
| - // function literal. Returns false (and deallocates any allocated AST
|
| - // nodes) if parsing failed.
|
| - static bool ParseStatic(ParseInfo* info);
|
| - bool Parse(ParseInfo* info);
|
| - void ParseOnBackground(ParseInfo* info);
|
| -
|
| - // Handle errors detected during parsing, move statistics to Isolate,
|
| - // internalize strings (move them to the heap).
|
| - void Internalize(Isolate* isolate, Handle<Script> script, bool error);
|
| - void HandleSourceURLComments(Isolate* isolate, Handle<Script> script);
|
| -
|
| - private:
|
| - friend class ParserTraits;
|
| -
|
| - // Limit the allowed number of local variables in a function. The hard limit
|
| - // is that offsets computed by FullCodeGenerator::StackOperand and similar
|
| - // functions are ints, and they should not overflow. In addition, accessing
|
| - // local variables creates user-controlled constants in the generated code,
|
| - // and we don't want too much user-controlled memory inside the code (this was
|
| - // the reason why this limit was introduced in the first place; see
|
| - // https://codereview.chromium.org/7003030/ ).
|
| - static const int kMaxNumFunctionLocals = 4194303; // 2^22-1
|
| -
|
| - // Returns NULL if parsing failed.
|
| - FunctionLiteral* ParseProgram(Isolate* isolate, ParseInfo* info);
|
| -
|
| - FunctionLiteral* ParseLazy(Isolate* isolate, ParseInfo* info);
|
| - FunctionLiteral* ParseLazy(Isolate* isolate, ParseInfo* info,
|
| - Utf16CharacterStream* source);
|
| -
|
| - // Called by ParseProgram after setting up the scanner.
|
| - FunctionLiteral* DoParseProgram(ParseInfo* info);
|
| -
|
| - void SetCachedData(ParseInfo* info);
|
| -
|
| - ScriptCompiler::CompileOptions compile_options() const {
|
| - return compile_options_;
|
| - }
|
| - bool consume_cached_parse_data() const {
|
| - return compile_options_ == ScriptCompiler::kConsumeParserCache &&
|
| - cached_parse_data_ != NULL;
|
| - }
|
| - bool produce_cached_parse_data() const {
|
| - return compile_options_ == ScriptCompiler::kProduceParserCache;
|
| - }
|
| - Scope* DeclarationScope(VariableMode mode) {
|
| - return IsLexicalVariableMode(mode)
|
| - ? scope_ : scope_->DeclarationScope();
|
| - }
|
| -
|
| - // All ParseXXX functions take as the last argument an *ok parameter
|
| - // which is set to false if parsing failed; it is unchanged otherwise.
|
| - // By making the 'exception handling' explicit, we are forced to check
|
| - // for failure at the call sites.
|
| - void* ParseStatementList(ZoneList<Statement*>* body, int end_token, bool* ok);
|
| - Statement* ParseStatementListItem(bool* ok);
|
| - void* ParseModuleItemList(ZoneList<Statement*>* body, bool* ok);
|
| - Statement* ParseModuleItem(bool* ok);
|
| - const AstRawString* ParseModuleSpecifier(bool* ok);
|
| - Statement* ParseImportDeclaration(bool* ok);
|
| - Statement* ParseExportDeclaration(bool* ok);
|
| - Statement* ParseExportDefault(bool* ok);
|
| - void* ParseExportClause(ZoneList<const AstRawString*>* export_names,
|
| - ZoneList<Scanner::Location>* export_locations,
|
| - ZoneList<const AstRawString*>* local_names,
|
| - Scanner::Location* reserved_loc, bool* ok);
|
| - ZoneList<ImportDeclaration*>* ParseNamedImports(int pos, bool* ok);
|
| - Statement* ParseStatement(ZoneList<const AstRawString*>* labels, bool* ok);
|
| - Statement* ParseSubStatement(ZoneList<const AstRawString*>* labels, bool* ok);
|
| - Statement* ParseStatementAsUnlabelled(ZoneList<const AstRawString*>* labels,
|
| - bool* ok);
|
| - Statement* ParseFunctionDeclaration(ZoneList<const AstRawString*>* names,
|
| - bool* ok);
|
| - Statement* ParseClassDeclaration(ZoneList<const AstRawString*>* names,
|
| - bool* ok);
|
| - Statement* ParseNativeDeclaration(bool* ok);
|
| - Block* ParseBlock(ZoneList<const AstRawString*>* labels, bool* ok);
|
| - Block* ParseVariableStatement(VariableDeclarationContext var_context,
|
| - ZoneList<const AstRawString*>* names,
|
| - bool* ok);
|
| - DoExpression* ParseDoExpression(bool* ok);
|
| -
|
| - struct DeclarationDescriptor {
|
| - enum Kind { NORMAL, PARAMETER };
|
| - Parser* parser;
|
| - Scope* declaration_scope;
|
| - Scope* scope;
|
| - Scope* hoist_scope;
|
| - VariableMode mode;
|
| - bool is_const;
|
| - bool needs_init;
|
| - int declaration_pos;
|
| - int initialization_pos;
|
| - Kind declaration_kind;
|
| - };
|
| -
|
| - struct DeclarationParsingResult {
|
| - struct Declaration {
|
| - Declaration(Expression* pattern, int initializer_position,
|
| - Expression* initializer)
|
| - : pattern(pattern),
|
| - initializer_position(initializer_position),
|
| - initializer(initializer) {}
|
| -
|
| - Expression* pattern;
|
| - int initializer_position;
|
| - Expression* initializer;
|
| - };
|
| -
|
| - DeclarationParsingResult()
|
| - : declarations(4),
|
| - first_initializer_loc(Scanner::Location::invalid()),
|
| - bindings_loc(Scanner::Location::invalid()) {}
|
| -
|
| - Block* BuildInitializationBlock(ZoneList<const AstRawString*>* names,
|
| - bool* ok);
|
| -
|
| - DeclarationDescriptor descriptor;
|
| - List<Declaration> declarations;
|
| - Scanner::Location first_initializer_loc;
|
| - Scanner::Location bindings_loc;
|
| - };
|
| -
|
| - class PatternRewriter : private AstVisitor {
|
| - public:
|
| - static void DeclareAndInitializeVariables(
|
| - Block* block, const DeclarationDescriptor* declaration_descriptor,
|
| - const DeclarationParsingResult::Declaration* declaration,
|
| - ZoneList<const AstRawString*>* names, bool* ok);
|
| -
|
| - void set_initializer_position(int pos) { initializer_position_ = pos; }
|
| -
|
| - private:
|
| - PatternRewriter() {}
|
| -
|
| -#define DECLARE_VISIT(type) void Visit##type(v8::internal::type* node) override;
|
| - // Visiting functions for AST nodes make this an AstVisitor.
|
| - AST_NODE_LIST(DECLARE_VISIT)
|
| -#undef DECLARE_VISIT
|
| - void Visit(AstNode* node) override;
|
| -
|
| - void RecurseIntoSubpattern(AstNode* pattern, Expression* value) {
|
| - Expression* old_value = current_value_;
|
| - current_value_ = value;
|
| - pattern->Accept(this);
|
| - current_value_ = old_value;
|
| - }
|
| -
|
| - Variable* CreateTempVar(Expression* value = nullptr);
|
| -
|
| - AstNodeFactory* factory() const { return descriptor_->parser->factory(); }
|
| - AstValueFactory* ast_value_factory() const {
|
| - return descriptor_->parser->ast_value_factory();
|
| - }
|
| - Zone* zone() const { return descriptor_->parser->zone(); }
|
| -
|
| - Expression* pattern_;
|
| - int initializer_position_;
|
| - Block* block_;
|
| - const DeclarationDescriptor* descriptor_;
|
| - ZoneList<const AstRawString*>* names_;
|
| - Expression* current_value_;
|
| - bool* ok_;
|
| - };
|
| -
|
| -
|
| - void ParseVariableDeclarations(VariableDeclarationContext var_context,
|
| - DeclarationParsingResult* parsing_result,
|
| - bool* ok);
|
| - Statement* ParseExpressionOrLabelledStatement(
|
| - ZoneList<const AstRawString*>* labels, bool* ok);
|
| - IfStatement* ParseIfStatement(ZoneList<const AstRawString*>* labels,
|
| - bool* ok);
|
| - Statement* ParseContinueStatement(bool* ok);
|
| - Statement* ParseBreakStatement(ZoneList<const AstRawString*>* labels,
|
| - bool* ok);
|
| - Statement* ParseReturnStatement(bool* ok);
|
| - Statement* ParseWithStatement(ZoneList<const AstRawString*>* labels,
|
| - bool* ok);
|
| - CaseClause* ParseCaseClause(bool* default_seen_ptr, bool* ok);
|
| - Statement* ParseSwitchStatement(ZoneList<const AstRawString*>* labels,
|
| - bool* ok);
|
| - DoWhileStatement* ParseDoWhileStatement(ZoneList<const AstRawString*>* labels,
|
| - bool* ok);
|
| - WhileStatement* ParseWhileStatement(ZoneList<const AstRawString*>* labels,
|
| - bool* ok);
|
| - Statement* ParseForStatement(ZoneList<const AstRawString*>* labels, bool* ok);
|
| - Statement* ParseThrowStatement(bool* ok);
|
| - Expression* MakeCatchContext(Handle<String> id, VariableProxy* value);
|
| - TryStatement* ParseTryStatement(bool* ok);
|
| - DebuggerStatement* ParseDebuggerStatement(bool* ok);
|
| -
|
| - // !%_IsSpecObject(result = iterator.next()) &&
|
| - // %ThrowIteratorResultNotAnObject(result)
|
| - Expression* BuildIteratorNextResult(Expression* iterator, Variable* result,
|
| - int pos);
|
| -
|
| -
|
| - // Initialize the components of a for-in / for-of statement.
|
| - void InitializeForEachStatement(ForEachStatement* stmt,
|
| - Expression* each,
|
| - Expression* subject,
|
| - Statement* body);
|
| - Statement* DesugarLexicalBindingsInForStatement(
|
| - Scope* inner_scope, bool is_const, ZoneList<const AstRawString*>* names,
|
| - ForStatement* loop, Statement* init, Expression* cond, Statement* next,
|
| - Statement* body, bool* ok);
|
| -
|
| - void RewriteDoExpression(Expression* expr, bool* ok);
|
| -
|
| - FunctionLiteral* ParseFunctionLiteral(
|
| - const AstRawString* name, Scanner::Location function_name_location,
|
| - FunctionNameValidity function_name_validity, FunctionKind kind,
|
| - int function_token_position, FunctionLiteral::FunctionType type,
|
| - FunctionLiteral::ArityRestriction arity_restriction,
|
| - LanguageMode language_mode, bool* ok);
|
| -
|
| -
|
| - ClassLiteral* ParseClassLiteral(const AstRawString* name,
|
| - Scanner::Location class_name_location,
|
| - bool name_is_strict_reserved, int pos,
|
| - bool* ok);
|
| -
|
| - // Magical syntax support.
|
| - Expression* ParseV8Intrinsic(bool* ok);
|
| -
|
| - // Get odd-ball literals.
|
| - Literal* GetLiteralUndefined(int position);
|
| -
|
| - // Check if the scope has conflicting var/let declarations from different
|
| - // scopes. This covers for example
|
| - //
|
| - // function f() { { { var x; } let x; } }
|
| - // function g() { { var x; let x; } }
|
| - //
|
| - // The var declarations are hoisted to the function scope, but originate from
|
| - // a scope where the name has also been let bound or the var declaration is
|
| - // hoisted over such a scope.
|
| - void CheckConflictingVarDeclarations(Scope* scope, bool* ok);
|
| -
|
| - // Insert initializer statements for var-bindings shadowing parameter bindings
|
| - // from a non-simple parameter list.
|
| - void InsertShadowingVarBindingInitializers(Block* block);
|
| -
|
| - // Implement sloppy block-scoped functions, ES2015 Annex B 3.3
|
| - void InsertSloppyBlockFunctionVarBindings(Scope* scope, bool* ok);
|
| -
|
| - // Parser support
|
| - VariableProxy* NewUnresolved(const AstRawString* name, VariableMode mode);
|
| - Variable* Declare(Declaration* declaration,
|
| - DeclarationDescriptor::Kind declaration_kind, bool resolve,
|
| - bool* ok, Scope* declaration_scope = nullptr);
|
| -
|
| - bool TargetStackContainsLabel(const AstRawString* label);
|
| - BreakableStatement* LookupBreakTarget(const AstRawString* label, bool* ok);
|
| - IterationStatement* LookupContinueTarget(const AstRawString* label, bool* ok);
|
| -
|
| - Statement* BuildAssertIsCoercible(Variable* var);
|
| -
|
| - // Factory methods.
|
| - FunctionLiteral* DefaultConstructor(bool call_super, Scope* scope, int pos,
|
| - int end_pos, LanguageMode language_mode);
|
| -
|
| - // Skip over a lazy function, either using cached data if we have it, or
|
| - // by parsing the function with PreParser. Consumes the ending }.
|
| - //
|
| - // If bookmark is set, the (pre-)parser may decide to abort skipping
|
| - // in order to force the function to be eagerly parsed, after all.
|
| - // In this case, it'll reset the scanner using the bookmark.
|
| - void SkipLazyFunctionBody(int* materialized_literal_count,
|
| - int* expected_property_count, bool* ok,
|
| - Scanner::BookmarkScope* bookmark = nullptr);
|
| -
|
| - PreParser::PreParseResult ParseLazyFunctionBodyWithPreParser(
|
| - SingletonLogger* logger, Scanner::BookmarkScope* bookmark = nullptr);
|
| -
|
| - Block* BuildParameterInitializationBlock(
|
| - const ParserFormalParameters& parameters, bool* ok);
|
| -
|
| - // Consumes the ending }.
|
| - ZoneList<Statement*>* ParseEagerFunctionBody(
|
| - const AstRawString* function_name, int pos,
|
| - const ParserFormalParameters& parameters, FunctionKind kind,
|
| - FunctionLiteral::FunctionType function_type, bool* ok);
|
| -
|
| - void ThrowPendingError(Isolate* isolate, Handle<Script> script);
|
| -
|
| - TemplateLiteralState OpenTemplateLiteral(int pos);
|
| - void AddTemplateSpan(TemplateLiteralState* state, bool tail);
|
| - void AddTemplateExpression(TemplateLiteralState* state,
|
| - Expression* expression);
|
| - Expression* CloseTemplateLiteral(TemplateLiteralState* state, int start,
|
| - Expression* tag);
|
| - uint32_t ComputeTemplateLiteralHash(const TemplateLiteral* lit);
|
| -
|
| - ZoneList<v8::internal::Expression*>* PrepareSpreadArguments(
|
| - ZoneList<v8::internal::Expression*>* list);
|
| - Expression* SpreadCall(Expression* function,
|
| - ZoneList<v8::internal::Expression*>* args, int pos);
|
| - Expression* SpreadCallNew(Expression* function,
|
| - ZoneList<v8::internal::Expression*>* args, int pos);
|
| -
|
| - void SetLanguageMode(Scope* scope, LanguageMode mode);
|
| - void RaiseLanguageMode(LanguageMode mode);
|
| -
|
| - Scanner scanner_;
|
| - PreParser* reusable_preparser_;
|
| - Scope* original_scope_; // for ES5 function declarations in sloppy eval
|
| - Target* target_stack_; // for break, continue statements
|
| - ScriptCompiler::CompileOptions compile_options_;
|
| - ParseData* cached_parse_data_;
|
| -
|
| - PendingCompilationErrorHandler pending_error_handler_;
|
| -
|
| - // Other information which will be stored in Parser and moved to Isolate after
|
| - // parsing.
|
| - int use_counts_[v8::Isolate::kUseCounterFeatureCount];
|
| - int total_preparse_skipped_;
|
| - HistogramTimer* pre_parse_timer_;
|
| -
|
| - bool parsing_on_main_thread_;
|
| -};
|
| -
|
| -
|
| -bool ParserTraits::IsFutureStrictReserved(
|
| - const AstRawString* identifier) const {
|
| - return parser_->scanner()->IdentifierIsFutureStrictReserved(identifier);
|
| -}
|
| -
|
| -
|
| -Scope* ParserTraits::NewScope(Scope* parent_scope, ScopeType scope_type,
|
| - FunctionKind kind) {
|
| - return parser_->NewScope(parent_scope, scope_type, kind);
|
| -}
|
| -
|
| -
|
| -const AstRawString* ParserTraits::EmptyIdentifierString() {
|
| - return parser_->ast_value_factory()->empty_string();
|
| -}
|
| -
|
| -
|
| -void ParserTraits::SkipLazyFunctionBody(int* materialized_literal_count,
|
| - int* expected_property_count, bool* ok,
|
| - Scanner::BookmarkScope* bookmark) {
|
| - return parser_->SkipLazyFunctionBody(materialized_literal_count,
|
| - expected_property_count, ok, bookmark);
|
| -}
|
| -
|
| -
|
| -ZoneList<Statement*>* ParserTraits::ParseEagerFunctionBody(
|
| - const AstRawString* name, int pos, const ParserFormalParameters& parameters,
|
| - FunctionKind kind, FunctionLiteral::FunctionType function_type, bool* ok) {
|
| - return parser_->ParseEagerFunctionBody(name, pos, parameters, kind,
|
| - function_type, ok);
|
| -}
|
| -
|
| -
|
| -void ParserTraits::CheckConflictingVarDeclarations(v8::internal::Scope* scope,
|
| - bool* ok) {
|
| - parser_->CheckConflictingVarDeclarations(scope, ok);
|
| -}
|
| -
|
| -
|
| -// Support for handling complex values (array and object literals) that
|
| -// can be fully handled at compile time.
|
| -class CompileTimeValue: public AllStatic {
|
| - public:
|
| - enum LiteralType {
|
| - OBJECT_LITERAL_FAST_ELEMENTS,
|
| - OBJECT_LITERAL_SLOW_ELEMENTS,
|
| - ARRAY_LITERAL
|
| - };
|
| -
|
| - static bool IsCompileTimeValue(Expression* expression);
|
| -
|
| - // Get the value as a compile time value.
|
| - static Handle<FixedArray> GetValue(Isolate* isolate, Expression* expression);
|
| -
|
| - // Get the type of a compile time value returned by GetValue().
|
| - static LiteralType GetLiteralType(Handle<FixedArray> value);
|
| -
|
| - // Get the elements array of a compile time value returned by GetValue().
|
| - static Handle<FixedArray> GetElements(Handle<FixedArray> value);
|
| -
|
| - private:
|
| - static const int kLiteralTypeSlot = 0;
|
| - static const int kElementsSlot = 1;
|
| -
|
| - DISALLOW_IMPLICIT_CONSTRUCTORS(CompileTimeValue);
|
| -};
|
| -
|
| -
|
| -ParserTraits::TemplateLiteralState ParserTraits::OpenTemplateLiteral(int pos) {
|
| - return parser_->OpenTemplateLiteral(pos);
|
| -}
|
| -
|
| -
|
| -void ParserTraits::AddTemplateSpan(TemplateLiteralState* state, bool tail) {
|
| - parser_->AddTemplateSpan(state, tail);
|
| -}
|
| -
|
| -
|
| -void ParserTraits::AddTemplateExpression(TemplateLiteralState* state,
|
| - Expression* expression) {
|
| - parser_->AddTemplateExpression(state, expression);
|
| -}
|
| -
|
| -
|
| -Expression* ParserTraits::CloseTemplateLiteral(TemplateLiteralState* state,
|
| - int start, Expression* tag) {
|
| - return parser_->CloseTemplateLiteral(state, start, tag);
|
| -}
|
| -
|
| -
|
| -ZoneList<v8::internal::Expression*>* ParserTraits::PrepareSpreadArguments(
|
| - ZoneList<v8::internal::Expression*>* list) {
|
| - return parser_->PrepareSpreadArguments(list);
|
| -}
|
| -
|
| -
|
| -Expression* ParserTraits::SpreadCall(Expression* function,
|
| - ZoneList<v8::internal::Expression*>* args,
|
| - int pos) {
|
| - return parser_->SpreadCall(function, args, pos);
|
| -}
|
| -
|
| -
|
| -Expression* ParserTraits::SpreadCallNew(
|
| - Expression* function, ZoneList<v8::internal::Expression*>* args, int pos) {
|
| - return parser_->SpreadCallNew(function, args, pos);
|
| -}
|
| -
|
| -
|
| -void ParserTraits::AddFormalParameter(ParserFormalParameters* parameters,
|
| - Expression* pattern,
|
| - Expression* initializer,
|
| - int initializer_end_position,
|
| - bool is_rest) {
|
| - bool is_simple =
|
| - !is_rest && pattern->IsVariableProxy() && initializer == nullptr;
|
| - DCHECK(parser_->allow_harmony_destructuring_bind() ||
|
| - parser_->allow_harmony_rest_parameters() ||
|
| - parser_->allow_harmony_default_parameters() || is_simple);
|
| - const AstRawString* name = is_simple
|
| - ? pattern->AsVariableProxy()->raw_name()
|
| - : parser_->ast_value_factory()->empty_string();
|
| - parameters->params.Add(
|
| - ParserFormalParameters::Parameter(name, pattern, initializer,
|
| - initializer_end_position, is_rest),
|
| - parameters->scope->zone());
|
| -}
|
| -
|
| -
|
| -void ParserTraits::DeclareFormalParameter(
|
| - Scope* scope, const ParserFormalParameters::Parameter& parameter,
|
| - ExpressionClassifier* classifier) {
|
| - bool is_duplicate = false;
|
| - bool is_simple = classifier->is_simple_parameter_list();
|
| - auto name = parameter.name;
|
| - auto mode = is_simple ? VAR : TEMPORARY;
|
| - if (!is_simple) scope->SetHasNonSimpleParameters();
|
| - bool is_optional = parameter.initializer != nullptr;
|
| - Variable* var = scope->DeclareParameter(
|
| - name, mode, is_optional, parameter.is_rest, &is_duplicate);
|
| - if (is_duplicate) {
|
| - classifier->RecordDuplicateFormalParameterError(
|
| - parser_->scanner()->location());
|
| - }
|
| - if (is_sloppy(scope->language_mode())) {
|
| - // TODO(sigurds) Mark every parameter as maybe assigned. This is a
|
| - // conservative approximation necessary to account for parameters
|
| - // that are assigned via the arguments array.
|
| - var->set_maybe_assigned();
|
| - }
|
| -}
|
| -
|
| -
|
| -void ParserTraits::AddParameterInitializationBlock(
|
| - const ParserFormalParameters& parameters,
|
| - ZoneList<v8::internal::Statement*>* body, bool* ok) {
|
| - if (!parameters.is_simple) {
|
| - auto* init_block =
|
| - parser_->BuildParameterInitializationBlock(parameters, ok);
|
| - if (!*ok) return;
|
| - if (init_block != nullptr) {
|
| - body->Add(init_block, parser_->zone());
|
| - }
|
| - }
|
| -}
|
| -
|
| -
|
| -DoExpression* ParserTraits::ParseDoExpression(bool* ok) {
|
| - return parser_->ParseDoExpression(ok);
|
| -}
|
| -
|
| -
|
| -} // namespace internal
|
| -} // namespace v8
|
| -
|
| -#endif // V8_PARSER_H_
|
|
|