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

Side by Side Diff: src/parsing/preparser.h

Issue 2273693002: [parser] Clean up (pre)parser traits, part 2 (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@nickie-2267783002-ref-traits
Patch Set: Rebase Created 4 years, 4 months 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 unified diff | Download patch
« no previous file with comments | « src/parsing/parser-base.h ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #ifndef V8_PARSING_PREPARSER_H 5 #ifndef V8_PARSING_PREPARSER_H
6 #define V8_PARSING_PREPARSER_H 6 #define V8_PARSING_PREPARSER_H
7 7
8 #include "src/ast/scopes.h" 8 #include "src/ast/scopes.h"
9 #include "src/bailout-reason.h" 9 #include "src/bailout-reason.h"
10 #include "src/base/hashmap.h" 10 #include "src/base/hashmap.h"
(...skipping 606 matching lines...) Expand 10 before | Expand all | Expand 10 after
617 typedef PreParserFactory Factory; 617 typedef PreParserFactory Factory;
618 }; 618 };
619 619
620 // TODO(nikolaos): The traits methods should not need to call methods 620 // TODO(nikolaos): The traits methods should not need to call methods
621 // of the implementation object. 621 // of the implementation object.
622 PreParser* delegate() { return reinterpret_cast<PreParser*>(this); } 622 PreParser* delegate() { return reinterpret_cast<PreParser*>(this); }
623 const PreParser* delegate() const { 623 const PreParser* delegate() const {
624 return reinterpret_cast<const PreParser*>(this); 624 return reinterpret_cast<const PreParser*>(this);
625 } 625 }
626 626
627 // Helper functions for recursive descent.
628 bool IsEval(PreParserIdentifier identifier) const {
629 return identifier.IsEval();
630 }
631
632 bool IsArguments(PreParserIdentifier identifier) const {
633 return identifier.IsArguments();
634 }
635
636 bool IsEvalOrArguments(PreParserIdentifier identifier) const {
637 return identifier.IsEvalOrArguments();
638 }
639
640 bool IsUndefined(PreParserIdentifier identifier) const {
641 return identifier.IsUndefined();
642 }
643
644 bool IsAwait(PreParserIdentifier identifier) const {
645 return identifier.IsAwait();
646 }
647
648 bool IsFutureStrictReserved(PreParserIdentifier identifier) const {
649 return identifier.IsFutureStrictReserved();
650 }
651
652 // Returns true if the expression is of type "this.foo".
653 static bool IsThisProperty(PreParserExpression expression) {
654 return expression.IsThisProperty();
655 }
656
657 static bool IsIdentifier(PreParserExpression expression) {
658 return expression.IsIdentifier();
659 }
660
661 static PreParserIdentifier AsIdentifier(PreParserExpression expression) {
662 return expression.AsIdentifier();
663 }
664
665 bool IsPrototype(PreParserIdentifier identifier) const {
666 return identifier.IsPrototype();
667 }
668
669 bool IsConstructor(PreParserIdentifier identifier) const {
670 return identifier.IsConstructor();
671 }
672
673 bool IsDirectEvalCall(PreParserExpression expression) const {
674 return expression.IsDirectEvalCall();
675 }
676
677 static bool IsBoilerplateProperty(PreParserExpression property) {
678 // PreParser doesn't count boilerplate properties.
679 return false;
680 }
681
682 static bool IsArrayIndex(PreParserIdentifier string, uint32_t* index) {
683 return false;
684 }
685
686 static PreParserExpression GetPropertyValue(PreParserExpression property) {
687 return PreParserExpression::Default();
688 }
689
690 // Functions for encapsulating the differences between parsing and preparsing;
691 // operations interleaved with the recursive descent.
692 static void PushLiteralName(FuncNameInferrer* fni, PreParserIdentifier id) {
693 // PreParser should not use FuncNameInferrer.
694 UNREACHABLE();
695 }
696
697 void PushPropertyName(FuncNameInferrer* fni, PreParserExpression expression) {
698 // PreParser should not use FuncNameInferrer.
699 UNREACHABLE();
700 }
701
702 static void InferFunctionName(FuncNameInferrer* fni,
703 PreParserExpression expression) {
704 // PreParser should not use FuncNameInferrer.
705 UNREACHABLE();
706 }
707
708 static void CheckAssigningFunctionLiteralToProperty(
709 PreParserExpression left, PreParserExpression right) {}
710
711 static PreParserExpression MarkExpressionAsAssigned(
712 PreParserExpression expression) {
713 // TODO(marja): To be able to produce the same errors, the preparser needs
714 // to start tracking which expressions are variables and which are assigned.
715 return expression;
716 }
717
718 bool ShortcutNumericLiteralBinaryExpression(PreParserExpression* x,
719 PreParserExpression y,
720 Token::Value op, int pos,
721 PreParserFactory* factory) {
722 return false;
723 }
724
725 PreParserExpression BuildUnaryExpression(PreParserExpression expression, 627 PreParserExpression BuildUnaryExpression(PreParserExpression expression,
726 Token::Value op, int pos, 628 Token::Value op, int pos,
727 PreParserFactory* factory) { 629 PreParserFactory* factory) {
728 return PreParserExpression::Default(); 630 return PreParserExpression::Default();
729 } 631 }
730 632
731 PreParserExpression BuildIteratorResult(PreParserExpression value, 633 PreParserExpression BuildIteratorResult(PreParserExpression value,
732 bool done) { 634 bool done) {
733 return PreParserExpression::Default(); 635 return PreParserExpression::Default();
734 } 636 }
(...skipping 394 matching lines...) Expand 10 before | Expand all | Expand 10 after
1129 V8_INLINE void RewriteNonPattern(Type::ExpressionClassifier* classifier, 1031 V8_INLINE void RewriteNonPattern(Type::ExpressionClassifier* classifier,
1130 bool* ok) { 1032 bool* ok) {
1131 ValidateExpression(classifier, ok); 1033 ValidateExpression(classifier, ok);
1132 } 1034 }
1133 1035
1134 V8_INLINE void QueueDestructuringAssignmentForRewriting( 1036 V8_INLINE void QueueDestructuringAssignmentForRewriting(
1135 PreParserExpression assignment) {} 1037 PreParserExpression assignment) {}
1136 V8_INLINE void QueueNonPatternForRewriting(PreParserExpression expr, 1038 V8_INLINE void QueueNonPatternForRewriting(PreParserExpression expr,
1137 bool* ok) {} 1039 bool* ok) {}
1138 1040
1041 // Helper functions for recursive descent.
1042 V8_INLINE bool IsEval(PreParserIdentifier identifier) const {
1043 return identifier.IsEval();
1044 }
1045
1046 V8_INLINE bool IsArguments(PreParserIdentifier identifier) const {
1047 return identifier.IsArguments();
1048 }
1049
1050 V8_INLINE bool IsEvalOrArguments(PreParserIdentifier identifier) const {
1051 return identifier.IsEvalOrArguments();
1052 }
1053
1054 V8_INLINE bool IsUndefined(PreParserIdentifier identifier) const {
1055 return identifier.IsUndefined();
1056 }
1057
1058 V8_INLINE bool IsAwait(PreParserIdentifier identifier) const {
1059 return identifier.IsAwait();
1060 }
1061
1062 V8_INLINE bool IsFutureStrictReserved(PreParserIdentifier identifier) const {
1063 return identifier.IsFutureStrictReserved();
1064 }
1065
1066 // Returns true if the expression is of type "this.foo".
1067 V8_INLINE static bool IsThisProperty(PreParserExpression expression) {
1068 return expression.IsThisProperty();
1069 }
1070
1071 V8_INLINE static bool IsIdentifier(PreParserExpression expression) {
1072 return expression.IsIdentifier();
1073 }
1074
1075 V8_INLINE static PreParserIdentifier AsIdentifier(
1076 PreParserExpression expression) {
1077 return expression.AsIdentifier();
1078 }
1079
1080 V8_INLINE bool IsPrototype(PreParserIdentifier identifier) const {
1081 return identifier.IsPrototype();
1082 }
1083
1084 V8_INLINE bool IsConstructor(PreParserIdentifier identifier) const {
1085 return identifier.IsConstructor();
1086 }
1087
1088 V8_INLINE bool IsDirectEvalCall(PreParserExpression expression) const {
1089 return expression.IsDirectEvalCall();
1090 }
1091
1092 V8_INLINE static bool IsBoilerplateProperty(PreParserExpression property) {
1093 // PreParser doesn't count boilerplate properties.
1094 return false;
1095 }
1096
1097 V8_INLINE static bool IsArrayIndex(PreParserIdentifier string,
1098 uint32_t* index) {
1099 return false;
1100 }
1101
1102 V8_INLINE static PreParserExpression GetPropertyValue(
1103 PreParserExpression property) {
1104 return PreParserExpression::Default();
1105 }
1106
1107 // Functions for encapsulating the differences between parsing and preparsing;
1108 // operations interleaved with the recursive descent.
1109 V8_INLINE static void PushLiteralName(FuncNameInferrer* fni,
1110 PreParserIdentifier id) {
1111 // PreParser should not use FuncNameInferrer.
1112 UNREACHABLE();
1113 }
1114
1115 V8_INLINE void PushPropertyName(FuncNameInferrer* fni,
1116 PreParserExpression expression) {
1117 // PreParser should not use FuncNameInferrer.
1118 UNREACHABLE();
1119 }
1120
1121 V8_INLINE static void InferFunctionName(FuncNameInferrer* fni,
1122 PreParserExpression expression) {
1123 // PreParser should not use FuncNameInferrer.
1124 UNREACHABLE();
1125 }
1126
1127 V8_INLINE static void CheckAssigningFunctionLiteralToProperty(
1128 PreParserExpression left, PreParserExpression right) {}
1129
1130 V8_INLINE static PreParserExpression MarkExpressionAsAssigned(
1131 PreParserExpression expression) {
1132 // TODO(marja): To be able to produce the same errors, the preparser needs
1133 // to start tracking which expressions are variables and which are assigned.
1134 return expression;
1135 }
1136
1137 V8_INLINE bool ShortcutNumericLiteralBinaryExpression(PreParserExpression* x,
1138 PreParserExpression y,
1139 Token::Value op,
1140 int pos) {
1141 return false;
1142 }
1143
1144 // Preparser's private field members.
1145
1139 int* use_counts_; 1146 int* use_counts_;
1140 }; 1147 };
1141 1148
1142 void ParserBaseTraits<PreParser>::MaterializeUnspreadArgumentsLiterals( 1149 void ParserBaseTraits<PreParser>::MaterializeUnspreadArgumentsLiterals(
1143 int count) { 1150 int count) {
1144 for (int i = 0; i < count; ++i) { 1151 for (int i = 0; i < count; ++i) {
1145 delegate()->function_state_->NextMaterializedLiteralIndex(); 1152 delegate()->function_state_->NextMaterializedLiteralIndex();
1146 } 1153 }
1147 } 1154 }
1148 1155
(...skipping 60 matching lines...) Expand 10 before | Expand all | Expand 10 after
1209 function_state_->NextMaterializedLiteralIndex(); 1216 function_state_->NextMaterializedLiteralIndex();
1210 function_state_->NextMaterializedLiteralIndex(); 1217 function_state_->NextMaterializedLiteralIndex();
1211 } 1218 }
1212 return EmptyExpression(); 1219 return EmptyExpression();
1213 } 1220 }
1214 1221
1215 } // namespace internal 1222 } // namespace internal
1216 } // namespace v8 1223 } // namespace v8
1217 1224
1218 #endif // V8_PARSING_PREPARSER_H 1225 #endif // V8_PARSING_PREPARSER_H
OLDNEW
« no previous file with comments | « src/parsing/parser-base.h ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698