Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(876)

Unified Diff: src/parser.h

Issue 1481613002: Create ast/ and parsing/ subdirectories and move appropriate files (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Rebase Created 5 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « src/parameter-initializer-rewriter.cc ('k') | src/parser.cc » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
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_
« no previous file with comments | « src/parameter-initializer-rewriter.cc ('k') | src/parser.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698