blob: 7048660467dd085a51c40ec4c7cf0c3a85532b81 [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- ParseExprCXX.cpp - C++ Expression Parsing ------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by Bill Wendling and is distributed under the
6// University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the Expression parsing implementation for C++.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/Basic/Diagnostic.h"
15#include "clang/Parse/Parser.h"
16using namespace clang;
17
18/// ParseCXXCasts - This handles the various ways to cast expressions to another
19/// type.
20///
21/// postfix-expression: [C++ 5.2p1]
22/// 'dynamic_cast' '<' type-name '>' '(' expression ')'
23/// 'static_cast' '<' type-name '>' '(' expression ')'
24/// 'reinterpret_cast' '<' type-name '>' '(' expression ')'
25/// 'const_cast' '<' type-name '>' '(' expression ')'
26///
27Parser::ExprResult Parser::ParseCXXCasts() {
28 tok::TokenKind Kind = Tok.getKind();
29 const char *CastName = 0; // For error messages
30
31 switch (Kind) {
32 default: assert(0 && "Unknown C++ cast!"); abort();
33 case tok::kw_const_cast: CastName = "const_cast"; break;
34 case tok::kw_dynamic_cast: CastName = "dynamic_cast"; break;
35 case tok::kw_reinterpret_cast: CastName = "reinterpret_cast"; break;
36 case tok::kw_static_cast: CastName = "static_cast"; break;
37 }
38
39 SourceLocation OpLoc = ConsumeToken();
40 SourceLocation LAngleBracketLoc = Tok.getLocation();
41
42 if (ExpectAndConsume(tok::less, diag::err_expected_less_after, CastName))
43 return ExprResult(true);
44
45 TypeTy *CastTy = ParseTypeName();
46 SourceLocation RAngleBracketLoc = Tok.getLocation();
47
48 if (ExpectAndConsume(tok::greater, diag::err_expected_greater)) {
49 Diag(LAngleBracketLoc, diag::err_matching, "<");
50 return ExprResult(true);
51 }
52
53 SourceLocation LParenLoc = Tok.getLocation(), RParenLoc;
54
55 if (Tok.getKind() != tok::l_paren) {
56 Diag(Tok, diag::err_expected_lparen_after, CastName);
57 return ExprResult(true);
58 }
59
60 ExprResult Result = ParseSimpleParenExpression(RParenLoc);
61
62 if (!Result.isInvalid)
63 Result = Actions.ParseCXXCasts(OpLoc, Kind,
64 LAngleBracketLoc, CastTy, RAngleBracketLoc,
65 LParenLoc, Result.Val, RParenLoc);
66
67 return Result;
68}
69
70/// ParseCXXBoolLiteral - This handles the C++ Boolean literals.
71///
72/// boolean-literal: [C++ 2.13.5]
73/// 'true'
74/// 'false'
75Parser::ExprResult Parser::ParseCXXBoolLiteral() {
76 tok::TokenKind Kind = Tok.getKind();
77 return Actions.ParseCXXBoolLiteral(ConsumeToken(), Kind);
78}