Parser.h revision 809070a886684cb5b92eb0e00a6581ab1fa6b17a
15f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===--- Parser.h - C Language Parser ---------------------------*- C++ -*-===// 25f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 35f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// The LLVM Compiler Infrastructure 45f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source 60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details. 75f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 85f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 95f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// This file defines the Parser interface. 115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#ifndef LLVM_CLANG_PARSE_PARSER_H 155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define LLVM_CLANG_PARSE_PARSER_H 165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Lex/Preprocessor.h" 185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Parse/Action.h" 19eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis#include "clang/Parse/DeclSpec.h" 204cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis#include <stack> 211100258c19dd8967ba078c0bc81fc06cea9d033fChris Lattner#include <list> 225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencernamespace clang { 24fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar class AttributeList; 25fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar class PragmaHandler; 265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Scope; 273cbfe2c4159e0a219ae660d50625c013aa4afbd0Chris Lattner class DiagnosticBuilder; 285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Parser - This implements a parser for the C family of languages. After 305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// parsing units of the grammar, productions are invoked to handle whatever has 315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// been read. 325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass Parser { 345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Preprocessor &PP; 355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3697d0205d16fef2a783e785459b5f30f6a9dfbcb9Eric Christopher /// Tok - The current token we are peeking ahead. All parsing methods assume 375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// that this is valid. 38d217773f106856a11879ec79dc468efefaf2ee75Chris Lattner Token Tok; 395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer unsigned short ParenCount, BracketCount, BraceCount; 415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// Actions - These are the callbacks we invoke as we parse various constructs 435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// in the file. This refers to the common base class between MinimalActions 445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// and SemaActions for those uses that don't matter. 455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Action &Actions; 465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Scope *CurScope; 485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Diagnostic &Diags; 499e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner 509e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner /// ScopeCache - Cache scopes to reduce malloc traffic. 519e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner enum { ScopeCacheSize = 16 }; 529e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner unsigned NumCachedScopes; 539e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner Scope *ScopeCache[ScopeCacheSize]; 54662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar 55662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar /// Ident_super - IdentifierInfo for "super", to support fast 56662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar /// comparison. 57662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar IdentifierInfo *Ident_super; 58662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar 59fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar PragmaHandler *PackHandler; 60fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar 6155f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor /// Whether the '>' token acts as an operator or not. This will be 6255f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor /// true except when we are parsing an expression within a C++ 6355f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor /// template argument list, where the '>' closes the template 6455f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor /// argument list. 6555f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor bool GreaterThanIsOperator; 6655f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor 67f02da89d7bddc319be52605d36442518647116b4Douglas Gregor /// \brief RAII object that makes '>' behave either as an operator 68f02da89d7bddc319be52605d36442518647116b4Douglas Gregor /// or as the closing angle bracket for a template argument list. 69f02da89d7bddc319be52605d36442518647116b4Douglas Gregor struct GreaterThanIsOperatorScope { 7055f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor bool &GreaterThanIsOperator; 7155f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor bool OldGreaterThanIsOperator; 7255f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor 73f02da89d7bddc319be52605d36442518647116b4Douglas Gregor GreaterThanIsOperatorScope(bool >IO, bool Val) 7455f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor : GreaterThanIsOperator(GTIO), OldGreaterThanIsOperator(GTIO) { 75f02da89d7bddc319be52605d36442518647116b4Douglas Gregor GreaterThanIsOperator = Val; 7655f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor } 7755f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor 78f02da89d7bddc319be52605d36442518647116b4Douglas Gregor ~GreaterThanIsOperatorScope() { 7955f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor GreaterThanIsOperator = OldGreaterThanIsOperator; 8055f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor } 8155f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor }; 8255f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor 835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Parser(Preprocessor &PP, Action &Actions); 855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ~Parser(); 865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const LangOptions &getLang() const { return PP.getLangOptions(); } 885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer TargetInfo &getTargetInfo() const { return PP.getTargetInfo(); } 895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Action &getActions() const { return Actions; } 905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Type forwarding. All of these are statically 'void*', but they may all be 925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // different actual classes based on the actions in place. 935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef Action::ExprTy ExprTy; 945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef Action::StmtTy StmtTy; 955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef Action::DeclTy DeclTy; 965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef Action::TypeTy TypeTy; 97f8268ae3196002bbab6adb830302e79b0f368f13Douglas Gregor typedef Action::BaseTy BaseTy; 987ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor typedef Action::MemInitTy MemInitTy; 99eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis typedef Action::CXXScopeTy CXXScopeTy; 100c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor typedef Action::TemplateParamsTy TemplateParamsTy; 1017ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor 102c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor typedef llvm::SmallVector<TemplateParamsTy *, 4> TemplateParameterLists; 103c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor 104d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor typedef Action::ExprResult ExprResult; 105d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor typedef Action::StmtResult StmtResult; 106d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor typedef Action::BaseResult BaseResult; 107d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor typedef Action::MemInitResult MemInitResult; 108809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor typedef Action::TypeResult TypeResult; 10915faa7fdfb496489dec9470aa5eb699b29ecdaccSebastian Redl 11015faa7fdfb496489dec9470aa5eb699b29ecdaccSebastian Redl typedef Action::OwningExprResult OwningExprResult; 11115faa7fdfb496489dec9470aa5eb699b29ecdaccSebastian Redl typedef Action::OwningStmtResult OwningStmtResult; 11215faa7fdfb496489dec9470aa5eb699b29ecdaccSebastian Redl 1131d922960e083906a586609ac6978678147250177Sebastian Redl typedef Action::ExprArg ExprArg; 114a60528cdac7deee3991c2b48af4df4f315e49e9dSebastian Redl typedef Action::MultiStmtArg MultiStmtArg; 1151d922960e083906a586609ac6978678147250177Sebastian Redl 11661364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl /// Adorns a ExprResult with Actions to make it an OwningExprResult 11761364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningExprResult Owned(ExprResult res) { 11861364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl return OwningExprResult(Actions, res); 11961364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl } 12061364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl /// Adorns a StmtResult with Actions to make it an OwningStmtResult 12161364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult Owned(StmtResult res) { 12261364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl return OwningStmtResult(Actions, res); 12361364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl } 12461364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl 12561364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningExprResult ExprError() { return OwningExprResult(Actions, true); } 12661364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult StmtError() { return OwningStmtResult(Actions, true); } 127d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor 1282f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningExprResult ExprError(const DiagnosticBuilder &) { return ExprError(); } 1292f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningStmtResult StmtError(const DiagnosticBuilder &) { return StmtError(); } 13061364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl 1315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Parsing methods. 1325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ParseTranslationUnit - All in one method that initializes parses, and 1345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// shuts down the parser. 1355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseTranslationUnit(); 1365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// Initialize - Warm up the parser. 1385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 1395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void Initialize(); 1405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1411f6443255894429fba384de0d5b6389ef578a5e9Steve Naroff /// ParseTopLevelDecl - Parse one top-level declaration. Returns true if 1421f6443255894429fba384de0d5b6389ef578a5e9Steve Naroff /// the EOF was encountered. 14389307ffaf8acf4d6fdffd72b607ca4fbcfdffc9dSteve Naroff bool ParseTopLevelDecl(DeclTy*& Result); 1445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerprivate: 1465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 1475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Low-Level token peeking and consumption methods. 1485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // 1495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// isTokenParen - Return true if the cur token is '(' or ')'. 1515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool isTokenParen() const { 1525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return Tok.getKind() == tok::l_paren || Tok.getKind() == tok::r_paren; 1535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// isTokenBracket - Return true if the cur token is '[' or ']'. 1555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool isTokenBracket() const { 1565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return Tok.getKind() == tok::l_square || Tok.getKind() == tok::r_square; 1575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// isTokenBrace - Return true if the cur token is '{' or '}'. 1595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool isTokenBrace() const { 1605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return Tok.getKind() == tok::l_brace || Tok.getKind() == tok::r_brace; 1615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// isTokenStringLiteral - True if this token is a string-literal. 1645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 1655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool isTokenStringLiteral() const { 1665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return Tok.getKind() == tok::string_literal || 1675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Tok.getKind() == tok::wide_string_literal; 1685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 169eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 1705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeToken - Consume the current 'peek token' and lex the next one. 171d6ecc5cf945ccdf2b931137e364a69cde59ab18bZhongxing Xu /// This does not work with all kinds of tokens: strings and specific other 1725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// tokens must be consumed with custom methods below. This returns the 1735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// location of the consumed token. 1745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeToken() { 1755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(!isTokenStringLiteral() && !isTokenParen() && !isTokenBracket() && 1765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer !isTokenBrace() && 1775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer "Should consume special tokens with Consume*Token"); 1785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation L = Tok.getLocation(); 1795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 1805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return L; 1815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeAnyToken - Dispatch to the right Consume* method based on the 1845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// current token type. This should only be used in cases where the type of 1855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// the token really isn't known, e.g. in error recovery. 1865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeAnyToken() { 1875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (isTokenParen()) 1885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ConsumeParen(); 1895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (isTokenBracket()) 1905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ConsumeBracket(); 1915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (isTokenBrace()) 1925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ConsumeBrace(); 193d62701bc5321049353017e9abf1963edd57646aaSteve Naroff else if (isTokenStringLiteral()) 194d62701bc5321049353017e9abf1963edd57646aaSteve Naroff return ConsumeStringToken(); 1955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else 1965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ConsumeToken(); 1975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeParen - This consume method keeps the paren count up-to-date. 2005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 2015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeParen() { 2025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(isTokenParen() && "wrong consume method"); 2035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Tok.getKind() == tok::l_paren) 2045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ++ParenCount; 2055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (ParenCount) 2065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer --ParenCount; // Don't let unbalanced )'s drive the count negative. 2075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation L = Tok.getLocation(); 2085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 2095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return L; 2105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeBracket - This consume method keeps the bracket count up-to-date. 2135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 2145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeBracket() { 2155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(isTokenBracket() && "wrong consume method"); 2165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Tok.getKind() == tok::l_square) 2175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ++BracketCount; 2185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (BracketCount) 2195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer --BracketCount; // Don't let unbalanced ]'s drive the count negative. 2205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation L = Tok.getLocation(); 2225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 2235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return L; 2245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeBrace - This consume method keeps the brace count up-to-date. 2275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 2285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeBrace() { 2295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(isTokenBrace() && "wrong consume method"); 2305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Tok.getKind() == tok::l_brace) 2315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ++BraceCount; 2325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (BraceCount) 2335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer --BraceCount; // Don't let unbalanced }'s drive the count negative. 2345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation L = Tok.getLocation(); 2365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 2375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return L; 2385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeStringToken - Consume the current 'peek token', lexing a new one 2415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// and returning the token kind. This method is specific to strings, as it 2425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// handles string literal concatenation, as per C99 5.1.1.2, translation 2435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// phase #6. 2445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeStringToken() { 2455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(isTokenStringLiteral() && 2465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer "Should only consume string literals with this method"); 2475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation L = Tok.getLocation(); 2485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 2495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return L; 2505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2526b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// GetLookAheadToken - This peeks ahead N tokens and returns that token 2536b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// without consuming any tokens. LookAhead(0) returns 'Tok', LookAhead(1) 2546b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// returns the token after Tok, etc. 2556b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// 2566b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// Note that this differs from the Preprocessor's LookAhead method, because 2576b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// the Parser always has one token lexed that the preprocessor doesn't. 2586b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// 25903db1b31dd926409b7defc1c90b66549464652c0Argyrios Kyrtzidis const Token &GetLookAheadToken(unsigned N) { 2606b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner if (N == 0 || Tok.is(tok::eof)) return Tok; 2616b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner return PP.LookAhead(N-1); 2626b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner } 263f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis 264f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis /// NextToken - This peeks ahead one token and returns it without 265f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis /// consuming it. 266f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis const Token &NextToken() { 26703db1b31dd926409b7defc1c90b66549464652c0Argyrios Kyrtzidis return PP.LookAhead(0); 268f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis } 2695404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 270eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// TryAnnotateTypeOrScopeToken - If the current token position is on a 271eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// typename (possibly qualified in C++) or a C++ scope specifier not followed 272eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// by a typename, TryAnnotateTypeOrScopeToken will replace one or more tokens 273eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// with a single annotation token representing the typename or C++ scope 274eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// respectively. 275eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// This simplifies handling of C++ scope specifiers and allows efficient 276eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// backtracking without the need to re-parse and resolve nested-names and 277eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// typenames. 27844802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis /// It will mainly be called when we expect to treat identifiers as typenames 27944802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis /// (if they are typenames). For example, in C we do not expect identifiers 28044802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis /// inside expressions to be treated as typenames so it will not be called 28144802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis /// for expressions in C. 282a7bc7c880f86bc180684ef032d06df51bcae7a23Chris Lattner /// 283a7bc7c880f86bc180684ef032d06df51bcae7a23Chris Lattner /// This returns true if the token was annotated. 2845b4547318bb179fc76f984f0eeaaf615927e795cChris Lattner bool TryAnnotateTypeOrScopeToken(); 285eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 2864bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis /// TryAnnotateCXXScopeToken - Like TryAnnotateTypeOrScopeToken but only 2875e02c47a7085831586344a9728763cb50540c7f7Chris Lattner /// annotates C++ scope specifiers. This returns true if the token was 2885e02c47a7085831586344a9728763cb50540c7f7Chris Lattner /// annotated. 2895e02c47a7085831586344a9728763cb50540c7f7Chris Lattner bool TryAnnotateCXXScopeToken(); 290eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 2915404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// TentativeParsingAction - An object that is used as a kind of "tentative 2925404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// parsing transaction". It gets instantiated to mark the token position and 2935404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// after the token consumption is done, Commit() or Revert() is called to 2945404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// either "commit the consumed tokens" or revert to the previously marked 2955404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// token position. Example: 2965404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// 2975404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// TentativeParsingAction TPA; 2985404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// ConsumeToken(); 2995404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// .... 3005404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// TPA.Revert(); 3015404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// 3025404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis class TentativeParsingAction { 3035404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis Parser &P; 3045404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis Token PrevTok; 3055404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis bool isActive; 3065404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 3075404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis public: 3085404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis explicit TentativeParsingAction(Parser& p) : P(p) { 3095404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis PrevTok = P.Tok; 3105404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis P.PP.EnableBacktrackAtThisPos(); 3115404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis isActive = true; 3125404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 3135404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis void Commit() { 3145404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis assert(isActive && "Parsing action was finished!"); 3155404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis P.PP.CommitBacktrackedTokens(); 3165404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis isActive = false; 3175404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 3185404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis void Revert() { 3195404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis assert(isActive && "Parsing action was finished!"); 3205404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis P.PP.Backtrack(); 3215404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis P.Tok = PrevTok; 3225404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis isActive = false; 3235404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 3245404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis ~TentativeParsingAction() { 3255404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis assert(!isActive && "Forgot to call Commit or Revert!"); 3265404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 3275404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis }; 3286b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner 3296b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner 3305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// MatchRHSPunctuation - For punctuation with a LHS and RHS (e.g. '['/']'), 3315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// this helper function matches and consumes the specified RHS token if 3325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// present. If not present, it emits the specified diagnostic indicating 3335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// that the parser failed to match the RHS of the token at LHSLoc. LHSName 3345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// should be the name of the unmatched LHS token. This returns the location 3355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// of the consumed token. 3365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation MatchRHSPunctuation(tok::TokenKind RHSTok, 3375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation LHSLoc); 3385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ExpectAndConsume - The parser expects that 'ExpectedTok' is next in the 3405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// input. If so, it is consumed and false is returned. 3415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 3425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// If the input is malformed, this emits the specified diagnostic. Next, if 3435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// SkipToTok is specified, it calls SkipUntil(SkipToTok). Finally, true is 3445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// returned. 3455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool ExpectAndConsume(tok::TokenKind ExpectedTok, unsigned Diag, 3465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *DiagMsg = "", 3475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer tok::TokenKind SkipToTok = tok::unknown); 3485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 3505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Scope manipulation 3515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3528935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor /// ParseScope - Introduces a new scope for parsing. The kind of 3538935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor /// scope is determined by ScopeFlags. Objects of this type should 3548935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor /// be created on the stack to coincide with the position where the 3558935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor /// parser enters the new scope, and this object's constructor will 3568935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor /// create that new scope. Similarly, once the object is destroyed 3578935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor /// the parser will exit the scope. 3588935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor class ParseScope { 3598935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor Parser *Self; 3608935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor ParseScope(const ParseScope&); // do not implement 3618935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor ParseScope& operator=(const ParseScope&); // do not implement 3628935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor 3638935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor public: 3648935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor // ParseScope - Construct a new object to manage a scope in the 3658935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor // parser Self where the new Scope is created with the flags 3668935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor // ScopeFlags, but only when ManageScope is true (the default). If 3678935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor // ManageScope is false, this object does nothing. 3688935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor ParseScope(Parser *Self, unsigned ScopeFlags, bool ManageScope = true) 3698935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor : Self(Self) { 3708935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor if (ManageScope) 3718935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor Self->EnterScope(ScopeFlags); 3728935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor else 3738935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor this->Self = 0; 3748935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor } 3758935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor 3768935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor // Exit - Exit the scope associated with this object now, rather 3778935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor // than waiting until the object is destroyed. 3788935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor void Exit() { 3798935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor if (Self) { 3808935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor Self->ExitScope(); 3818935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor Self = 0; 3828935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor } 3838935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor } 3848935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor 3858935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor ~ParseScope() { 3868935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor Exit(); 3878935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor } 3888935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor }; 3898935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor 3905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// EnterScope - Start a new scope. 3915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void EnterScope(unsigned ScopeFlags); 3925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ExitScope - Pop a scope off the scope stack. 3945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ExitScope(); 3955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 3975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Diagnostic Emission and Error recovery. 39815faa7fdfb496489dec9470aa5eb699b29ecdaccSebastian Redl 3993cbfe2c4159e0a219ae660d50625c013aa4afbd0Chris Lattner DiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID); 4003cbfe2c4159e0a219ae660d50625c013aa4afbd0Chris Lattner DiagnosticBuilder Diag(const Token &Tok, unsigned DiagID); 40115faa7fdfb496489dec9470aa5eb699b29ecdaccSebastian Redl 4025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// SkipUntil - Read tokens until we get to the specified token, then consume 40382c7e6d8215567935d3d52741ccca9876a8ea461Steve Naroff /// it (unless DontConsume is true). Because we cannot guarantee that the 4045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// token will ever occur, this skips to the next token, or to some likely 4055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// good stopping point. If StopAtSemi is true, skipping will stop at a ';' 4065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// character. 4075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 4085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// If SkipUntil finds the specified token, it returns true, otherwise it 4095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// returns false. 4105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool SkipUntil(tok::TokenKind T, bool StopAtSemi = true, 4115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool DontConsume = false) { 4125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return SkipUntil(&T, 1, StopAtSemi, DontConsume); 4135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool SkipUntil(tok::TokenKind T1, tok::TokenKind T2, bool StopAtSemi = true, 4155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool DontConsume = false) { 4165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer tok::TokenKind TokArray[] = {T1, T2}; 4175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return SkipUntil(TokArray, 2, StopAtSemi, DontConsume); 4185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool SkipUntil(const tok::TokenKind *Toks, unsigned NumToks, 4205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool StopAtSemi = true, bool DontConsume = false); 4217ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor 4225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 4234cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Lexing and parsing of C++ inline methods. 4244cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 4254cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis struct LexedMethod { 4264cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Action::DeclTy *D; 42772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor CachedTokens Toks; 4284cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis explicit LexedMethod(Action::DeclTy *MD) : D(MD) {} 4294cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis }; 4304cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 43172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// LateParsedDefaultArgument - Keeps track of a parameter that may 43272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// have a default argument that cannot be parsed yet because it 43372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// occurs within a member function declaration inside the class 43472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// (C++ [class.mem]p2). 43572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor struct LateParsedDefaultArgument { 43672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor explicit LateParsedDefaultArgument(Action::DeclTy *P, 43772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor CachedTokens *Toks = 0) 43872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor : Param(P), Toks(Toks) { } 43972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 44072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// Param - The parameter declaration for this parameter. 44172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor Action::DeclTy *Param; 44272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 44372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// Toks - The sequence of tokens that comprises the default 44472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// argument expression, not including the '=' or the terminating 44572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// ')' or ','. This will be NULL for parameters that have no 44672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// default argument. 44772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor CachedTokens *Toks; 44872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor }; 44972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 45072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// LateParsedMethodDeclaration - A method declaration inside a class that 45172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// contains at least one entity whose parsing needs to be delayed 45272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// until the class itself is completely-defined, such as a default 45372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// argument (C++ [class.mem]p2). 45472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor struct LateParsedMethodDeclaration { 45572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor explicit LateParsedMethodDeclaration(Action::DeclTy *M) : Method(M) { } 45672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 45772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// Method - The method declaration. 45872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor Action::DeclTy *Method; 45972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 46072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// DefaultArgs - Contains the parameters of the function and 46172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// their default arguments. At least one of the parameters will 46272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// have a default argument, but all of the parameters of the 46372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// method will be stored so that they can be reintroduced into 46472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// scope at the appropriate times. 46572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor llvm::SmallVector<LateParsedDefaultArgument, 8> DefaultArgs; 46672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor }; 46772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 46872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// LateParsedMethodDecls - During parsing of a top (non-nested) C++ 46972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// class, its method declarations that contain parts that won't be 47072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// parsed until after the definiton is completed (C++ [class.mem]p2), 47172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// the method declarations will be stored here with the tokens that 47272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// will be parsed to create those entities. 47372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor typedef std::list<LateParsedMethodDeclaration> LateParsedMethodDecls; 47472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 4754cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// LexedMethodsForTopClass - During parsing of a top (non-nested) C++ class, 4764cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// its inline method definitions and the inline method definitions of its 4774cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// nested classes are lexed and stored here. 47872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor typedef std::list<LexedMethod> LexedMethodsForTopClass; 47972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 48072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 48172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// TopClass - Contains information about parts of the top 48272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// (non-nested) C++ class that will need to be parsed after the 48372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// class is fully defined. 48472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor struct TopClass { 48572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// MethodDecls - Method declarations that contain pieces whose 48672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// parsing will be delayed until the class is fully defined. 48772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor LateParsedMethodDecls MethodDecls; 48872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 48972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// MethodDefs - Methods whose definitions will be parsed once the 49072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// class has been fully defined. 49172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor LexedMethodsForTopClass MethodDefs; 49272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor }; 4934cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 49472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// TopClassStacks - This is initialized with one TopClass used 4954cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// for lexing all top classes, until a local class in an inline method is 49672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor /// encountered, at which point a new TopClass is pushed here 4974cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// and used until the parsing of that local class is finished. 49872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor std::stack<TopClass> TopClassStacks; 4994cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 50072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor TopClass &getCurTopClassStack() { 5014cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis assert(!TopClassStacks.empty() && "No lexed method stacks!"); 5024cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return TopClassStacks.top(); 5034cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 5044cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5054cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis void PushTopClassStack() { 50672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor TopClassStacks.push(TopClass()); 5074cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 5084cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis void PopTopClassStack() { TopClassStacks.pop(); } 5094cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5104cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis DeclTy *ParseCXXInlineMethodDef(AccessSpecifier AS, Declarator &D); 51172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor void ParseLexedMethodDeclarations(); 5124cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis void ParseLexedMethodDefs(); 51372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor bool ConsumeAndStoreUntil(tok::TokenKind T1, tok::TokenKind T2, 51472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor CachedTokens &Toks, 51572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor tok::TokenKind EarlyAbortIf = tok::unknown, 51672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor bool ConsumeFinalToken = true); 5174cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5184cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis //===--------------------------------------------------------------------===// 5195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.9: External Definitions. 5205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer DeclTy *ParseExternalDeclaration(); 521c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor DeclTy *ParseDeclarationOrFunctionDefinition( 522c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor TemplateParameterLists *TemplateParams = 0); 5235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer DeclTy *ParseFunctionDefinition(Declarator &D); 5245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseKNRParamDeclarations(Declarator &D); 525ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // EndLoc, if non-NULL, is filled with the location of the last token of 526ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // the simple-asm. 527ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl OwningExprResult ParseSimpleAsm(SourceLocation *EndLoc = 0); 528effa8d1c97b00a3f53e972b0e61d9aade5ea1c57Sebastian Redl OwningExprResult ParseAsmStringLiteral(); 5295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5303536b443bc50d58a79f14fca9b6842541a434854Steve Naroff // Objective-C External Declarations 531dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff DeclTy *ParseObjCAtDirectives(); 532dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff DeclTy *ParseObjCAtClassDeclaration(SourceLocation atLoc); 533dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff DeclTy *ParseObjCAtInterfaceDeclaration(SourceLocation atLoc, 534dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff AttributeList *prefixAttrs = 0); 53560fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff void ParseObjCClassInstanceVariables(DeclTy *interfaceDecl, 53660fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff SourceLocation atLoc); 537e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner bool ParseObjCProtocolReferences(llvm::SmallVectorImpl<Action::DeclTy*> &P, 538e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner bool WarnOnDeclarations, 539e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner SourceLocation &EndProtoLoc); 54025e077d59a8e8e43b65882b69610a3d5e2aaf53cFariborz Jahanian void ParseObjCInterfaceDeclList(DeclTy *interfaceDecl, 541c81c8144a661a49d7b9dae8d2080dee2e43186ecChris Lattner tok::ObjCKeywordKind contextKey); 542246e70f69cb8aeb67225c54690f1c6b25abd5a86Daniel Dunbar DeclTy *ParseObjCAtProtocolDeclaration(SourceLocation atLoc, 543246e70f69cb8aeb67225c54690f1c6b25abd5a86Daniel Dunbar AttributeList *prefixAttrs = 0); 5443536b443bc50d58a79f14fca9b6842541a434854Steve Naroff 545a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek DeclTy *ObjCImpDecl; 5460416fb9f379b49abb3eb0c1cb2ca75107e5a71d1Steve Naroff 547ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian DeclTy *ParseObjCAtImplementationDeclaration(SourceLocation atLoc); 548ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian DeclTy *ParseObjCAtEndDeclaration(SourceLocation atLoc); 549e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian DeclTy *ParseObjCAtAliasDeclaration(SourceLocation atLoc); 550ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian DeclTy *ParseObjCPropertySynthesize(SourceLocation atLoc); 551ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian DeclTy *ParseObjCPropertyDynamic(SourceLocation atLoc); 5525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5534b6c9051c6522894978c9ba6a819a659d102db36Fariborz Jahanian IdentifierInfo *ParseObjCSelector(SourceLocation &MethodLocation); 55434870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner // Definitions for Objective-c context sensitive keywords recognition. 55534870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner enum ObjCTypeQual { 55634870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner objc_in=0, objc_out, objc_inout, objc_oneway, objc_bycopy, objc_byref, 55734870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner objc_NumQuals 55834870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner }; 559a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek IdentifierInfo *ObjCTypeQuals[objc_NumQuals]; 5600196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian 561335a2d4122e41343fe11a775889b8bec5b14be60Fariborz Jahanian bool isTokIdentifier_in() const; 562d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian 563a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek TypeTy *ParseObjCTypeName(ObjCDeclSpec &DS); 564294494e1cce92043562b4680c613df7fd028c02eSteve Naroff void ParseObjCMethodRequirement(); 56525e077d59a8e8e43b65882b69610a3d5e2aaf53cFariborz Jahanian DeclTy *ParseObjCMethodPrototype(DeclTy *classOrCat, 566c81c8144a661a49d7b9dae8d2080dee2e43186ecChris Lattner tok::ObjCKeywordKind MethodImplKind = tok::objc_not_keyword); 567bef1185418705e16012b3dd50cd7c260c8d6b79cSteve Naroff DeclTy *ParseObjCMethodDecl(SourceLocation mLoc, tok::TokenKind mType, 5681f7b6f88f18d7f6b10265acec5d41c4ed1897487Fariborz Jahanian DeclTy *classDecl, 56900933591a2795d09dd1acff12a2d21bce7cb12c5Fariborz Jahanian tok::ObjCKeywordKind MethodImplKind = tok::objc_not_keyword); 570a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek void ParseObjCPropertyAttribute(ObjCDeclSpec &DS); 571294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 57271c0a951d08dc7a2a057df8c15f22b36f6aa47c7Steve Naroff DeclTy *ParseObjCMethodDefinition(); 573bcfb06ac6da1aa3c74ac1ef7a49c2807522366e7Steve Naroff 5745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 5755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.5: Expressions. 5765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5772f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningExprResult ParseExpression(); 5782f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningExprResult ParseConstantExpression(); 5792f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl // Expr that doesn't include commas. 5802f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningExprResult ParseAssignmentExpression(); 5812f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl 582d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl OwningExprResult ParseExpressionWithLeadingAt(SourceLocation AtLoc); 5835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 584adf077f46ba5cddcd801a647a5e9a3eb97060df4Eli Friedman OwningExprResult ParseExpressionWithLeadingExtension(SourceLocation ExtLoc); 585adf077f46ba5cddcd801a647a5e9a3eb97060df4Eli Friedman 586d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl OwningExprResult ParseRHSOfBinaryExpression(OwningExprResult LHS, 587d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl unsigned MinPrec); 588ebc07d57be9e0722b4b9c66625e1fca43dcc2ee0Sebastian Redl OwningExprResult ParseCastExpression(bool isUnaryExpression, 589ebc07d57be9e0722b4b9c66625e1fca43dcc2ee0Sebastian Redl bool isAddressOfOperand = false); 5902f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningExprResult ParsePostfixExpressionSuffix(OwningExprResult LHS); 591d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl OwningExprResult ParseSizeofAlignofExpression(); 592d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl OwningExprResult ParseBuiltinPrimaryExpression(); 5930cd5b429fad6833dda23f0aced14a10907ac5539Argyrios Kyrtzidis 594a55e52c0802cae3b7c366a05c461d3d15074c1a3Sebastian Redl static const unsigned ExprListSize = 12; 595a55e52c0802cae3b7c366a05c461d3d15074c1a3Sebastian Redl typedef llvm::SmallVector<ExprTy*, ExprListSize> ExprListTy; 596a55e52c0802cae3b7c366a05c461d3d15074c1a3Sebastian Redl typedef llvm::SmallVector<SourceLocation, ExprListSize> CommaLocsTy; 5970cd5b429fad6833dda23f0aced14a10907ac5539Argyrios Kyrtzidis 5980cd5b429fad6833dda23f0aced14a10907ac5539Argyrios Kyrtzidis /// ParseExpressionList - Used for C/C++ (argument-)expression-list. 5990cd5b429fad6833dda23f0aced14a10907ac5539Argyrios Kyrtzidis bool ParseExpressionList(ExprListTy &Exprs, CommaLocsTy &CommaLocs); 600d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl 6015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ParenParseOption - Control what ParseParenExpression will parse. 6025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer enum ParenParseOption { 6035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SimpleExpr, // Only parse '(' expression ')' 6045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer CompoundStmt, // Also allow '(' compound-statement ')' 6055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer CompoundLiteral, // Also allow '(' type-name ')' '{' ... '}' 6065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer CastExpr // Also allow '(' type-name ')' <anything> 6075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer }; 608d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl OwningExprResult ParseParenExpression(ParenParseOption &ExprType, 609d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl TypeTy *&CastTy, 610d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl SourceLocation &RParenLoc); 611d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl 612d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl OwningExprResult ParseSimpleParenExpression() { // Parse SimpleExpr only. 6135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation RParenLoc; 6145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ParseSimpleParenExpression(RParenLoc); 6155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 616d8c4e15138e69a51754cc259c8a592cc47950c8eSebastian Redl OwningExprResult ParseSimpleParenExpression(SourceLocation &RParenLoc) { 6175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ParenParseOption Op = SimpleExpr; 6185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer TypeTy *CastTy; 6195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ParseParenExpression(Op, CastTy, RParenLoc); 6205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 62115ff1110c96a26c9315142d407c1f29d86a5ad1fChris Lattner 62220df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseStringLiteralExpression(); 623eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 624eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis //===--------------------------------------------------------------------===// 625eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis // C++ Expressions 626ebc07d57be9e0722b4b9c66625e1fca43dcc2ee0Sebastian Redl OwningExprResult ParseCXXIdExpression(bool isAddressOfOperand = false); 6274bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis 6287a0ab5f387722c83e19c7133b46b16988eb19e45Chris Lattner /// ParseOptionalCXXScopeSpecifier - Parse global scope or 6297a0ab5f387722c83e19c7133b46b16988eb19e45Chris Lattner /// nested-name-specifier if present. Returns true if a nested-name-specifier 6307a0ab5f387722c83e19c7133b46b16988eb19e45Chris Lattner /// was parsed from the token stream. Note that this routine will not parse 6317a0ab5f387722c83e19c7133b46b16988eb19e45Chris Lattner /// ::new or ::delete, it will just leave them in the token stream. 632a7bc7c880f86bc180684ef032d06df51bcae7a23Chris Lattner /// 6337a0ab5f387722c83e19c7133b46b16988eb19e45Chris Lattner bool ParseOptionalCXXScopeSpecifier(CXXScopeSpec &SS); 6345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 6365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C++ 5.2p1: C++ Casts 63720df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseCXXCasts(); 6385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 640c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl // C++ 5.2p1: C++ Type Identification 64120df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseCXXTypeid(); 642c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 643c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl //===--------------------------------------------------------------------===// 6444cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // C++ 9.3.2: C++ 'this' pointer 64520df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseCXXThis(); 6464cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 6474cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis //===--------------------------------------------------------------------===// 64850dd289f45738ed22b7583d52ed2525b927042ffChris Lattner // C++ 15: C++ Throw Expression 64920df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseThrowExpression(); 650ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // EndLoc is filled with the location of the last token of the specification. 651ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl bool ParseExceptionSpecification(SourceLocation &EndLoc); 65250dd289f45738ed22b7583d52ed2525b927042ffChris Lattner 65350dd289f45738ed22b7583d52ed2525b927042ffChris Lattner //===--------------------------------------------------------------------===// 6545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C++ 2.13.5: C++ Boolean Literals 65520df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseCXXBoolLiteral(); 6565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 658987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis // C++ 5.2.3: Explicit type conversion (functional notation) 65920df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseCXXTypeConstructExpression(const DeclSpec &DS); 660987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 661987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis /// ParseCXXSimpleTypeSpecifier - [C++ 7.1.5.2] Simple type specifiers. 662987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis /// This should only be called when the current token is known to be part of 663987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis /// simple-type-specifier. 664987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis void ParseCXXSimpleTypeSpecifier(DeclSpec &DS); 665987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 6662f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor bool ParseCXXTypeSpecifierSeq(DeclSpec &DS); 6672f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor 668987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis //===--------------------------------------------------------------------===// 6694c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // C++ 5.3.4 and 5.3.5: C++ new and delete 670cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl bool ParseExpressionListOrTypeId(ExprListTy &Exprs, Declarator &D); 6714c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl void ParseDirectNewDeclarator(Declarator &D); 67259232d35f5820e334b6c8b007ae8006f4390055dChris Lattner OwningExprResult ParseCXXNewExpression(bool UseGlobal, SourceLocation Start); 67359232d35f5820e334b6c8b007ae8006f4390055dChris Lattner OwningExprResult ParseCXXDeleteExpression(bool UseGlobal, 67459232d35f5820e334b6c8b007ae8006f4390055dChris Lattner SourceLocation Start); 6754c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 6764c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl //===--------------------------------------------------------------------===// 67771b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis // C++ if/switch/while/for condition expression. 6782f7ece7c77eb17e24e8f0f4e1b7fb01aa5111f96Sebastian Redl OwningExprResult ParseCXXCondition(); 67971b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis 68071b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis //===--------------------------------------------------------------------===// 68112e083c805c0f86be4f8e54b06e75b2c3dc1da64Douglas Gregor // C++ types 68212e083c805c0f86be4f8e54b06e75b2c3dc1da64Douglas Gregor 68312e083c805c0f86be4f8e54b06e75b2c3dc1da64Douglas Gregor //===--------------------------------------------------------------------===// 6845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.7.8: Initialization. 6850eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner 6860eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner /// ParseInitializer 6870eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner /// initializer: [C99 6.7.8] 6880eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner /// assignment-expression 6890eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner /// '{' ... 69020df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseInitializer() { 6910eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner if (Tok.isNot(tok::l_brace)) 69220df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl return ParseAssignmentExpression(); 6930eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner return ParseBraceInitializer(); 6940eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner } 69520df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseBraceInitializer(); 69620df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl OwningExprResult ParseInitializerWithPotentialDesignator( 69720df9b7ab9388b2a488c5b1293cd196b1e073b4eSebastian Redl InitListDesignations &D, unsigned InitNum); 6981d922960e083906a586609ac6978678147250177Sebastian Redl 6995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 700296e8d5fdcf9946f51e866adc8d281379e51efe9Steve Naroff // clang Expressions 7011d922960e083906a586609ac6978678147250177Sebastian Redl 7021d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseBlockLiteralExpression(); // ^{...} 703296e8d5fdcf9946f51e866adc8d281379e51efe9Steve Naroff 704296e8d5fdcf9946f51e866adc8d281379e51efe9Steve Naroff //===--------------------------------------------------------------------===// 7055508518a2702b00be3b15a26d772bde968972f54Anders Carlsson // Objective-C Expressions 70614dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner 70714dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner bool isTokObjCMessageIdentifierReceiver() const { 70814dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner if (!Tok.is(tok::identifier)) 70914dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner return false; 71014dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner 71147246be8ac5b0ddde6c402b8fc6946b6135487b5Chris Lattner IdentifierInfo *II = Tok.getIdentifierInfo(); 712b696ea3a0693798daeafd896d77f0b8f1fec3cc5Douglas Gregor if (Actions.getTypeName(*II, Tok.getLocation(), CurScope)) 71314dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner return true; 71414dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner 71547246be8ac5b0ddde6c402b8fc6946b6135487b5Chris Lattner return II == Ident_super; 71614dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner } 7171d922960e083906a586609ac6978678147250177Sebastian Redl 7181d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCAtExpression(SourceLocation AtLocation); 7191d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCStringLiteral(SourceLocation AtLoc); 7201d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCEncodeExpression(SourceLocation AtLoc); 7211d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCSelectorExpression(SourceLocation AtLoc); 7221d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCProtocolExpression(SourceLocation AtLoc); 7231d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCMessageExpression(); 7241d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseObjCMessageExpressionBody(SourceLocation LBracloc, 7251d922960e083906a586609ac6978678147250177Sebastian Redl SourceLocation NameLoc, 7261d922960e083906a586609ac6978678147250177Sebastian Redl IdentifierInfo *ReceiverName, 7271d922960e083906a586609ac6978678147250177Sebastian Redl ExprArg ReceiverExpr); 7281d922960e083906a586609ac6978678147250177Sebastian Redl OwningExprResult ParseAssignmentExprWithObjCMessageExprStart( 7291d922960e083906a586609ac6978678147250177Sebastian Redl SourceLocation LBracloc, SourceLocation NameLoc, 7301d922960e083906a586609ac6978678147250177Sebastian Redl IdentifierInfo *ReceiverName, ExprArg ReceiverExpr); 73161364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl 7325508518a2702b00be3b15a26d772bde968972f54Anders Carlsson //===--------------------------------------------------------------------===// 7335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.8: Statements and Blocks. 73461364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl 73561364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseStatement() { 73661364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl return ParseStatementOrDeclaration(true); 73761364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl } 73861364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseStatementOrDeclaration(bool OnlyStatement = false); 73961364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseLabeledStatement(); 74061364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseCaseStatement(); 74161364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseDefaultStatement(); 74261364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseCompoundStatement(bool isStmtExpr = false); 74361364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseCompoundStatementBody(bool isStmtExpr = false); 744ff871fb8f9c5906a4dee78afd81f60c3837e16cbChris Lattner bool ParseParenExprOrCondition(OwningExprResult &CondExp, 745ff871fb8f9c5906a4dee78afd81f60c3837e16cbChris Lattner bool OnlyAllowCondition = false); 74661364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl OwningStmtResult ParseIfStatement(); 7479a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseSwitchStatement(); 7489a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseWhileStatement(); 7499a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseDoStatement(); 7509a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseForStatement(); 7519a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseGotoStatement(); 7529a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseContinueStatement(); 7539a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseBreakStatement(); 7549a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseReturnStatement(); 7559a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult ParseAsmStatement(bool &msAsm); 7569a920342707e384473b464528d2fd286e8c70353Sebastian Redl OwningStmtResult FuzzyParseMicrosoftAsmStatement(); 757a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl bool ParseAsmOperandsOpt(llvm::SmallVectorImpl<std::string> &Names, 758a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl llvm::SmallVectorImpl<ExprTy*> &Constraints, 759a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl llvm::SmallVectorImpl<ExprTy*> &Exprs); 760a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl 761a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl //===--------------------------------------------------------------------===// 762a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl // C++ 6: Statements and Blocks 763a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl 764a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl OwningStmtResult ParseCXXTryBlock(); 765a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl OwningStmtResult ParseCXXCatchBlock(); 766a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl 767a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl //===--------------------------------------------------------------------===// 768a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl // Objective-C Statements 769a0fd8652f3302d0f39ed9849b521ee5b76597b0aSebastian Redl 77043bc2a0973ffe404fabba6f8280cd6bad2c69fcbSebastian Redl OwningStmtResult ParseObjCAtStatement(SourceLocation atLoc); 77143bc2a0973ffe404fabba6f8280cd6bad2c69fcbSebastian Redl OwningStmtResult ParseObjCTryStmt(SourceLocation atLoc); 77243bc2a0973ffe404fabba6f8280cd6bad2c69fcbSebastian Redl OwningStmtResult ParseObjCThrowStmt(SourceLocation atLoc); 77343bc2a0973ffe404fabba6f8280cd6bad2c69fcbSebastian Redl OwningStmtResult ParseObjCSynchronizedStmt(SourceLocation atLoc); 774b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 7755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 7775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.7: Declarations. 7785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer DeclTy *ParseDeclaration(unsigned Context); 7808f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner DeclTy *ParseSimpleDeclaration(unsigned Context); 7815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer DeclTy *ParseInitDeclaratorListAfterFirstDeclarator(Declarator &D); 782f9ed3157c93495474003a5ec360039030fd42e9cFariborz Jahanian DeclTy *ParseFunctionStatementBody(DeclTy *Decl, 783f9ed3157c93495474003a5ec360039030fd42e9cFariborz Jahanian SourceLocation L, SourceLocation R); 784c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor void ParseDeclarationSpecifiers(DeclSpec &DS, 785c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor TemplateParameterLists *TemplateParams = 0); 7867a0ab5f387722c83e19c7133b46b16988eb19e45Chris Lattner bool ParseOptionalTypeSpecifier(DeclSpec &DS, int &isInvalid, 7877a0ab5f387722c83e19c7133b46b16988eb19e45Chris Lattner const char *&PrevSpec, 7887a0ab5f387722c83e19c7133b46b16988eb19e45Chris Lattner TemplateParameterLists *TemplateParams = 0); 7895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseSpecifierQualifierList(DeclSpec &DS); 79019d74e1494fe399f0e2a94e9419c095f8214851bFariborz Jahanian 791a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek void ParseObjCTypeQualifierList(ObjCDeclSpec &DS); 7925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseEnumSpecifier(DeclSpec &DS); 7945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseEnumBody(SourceLocation StartLoc, DeclTy *TagDecl); 7955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseStructUnionBody(SourceLocation StartLoc, unsigned TagType, 7965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer DeclTy *TagDecl); 797e13594279a952537ac903325efff57e3edca79d9Chris Lattner void ParseStructDeclaration(DeclSpec &DS, 798e13594279a952537ac903325efff57e3edca79d9Chris Lattner llvm::SmallVectorImpl<FieldDeclarator> &Fields); 7994e6526b2de501f2bbc261fd8017c92c75bd8d8f7Steve Naroff 800eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis bool isDeclarationSpecifier(); 801eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis bool isTypeSpecifierQualifier(); 8025f8aa696619e32bf307232841fedb704ba733b4dSteve Naroff bool isTypeQualifier() const; 8035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8045404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// isDeclarationStatement - Disambiguates between a declaration or an 8055404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// expression statement, when parsing function bodies. 8065404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// Returns true for declaration, false for expression. 8075404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis bool isDeclarationStatement() { 8085404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis if (getLang().CPlusPlus) 8095404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis return isCXXDeclarationStatement(); 8105404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis return isDeclarationSpecifier(); 8115404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 8125404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 813bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis /// isSimpleDeclaration - Disambiguates between a declaration or an 814bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis /// expression, mainly used for the C 'clause-1' or the C++ 815bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis // 'for-init-statement' part of a 'for' statement. 816bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis /// Returns true for declaration, false for expression. 817bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis bool isSimpleDeclaration() { 818bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis if (getLang().CPlusPlus) 819bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis return isCXXSimpleDeclaration(); 820bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis return isDeclarationSpecifier(); 821bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis } 822bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis 8238b642592a35167a3780074e78674e0bece87c40cDouglas Gregor /// \brief Specifies the context in which type-id/expression 8248b642592a35167a3780074e78674e0bece87c40cDouglas Gregor /// disambiguation will occur. 8258b642592a35167a3780074e78674e0bece87c40cDouglas Gregor enum TentativeCXXTypeIdContext { 8268b642592a35167a3780074e78674e0bece87c40cDouglas Gregor TypeIdInParens, 8278b642592a35167a3780074e78674e0bece87c40cDouglas Gregor TypeIdAsTemplateArgument 8288b642592a35167a3780074e78674e0bece87c40cDouglas Gregor }; 8298b642592a35167a3780074e78674e0bece87c40cDouglas Gregor 8308b642592a35167a3780074e78674e0bece87c40cDouglas Gregor 83178c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// isTypeIdInParens - Assumes that a '(' was parsed and now we want to know 83278c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// whether the parens contain an expression or a type-id. 83378c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// Returns true for a type-id and false for an expression. 83478c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis bool isTypeIdInParens() { 83578c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis if (getLang().CPlusPlus) 8368b642592a35167a3780074e78674e0bece87c40cDouglas Gregor return isCXXTypeId(TypeIdInParens); 83778c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis return isTypeSpecifierQualifier(); 83878c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis } 83978c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis 8405404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// isCXXDeclarationStatement - C++-specialized function that disambiguates 8415404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// between a declaration or an expression statement, when parsing function 8425404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// bodies. Returns true for declaration, false for expression. 8435404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis bool isCXXDeclarationStatement(); 8445404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 8455404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// isCXXSimpleDeclaration - C++-specialized function that disambiguates 8465404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// between a simple-declaration or an expression-statement. 8475404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// If during the disambiguation process a parsing error is encountered, 8485404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// the function returns true to let the declaration parsing code handle it. 8495404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// Returns false if the statement is disambiguated as expression. 8505404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis bool isCXXSimpleDeclaration(); 8515404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 8525404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// isCXXFunctionDeclarator - Disambiguates between a function declarator or 8535404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// a constructor-style initializer, when parsing declaration statements. 8545404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// Returns true for function declarator and false for constructor-style 855e75d849d9141d8e47d05a91b7b5c04194854e47aArgyrios Kyrtzidis /// initializer. If 'warnIfAmbiguous' is true a warning will be emitted to 856259b0d91f2ff90d8daf39221fe133bf1596c5ffbArgyrios Kyrtzidis /// indicate that the parens were disambiguated as function declarator. 8575404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// If during the disambiguation process a parsing error is encountered, 8585404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// the function returns true to let the declaration parsing code handle it. 859e75d849d9141d8e47d05a91b7b5c04194854e47aArgyrios Kyrtzidis bool isCXXFunctionDeclarator(bool warnIfAmbiguous); 8605404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 861a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis /// isCXXConditionDeclaration - Disambiguates between a declaration or an 862a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis /// expression for a condition of a if/switch/while/for statement. 863a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis /// If during the disambiguation process a parsing error is encountered, 864a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis /// the function returns true to let the declaration parsing code handle it. 865a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis bool isCXXConditionDeclaration(); 866a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis 8678b642592a35167a3780074e78674e0bece87c40cDouglas Gregor bool isCXXTypeId(TentativeCXXTypeIdContext Context); 86878c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis 869b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// TPResult - Used as the result value for functions whose purpose is to 870b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// disambiguate C++ constructs by "tentatively parsing" them. 871b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// This is a class instead of a simple enum because the implicit enum-to-bool 872b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// conversions may cause subtle bugs. 873b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis class TPResult { 874b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis enum Result { 875b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPR_true, 876b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPR_false, 877b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPR_ambiguous, 878b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPR_error 879b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis }; 880b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis Result Res; 881b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult(Result result) : Res(result) {} 882b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis public: 883b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis static TPResult True() { return TPR_true; } 884b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis static TPResult False() { return TPR_false; } 885b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis static TPResult Ambiguous() { return TPR_ambiguous; } 886b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis static TPResult Error() { return TPR_error; } 887b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis 888b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis bool operator==(const TPResult &RHS) const { return Res == RHS.Res; } 889b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis bool operator!=(const TPResult &RHS) const { return Res != RHS.Res; } 890b47e38683f288cd4a73098091d629df417377a6bArgyrios Kyrtzidis }; 891b47e38683f288cd4a73098091d629df417377a6bArgyrios Kyrtzidis 892b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// isCXXDeclarationSpecifier - Returns TPResult::True() if it is a 893b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// declaration specifier, TPResult::False() if it is not, 894b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// TPResult::Ambiguous() if it could be either a decl-specifier or a 895b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// function-style cast, and TPResult::Error() if a parsing error was 896b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// encountered. 8975404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// Doesn't consume tokens. 898b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult isCXXDeclarationSpecifier(); 8995404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 9005404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis // "Tentative parsing" functions, used for disambiguation. If a parsing error 901b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis // is encountered they will return TPResult::Error(). 902b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis // Returning TPResult::True()/False() indicates that the ambiguity was 903b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis // resolved and tentative parsing may stop. TPResult::Ambiguous() indicates 904b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis // that more tentative parsing is necessary for disambiguation. 9055404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis // They all consume tokens, so backtracking should be used after calling them. 9065404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 907b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseDeclarationSpecifier(); 908b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseSimpleDeclaration(); 909b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseTypeofSpecifier(); 910b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseInitDeclaratorList(); 91178c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis TPResult TryParseDeclarator(bool mayBeAbstract, bool mayHaveIdentifier=true); 912b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseParameterDeclarationClause(); 913b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseFunctionDeclarator(); 914b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseBracketDeclarator(); 9155404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 916809070a886684cb5b92eb0e00a6581ab1fa6b17aDouglas Gregor TypeResult ParseTypeName(); 91798eb8a7a702b95183ed015706b1f1c66f5cb27a4Mike Stump void ParseBlockId(); 918ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // EndLoc, if non-NULL, is filled with the location of the last token of 919ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // the attribute list. 920ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl AttributeList *ParseAttributes(SourceLocation *EndLoc = 0); 921f59e17ecf06ac60065e2d02058bd6f21f5d216ccSteve Naroff void FuzzyParseMicrosoftDeclSpec(); 922d1861fd633d5096a00777c918eb8575ea7162fe7Steve Naroff void ParseTypeofSpecifier(DeclSpec &DS); 923eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 924eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// DeclaratorScopeObj - RAII object used in Parser::ParseDirectDeclarator to 925eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// enter a new C++ declarator scope and exit it when the function is 926eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// finished. 927eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis class DeclaratorScopeObj { 928eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis Parser &P; 929751810234ffb45327f23c5f9fda0b944e480bd2bArgyrios Kyrtzidis CXXScopeSpec &SS; 930eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis public: 931eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis DeclaratorScopeObj(Parser &p, CXXScopeSpec &ss) : P(p), SS(ss) {} 932eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 933eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis void EnterDeclaratorScope() { 934eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis if (SS.isSet()) 935eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis P.Actions.ActOnCXXEnterDeclaratorScope(P.CurScope, SS); 936eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis } 937eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 938eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis ~DeclaratorScopeObj() { 939eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis if (SS.isSet()) 9400a59acb9ae36077ce46fb2807956c5e84f0f6837Douglas Gregor P.Actions.ActOnCXXExitDeclaratorScope(P.CurScope, SS); 941eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis } 942eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis }; 9435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ParseDeclarator - Parse and verify a newly-initialized declarator. 9455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseDeclarator(Declarator &D); 9464c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl /// A function that parses a variant of direct-declarator. 9474c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl typedef void (Parser::*DirectDeclParseFunction)(Declarator&); 9484c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl void ParseDeclaratorInternal(Declarator &D, 9494c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl DirectDeclParseFunction DirectDeclParser); 95085b5a45803784a5465f69baf6f8d6e1eacaa5af5Chris Lattner void ParseTypeQualifierListOpt(DeclSpec &DS, bool AttributesAllowed = true); 9515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseDirectDeclarator(Declarator &D); 9525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseParenDeclarator(Declarator &D); 9537399ee0aa6ffaeab0a8f83408b1c5127fb2bf5b8Chris Lattner void ParseFunctionDeclarator(SourceLocation LParenLoc, Declarator &D, 9547399ee0aa6ffaeab0a8f83408b1c5127fb2bf5b8Chris Lattner AttributeList *AttrList = 0, 9557399ee0aa6ffaeab0a8f83408b1c5127fb2bf5b8Chris Lattner bool RequiresArg = false); 95666d28650752eeac0b02802a1d8cea425cb6b1c0fChris Lattner void ParseFunctionDeclaratorIdentifierList(SourceLocation LParenLoc, 95766d28650752eeac0b02802a1d8cea425cb6b1c0fChris Lattner Declarator &D); 9585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseBracketDeclarator(Declarator &D); 9598f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner 9608f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner //===--------------------------------------------------------------------===// 9618f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner // C++ 7: Declarations [dcl.dcl] 9628f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner 9638f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner DeclTy *ParseNamespace(unsigned Context); 964c6fdc34ac0183bfa03d65f317c78b7bdac52897eChris Lattner DeclTy *ParseLinkage(unsigned Context); 965f780abc21c39cd4731b9e38f2d2d9f7d1510bd7bDouglas Gregor DeclTy *ParseUsingDirectiveOrDeclaration(unsigned Context); 966f780abc21c39cd4731b9e38f2d2d9f7d1510bd7bDouglas Gregor DeclTy *ParseUsingDirective(unsigned Context, SourceLocation UsingLoc); 967f780abc21c39cd4731b9e38f2d2d9f7d1510bd7bDouglas Gregor DeclTy *ParseUsingDeclaration(unsigned Context, SourceLocation UsingLoc); 9688f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner 969e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor //===--------------------------------------------------------------------===// 970e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor // C++ 9: classes [class] and C structs/unions. 971eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis TypeTy *ParseClassName(const CXXScopeSpec *SS = 0); 972c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor void ParseClassSpecifier(DeclSpec &DS, 973c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor TemplateParameterLists *TemplateParams = 0); 9744cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis void ParseCXXMemberSpecification(SourceLocation StartLoc, unsigned TagType, 9754cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis DeclTy *TagDecl); 9764cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis DeclTy *ParseCXXClassMemberDeclaration(AccessSpecifier AS); 9777ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor void ParseConstructorInitializer(DeclTy *ConstructorDecl); 9787ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor MemInitResult ParseMemInitializer(DeclTy *ConstructorDecl); 979e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor 980e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor //===--------------------------------------------------------------------===// 981e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor // C++ 10: Derived classes [class.derived] 982e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor void ParseBaseClause(DeclTy *ClassDecl); 983f8268ae3196002bbab6adb830302e79b0f368f13Douglas Gregor BaseResult ParseBaseSpecifier(DeclTy *ClassDecl); 9841b7f89846f10681ce3cbe89ef5d60691d55bd918Douglas Gregor AccessSpecifier getAccessSpecifierIfPresent() const; 9851cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor 9861cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor //===--------------------------------------------------------------------===// 9871cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor // C++ 13.5: Overloaded operators [over.oper] 988ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // EndLoc, if non-NULL, is filled with the location of the last token of 989ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl // the ID. 990ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl OverloadedOperatorKind TryParseOperatorFunctionId(SourceLocation *EndLoc = 0); 991ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl TypeTy *ParseConversionFunctionId(SourceLocation *EndLoc = 0); 992adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor 993adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor //===--------------------------------------------------------------------===// 994adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor // C++ 14: Templates [temp] 995c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor typedef llvm::SmallVector<DeclTy *, 4> TemplateParameterList; 99655f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor typedef Action::TemplateNameKind TemplateNameKind; 997c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor 998adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor // C++ 14.1: Template Parameters [temp.param] 999cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor DeclTy *ParseTemplateDeclarationOrSpecialization(unsigned Context); 1000c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor bool ParseTemplateParameters(unsigned Depth, 1001c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor TemplateParameterList &TemplateParams, 1002c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor SourceLocation &LAngleLoc, 1003c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor SourceLocation &RAngleLoc); 1004c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor bool ParseTemplateParameterList(unsigned Depth, 1005c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor TemplateParameterList &TemplateParams); 1006c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor DeclTy *ParseTemplateParameter(unsigned Depth, unsigned Position); 1007c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor DeclTy *ParseTypeParameter(unsigned Depth, unsigned Position); 1008c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor DeclTy *ParseTemplateTemplateParameter(unsigned Depth, unsigned Position); 1009c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor DeclTy *ParseNonTypeTemplateParameter(unsigned Depth, unsigned Position); 1010d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor // C++ 14.3: Template arguments [temp.arg] 10115908e9f25bc9a334c99c095e0b1e6a515445be2dDouglas Gregor typedef llvm::SmallVector<void *, 16> TemplateArgList; 10125908e9f25bc9a334c99c095e0b1e6a515445be2dDouglas Gregor typedef llvm::SmallVector<bool, 16> TemplateArgIsTypeList; 1013c15cb38a4ff717097b32532fbf761c71b1376a02Douglas Gregor typedef llvm::SmallVector<SourceLocation, 16> TemplateArgLocationList; 1014cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor 1015cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor bool ParseTemplateIdAfterTemplateName(DeclTy *Template, 1016cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor SourceLocation TemplateNameLoc, 1017cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor const CXXScopeSpec *SS, 1018cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor bool ConsumeLastToken, 1019cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor SourceLocation &LAngleLoc, 1020cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor TemplateArgList &TemplateArgs, 1021cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor TemplateArgIsTypeList &TemplateArgIsType, 1022cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor TemplateArgLocationList &TemplateArgLocations, 1023cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor SourceLocation &RAngleLoc); 1024cc636688c4fd10b1732ce3e33b2b106024d545caDouglas Gregor 102555f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor void AnnotateTemplateIdToken(DeclTy *Template, TemplateNameKind TNK, 102655f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor const CXXScopeSpec *SS = 0); 10275908e9f25bc9a334c99c095e0b1e6a515445be2dDouglas Gregor bool ParseTemplateArgumentList(TemplateArgList &TemplateArgs, 1028c15cb38a4ff717097b32532fbf761c71b1376a02Douglas Gregor TemplateArgIsTypeList &TemplateArgIsType, 1029c15cb38a4ff717097b32532fbf761c71b1376a02Douglas Gregor TemplateArgLocationList &TemplateArgLocations); 10305908e9f25bc9a334c99c095e0b1e6a515445be2dDouglas Gregor void *ParseTemplateArgument(bool &ArgIsType); 103164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 103264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl //===--------------------------------------------------------------------===// 103364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl // GNU G++: Type Traits [Type-Traits.html in the GCC manual] 103464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl OwningExprResult ParseUnaryTypeTrait(); 10355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 10365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 10375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 10385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 10395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 1040