Parser.h revision cee63fbf0e64ac526582312bf8cf33263fc5c16e
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> 215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencernamespace clang { 23fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar class AttributeList; 245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class DeclSpec; 255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Declarator; 26e13594279a952537ac903325efff57e3edca79d9Chris Lattner class FieldDeclarator; 27fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar class ObjCDeclSpec; 28fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar class PragmaHandler; 295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer class Scope; 303cbfe2c4159e0a219ae660d50625c013aa4afbd0Chris Lattner class DiagnosticBuilder; 315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Parser - This implements a parser for the C family of languages. After 335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// parsing units of the grammar, productions are invoked to handle whatever has 345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// been read. 355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// 365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerclass Parser { 375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Preprocessor &PP; 385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3997d0205d16fef2a783e785459b5f30f6a9dfbcb9Eric Christopher /// Tok - The current token we are peeking ahead. All parsing methods assume 405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// that this is valid. 41d217773f106856a11879ec79dc468efefaf2ee75Chris Lattner Token Tok; 425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer unsigned short ParenCount, BracketCount, BraceCount; 445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// Actions - These are the callbacks we invoke as we parse various constructs 465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// in the file. This refers to the common base class between MinimalActions 475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// and SemaActions for those uses that don't matter. 485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Action &Actions; 495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Scope *CurScope; 515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Diagnostic &Diags; 529e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner 539e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner /// ScopeCache - Cache scopes to reduce malloc traffic. 549e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner enum { ScopeCacheSize = 16 }; 559e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner unsigned NumCachedScopes; 569e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner Scope *ScopeCache[ScopeCacheSize]; 57662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar 58662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar /// Ident_super - IdentifierInfo for "super", to support fast 59662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar /// comparison. 60662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar IdentifierInfo *Ident_super; 61662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar 62fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar PragmaHandler *PackHandler; 63fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar 645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerpublic: 655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Parser(Preprocessor &PP, Action &Actions); 665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ~Parser(); 675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const LangOptions &getLang() const { return PP.getLangOptions(); } 695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer TargetInfo &getTargetInfo() const { return PP.getTargetInfo(); } 705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Action &getActions() const { return Actions; } 715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Type forwarding. All of these are statically 'void*', but they may all be 735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // different actual classes based on the actions in place. 745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef Action::ExprTy ExprTy; 755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef Action::StmtTy StmtTy; 765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef Action::DeclTy DeclTy; 775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer typedef Action::TypeTy TypeTy; 78f8268ae3196002bbab6adb830302e79b0f368f13Douglas Gregor typedef Action::BaseTy BaseTy; 797ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor typedef Action::MemInitTy MemInitTy; 80eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis typedef Action::CXXScopeTy CXXScopeTy; 817ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor 825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Parsing methods. 835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ParseTranslationUnit - All in one method that initializes parses, and 855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// shuts down the parser. 865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseTranslationUnit(); 875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// Initialize - Warm up the parser. 895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void Initialize(); 915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 921f6443255894429fba384de0d5b6389ef578a5e9Steve Naroff /// ParseTopLevelDecl - Parse one top-level declaration. Returns true if 931f6443255894429fba384de0d5b6389ef578a5e9Steve Naroff /// the EOF was encountered. 9489307ffaf8acf4d6fdffd72b607ca4fbcfdffc9dSteve Naroff bool ParseTopLevelDecl(DeclTy*& Result); 955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerprivate: 975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Low-Level token peeking and consumption methods. 995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // 1005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// isTokenParen - Return true if the cur token is '(' or ')'. 1025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool isTokenParen() const { 1035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return Tok.getKind() == tok::l_paren || Tok.getKind() == tok::r_paren; 1045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// isTokenBracket - Return true if the cur token is '[' or ']'. 1065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool isTokenBracket() const { 1075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return Tok.getKind() == tok::l_square || Tok.getKind() == tok::r_square; 1085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// isTokenBrace - Return true if the cur token is '{' or '}'. 1105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool isTokenBrace() const { 1115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return Tok.getKind() == tok::l_brace || Tok.getKind() == tok::r_brace; 1125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// isTokenStringLiteral - True if this token is a string-literal. 1155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 1165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool isTokenStringLiteral() const { 1175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return Tok.getKind() == tok::string_literal || 1185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer Tok.getKind() == tok::wide_string_literal; 1195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 120eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 1215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeToken - Consume the current 'peek token' and lex the next one. 122d6ecc5cf945ccdf2b931137e364a69cde59ab18bZhongxing Xu /// This does not work with all kinds of tokens: strings and specific other 1235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// tokens must be consumed with custom methods below. This returns the 1245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// location of the consumed token. 1255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeToken() { 1265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(!isTokenStringLiteral() && !isTokenParen() && !isTokenBracket() && 1275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer !isTokenBrace() && 1285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer "Should consume special tokens with Consume*Token"); 1295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation L = Tok.getLocation(); 1305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 1315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return L; 1325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeAnyToken - Dispatch to the right Consume* method based on the 1355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// current token type. This should only be used in cases where the type of 1365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// the token really isn't known, e.g. in error recovery. 1375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeAnyToken() { 1385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (isTokenParen()) 1395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ConsumeParen(); 1405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (isTokenBracket()) 1415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ConsumeBracket(); 1425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (isTokenBrace()) 1435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ConsumeBrace(); 144d62701bc5321049353017e9abf1963edd57646aaSteve Naroff else if (isTokenStringLiteral()) 145d62701bc5321049353017e9abf1963edd57646aaSteve Naroff return ConsumeStringToken(); 1465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else 1475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ConsumeToken(); 1485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeParen - This consume method keeps the paren count up-to-date. 1515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 1525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeParen() { 1535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(isTokenParen() && "wrong consume method"); 1545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Tok.getKind() == tok::l_paren) 1555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ++ParenCount; 1565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (ParenCount) 1575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer --ParenCount; // Don't let unbalanced )'s drive the count negative. 1585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation L = Tok.getLocation(); 1595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 1605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return L; 1615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeBracket - This consume method keeps the bracket count up-to-date. 1645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 1655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeBracket() { 1665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(isTokenBracket() && "wrong consume method"); 1675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Tok.getKind() == tok::l_square) 1685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ++BracketCount; 1695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (BracketCount) 1705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer --BracketCount; // Don't let unbalanced ]'s drive the count negative. 1715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation L = Tok.getLocation(); 1735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 1745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return L; 1755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeBrace - This consume method keeps the brace count up-to-date. 1785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 1795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeBrace() { 1805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(isTokenBrace() && "wrong consume method"); 1815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer if (Tok.getKind() == tok::l_brace) 1825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ++BraceCount; 1835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer else if (BraceCount) 1845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer --BraceCount; // Don't let unbalanced }'s drive the count negative. 1855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation L = Tok.getLocation(); 1875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 1885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return L; 1895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 1905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ConsumeStringToken - Consume the current 'peek token', lexing a new one 1925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// and returning the token kind. This method is specific to strings, as it 1935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// handles string literal concatenation, as per C99 5.1.1.2, translation 1945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// phase #6. 1955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation ConsumeStringToken() { 1965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer assert(isTokenStringLiteral() && 1975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer "Should only consume string literals with this method"); 1985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation L = Tok.getLocation(); 1995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer PP.Lex(Tok); 2005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return L; 2015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 2025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2036b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// GetLookAheadToken - This peeks ahead N tokens and returns that token 2046b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// without consuming any tokens. LookAhead(0) returns 'Tok', LookAhead(1) 2056b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// returns the token after Tok, etc. 2066b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// 2076b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// Note that this differs from the Preprocessor's LookAhead method, because 2086b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// the Parser always has one token lexed that the preprocessor doesn't. 2096b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner /// 21003db1b31dd926409b7defc1c90b66549464652c0Argyrios Kyrtzidis const Token &GetLookAheadToken(unsigned N) { 2116b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner if (N == 0 || Tok.is(tok::eof)) return Tok; 2126b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner return PP.LookAhead(N-1); 2136b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner } 214f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis 215f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis /// NextToken - This peeks ahead one token and returns it without 216f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis /// consuming it. 217f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis const Token &NextToken() { 21803db1b31dd926409b7defc1c90b66549464652c0Argyrios Kyrtzidis return PP.LookAhead(0); 219f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis } 2205404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 221eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// TryAnnotateTypeOrScopeToken - If the current token position is on a 222eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// typename (possibly qualified in C++) or a C++ scope specifier not followed 223eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// by a typename, TryAnnotateTypeOrScopeToken will replace one or more tokens 224eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// with a single annotation token representing the typename or C++ scope 225eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// respectively. 226eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// This simplifies handling of C++ scope specifiers and allows efficient 227eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// backtracking without the need to re-parse and resolve nested-names and 228eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// typenames. 22944802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis /// It will mainly be called when we expect to treat identifiers as typenames 23044802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis /// (if they are typenames). For example, in C we do not expect identifiers 23144802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis /// inside expressions to be treated as typenames so it will not be called 23244802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis /// for expressions in C. 233eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis void TryAnnotateTypeOrScopeToken(); 234eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 2354bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis /// TryAnnotateCXXScopeToken - Like TryAnnotateTypeOrScopeToken but only 236eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// annotates C++ scope specifiers. 2374bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis void TryAnnotateCXXScopeToken(); 238eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 2395404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// TentativeParsingAction - An object that is used as a kind of "tentative 2405404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// parsing transaction". It gets instantiated to mark the token position and 2415404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// after the token consumption is done, Commit() or Revert() is called to 2425404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// either "commit the consumed tokens" or revert to the previously marked 2435404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// token position. Example: 2445404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// 2455404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// TentativeParsingAction TPA; 2465404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// ConsumeToken(); 2475404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// .... 2485404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// TPA.Revert(); 2495404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// 2505404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis class TentativeParsingAction { 2515404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis Parser &P; 2525404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis Token PrevTok; 2535404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis bool isActive; 2545404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 2555404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis public: 2565404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis explicit TentativeParsingAction(Parser& p) : P(p) { 2575404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis PrevTok = P.Tok; 2585404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis P.PP.EnableBacktrackAtThisPos(); 2595404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis isActive = true; 2605404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 2615404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis void Commit() { 2625404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis assert(isActive && "Parsing action was finished!"); 2635404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis P.PP.CommitBacktrackedTokens(); 2645404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis isActive = false; 2655404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 2665404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis void Revert() { 2675404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis assert(isActive && "Parsing action was finished!"); 2685404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis P.PP.Backtrack(); 2695404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis P.Tok = PrevTok; 2705404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis isActive = false; 2715404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 2725404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis ~TentativeParsingAction() { 2735404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis assert(!isActive && "Forgot to call Commit or Revert!"); 2745404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 2755404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis }; 2766b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner 2776b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner 2785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// MatchRHSPunctuation - For punctuation with a LHS and RHS (e.g. '['/']'), 2795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// this helper function matches and consumes the specified RHS token if 2805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// present. If not present, it emits the specified diagnostic indicating 2815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// that the parser failed to match the RHS of the token at LHSLoc. LHSName 2825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// should be the name of the unmatched LHS token. This returns the location 2835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// of the consumed token. 2845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation MatchRHSPunctuation(tok::TokenKind RHSTok, 2855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation LHSLoc); 2865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ExpectAndConsume - The parser expects that 'ExpectedTok' is next in the 2885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// input. If so, it is consumed and false is returned. 2895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 2905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// If the input is malformed, this emits the specified diagnostic. Next, if 2915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// SkipToTok is specified, it calls SkipUntil(SkipToTok). Finally, true is 2925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// returned. 2935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool ExpectAndConsume(tok::TokenKind ExpectedTok, unsigned Diag, 2945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer const char *DiagMsg = "", 2955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer tok::TokenKind SkipToTok = tok::unknown); 2965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 2985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Scope manipulation 2995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// EnterScope - Start a new scope. 3015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void EnterScope(unsigned ScopeFlags); 3025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ExitScope - Pop a scope off the scope stack. 3045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ExitScope(); 3055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 3075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // Diagnostic Emission and Error recovery. 3085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3093cbfe2c4159e0a219ae660d50625c013aa4afbd0Chris Lattner DiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID); 3103cbfe2c4159e0a219ae660d50625c013aa4afbd0Chris Lattner DiagnosticBuilder Diag(const Token &Tok, unsigned DiagID); 3115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// SkipUntil - Read tokens until we get to the specified token, then consume 31382c7e6d8215567935d3d52741ccca9876a8ea461Steve Naroff /// it (unless DontConsume is true). Because we cannot guarantee that the 3145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// token will ever occur, this skips to the next token, or to some likely 3155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// good stopping point. If StopAtSemi is true, skipping will stop at a ';' 3165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// character. 3175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// 3185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// If SkipUntil finds the specified token, it returns true, otherwise it 3195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// returns false. 3205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool SkipUntil(tok::TokenKind T, bool StopAtSemi = true, 3215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool DontConsume = false) { 3225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return SkipUntil(&T, 1, StopAtSemi, DontConsume); 3235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool SkipUntil(tok::TokenKind T1, tok::TokenKind T2, bool StopAtSemi = true, 3255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool DontConsume = false) { 3265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer tok::TokenKind TokArray[] = {T1, T2}; 3275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return SkipUntil(TokArray, 2, StopAtSemi, DontConsume); 3285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 3295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool SkipUntil(const tok::TokenKind *Toks, unsigned NumToks, 3305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer bool StopAtSemi = true, bool DontConsume = false); 3316a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson 3327ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor typedef Action::ExprResult ExprResult; 3337ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor typedef Action::StmtResult StmtResult; 3347ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor typedef Action::BaseResult BaseResult; 3357ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor typedef Action::MemInitResult MemInitResult; 3367ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor 3375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 3384cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Lexing and parsing of C++ inline methods. 3394cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 3404cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis typedef llvm::SmallVector<Token, 32> TokensTy; 3414cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis struct LexedMethod { 3424cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Action::DeclTy *D; 3434cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis TokensTy Toks; 3444cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis explicit LexedMethod(Action::DeclTy *MD) : D(MD) {} 3454cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis }; 3464cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 3474cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// LexedMethodsForTopClass - During parsing of a top (non-nested) C++ class, 3484cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// its inline method definitions and the inline method definitions of its 3494cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// nested classes are lexed and stored here. 3504cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis typedef std::stack<LexedMethod> LexedMethodsForTopClass; 3514cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 3524cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// TopClassStacks - This is initialized with one LexedMethodsForTopClass used 3534cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// for lexing all top classes, until a local class in an inline method is 3544cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// encountered, at which point a new LexedMethodsForTopClass is pushed here 3554cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis /// and used until the parsing of that local class is finished. 3564cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis std::stack<LexedMethodsForTopClass> TopClassStacks; 3574cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 3584cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis LexedMethodsForTopClass &getCurTopClassStack() { 3594cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis assert(!TopClassStacks.empty() && "No lexed method stacks!"); 3604cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return TopClassStacks.top(); 3614cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 3624cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 3634cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis void PushTopClassStack() { 3644cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis TopClassStacks.push(LexedMethodsForTopClass()); 3654cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 3664cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis void PopTopClassStack() { TopClassStacks.pop(); } 3674cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 3684cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis DeclTy *ParseCXXInlineMethodDef(AccessSpecifier AS, Declarator &D); 3694cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis void ParseLexedMethodDefs(); 3703f08d181f620e6bf4971c436fc9878f98a02bbe3Douglas Gregor bool ConsumeAndStoreUntil(tok::TokenKind T, TokensTy &Toks, 3713f08d181f620e6bf4971c436fc9878f98a02bbe3Douglas Gregor tok::TokenKind EarlyAbortIf = tok::unknown); 3724cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 3734cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis //===--------------------------------------------------------------------===// 3745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.9: External Definitions. 3755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer DeclTy *ParseExternalDeclaration(); 3765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer DeclTy *ParseDeclarationOrFunctionDefinition(); 3775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer DeclTy *ParseFunctionDefinition(Declarator &D); 3785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseKNRParamDeclarations(Declarator &D); 379dfab6cb59a703f2ce4d58371652ce879f4c85a09Anders Carlsson ExprResult ParseSimpleAsm(); 3806a0ef4b83c91a6d6d5acb4ed5577c4659fe022a3Anders Carlsson ExprResult ParseAsmStringLiteral(); 3815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 3823536b443bc50d58a79f14fca9b6842541a434854Steve Naroff // Objective-C External Declarations 383dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff DeclTy *ParseObjCAtDirectives(); 384dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff DeclTy *ParseObjCAtClassDeclaration(SourceLocation atLoc); 385dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff DeclTy *ParseObjCAtInterfaceDeclaration(SourceLocation atLoc, 386dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff AttributeList *prefixAttrs = 0); 38760fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff void ParseObjCClassInstanceVariables(DeclTy *interfaceDecl, 38860fcceeedbfc8b4a99cb942e2bc5aeb9e2f92a1fSteve Naroff SourceLocation atLoc); 389e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner bool ParseObjCProtocolReferences(llvm::SmallVectorImpl<Action::DeclTy*> &P, 390e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner bool WarnOnDeclarations, 391e13b9595dc1e2f4288bec34f3412359f648e84a5Chris Lattner SourceLocation &EndProtoLoc); 39225e077d59a8e8e43b65882b69610a3d5e2aaf53cFariborz Jahanian void ParseObjCInterfaceDeclList(DeclTy *interfaceDecl, 393c81c8144a661a49d7b9dae8d2080dee2e43186ecChris Lattner tok::ObjCKeywordKind contextKey); 394246e70f69cb8aeb67225c54690f1c6b25abd5a86Daniel Dunbar DeclTy *ParseObjCAtProtocolDeclaration(SourceLocation atLoc, 395246e70f69cb8aeb67225c54690f1c6b25abd5a86Daniel Dunbar AttributeList *prefixAttrs = 0); 3963536b443bc50d58a79f14fca9b6842541a434854Steve Naroff 397a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek DeclTy *ObjCImpDecl; 3980416fb9f379b49abb3eb0c1cb2ca75107e5a71d1Steve Naroff 399ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian DeclTy *ParseObjCAtImplementationDeclaration(SourceLocation atLoc); 400ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian DeclTy *ParseObjCAtEndDeclaration(SourceLocation atLoc); 401e992af01d14e2e31037562c123af0a71ae1ed374Fariborz Jahanian DeclTy *ParseObjCAtAliasDeclaration(SourceLocation atLoc); 402ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian DeclTy *ParseObjCPropertySynthesize(SourceLocation atLoc); 403ac00b7f4a933e60e2f0afd83092339160adc140cFariborz Jahanian DeclTy *ParseObjCPropertyDynamic(SourceLocation atLoc); 4045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4054b6c9051c6522894978c9ba6a819a659d102db36Fariborz Jahanian IdentifierInfo *ParseObjCSelector(SourceLocation &MethodLocation); 40634870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner // Definitions for Objective-c context sensitive keywords recognition. 40734870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner enum ObjCTypeQual { 40834870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner objc_in=0, objc_out, objc_inout, objc_oneway, objc_bycopy, objc_byref, 40934870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner objc_NumQuals 41034870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner }; 411a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek IdentifierInfo *ObjCTypeQuals[objc_NumQuals]; 4120196cab54007ff072ec2642da8911c6b7e8d3fb5Fariborz Jahanian 413335a2d4122e41343fe11a775889b8bec5b14be60Fariborz Jahanian bool isTokIdentifier_in() const; 414d0f97d1716a138a8d9e0df8e5af77334663723d8Fariborz Jahanian 415a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek TypeTy *ParseObjCTypeName(ObjCDeclSpec &DS); 416294494e1cce92043562b4680c613df7fd028c02eSteve Naroff void ParseObjCMethodRequirement(); 41725e077d59a8e8e43b65882b69610a3d5e2aaf53cFariborz Jahanian DeclTy *ParseObjCMethodPrototype(DeclTy *classOrCat, 418c81c8144a661a49d7b9dae8d2080dee2e43186ecChris Lattner tok::ObjCKeywordKind MethodImplKind = tok::objc_not_keyword); 419bef1185418705e16012b3dd50cd7c260c8d6b79cSteve Naroff DeclTy *ParseObjCMethodDecl(SourceLocation mLoc, tok::TokenKind mType, 4201f7b6f88f18d7f6b10265acec5d41c4ed1897487Fariborz Jahanian DeclTy *classDecl, 42100933591a2795d09dd1acff12a2d21bce7cb12c5Fariborz Jahanian tok::ObjCKeywordKind MethodImplKind = tok::objc_not_keyword); 422a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek void ParseObjCPropertyAttribute(ObjCDeclSpec &DS); 423294494e1cce92043562b4680c613df7fd028c02eSteve Naroff 42471c0a951d08dc7a2a057df8c15f22b36f6aa47c7Steve Naroff DeclTy *ParseObjCMethodDefinition(); 425bcfb06ac6da1aa3c74ac1ef7a49c2807522366e7Steve Naroff 4265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 4275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.5: Expressions. 4285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParseExpression(); 4305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParseConstantExpression(); 4315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParseAssignmentExpression(); // Expr that doesn't include commas. 4325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 433b384d329e0b727d4f2effa28fbb9aba2ac420e7bFariborz Jahanian ExprResult ParseExpressionWithLeadingAt(SourceLocation AtLoc); 4345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParseRHSOfBinaryExpression(ExprResult LHS, unsigned MinPrec); 4365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParseCastExpression(bool isUnaryExpression); 4375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParsePostfixExpressionSuffix(ExprResult LHS); 4385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParseSizeofAlignofExpression(); 4395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParseBuiltinPrimaryExpression(); 4400cd5b429fad6833dda23f0aced14a10907ac5539Argyrios Kyrtzidis 441a55e52c0802cae3b7c366a05c461d3d15074c1a3Sebastian Redl static const unsigned ExprListSize = 12; 442a55e52c0802cae3b7c366a05c461d3d15074c1a3Sebastian Redl typedef llvm::SmallVector<ExprTy*, ExprListSize> ExprListTy; 443a55e52c0802cae3b7c366a05c461d3d15074c1a3Sebastian Redl typedef llvm::SmallVector<SourceLocation, ExprListSize> CommaLocsTy; 4440cd5b429fad6833dda23f0aced14a10907ac5539Argyrios Kyrtzidis 4450cd5b429fad6833dda23f0aced14a10907ac5539Argyrios Kyrtzidis /// ParseExpressionList - Used for C/C++ (argument-)expression-list. 4460cd5b429fad6833dda23f0aced14a10907ac5539Argyrios Kyrtzidis bool ParseExpressionList(ExprListTy &Exprs, CommaLocsTy &CommaLocs); 4475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ParenParseOption - Control what ParseParenExpression will parse. 4495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer enum ParenParseOption { 4505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SimpleExpr, // Only parse '(' expression ')' 4515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer CompoundStmt, // Also allow '(' compound-statement ')' 4525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer CompoundLiteral, // Also allow '(' type-name ')' '{' ... '}' 4535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer CastExpr // Also allow '(' type-name ')' <anything> 4545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer }; 4555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParseParenExpression(ParenParseOption &ExprType, TypeTy *&CastTy, 4565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation &RParenLoc); 4575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParseSimpleParenExpression() { // Parse SimpleExpr only. 4595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer SourceLocation RParenLoc; 4605f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ParseSimpleParenExpression(RParenLoc); 4615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParseSimpleParenExpression(SourceLocation &RParenLoc) { 4635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ParenParseOption Op = SimpleExpr; 4645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer TypeTy *CastTy; 4655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer return ParseParenExpression(Op, CastTy, RParenLoc); 4665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer } 4675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParseStringLiteralExpression(); 468eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 469eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis //===--------------------------------------------------------------------===// 470eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis // C++ Expressions 471eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis ExprResult ParseCXXIdExpression(); 4724bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis 4734bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis /// MaybeParseCXXScopeSpecifier - Parse global scope or nested-name-specifier. 4744bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis /// Returns true if a nested-name-specifier was parsed from the token stream. 4754bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis bool MaybeParseCXXScopeSpecifier(CXXScopeSpec &SS); 4765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 4785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C++ 5.2p1: C++ Casts 4795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParseCXXCasts(); 4805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 482c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl // C++ 5.2p1: C++ Type Identification 483c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl ExprResult ParseCXXTypeid(); 484c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 485c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl //===--------------------------------------------------------------------===// 4864cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // C++ 9.3.2: C++ 'this' pointer 4874cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ExprResult ParseCXXThis(); 4884cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 4894cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis //===--------------------------------------------------------------------===// 49050dd289f45738ed22b7583d52ed2525b927042ffChris Lattner // C++ 15: C++ Throw Expression 49150dd289f45738ed22b7583d52ed2525b927042ffChris Lattner ExprResult ParseThrowExpression(); 4920fe7bea6fca9737c6c145aaa4a2ad3abe595782aDouglas Gregor bool ParseExceptionSpecification(); 49350dd289f45738ed22b7583d52ed2525b927042ffChris Lattner 49450dd289f45738ed22b7583d52ed2525b927042ffChris Lattner //===--------------------------------------------------------------------===// 4955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C++ 2.13.5: C++ Boolean Literals 4965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer ExprResult ParseCXXBoolLiteral(); 4975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 4985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 499987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis // C++ 5.2.3: Explicit type conversion (functional notation) 500987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis ExprResult ParseCXXTypeConstructExpression(const DeclSpec &DS); 501987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 502987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis /// ParseCXXSimpleTypeSpecifier - [C++ 7.1.5.2] Simple type specifiers. 503987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis /// This should only be called when the current token is known to be part of 504987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis /// simple-type-specifier. 505987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis void ParseCXXSimpleTypeSpecifier(DeclSpec &DS); 506987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 5072f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor bool ParseCXXTypeSpecifierSeq(DeclSpec &DS); 5082f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor 509987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis //===--------------------------------------------------------------------===// 5104c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // C++ 5.3.4 and 5.3.5: C++ new and delete 5114c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl ExprResult ParseCXXNewExpression(); 512cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl bool ParseExpressionListOrTypeId(ExprListTy &Exprs, Declarator &D); 5134c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl void ParseDirectNewDeclarator(Declarator &D); 5144c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl ExprResult ParseCXXDeleteExpression(); 5154c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 5164c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl //===--------------------------------------------------------------------===// 51771b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis // C++ if/switch/while/for condition expression. 51871b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis ExprResult ParseCXXCondition(); 51971b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis 52071b914b999d9c4b6df11068fc5a3291ac4770492Argyrios Kyrtzidis //===--------------------------------------------------------------------===// 52112e083c805c0f86be4f8e54b06e75b2c3dc1da64Douglas Gregor // C++ types 52212e083c805c0f86be4f8e54b06e75b2c3dc1da64Douglas Gregor 52312e083c805c0f86be4f8e54b06e75b2c3dc1da64Douglas Gregor //===--------------------------------------------------------------------===// 5245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.7.8: Initialization. 5250eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner 5260eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner /// ParseInitializer 5270eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner /// initializer: [C99 6.7.8] 5280eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner /// assignment-expression 5290eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner /// '{' ... 5300eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner ExprResult ParseInitializer() { 5310eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner if (Tok.isNot(tok::l_brace)) 5320eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner return ParseAssignmentExpression(); 5330eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner return ParseBraceInitializer(); 5340eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner } 5350eec2b58678f71af6b5fcf4c439290c0d640546bChris Lattner ExprResult ParseBraceInitializer(); 536eccc53a0a0ed1abc7bb4c04ed9566ce0c5c63140Chris Lattner ExprResult ParseInitializerWithPotentialDesignator(InitListDesignations &D, 537eccc53a0a0ed1abc7bb4c04ed9566ce0c5c63140Chris Lattner unsigned InitNum); 5385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 540296e8d5fdcf9946f51e866adc8d281379e51efe9Steve Naroff // clang Expressions 541296e8d5fdcf9946f51e866adc8d281379e51efe9Steve Naroff 542296e8d5fdcf9946f51e866adc8d281379e51efe9Steve Naroff ExprResult ParseBlockLiteralExpression(); // ^{...} 543296e8d5fdcf9946f51e866adc8d281379e51efe9Steve Naroff 544296e8d5fdcf9946f51e866adc8d281379e51efe9Steve Naroff //===--------------------------------------------------------------------===// 5455508518a2702b00be3b15a26d772bde968972f54Anders Carlsson // Objective-C Expressions 54614dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner 54714dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner bool isTokObjCMessageIdentifierReceiver() const { 54814dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner if (!Tok.is(tok::identifier)) 54914dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner return false; 55014dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner 55114dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner if (Actions.isTypeName(*Tok.getIdentifierInfo(), CurScope)) 55214dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner return true; 55314dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner 554662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar return Tok.getIdentifierInfo() == Ident_super; 55514dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner } 55614dd98a7952c9559e0d17fff8272bf3be67135afChris Lattner 557a642beb9f143130588dcf622f5f7020832b22707Steve Naroff ExprResult ParseObjCAtExpression(SourceLocation AtLocation); 558beaf299a2701c5559a4e5d76b0c40f805afb8e6aSteve Naroff ExprResult ParseObjCStringLiteral(SourceLocation AtLoc); 559674af9541256dc3ef803e3723027a8b028f1f7a2Chris Lattner ExprResult ParseObjCEncodeExpression(SourceLocation AtLoc); 5602a35fa9b5e0f9d9429c04adb2e1249b6fd425e7aFariborz Jahanian ExprResult ParseObjCSelectorExpression(SourceLocation AtLoc); 5612a35fa9b5e0f9d9429c04adb2e1249b6fd425e7aFariborz Jahanian ExprResult ParseObjCProtocolExpression(SourceLocation AtLoc); 5620ccb27ded12fd03eb6818a880f50901bb70254feFariborz Jahanian ExprResult ParseObjCMessageExpression(); 563699b66138ac307a32e238463e0eff513ff17d337Chris Lattner ExprResult ParseObjCMessageExpressionBody(SourceLocation LBracloc, 5645cb93b8bf009c4b0ae09b71ba85f54b2a7ea8022Steve Naroff SourceLocation NameLoc, 565699b66138ac307a32e238463e0eff513ff17d337Chris Lattner IdentifierInfo *ReceiverName, 566699b66138ac307a32e238463e0eff513ff17d337Chris Lattner ExprTy *ReceiverExpr); 567b93fb495660665c17c7f43172ae155d6a8c32ce8Chris Lattner ExprResult ParseAssignmentExprWithObjCMessageExprStart(SourceLocation LBracloc, 5685cb93b8bf009c4b0ae09b71ba85f54b2a7ea8022Steve Naroff SourceLocation NameLoc, 569b93fb495660665c17c7f43172ae155d6a8c32ce8Chris Lattner IdentifierInfo *ReceiverName, 570b93fb495660665c17c7f43172ae155d6a8c32ce8Chris Lattner ExprTy *ReceiverExpr); 571699b66138ac307a32e238463e0eff513ff17d337Chris Lattner 5725508518a2702b00be3b15a26d772bde968972f54Anders Carlsson //===--------------------------------------------------------------------===// 5735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.8: Statements and Blocks. 5745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 5755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtResult ParseStatement() { return ParseStatementOrDeclaration(true); } 5765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtResult ParseStatementOrDeclaration(bool OnlyStatement = false); 577f7da726f09a6b7c5b9f5308e9690cb015398e671Argyrios Kyrtzidis StmtResult ParseLabeledStatement(); 5785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtResult ParseCaseStatement(); 5795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtResult ParseDefaultStatement(); 58098414c1b7d1944a57156d52e29bd41c005de09acChris Lattner StmtResult ParseCompoundStatement(bool isStmtExpr = false); 58198414c1b7d1944a57156d52e29bd41c005de09acChris Lattner StmtResult ParseCompoundStatementBody(bool isStmtExpr = false); 5825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtResult ParseIfStatement(); 5835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtResult ParseSwitchStatement(); 5845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtResult ParseWhileStatement(); 5855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtResult ParseDoStatement(); 5865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtResult ParseForStatement(); 5875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtResult ParseGotoStatement(); 5885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtResult ParseContinueStatement(); 5895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtResult ParseBreakStatement(); 5905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer StmtResult ParseReturnStatement(); 591d62701bc5321049353017e9abf1963edd57646aaSteve Naroff StmtResult ParseAsmStatement(bool &msAsm); 592d62701bc5321049353017e9abf1963edd57646aaSteve Naroff StmtResult FuzzyParseMicrosoftAsmStatement(); 59364515f31850024a263e8f55f81e9ea4b39925cfaSteve Naroff StmtResult ParseObjCAtStatement(SourceLocation atLoc); 5946b884508c3bc97cc9df9516adb92fbf88dd0a2e4Chris Lattner StmtResult ParseObjCTryStmt(SourceLocation atLoc); 59539f8f159c488a900e5958d5aab3e467af9ec8a2bFariborz Jahanian StmtResult ParseObjCThrowStmt(SourceLocation atLoc); 596c385c90c68dfa376650e2facfbb444b2ec9bd110Fariborz Jahanian StmtResult ParseObjCSynchronizedStmt(SourceLocation atLoc); 5978bd36fcb4427519f41197d88b9121e2bbe9e3fc3Anders Carlsson bool ParseAsmOperandsOpt(llvm::SmallVectorImpl<std::string> &Names, 598b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVectorImpl<ExprTy*> &Constraints, 599b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson llvm::SmallVectorImpl<ExprTy*> &Exprs); 600b235fc2cf37621c7fc6511bb2b8788c95f9fb9fcAnders Carlsson 6015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer //===--------------------------------------------------------------------===// 6035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer // C99 6.7: Declarations. 6045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer DeclTy *ParseDeclaration(unsigned Context); 6068f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner DeclTy *ParseSimpleDeclaration(unsigned Context); 6075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer DeclTy *ParseInitDeclaratorListAfterFirstDeclarator(Declarator &D); 608f9ed3157c93495474003a5ec360039030fd42e9cFariborz Jahanian DeclTy *ParseFunctionStatementBody(DeclTy *Decl, 609f9ed3157c93495474003a5ec360039030fd42e9cFariborz Jahanian SourceLocation L, SourceLocation R); 6105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseDeclarationSpecifiers(DeclSpec &DS); 61112e083c805c0f86be4f8e54b06e75b2c3dc1da64Douglas Gregor bool MaybeParseTypeSpecifier(DeclSpec &DS, int &isInvalid, 61212e083c805c0f86be4f8e54b06e75b2c3dc1da64Douglas Gregor const char *&PrevSpec); 6135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseSpecifierQualifierList(DeclSpec &DS); 61419d74e1494fe399f0e2a94e9419c095f8214851bFariborz Jahanian 615a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek void ParseObjCTypeQualifierList(ObjCDeclSpec &DS); 6165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseEnumSpecifier(DeclSpec &DS); 6185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseEnumBody(SourceLocation StartLoc, DeclTy *TagDecl); 6195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseStructUnionBody(SourceLocation StartLoc, unsigned TagType, 6205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer DeclTy *TagDecl); 621e13594279a952537ac903325efff57e3edca79d9Chris Lattner void ParseStructDeclaration(DeclSpec &DS, 622e13594279a952537ac903325efff57e3edca79d9Chris Lattner llvm::SmallVectorImpl<FieldDeclarator> &Fields); 6234e6526b2de501f2bbc261fd8017c92c75bd8d8f7Steve Naroff 624eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis bool isDeclarationSpecifier(); 625eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis bool isTypeSpecifierQualifier(); 6265f8aa696619e32bf307232841fedb704ba733b4dSteve Naroff bool isTypeQualifier() const; 6275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 6285404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// isDeclarationStatement - Disambiguates between a declaration or an 6295404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// expression statement, when parsing function bodies. 6305404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// Returns true for declaration, false for expression. 6315404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis bool isDeclarationStatement() { 6325404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis if (getLang().CPlusPlus) 6335404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis return isCXXDeclarationStatement(); 6345404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis return isDeclarationSpecifier(); 6355404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis } 6365404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 637bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis /// isSimpleDeclaration - Disambiguates between a declaration or an 638bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis /// expression, mainly used for the C 'clause-1' or the C++ 639bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis // 'for-init-statement' part of a 'for' statement. 640bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis /// Returns true for declaration, false for expression. 641bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis bool isSimpleDeclaration() { 642bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis if (getLang().CPlusPlus) 643bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis return isCXXSimpleDeclaration(); 644bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis return isDeclarationSpecifier(); 645bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis } 646bbc70c019f7b7f9a256ee29dab5287ecc82c6553Argyrios Kyrtzidis 64778c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// isTypeIdInParens - Assumes that a '(' was parsed and now we want to know 64878c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// whether the parens contain an expression or a type-id. 64978c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// Returns true for a type-id and false for an expression. 65078c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis bool isTypeIdInParens() { 65178c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis if (getLang().CPlusPlus) 65278c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis return isCXXTypeIdInParens(); 65378c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis return isTypeSpecifierQualifier(); 65478c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis } 65578c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis 6565404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// isCXXDeclarationStatement - C++-specialized function that disambiguates 6575404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// between a declaration or an expression statement, when parsing function 6585404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// bodies. Returns true for declaration, false for expression. 6595404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis bool isCXXDeclarationStatement(); 6605404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 6615404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// isCXXSimpleDeclaration - C++-specialized function that disambiguates 6625404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// between a simple-declaration or an expression-statement. 6635404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// If during the disambiguation process a parsing error is encountered, 6645404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// the function returns true to let the declaration parsing code handle it. 6655404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// Returns false if the statement is disambiguated as expression. 6665404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis bool isCXXSimpleDeclaration(); 6675404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 6685404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// isCXXFunctionDeclarator - Disambiguates between a function declarator or 6695404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// a constructor-style initializer, when parsing declaration statements. 6705404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// Returns true for function declarator and false for constructor-style 671e75d849d9141d8e47d05a91b7b5c04194854e47aArgyrios Kyrtzidis /// initializer. If 'warnIfAmbiguous' is true a warning will be emitted to 672259b0d91f2ff90d8daf39221fe133bf1596c5ffbArgyrios Kyrtzidis /// indicate that the parens were disambiguated as function declarator. 6735404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// If during the disambiguation process a parsing error is encountered, 6745404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// the function returns true to let the declaration parsing code handle it. 675e75d849d9141d8e47d05a91b7b5c04194854e47aArgyrios Kyrtzidis bool isCXXFunctionDeclarator(bool warnIfAmbiguous); 6765404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 677a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis /// isCXXConditionDeclaration - Disambiguates between a declaration or an 678a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis /// expression for a condition of a if/switch/while/for statement. 679a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis /// If during the disambiguation process a parsing error is encountered, 680a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis /// the function returns true to let the declaration parsing code handle it. 681a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis bool isCXXConditionDeclaration(); 682a8a4598b6f2a07339ab8a1248295a07d771a2b2aArgyrios Kyrtzidis 68378c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// isCXXTypeIdInParens - Assumes that a '(' was parsed and now we want to 68478c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// know whether the parens contain an expression or a type-id. 68578c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// Returns true for a type-id and false for an expression. 68678c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// If during the disambiguation process a parsing error is encountered, 68778c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis /// the function returns true to let the declaration parsing code handle it. 68878c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis bool isCXXTypeIdInParens(); 68978c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis 690b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// TPResult - Used as the result value for functions whose purpose is to 691b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// disambiguate C++ constructs by "tentatively parsing" them. 692b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// This is a class instead of a simple enum because the implicit enum-to-bool 693b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// conversions may cause subtle bugs. 694b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis class TPResult { 695b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis enum Result { 696b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPR_true, 697b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPR_false, 698b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPR_ambiguous, 699b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPR_error 700b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis }; 701b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis Result Res; 702b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult(Result result) : Res(result) {} 703b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis public: 704b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis static TPResult True() { return TPR_true; } 705b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis static TPResult False() { return TPR_false; } 706b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis static TPResult Ambiguous() { return TPR_ambiguous; } 707b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis static TPResult Error() { return TPR_error; } 708b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis 709b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis bool operator==(const TPResult &RHS) const { return Res == RHS.Res; } 710b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis bool operator!=(const TPResult &RHS) const { return Res != RHS.Res; } 711b47e38683f288cd4a73098091d629df417377a6bArgyrios Kyrtzidis }; 712b47e38683f288cd4a73098091d629df417377a6bArgyrios Kyrtzidis 713b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// isCXXDeclarationSpecifier - Returns TPResult::True() if it is a 714b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// declaration specifier, TPResult::False() if it is not, 715b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// TPResult::Ambiguous() if it could be either a decl-specifier or a 716b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// function-style cast, and TPResult::Error() if a parsing error was 717b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis /// encountered. 7185404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis /// Doesn't consume tokens. 719b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult isCXXDeclarationSpecifier(); 7205404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 7215404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis // "Tentative parsing" functions, used for disambiguation. If a parsing error 722b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis // is encountered they will return TPResult::Error(). 723b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis // Returning TPResult::True()/False() indicates that the ambiguity was 724b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis // resolved and tentative parsing may stop. TPResult::Ambiguous() indicates 725b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis // that more tentative parsing is necessary for disambiguation. 7265404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis // They all consume tokens, so backtracking should be used after calling them. 7275404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 728b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseDeclarationSpecifier(); 729b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseSimpleDeclaration(); 730b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseTypeofSpecifier(); 731b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseInitDeclaratorList(); 73278c8d80f19cb0bccd4f3d590e71a230e727cfab5Argyrios Kyrtzidis TPResult TryParseDeclarator(bool mayBeAbstract, bool mayHaveIdentifier=true); 733b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseParameterDeclarationClause(); 734b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseFunctionDeclarator(); 735b9f341916e484ff6ba2c2d28c8b2dd5fa12b0015Argyrios Kyrtzidis TPResult TryParseBracketDeclarator(); 7365404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 7375404a156be26de1c63ca9916187f970848bb4dbbArgyrios Kyrtzidis 738cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl TypeTy *ParseTypeName(); 7395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer AttributeList *ParseAttributes(); 740d1861fd633d5096a00777c918eb8575ea7162fe7Steve Naroff void ParseTypeofSpecifier(DeclSpec &DS); 741eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 742eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// DeclaratorScopeObj - RAII object used in Parser::ParseDirectDeclarator to 743eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// enter a new C++ declarator scope and exit it when the function is 744eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis /// finished. 745eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis class DeclaratorScopeObj { 746eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis Parser &P; 747751810234ffb45327f23c5f9fda0b944e480bd2bArgyrios Kyrtzidis CXXScopeSpec &SS; 748eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis public: 749eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis DeclaratorScopeObj(Parser &p, CXXScopeSpec &ss) : P(p), SS(ss) {} 750eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 751eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis void EnterDeclaratorScope() { 752eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis if (SS.isSet()) 753eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis P.Actions.ActOnCXXEnterDeclaratorScope(P.CurScope, SS); 754eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis } 755eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis 756eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis ~DeclaratorScopeObj() { 757eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis if (SS.isSet()) 758eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis P.Actions.ActOnCXXExitDeclaratorScope(SS); 759eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis } 760eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis }; 7615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 7625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer /// ParseDeclarator - Parse and verify a newly-initialized declarator. 7635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseDeclarator(Declarator &D); 7644c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl /// A function that parses a variant of direct-declarator. 7654c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl typedef void (Parser::*DirectDeclParseFunction)(Declarator&); 7664c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl void ParseDeclaratorInternal(Declarator &D, 7674c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl DirectDeclParseFunction DirectDeclParser); 7685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseTypeQualifierListOpt(DeclSpec &DS); 7695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseDirectDeclarator(Declarator &D); 7705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseParenDeclarator(Declarator &D); 7717399ee0aa6ffaeab0a8f83408b1c5127fb2bf5b8Chris Lattner void ParseFunctionDeclarator(SourceLocation LParenLoc, Declarator &D, 7727399ee0aa6ffaeab0a8f83408b1c5127fb2bf5b8Chris Lattner AttributeList *AttrList = 0, 7737399ee0aa6ffaeab0a8f83408b1c5127fb2bf5b8Chris Lattner bool RequiresArg = false); 77466d28650752eeac0b02802a1d8cea425cb6b1c0fChris Lattner void ParseFunctionDeclaratorIdentifierList(SourceLocation LParenLoc, 77566d28650752eeac0b02802a1d8cea425cb6b1c0fChris Lattner Declarator &D); 7765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer void ParseBracketDeclarator(Declarator &D); 7778f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner 7788f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner //===--------------------------------------------------------------------===// 7798f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner // C++ 7: Declarations [dcl.dcl] 7808f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner 7818f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner DeclTy *ParseNamespace(unsigned Context); 782c6fdc34ac0183bfa03d65f317c78b7bdac52897eChris Lattner DeclTy *ParseLinkage(unsigned Context); 7838f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner 784e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor //===--------------------------------------------------------------------===// 785e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor // C++ 9: classes [class] and C structs/unions. 786eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis TypeTy *ParseClassName(const CXXScopeSpec *SS = 0); 787e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor void ParseClassSpecifier(DeclSpec &DS); 7884cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis void ParseCXXMemberSpecification(SourceLocation StartLoc, unsigned TagType, 7894cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis DeclTy *TagDecl); 7904cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis DeclTy *ParseCXXClassMemberDeclaration(AccessSpecifier AS); 7917ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor void ParseConstructorInitializer(DeclTy *ConstructorDecl); 7927ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor MemInitResult ParseMemInitializer(DeclTy *ConstructorDecl); 793e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor 794e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor //===--------------------------------------------------------------------===// 795e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor // C++ 10: Derived classes [class.derived] 796e37ac4ff1620ed2d7026f52baccbfa022d79ced1Douglas Gregor void ParseBaseClause(DeclTy *ClassDecl); 797f8268ae3196002bbab6adb830302e79b0f368f13Douglas Gregor BaseResult ParseBaseSpecifier(DeclTy *ClassDecl); 7981b7f89846f10681ce3cbe89ef5d60691d55bd918Douglas Gregor AccessSpecifier getAccessSpecifierIfPresent() const; 7991cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor 8001cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor //===--------------------------------------------------------------------===// 8011cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor // C++ 13.5: Overloaded operators [over.oper] 802e94ca9e4371c022329270436b3dd77adc4ddfa8fDouglas Gregor OverloadedOperatorKind TryParseOperatorFunctionId(); 8032f1bc5285ccd40f411af5f5993f013e27e74ab78Douglas Gregor TypeTy *ParseConversionFunctionId(); 804adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor 805adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor //===--------------------------------------------------------------------===// 806adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor // C++ 14: Templates [temp] 807adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor // C++ 14.1: Template Parameters [temp.param] 808adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor DeclTy *ParseTemplateDeclaration(unsigned Context); 809adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor bool ParseTemplateParameters(DeclTy* TempDecl); 810adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor bool ParseTemplateParameterList(DeclTy *TmpDecl); 811adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor DeclTy *ParseTemplateParameter(); 812adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor DeclTy *ParseTypeParameter(); 813adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor DeclTy *ParseTemplateTemplateParameter(); 814adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor DeclTy *ParseNonTypeTemplateParameter(); 8155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}; 8165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 8185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 8195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 820