Parser.h 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340
  1. // Copyright (c) 2008 Roberto Raggi <[email protected]>
  2. //
  3. // Permission is hereby granted, free of charge, to any person obtaining a copy
  4. // of this software and associated documentation files (the "Software"), to deal
  5. // in the Software without restriction, including without limitation the rights
  6. // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  7. // copies of the Software, and to permit persons to whom the Software is
  8. // furnished to do so, subject to the following conditions:
  9. //
  10. // The above copyright notice and this permission notice shall be included in
  11. // all copies or substantial portions of the Software.
  12. //
  13. // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  14. // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  15. // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  16. // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  17. // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  18. // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  19. // THE SOFTWARE.
  20. #ifndef CPLUSPLUS_PARSER_H
  21. #define CPLUSPLUS_PARSER_H
  22. #include "CPlusPlusForwardDeclarations.h"
  23. #include "ASTfwd.h"
  24. #include "Token.h"
  25. #include "TranslationUnit.h"
  26. #include "MemoryPool.h"
  27. #include <map>
  28. namespace CPlusPlus {
  29. class CPLUSPLUS_EXPORT Parser
  30. {
  31. public:
  32. Parser(TranslationUnit *translationUnit);
  33. ~Parser();
  34. bool parseTranslationUnit(TranslationUnitAST *&node);
  35. public:
  36. bool parseExpressionList(ExpressionListAST *&node);
  37. bool parseAbstractCoreDeclarator(DeclaratorAST *&node, SpecifierListAST *decl_specifier_list);
  38. bool parseAbstractDeclarator(DeclaratorAST *&node, SpecifierListAST *decl_specifier_list);
  39. bool parseEmptyDeclaration(DeclarationAST *&node);
  40. bool parseAccessDeclaration(DeclarationAST *&node);
  41. bool parseQtPropertyDeclaration(DeclarationAST *&node);
  42. bool parseQtEnumDeclaration(DeclarationAST *&node);
  43. bool parseQtFlags(DeclarationAST *&node);
  44. bool parseQtInterfaces(DeclarationAST *&node);
  45. bool parseAdditiveExpression(ExpressionAST *&node);
  46. bool parseAndExpression(ExpressionAST *&node);
  47. bool parseAsmDefinition(DeclarationAST *&node);
  48. bool parseAsmOperandList();
  49. bool parseAsmOperand();
  50. bool parseAsmClobberList();
  51. bool parseAssignmentExpression(ExpressionAST *&node);
  52. bool parseBaseClause(BaseSpecifierListAST *&node);
  53. bool parseBaseSpecifier(BaseSpecifierListAST *&node);
  54. bool parseBlockDeclaration(DeclarationAST *&node);
  55. bool parseCppCastExpression(ExpressionAST *&node);
  56. bool parseCastExpression(ExpressionAST *&node);
  57. bool parseClassSpecifier(SpecifierListAST *&node);
  58. bool parseCommaExpression(ExpressionAST *&node);
  59. bool parseCompoundStatement(StatementAST *&node);
  60. bool parseBreakStatement(StatementAST *&node);
  61. bool parseContinueStatement(StatementAST *&node);
  62. bool parseGotoStatement(StatementAST *&node);
  63. bool parseReturnStatement(StatementAST *&node);
  64. bool parseCondition(ExpressionAST *&node);
  65. bool parseConditionalExpression(ExpressionAST *&node);
  66. bool parseConstantExpression(ExpressionAST *&node);
  67. bool parseCtorInitializer(CtorInitializerAST *&node);
  68. bool parseCvQualifiers(SpecifierListAST *&node);
  69. bool parseRefQualifier(unsigned &ref_qualifier);
  70. bool parseOverrideFinalQualifiers(SpecifierListAST *&node);
  71. bool parseDeclaratorOrAbstractDeclarator(DeclaratorAST *&node, SpecifierListAST *decl_specifier_list);
  72. bool parseDeclaration(DeclarationAST *&node);
  73. bool parseSimpleDeclaration(DeclarationAST *&node, ClassSpecifierAST *declaringClass = 0);
  74. bool parseDeclarationStatement(StatementAST *&node);
  75. bool parseCoreDeclarator(DeclaratorAST *&node, SpecifierListAST *decl_specifier_list, ClassSpecifierAST *declaringClass);
  76. bool parseDeclarator(DeclaratorAST *&node, SpecifierListAST *decl_specifier_list, ClassSpecifierAST *declaringClass = 0);
  77. bool parseDeleteExpression(ExpressionAST *&node);
  78. bool parseDoStatement(StatementAST *&node);
  79. bool parseElaboratedTypeSpecifier(SpecifierListAST *&node);
  80. bool parseEnumSpecifier(SpecifierListAST *&node);
  81. bool parseEnumerator(EnumeratorListAST *&node);
  82. bool parseEqualityExpression(ExpressionAST *&node);
  83. bool parseExceptionDeclaration(ExceptionDeclarationAST *&node);
  84. bool parseExceptionSpecification(ExceptionSpecificationAST *&node);
  85. bool parseExclusiveOrExpression(ExpressionAST *&node);
  86. bool parseExpression(ExpressionAST *&node);
  87. bool parseExpressionOrDeclarationStatement(StatementAST *&node);
  88. bool parseExpressionStatement(StatementAST *&node);
  89. bool parseForInitStatement(StatementAST *&node);
  90. bool parseForeachStatement(StatementAST *&node);
  91. bool parseForStatement(StatementAST *&node);
  92. bool parseFunctionBody(StatementAST *&node);
  93. bool parseIfStatement(StatementAST *&node);
  94. bool parseInclusiveOrExpression(ExpressionAST *&node);
  95. bool parseInitDeclarator(DeclaratorAST *&node, SpecifierListAST *decl_specifier_list, ClassSpecifierAST *declaringClass);
  96. bool parseInitializerList(ExpressionListAST *&node);
  97. bool parseInitializer(ExpressionAST *&node, unsigned *equals_token);
  98. bool parseInitializerClause(ExpressionAST *&node);
  99. bool parseLabeledStatement(StatementAST *&node);
  100. bool parseLinkageBody(DeclarationAST *&node);
  101. bool parseLinkageSpecification(DeclarationAST *&node);
  102. bool parseLogicalAndExpression(ExpressionAST *&node);
  103. bool parseLogicalOrExpression(ExpressionAST *&node);
  104. bool parseMemInitializer(MemInitializerListAST *&node);
  105. bool parseMemInitializerList(MemInitializerListAST *&node);
  106. bool parseMemberSpecification(DeclarationAST *&node, ClassSpecifierAST *declaringClass);
  107. bool parseMultiplicativeExpression(ExpressionAST *&node);
  108. bool parseTemplateId(NameAST *&node, unsigned template_token = 0);
  109. bool parseClassOrNamespaceName(NameAST *&node);
  110. bool parseNameId(NameAST *&node);
  111. bool parseName(NameAST *&node, bool acceptTemplateId = true);
  112. bool parseNestedNameSpecifier(NestedNameSpecifierListAST *&node, bool acceptTemplateId);
  113. bool parseNestedNameSpecifierOpt(NestedNameSpecifierListAST *&name, bool acceptTemplateId);
  114. bool parseStaticAssertDeclaration(DeclarationAST *&node);
  115. bool parseNamespace(DeclarationAST *&node);
  116. bool parseNamespaceAliasDefinition(DeclarationAST *&node);
  117. bool parseNewArrayDeclarator(NewArrayDeclaratorListAST *&node);
  118. bool parseNewExpression(ExpressionAST *&node);
  119. bool parseExpressionListParen(ExpressionAST *&node);
  120. bool parseNewInitializer(ExpressionAST *&node);
  121. bool parseNewTypeId(NewTypeIdAST *&node);
  122. bool parseOperator(OperatorAST *&node);
  123. bool parseConversionFunctionId(NameAST *&node);
  124. bool parseOperatorFunctionId(NameAST *&node);
  125. bool parseParameterDeclaration(ParameterDeclarationAST *&node);
  126. bool parseParameterDeclarationClause(ParameterDeclarationClauseAST *&node);
  127. bool parseParameterDeclarationList(ParameterDeclarationListAST *&node);
  128. bool parsePmExpression(ExpressionAST *&node);
  129. bool parseTypeidExpression(ExpressionAST *&node);
  130. bool parseTypenameCallExpression(ExpressionAST *&node);
  131. bool parseCorePostfixExpression(ExpressionAST *&node);
  132. bool parsePostfixExpression(ExpressionAST *&node);
  133. bool parsePostfixExpressionInternal(ExpressionAST *&node);
  134. bool parsePrimaryExpression(ExpressionAST *&node);
  135. bool parseNestedExpression(ExpressionAST *&node);
  136. bool parsePtrOperator(PtrOperatorListAST *&node);
  137. bool parseRelationalExpression(ExpressionAST *&node);
  138. bool parseShiftExpression(ExpressionAST *&node);
  139. bool parseStatement(StatementAST *&node, bool blockLabeledStatement = false);
  140. bool parseThisExpression(ExpressionAST *&node);
  141. bool parseBoolLiteral(ExpressionAST *&node);
  142. bool parseNumericLiteral(ExpressionAST *&node);
  143. bool parsePointerLiteral(ExpressionAST *&node);
  144. bool parseStringLiteral(ExpressionAST *&node);
  145. bool parseSwitchStatement(StatementAST *&node);
  146. bool parseTemplateArgument(ExpressionAST *&node);
  147. bool parseTemplateArgumentList(ExpressionListAST *&node);
  148. bool parseTemplateDeclaration(DeclarationAST *&node);
  149. bool parseTemplateParameter(DeclarationAST *&node);
  150. bool parseTemplateParameterList(DeclarationListAST *&node);
  151. bool parseThrowExpression(ExpressionAST *&node);
  152. bool parseTryBlockStatement(StatementAST *&node, CtorInitializerAST **placeholder);
  153. bool parseCatchClause(CatchClauseListAST *&node);
  154. bool parseTypeId(ExpressionAST *&node);
  155. bool parseTypeIdList(ExpressionListAST *&node);
  156. bool parseTypenameTypeParameter(DeclarationAST *&node);
  157. bool parseTemplateTypeParameter(DeclarationAST *&node);
  158. bool parseTypeParameter(DeclarationAST *&node);
  159. bool parseBuiltinTypeSpecifier(SpecifierListAST *&node);
  160. bool parseOptionalAttributeSpecifierSequence(SpecifierListAST *&attribute_list);
  161. bool parseAttributeSpecifier(SpecifierListAST *&attribute_list);
  162. bool parseGnuAttributeSpecifier(SpecifierListAST *&node);
  163. bool parseGnuAttributeList(GnuAttributeListAST *&node);
  164. bool parseDeclSpecifierSeq(SpecifierListAST *&node,
  165. bool noStorageSpecifiers = false,
  166. bool onlySimpleTypeSpecifiers = false);
  167. bool parseTrailingTypeSpecifierSeq(SpecifierListAST *&node)
  168. { return parseDeclSpecifierSeq(node, true); }
  169. /// This actually parses a trailing-type-specifier sequence
  170. bool parseTypeSpecifier(SpecifierListAST *&node)
  171. { return parseTrailingTypeSpecifierSeq(node); }
  172. bool parseSimpleTypeSpecifier(SpecifierListAST *&node)
  173. { return parseDeclSpecifierSeq(node, true, true); }
  174. bool parseUnaryExpression(ExpressionAST *&node);
  175. bool parseUnqualifiedName(NameAST *&node, bool acceptTemplateId = true);
  176. bool parseUsing(DeclarationAST *&node);
  177. bool parseUsingDirective(DeclarationAST *&node);
  178. bool parseAliasDeclaration(DeclarationAST *&node);
  179. bool parseWhileStatement(StatementAST *&node);
  180. void parseExpressionWithOperatorPrecedence(ExpressionAST *&lhs, int minPrecedence);
  181. // Qt MOC run
  182. bool parseQtMethod(ExpressionAST *&node);
  183. // C++0x
  184. bool parseInitializer0x(ExpressionAST *&node, unsigned *equals_token);
  185. bool parseBraceOrEqualInitializer0x(ExpressionAST *&node);
  186. bool parseInitializerClause0x(ExpressionAST *&node);
  187. bool parseInitializerList0x(ExpressionListAST *&node);
  188. bool parseBracedInitList0x(ExpressionAST *&node);
  189. bool parseLambdaExpression(ExpressionAST *&node);
  190. bool parseLambdaIntroducer(LambdaIntroducerAST *&node);
  191. bool parseLambdaCapture(LambdaCaptureAST *&node);
  192. bool parseLambdaDeclarator(LambdaDeclaratorAST *&node);
  193. bool parseCapture(CaptureAST *&node);
  194. bool parseCaptureList(CaptureListAST *&node);
  195. bool parseTrailingReturnType(TrailingReturnTypeAST *&node);
  196. // ObjC++
  197. bool parseObjCExpression(ExpressionAST *&node);
  198. bool parseObjCClassForwardDeclaration(DeclarationAST *&node);
  199. bool parseObjCInterface(DeclarationAST *&node,
  200. SpecifierListAST *attributes = 0);
  201. bool parseObjCProtocol(DeclarationAST *&node,
  202. SpecifierListAST *attributes = 0);
  203. bool parseObjCTryStatement(StatementAST *&node);
  204. bool parseObjCSynchronizedStatement(StatementAST *&node);
  205. bool parseObjCThrowStatement(StatementAST *&node);
  206. bool parseObjCEncodeExpression(ExpressionAST *&node);
  207. bool parseObjCProtocolExpression(ExpressionAST *&node);
  208. bool parseObjCSelectorExpression(ExpressionAST *&node);
  209. bool parseObjCStringLiteral(ExpressionAST *&node);
  210. bool parseObjCMessageExpression(ExpressionAST *&node);
  211. bool parseObjCMessageReceiver(ExpressionAST *&node);
  212. bool parseObjCMessageArguments(ObjCSelectorAST *&selNode, ObjCMessageArgumentListAST *& argNode);
  213. bool parseObjCSelectorArg(ObjCSelectorArgumentAST *&selNode, ObjCMessageArgumentAST *&argNode);
  214. bool parseObjCMethodDefinitionList(DeclarationListAST *&node);
  215. bool parseObjCMethodDefinition(DeclarationAST *&node);
  216. bool parseObjCProtocolRefs(ObjCProtocolRefsAST *&node);
  217. bool parseObjClassInstanceVariables(ObjCInstanceVariablesDeclarationAST *&node);
  218. bool parseObjCInterfaceMemberDeclaration(DeclarationAST *&node);
  219. bool parseObjCInstanceVariableDeclaration(DeclarationAST *&node);
  220. bool parseObjCPropertyDeclaration(DeclarationAST *&node,
  221. SpecifierListAST *attributes = 0);
  222. bool parseObjCImplementation(DeclarationAST *&node);
  223. bool parseObjCMethodPrototype(ObjCMethodPrototypeAST *&node);
  224. bool parseObjCPropertyAttribute(ObjCPropertyAttributeAST *&node);
  225. bool parseObjCTypeName(ObjCTypeNameAST *&node);
  226. bool parseObjCSelector(unsigned &selector_token);
  227. bool parseObjCKeywordDeclaration(ObjCSelectorArgumentAST *&argument, ObjCMessageArgumentDeclarationAST *&node);
  228. bool parseObjCTypeQualifiers(unsigned &type_qualifier);
  229. bool peekAtObjCContextKeyword(int kind);
  230. bool parseObjCContextKeyword(int kind, unsigned &in_token);
  231. bool lookAtObjCSelector() const;
  232. // c99
  233. bool parseDesignatedInitializerList(ExpressionListAST *&node);
  234. bool parseDesignatedInitializer(ExpressionAST *&node);
  235. bool parseDesignator(DesignatorAST *&node);
  236. bool skipUntil(int token);
  237. void skipUntilDeclaration();
  238. bool skipUntilStatement();
  239. bool skip(int l, int r);
  240. int find(int token, int stopAt);
  241. bool lookAtTypeParameter();
  242. bool lookAtCVQualifier() const;
  243. bool lookAtFunctionSpecifier() const;
  244. bool lookAtStorageClassSpecifier() const;
  245. bool lookAtBuiltinTypeSpecifier() const;
  246. bool lookAtClassKey() const;
  247. const Identifier *className(ClassSpecifierAST *ast) const;
  248. const Identifier *identifier(NameAST *name) const;
  249. void match(int kind, unsigned *token);
  250. bool maybeAmbiguousStatement(DeclarationStatementAST *ast, StatementAST *&node);
  251. bool maybeForwardOrClassDeclaration(SpecifierListAST *decl_specifier_seq) const;
  252. int peekAtQtContextKeyword() const;
  253. bool switchTemplateArguments(bool templateArguments);
  254. bool maybeSplitGreaterGreaterToken(int n = 1);
  255. bool blockErrors(bool block) { return _translationUnit->blockErrors(block); }
  256. void warning(unsigned index, const char *format, ...);
  257. void error(unsigned index, const char *format, ...);
  258. void fatal(unsigned index, const char *format, ...);
  259. inline const Token &tok(int i = 1) const
  260. { return _translationUnit->tokenAt(_tokenIndex + i - 1); }
  261. inline int LA(int n = 1) const
  262. { return _translationUnit->tokenKind(_tokenIndex + n - 1); }
  263. inline int consumeToken()
  264. { return _tokenIndex++; }
  265. inline unsigned cursor() const
  266. { return _tokenIndex; }
  267. void rewind(unsigned cursor);
  268. struct TemplateArgumentListEntry {
  269. unsigned index;
  270. unsigned cursor;
  271. ExpressionListAST *ast;
  272. TemplateArgumentListEntry(unsigned index = 0, unsigned cursor = 0, ExpressionListAST *ast = 0)
  273. : index(index), cursor(cursor), ast(ast) {}
  274. };
  275. TemplateArgumentListEntry *templateArgumentListEntry(unsigned tokenIndex);
  276. void clearTemplateArgumentList() { _templateArgumentList.clear(); }
  277. private:
  278. TranslationUnit *_translationUnit;
  279. Control *_control;
  280. MemoryPool *_pool;
  281. LanguageFeatures _languageFeatures;
  282. unsigned _tokenIndex;
  283. bool _templateArguments: 1;
  284. bool _inFunctionBody: 1;
  285. bool _inExpressionStatement: 1;
  286. int _expressionDepth;
  287. int _statementDepth;
  288. MemoryPool _expressionStatementTempPool;
  289. std::map<unsigned, TemplateArgumentListEntry> _templateArgumentList;
  290. class ASTCache;
  291. ASTCache *_astCache;
  292. ASTCache *_expressionStatementAstCache;
  293. private:
  294. Parser(const Parser& source);
  295. void operator =(const Parser& source);
  296. };
  297. } // namespace CPlusPlus
  298. #endif // CPLUSPLUS_PARSER_H