ExprCXX.h revision 6217b80b7a1379b74cced1c076338262c3c980b3
15f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===--- ExprCXX.h - Classes for representing expressions -------*- 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 Expr interface and subclasses for C++ expressions. 115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#ifndef LLVM_CLANG_AST_EXPRCXX_H 155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define LLVM_CLANG_AST_EXPRCXX_H 165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl#include "clang/Basic/TypeTraits.h" 185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/AST/Expr.h" 19c4a1dea2dc56bd1357ec91b829a0b9e68229a13eDaniel Dunbar#include "clang/AST/Decl.h" 205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencernamespace clang { 225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 234c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl class CXXConstructorDecl; 24c1ce477119fed070299668aab24084b17ff5f14bAnders Carlsson class CXXDestructorDecl; 25ff6b3d64c9f07155f1414411b8451d7bf8937c62Anders Carlsson class CXXTemporary; 264c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 271060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek//===--------------------------------------------------------------------===// 281060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek// C++ Expressions. 291060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek//===--------------------------------------------------------------------===// 301060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 313fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// \brief A call to an overloaded operator written using operator 323fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// syntax. 333fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// 343fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// Represents a call to an overloaded operator written using operator 353fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// syntax, e.g., "x + y" or "*p". While semantically equivalent to a 363fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// normal call, this AST node provides better information about the 373fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// syntactic representation of the call. 383fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// 393fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// In a C++ template, this expression node kind will be used whenever 403fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// any of the arguments are type-dependent. In this case, the 413fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// function itself will be a (possibly empty) set of functions and 423fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// function templates that were found by name lookup at template 433fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// definition time. 44b4609806e9232593ece09ce08b630836e825865cDouglas Gregorclass CXXOperatorCallExpr : public CallExpr { 45063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor /// \brief The overloaded operator. 46063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor OverloadedOperatorKind Operator; 47063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor 48b4609806e9232593ece09ce08b630836e825865cDouglas Gregorpublic: 49063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor CXXOperatorCallExpr(ASTContext& C, OverloadedOperatorKind Op, Expr *fn, 50063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor Expr **args, unsigned numargs, QualType t, 51063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor SourceLocation operatorloc) 52063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor : CallExpr(C, CXXOperatorCallExprClass, fn, args, numargs, t, operatorloc), 53063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor Operator(Op) {} 54ba0a9006dbc4814e1e35f82812cb5a1dad65e8b8Argyrios Kyrtzidis explicit CXXOperatorCallExpr(ASTContext& C, EmptyShell Empty) : 55ba0a9006dbc4814e1e35f82812cb5a1dad65e8b8Argyrios Kyrtzidis CallExpr(C, CXXOperatorCallExprClass, Empty) { } 56ba0a9006dbc4814e1e35f82812cb5a1dad65e8b8Argyrios Kyrtzidis 57b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 58b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// getOperator - Returns the kind of overloaded operator that this 59b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// expression refers to. 60063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor OverloadedOperatorKind getOperator() const { return Operator; } 61ba0a9006dbc4814e1e35f82812cb5a1dad65e8b8Argyrios Kyrtzidis void setOperator(OverloadedOperatorKind Kind) { Operator = Kind; } 62b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 63b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// getOperatorLoc - Returns the location of the operator symbol in 64b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// the expression. When @c getOperator()==OO_Call, this is the 65b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// location of the right parentheses; when @c 66b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// getOperator()==OO_Subscript, this is the location of the right 67b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// bracket. 68b4609806e9232593ece09ce08b630836e825865cDouglas Gregor SourceLocation getOperatorLoc() const { return getRParenLoc(); } 69b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 70b4609806e9232593ece09ce08b630836e825865cDouglas Gregor virtual SourceRange getSourceRange() const; 71b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 72b4609806e9232593ece09ce08b630836e825865cDouglas Gregor static bool classof(const Stmt *T) { 73b4609806e9232593ece09ce08b630836e825865cDouglas Gregor return T->getStmtClass() == CXXOperatorCallExprClass; 74b4609806e9232593ece09ce08b630836e825865cDouglas Gregor } 75b4609806e9232593ece09ce08b630836e825865cDouglas Gregor static bool classof(const CXXOperatorCallExpr *) { return true; } 76b4609806e9232593ece09ce08b630836e825865cDouglas Gregor}; 77b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 7888a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// CXXMemberCallExpr - Represents a call to a member function that 7988a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// may be written either with member call syntax (e.g., "obj.func()" 8088a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// or "objptr->func()") or with normal function-call syntax 8188a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// ("func()") within a member function that ends up calling a member 8288a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// function. The callee in either case is a MemberExpr that contains 8388a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// both the object argument and the member function, while the 8488a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// arguments are the arguments within the parentheses (not including 8588a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// the object argument). 8688a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregorclass CXXMemberCallExpr : public CallExpr { 8788a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregorpublic: 88668bf91d31265b6ea8c3eb854ba450857701f269Ted Kremenek CXXMemberCallExpr(ASTContext& C, Expr *fn, Expr **args, unsigned numargs, 89668bf91d31265b6ea8c3eb854ba450857701f269Ted Kremenek QualType t, SourceLocation rparenloc) 90668bf91d31265b6ea8c3eb854ba450857701f269Ted Kremenek : CallExpr(C, CXXMemberCallExprClass, fn, args, numargs, t, rparenloc) {} 9188a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor 9288a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor /// getImplicitObjectArgument - Retrieves the implicit object 9388a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor /// argument for the member call. For example, in "x.f(5)", this 9488a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor /// operation would return "x". 9588a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor Expr *getImplicitObjectArgument(); 9688a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor 9788a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor static bool classof(const Stmt *T) { 9888a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor return T->getStmtClass() == CXXMemberCallExprClass; 9988a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor } 10088a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor static bool classof(const CXXMemberCallExpr *) { return true; } 10188a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor}; 10288a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor 10349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXNamedCastExpr - Abstract class common to all of the C++ "named" 10449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// casts, @c static_cast, @c dynamic_cast, @c reinterpret_cast, or @c 10549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// const_cast. 10649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// 10749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This abstract class is inherited by all of the classes 10849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// representing "named" casts, e.g., CXXStaticCastExpr, 10949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXDynamicCastExpr, CXXReinterpretCastExpr, and CXXConstCastExpr. 11049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXNamedCastExpr : public ExplicitCastExpr { 1111060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekprivate: 1121060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek SourceLocation Loc; // the location of the casting op 11349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 11449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorprotected: 11549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor CXXNamedCastExpr(StmtClass SC, QualType ty, Expr *op, QualType writtenTy, 11649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor SourceLocation l) 11749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor : ExplicitCastExpr(SC, ty, op, writtenTy), Loc(l) {} 11849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 1191060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekpublic: 12049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor const char *getCastName() const; 12149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 122a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor /// \brief Retrieve the location of the cast operator keyword, e.g., 123a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor /// "static_cast". 124a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor SourceLocation getOperatorLoc() const { return Loc; } 125a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor void setOperatorLoc(SourceLocation L) { Loc = L; } 126a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor 1271060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual SourceRange getSourceRange() const { 1281060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return SourceRange(Loc, getSubExpr()->getSourceRange().getEnd()); 1291060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 1301060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const Stmt *T) { 13149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor switch (T->getStmtClass()) { 13249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXNamedCastExprClass: 13349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXStaticCastExprClass: 13449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXDynamicCastExprClass: 13549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXReinterpretCastExprClass: 13649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXConstCastExprClass: 13749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return true; 13849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor default: 13949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return false; 14049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 1411060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 14249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXNamedCastExpr *) { return true; } 14349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor}; 14449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 14549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXStaticCastExpr - A C++ @c static_cast expression (C++ [expr.static.cast]). 14649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// 14749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This expression node represents a C++ static cast, e.g., 14849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// @c static_cast<int>(1.0). 14949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXStaticCastExpr : public CXXNamedCastExpr { 15049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorpublic: 15149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor CXXStaticCastExpr(QualType ty, Expr *op, QualType writtenTy, SourceLocation l) 15249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor : CXXNamedCastExpr(CXXStaticCastExprClass, ty, op, writtenTy, l) {} 15349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 15449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const Stmt *T) { 15549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return T->getStmtClass() == CXXStaticCastExprClass; 15649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 15749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXStaticCastExpr *) { return true; } 15849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor}; 15949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 16049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXDynamicCastExpr - A C++ @c dynamic_cast expression 16149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// (C++ [expr.dynamic.cast]), which may perform a run-time check to 16249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// determine how to perform the type cast. 16349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// 16449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This expression node represents a dynamic cast, e.g., 16549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// @c dynamic_cast<Derived*>(BasePtr). 16649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXDynamicCastExpr : public CXXNamedCastExpr { 16749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorpublic: 16849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor CXXDynamicCastExpr(QualType ty, Expr *op, QualType writtenTy, SourceLocation l) 16949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor : CXXNamedCastExpr(CXXDynamicCastExprClass, ty, op, writtenTy, l) {} 17049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 17149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const Stmt *T) { 17249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return T->getStmtClass() == CXXDynamicCastExprClass; 17349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 17449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXDynamicCastExpr *) { return true; } 17549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor}; 17649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 17749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXReinterpretCastExpr - A C++ @c reinterpret_cast expression (C++ 17849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// [expr.reinterpret.cast]), which provides a differently-typed view 17949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// of a value but performs no actual work at run time. 18049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// 18149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This expression node represents a reinterpret cast, e.g., 18249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// @c reinterpret_cast<int>(VoidPtr). 18349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXReinterpretCastExpr : public CXXNamedCastExpr { 18449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorpublic: 18549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor CXXReinterpretCastExpr(QualType ty, Expr *op, QualType writtenTy, 18649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor SourceLocation l) 18749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor : CXXNamedCastExpr(CXXReinterpretCastExprClass, ty, op, writtenTy, l) {} 18849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 18949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const Stmt *T) { 19049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return T->getStmtClass() == CXXReinterpretCastExprClass; 19149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 19249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXReinterpretCastExpr *) { return true; } 19349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor}; 19449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 19549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXConstCastExpr - A C++ @c const_cast expression (C++ [expr.const.cast]), 19649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// which can remove type qualifiers but does not change the underlying value. 19749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// 19849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This expression node represents a const cast, e.g., 19949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// @c const_cast<char*>(PtrToConstChar). 20049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXConstCastExpr : public CXXNamedCastExpr { 20149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorpublic: 20249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor CXXConstCastExpr(QualType ty, Expr *op, QualType writtenTy, 20349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor SourceLocation l) 20449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor : CXXNamedCastExpr(CXXConstCastExprClass, ty, op, writtenTy, l) {} 20549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 20649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const Stmt *T) { 20749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return T->getStmtClass() == CXXConstCastExprClass; 20849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 20949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXConstCastExpr *) { return true; } 2101060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek}; 2111060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 2121060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// CXXBoolLiteralExpr - [C++ 2.13.5] C++ Boolean Literal. 2131060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// 2141060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekclass CXXBoolLiteralExpr : public Expr { 2151060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek bool Value; 2161060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek SourceLocation Loc; 2171060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekpublic: 2181060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek CXXBoolLiteralExpr(bool val, QualType Ty, SourceLocation l) : 2191060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr(CXXBoolLiteralExprClass, Ty), Value(val), Loc(l) {} 2208b0b475b3464b0f70b91ba7d679d23c424677d5eSebastian Redl 2218b0b475b3464b0f70b91ba7d679d23c424677d5eSebastian Redl CXXBoolLiteralExpr* Clone(ASTContext &C) const; 2228b0b475b3464b0f70b91ba7d679d23c424677d5eSebastian Redl 2231060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek bool getValue() const { return Value; } 2245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2251060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual SourceRange getSourceRange() const { return SourceRange(Loc); } 2265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2271060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const Stmt *T) { 2281060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return T->getStmtClass() == CXXBoolLiteralExprClass; 2291060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 2301060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const CXXBoolLiteralExpr *) { return true; } 2315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2321060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Iterators 2331060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_begin(); 2341060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_end(); 2351060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek}; 2361060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 2376e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl/// CXXNullPtrLiteralExpr - [C++0x 2.14.7] C++ Pointer Literal 2386e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redlclass CXXNullPtrLiteralExpr : public Expr { 2396e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl SourceLocation Loc; 2406e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redlpublic: 2416e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl CXXNullPtrLiteralExpr(QualType Ty, SourceLocation l) : 2426e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl Expr(CXXNullPtrLiteralExprClass, Ty), Loc(l) {} 2436e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl 2448b0b475b3464b0f70b91ba7d679d23c424677d5eSebastian Redl CXXNullPtrLiteralExpr* Clone(ASTContext &C) const; 2458b0b475b3464b0f70b91ba7d679d23c424677d5eSebastian Redl 2466e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl virtual SourceRange getSourceRange() const { return SourceRange(Loc); } 2476e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl 2486e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl static bool classof(const Stmt *T) { 2496e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl return T->getStmtClass() == CXXNullPtrLiteralExprClass; 2506e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl } 2516e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl static bool classof(const CXXNullPtrLiteralExpr *) { return true; } 2526e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl 2536e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl virtual child_iterator child_begin(); 2546e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl virtual child_iterator child_end(); 2556e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl}; 2566e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl 257c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// CXXTypeidExpr - A C++ @c typeid expression (C++ [expr.typeid]), which gets 258c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// the type_info that corresponds to the supplied type, or the (possibly 259c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// dynamic) type of the supplied expression. 260c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// 261c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// This represents code like @c typeid(int) or @c typeid(*objPtr) 262c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redlclass CXXTypeidExpr : public Expr { 263c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redlprivate: 264c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl bool isTypeOp : 1; 265d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl union { 266d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl void *Ty; 267d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl Stmt *Ex; 268d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl } Operand; 269c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl SourceRange Range; 270c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 271c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redlpublic: 272c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl CXXTypeidExpr(bool isTypeOp, void *op, QualType Ty, const SourceRange r) : 2732850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl Expr(CXXTypeidExprClass, Ty, 2742850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl // typeid is never type-dependent (C++ [temp.dep.expr]p4) 2752850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl false, 2762850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl // typeid is value-dependent if the type or expression are dependent 2772850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl (isTypeOp ? QualType::getFromOpaquePtr(op)->isDependentType() 2782850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl : static_cast<Expr*>(op)->isValueDependent())), 2792850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl isTypeOp(isTypeOp), Range(r) { 280d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl if (isTypeOp) 281d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl Operand.Ty = op; 282d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl else 283d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl // op was an Expr*, so cast it back to that to be safe 2842850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl Operand.Ex = static_cast<Expr*>(op); 285d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl } 286c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 287c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl bool isTypeOperand() const { return isTypeOp; } 288c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl QualType getTypeOperand() const { 289c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl assert(isTypeOperand() && "Cannot call getTypeOperand for typeid(expr)"); 290d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl return QualType::getFromOpaquePtr(Operand.Ty); 291c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl } 292c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl Expr* getExprOperand() const { 293c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl assert(!isTypeOperand() && "Cannot call getExprOperand for typeid(type)"); 294d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl return static_cast<Expr*>(Operand.Ex); 295c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl } 296c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 297c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl virtual SourceRange getSourceRange() const { 298c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl return Range; 299c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl } 300c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl static bool classof(const Stmt *T) { 301c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl return T->getStmtClass() == CXXTypeidExprClass; 302c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl } 303c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl static bool classof(const CXXTypeidExpr *) { return true; } 304c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 305c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl // Iterators 306c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl virtual child_iterator child_begin(); 307c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl virtual child_iterator child_end(); 308c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl}; 309c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 310796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// CXXThisExpr - Represents the "this" expression in C++, which is a 311796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// pointer to the object on which the current member function is 312796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// executing (C++ [expr.prim]p3). Example: 313796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// 314796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// @code 315796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// class Foo { 316796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// public: 317796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// void bar(); 318796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// void test() { this->bar(); } 319796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// }; 320796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// @endcode 321796da18402f286b897782a298ae3b20c459c102eDouglas Gregorclass CXXThisExpr : public Expr { 322796da18402f286b897782a298ae3b20c459c102eDouglas Gregor SourceLocation Loc; 323796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 324796da18402f286b897782a298ae3b20c459c102eDouglas Gregorpublic: 325796da18402f286b897782a298ae3b20c459c102eDouglas Gregor CXXThisExpr(SourceLocation L, QualType Type) 3262850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl : Expr(CXXThisExprClass, Type, 3272850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl // 'this' is type-dependent if the class type of the enclosing 3282850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl // member function is dependent (C++ [temp.dep.expr]p2) 3292850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl Type->isDependentType(), Type->isDependentType()), 3302850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl Loc(L) { } 331796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 332796da18402f286b897782a298ae3b20c459c102eDouglas Gregor virtual SourceRange getSourceRange() const { return SourceRange(Loc); } 333796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 334796da18402f286b897782a298ae3b20c459c102eDouglas Gregor static bool classof(const Stmt *T) { 335796da18402f286b897782a298ae3b20c459c102eDouglas Gregor return T->getStmtClass() == CXXThisExprClass; 336796da18402f286b897782a298ae3b20c459c102eDouglas Gregor } 337796da18402f286b897782a298ae3b20c459c102eDouglas Gregor static bool classof(const CXXThisExpr *) { return true; } 338796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 339796da18402f286b897782a298ae3b20c459c102eDouglas Gregor // Iterators 340796da18402f286b897782a298ae3b20c459c102eDouglas Gregor virtual child_iterator child_begin(); 341796da18402f286b897782a298ae3b20c459c102eDouglas Gregor virtual child_iterator child_end(); 342796da18402f286b897782a298ae3b20c459c102eDouglas Gregor}; 343796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 3441060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// CXXThrowExpr - [C++ 15] C++ Throw Expression. This handles 3451060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// 'throw' and 'throw' assignment-expression. When 3461060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// assignment-expression isn't present, Op will be null. 3471060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// 3481060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekclass CXXThrowExpr : public Expr { 3491060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Stmt *Op; 3501060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek SourceLocation ThrowLoc; 3511060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekpublic: 3521060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Ty is the void type which is used as the result type of the 3531060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // exepression. The l is the location of the throw keyword. expr 3541060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // can by null, if the optional expression to throw isn't present. 3551060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek CXXThrowExpr(Expr *expr, QualType Ty, SourceLocation l) : 3562850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl Expr(CXXThrowExprClass, Ty, false, false), Op(expr), ThrowLoc(l) {} 3571060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getSubExpr() const { return cast_or_null<Expr>(Op); } 3581060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getSubExpr() { return cast_or_null<Expr>(Op); } 35942e5b50f4dc897f252e0d476063a7f9846d96624Douglas Gregor void setSubExpr(Expr *E) { Op = E; } 36042e5b50f4dc897f252e0d476063a7f9846d96624Douglas Gregor 36142e5b50f4dc897f252e0d476063a7f9846d96624Douglas Gregor SourceLocation getThrowLoc() const { return ThrowLoc; } 36242e5b50f4dc897f252e0d476063a7f9846d96624Douglas Gregor void setThrowLoc(SourceLocation L) { ThrowLoc = L; } 3631060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3641060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual SourceRange getSourceRange() const { 3651060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek if (getSubExpr() == 0) 3661060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return SourceRange(ThrowLoc, ThrowLoc); 3671060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return SourceRange(ThrowLoc, getSubExpr()->getSourceRange().getEnd()); 3681060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 3691060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3701060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const Stmt *T) { 3711060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return T->getStmtClass() == CXXThrowExprClass; 3721060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 3731060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const CXXThrowExpr *) { return true; } 3741060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3751060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Iterators 3761060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_begin(); 3771060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_end(); 3781060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek}; 3791060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3801060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// CXXDefaultArgExpr - C++ [dcl.fct.default]. This wraps up a 3811060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// function call argument that was created from the corresponding 3821060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// parameter's default argument, when the call did not explicitly 3831060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// supply arguments for all of the parameters. 3841060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekclass CXXDefaultArgExpr : public Expr { 3851060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek ParmVarDecl *Param; 3861060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekpublic: 3871060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Param is the parameter whose default argument is used by this 3881060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // expression. 3891060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek explicit CXXDefaultArgExpr(ParmVarDecl *param) 39061366e9cd41a6dbde4e66416dac21269c8ac1d94Douglas Gregor : Expr(CXXDefaultArgExprClass, 39161366e9cd41a6dbde4e66416dac21269c8ac1d94Douglas Gregor param->hasUnparsedDefaultArg()? param->getType().getNonReferenceType() 39261366e9cd41a6dbde4e66416dac21269c8ac1d94Douglas Gregor : param->getDefaultArg()->getType()), 3931060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Param(param) { } 3941060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3951060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Retrieve the parameter that the argument was created from. 3961060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const ParmVarDecl *getParam() const { return Param; } 3971060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek ParmVarDecl *getParam() { return Param; } 3981060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3991060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Retrieve the actual argument to the function call. 4001060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getExpr() const { return Param->getDefaultArg(); } 4011060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getExpr() { return Param->getDefaultArg(); } 4021060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 4031060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual SourceRange getSourceRange() const { 4041060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Default argument expressions have no representation in the 4051060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // source, so they have an empty source range. 4061060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return SourceRange(); 4071060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 4081060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 4091060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const Stmt *T) { 4101060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return T->getStmtClass() == CXXDefaultArgExprClass; 4111060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 4121060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const CXXDefaultArgExpr *) { return true; } 4131060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 4141060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Iterators 4151060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_begin(); 4161060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_end(); 4171060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek}; 418987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 419c1ce477119fed070299668aab24084b17ff5f14bAnders Carlsson/// CXXTemporary - Represents a C++ temporary. 420c1ce477119fed070299668aab24084b17ff5f14bAnders Carlssonclass CXXTemporary { 421c1ce477119fed070299668aab24084b17ff5f14bAnders Carlsson /// Destructor - The destructor that needs to be called. 422b859f35459ae3e1188d1e1b86df08d649695fd86Anders Carlsson const CXXDestructorDecl *Destructor; 423c1ce477119fed070299668aab24084b17ff5f14bAnders Carlsson 424b859f35459ae3e1188d1e1b86df08d649695fd86Anders Carlsson CXXTemporary(const CXXDestructorDecl *destructor) 425c1ce477119fed070299668aab24084b17ff5f14bAnders Carlsson : Destructor(destructor) { } 42688eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson ~CXXTemporary() { } 427c1ce477119fed070299668aab24084b17ff5f14bAnders Carlsson 428c1ce477119fed070299668aab24084b17ff5f14bAnders Carlssonpublic: 429b859f35459ae3e1188d1e1b86df08d649695fd86Anders Carlsson static CXXTemporary *Create(ASTContext &C, 430b859f35459ae3e1188d1e1b86df08d649695fd86Anders Carlsson const CXXDestructorDecl *Destructor); 43188eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson void Destroy(ASTContext &C); 432f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson 433f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson const CXXDestructorDecl *getDestructor() const { return Destructor; } 434c1ce477119fed070299668aab24084b17ff5f14bAnders Carlsson}; 435fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson 436fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson/// CXXBindTemporaryExpr - Represents binding an expression to a temporary, 437fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson/// so its destructor can be called later. 438fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlssonclass CXXBindTemporaryExpr : public Expr { 439fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson CXXTemporary *Temp; 440fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson 441fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson Stmt *SubExpr; 442fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson 443fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson CXXBindTemporaryExpr(CXXTemporary *temp, Expr* subexpr) 444fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson : Expr(CXXBindTemporaryExprClass, 445fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson subexpr->getType()), Temp(temp), SubExpr(subexpr) { } 44688eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson ~CXXBindTemporaryExpr() { } 44788eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson 448fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlssonpublic: 449fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson static CXXBindTemporaryExpr *Create(ASTContext &C, CXXTemporary *Temp, 450fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson Expr* SubExpr); 45188eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson void Destroy(ASTContext &C); 45288eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson 45388eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson CXXTemporary *getTemporary() { return Temp; } 454f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson const CXXTemporary *getTemporary() const { return Temp; } 455f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson 456fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson const Expr *getSubExpr() const { return cast<Expr>(SubExpr); } 457fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson Expr *getSubExpr() { return cast<Expr>(SubExpr); } 45888eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson void setSubExpr(Expr *E) { SubExpr = E; } 459fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson 460fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson virtual SourceRange getSourceRange() const { return SourceRange(); } 461fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson 462fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson // Implement isa/cast/dyncast/etc. 463fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson static bool classof(const Stmt *T) { 464fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson return T->getStmtClass() == CXXBindTemporaryExprClass; 465fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson } 466fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson static bool classof(const CXXBindTemporaryExpr *) { return true; } 467fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson 468fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson // Iterators 469fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson virtual child_iterator child_begin(); 470fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson virtual child_iterator child_end(); 471fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson}; 472fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson 47315ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson/// CXXConstructExpr - Represents a call to a C++ constructor. 47415ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlssonclass CXXConstructExpr : public Expr { 47515ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson CXXConstructorDecl *Constructor; 47615ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 47715ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson bool Elidable; 47815ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 47915ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson Stmt **Args; 48015ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson unsigned NumArgs; 48115ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 48215ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 483bd6734e5f6432ce0cc07171c490ffaa094796198Anders Carlssonprotected: 4848e587a15da6d3457a418239d5eb4146fcbd209f3Anders Carlsson CXXConstructExpr(ASTContext &C, StmtClass SC, QualType T, 485bd6734e5f6432ce0cc07171c490ffaa094796198Anders Carlsson CXXConstructorDecl *d, bool elidable, 486bd6734e5f6432ce0cc07171c490ffaa094796198Anders Carlsson Expr **args, unsigned numargs); 487524fa13fd81e88533c7a1d4b1232c0de2c97dc7cAnders Carlsson ~CXXConstructExpr() { } 488bd6734e5f6432ce0cc07171c490ffaa094796198Anders Carlsson 48915ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlssonpublic: 4908e587a15da6d3457a418239d5eb4146fcbd209f3Anders Carlsson static CXXConstructExpr *Create(ASTContext &C, QualType T, 49115ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson CXXConstructorDecl *D, bool Elidable, 49215ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson Expr **Args, unsigned NumArgs); 49315ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 49415ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson void Destroy(ASTContext &C); 49515ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 496d94546a0a1deef7286c13e49b9584621ae81cc9aDouglas Gregor CXXConstructorDecl* getConstructor() const { return Constructor; } 497d94546a0a1deef7286c13e49b9584621ae81cc9aDouglas Gregor 498d94546a0a1deef7286c13e49b9584621ae81cc9aDouglas Gregor /// \brief Whether this construction is elidable. 499d94546a0a1deef7286c13e49b9584621ae81cc9aDouglas Gregor bool isElidable() const { return Elidable; } 50015ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 50115ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson typedef ExprIterator arg_iterator; 50215ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson typedef ConstExprIterator const_arg_iterator; 50315ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 50415ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson arg_iterator arg_begin() { return Args; } 50515ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson arg_iterator arg_end() { return Args + NumArgs; } 50615ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson const_arg_iterator arg_begin() const { return Args; } 50715ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson const_arg_iterator arg_end() const { return Args + NumArgs; } 50815ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 50915ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson unsigned getNumArgs() const { return NumArgs; } 51015ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 51115ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson virtual SourceRange getSourceRange() const { return SourceRange(); } 51215ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 51315ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson static bool classof(const Stmt *T) { 514524fa13fd81e88533c7a1d4b1232c0de2c97dc7cAnders Carlsson return T->getStmtClass() == CXXConstructExprClass || 515524fa13fd81e88533c7a1d4b1232c0de2c97dc7cAnders Carlsson T->getStmtClass() == CXXTemporaryObjectExprClass; 51615ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson } 51715ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson static bool classof(const CXXConstructExpr *) { return true; } 51815ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 51915ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson // Iterators 52015ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson virtual child_iterator child_begin(); 52115ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson virtual child_iterator child_end(); 52215ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson}; 52315ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 52449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXFunctionalCastExpr - Represents an explicit C++ type conversion 52549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// that uses "functional" notion (C++ [expr.type.conv]). Example: @c 52649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// x = int(0.5); 52749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXFunctionalCastExpr : public ExplicitCastExpr { 528987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation TyBeginLoc; 529987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation RParenLoc; 530987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidispublic: 53149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor CXXFunctionalCastExpr(QualType ty, QualType writtenTy, 53249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor SourceLocation tyBeginLoc, Expr *castExpr, 533987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation rParenLoc) : 53449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor ExplicitCastExpr(CXXFunctionalCastExprClass, ty, castExpr, writtenTy), 535987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis TyBeginLoc(tyBeginLoc), RParenLoc(rParenLoc) {} 536987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 537987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation getTypeBeginLoc() const { return TyBeginLoc; } 538987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation getRParenLoc() const { return RParenLoc; } 539987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 540987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis virtual SourceRange getSourceRange() const { 541987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis return SourceRange(TyBeginLoc, RParenLoc); 542987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis } 543987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis static bool classof(const Stmt *T) { 544987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis return T->getStmtClass() == CXXFunctionalCastExprClass; 545987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis } 546987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis static bool classof(const CXXFunctionalCastExpr *) { return true; } 547987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis}; 548987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 549506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// @brief Represents a C++ functional cast expression that builds a 550506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// temporary object. 551506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// 552506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// This expression type represents a C++ "functional" cast 553506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// (C++[expr.type.conv]) with N != 1 arguments that invokes a 554506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// constructor to build a temporary object. If N == 0 but no 555506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// constructor will be called (because the functional cast is 556506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// performing a value-initialized an object whose class type has no 557506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// user-declared constructors), CXXZeroInitValueExpr will represent 558506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// the functional cast. Finally, with N == 1 arguments the functional 559506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// cast expression will be represented by CXXFunctionalCastExpr. 560506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// Example: 561506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// @code 562506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// struct X { X(int, float); } 563506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// 564506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// X create_X() { 565506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// return X(1, 3.14f); // creates a CXXTemporaryObjectExpr 566506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// }; 567506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// @endcode 568524fa13fd81e88533c7a1d4b1232c0de2c97dc7cAnders Carlssonclass CXXTemporaryObjectExpr : public CXXConstructExpr { 569506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor SourceLocation TyBeginLoc; 570506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor SourceLocation RParenLoc; 571506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor 572506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregorpublic: 5738e587a15da6d3457a418239d5eb4146fcbd209f3Anders Carlsson CXXTemporaryObjectExpr(ASTContext &C, CXXConstructorDecl *Cons, 5748e587a15da6d3457a418239d5eb4146fcbd209f3Anders Carlsson QualType writtenTy, SourceLocation tyBeginLoc, 5758e587a15da6d3457a418239d5eb4146fcbd209f3Anders Carlsson Expr **Args,unsigned NumArgs, 5768e587a15da6d3457a418239d5eb4146fcbd209f3Anders Carlsson SourceLocation rParenLoc); 577506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor 578524fa13fd81e88533c7a1d4b1232c0de2c97dc7cAnders Carlsson ~CXXTemporaryObjectExpr() { } 579506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor 580506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor SourceLocation getTypeBeginLoc() const { return TyBeginLoc; } 581506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor SourceLocation getRParenLoc() const { return RParenLoc; } 582ba49817c5b9f502602672861cf369fd0e53966e8Douglas Gregor 583506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor virtual SourceRange getSourceRange() const { 584506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor return SourceRange(TyBeginLoc, RParenLoc); 585506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor } 586506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor static bool classof(const Stmt *T) { 587506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor return T->getStmtClass() == CXXTemporaryObjectExprClass; 588506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor } 589506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor static bool classof(const CXXTemporaryObjectExpr *) { return true; } 590506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor}; 591506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor 592987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// CXXZeroInitValueExpr - [C++ 5.2.3p2] 593506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// Expression "T()" which creates a value-initialized rvalue of type 594506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// T, which is either a non-class type or a class type without any 595506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// user-defined constructors. 596987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// 597987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidisclass CXXZeroInitValueExpr : public Expr { 598987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation TyBeginLoc; 599987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation RParenLoc; 600987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 601987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidispublic: 602987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis CXXZeroInitValueExpr(QualType ty, SourceLocation tyBeginLoc, 603987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation rParenLoc ) : 604d94546a0a1deef7286c13e49b9584621ae81cc9aDouglas Gregor Expr(CXXZeroInitValueExprClass, ty, false, false), 605987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis TyBeginLoc(tyBeginLoc), RParenLoc(rParenLoc) {} 606987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 607987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation getTypeBeginLoc() const { return TyBeginLoc; } 608987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation getRParenLoc() const { return RParenLoc; } 609987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 6104c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor /// @brief Whether this initialization expression was 6114c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor /// implicitly-generated. 6124c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor bool isImplicit() const { 6134c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor return TyBeginLoc.isInvalid() && RParenLoc.isInvalid(); 6144c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor } 6154c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor 616987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis virtual SourceRange getSourceRange() const { 617987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis return SourceRange(TyBeginLoc, RParenLoc); 618987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis } 619987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 620d94546a0a1deef7286c13e49b9584621ae81cc9aDouglas Gregor CXXZeroInitValueExpr* Clone(ASTContext &C) const; 621d94546a0a1deef7286c13e49b9584621ae81cc9aDouglas Gregor 622987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis static bool classof(const Stmt *T) { 623987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis return T->getStmtClass() == CXXZeroInitValueExprClass; 624987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis } 625987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis static bool classof(const CXXZeroInitValueExpr *) { return true; } 626987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 627987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis // Iterators 628987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis virtual child_iterator child_begin(); 629987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis virtual child_iterator child_end(); 630987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis}; 631987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 6329e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis/// CXXConditionDeclExpr - Condition declaration of a if/switch/while/for 6339e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis/// statement, e.g: "if (int x = f()) {...}". 6349e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis/// The main difference with DeclRefExpr is that CXXConditionDeclExpr owns the 6359e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis/// decl that it references. 6369e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis/// 6379e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidisclass CXXConditionDeclExpr : public DeclRefExpr { 6389e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidispublic: 6399e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis CXXConditionDeclExpr(SourceLocation startLoc, 6409e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis SourceLocation eqLoc, VarDecl *var) 6419d293dfc0ad7c44ae0b5eb9517f1ed8c8d8b7ff7Douglas Gregor : DeclRefExpr(CXXConditionDeclExprClass, var, 6424a2e2041edc63db687677325e113b39b9d123c40Douglas Gregor var->getType().getNonReferenceType(), startLoc, 6434a2e2041edc63db687677325e113b39b9d123c40Douglas Gregor var->getType()->isDependentType(), 6444a2e2041edc63db687677325e113b39b9d123c40Douglas Gregor /*FIXME:integral constant?*/ 6454a2e2041edc63db687677325e113b39b9d123c40Douglas Gregor var->getType()->isDependentType()) {} 6469e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 6479e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis virtual void Destroy(ASTContext& Ctx); 6489e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 6499e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis SourceLocation getStartLoc() const { return getLocation(); } 6509e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 6519e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis VarDecl *getVarDecl() { return cast<VarDecl>(getDecl()); } 6529e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis const VarDecl *getVarDecl() const { return cast<VarDecl>(getDecl()); } 6539e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 6549e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis virtual SourceRange getSourceRange() const { 6559e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis return SourceRange(getStartLoc(), getVarDecl()->getInit()->getLocEnd()); 6569e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis } 6579e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 6589e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis static bool classof(const Stmt *T) { 6599e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis return T->getStmtClass() == CXXConditionDeclExprClass; 6609e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis } 6619e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis static bool classof(const CXXConditionDeclExpr *) { return true; } 6629e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 6639e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis // Iterators 6649e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis virtual child_iterator child_begin(); 6659e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis virtual child_iterator child_end(); 6669e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis}; 6679e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 6684c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// CXXNewExpr - A new expression for memory allocation and constructor calls, 6694c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// e.g: "new CXXNewExpr(foo)". 6704c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlclass CXXNewExpr : public Expr { 6714c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Was the usage ::new, i.e. is the global new to be used? 6724c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool GlobalNew : 1; 6734c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Was the form (type-id) used? Otherwise, it was new-type-id. 6744c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool ParenTypeId : 1; 6754c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Is there an initializer? If not, built-ins are uninitialized, else they're 6764c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // value-initialized. 6774c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool Initializer : 1; 678cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // Do we allocate an array? If so, the first SubExpr is the size expression. 679cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl bool Array : 1; 6804c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // The number of placement new arguments. 6814c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl unsigned NumPlacementArgs : 14; 6824c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // The number of constructor arguments. This may be 1 even for non-class 6834c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // types; use the pseudo copy constructor. 684cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl unsigned NumConstructorArgs : 14; 685cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // Contains an optional array size expression, any number of optional 686cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // placement arguments, and any number of optional constructor arguments, 687cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // in that order. 6884c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Stmt **SubExprs; 6894c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Points to the allocation function used. 6904c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *OperatorNew; 6914c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Points to the deallocation function used in case of error. May be null. 6924c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *OperatorDelete; 6934c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Points to the constructor used. Cannot be null if AllocType is a record; 6944c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // it would still point at the default constructor (even an implicit one). 6954c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Must be null for all other types. 6964c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl CXXConstructorDecl *Constructor; 6974c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 6984c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl SourceLocation StartLoc; 6994c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl SourceLocation EndLoc; 7004c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7014c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlpublic: 7024c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl CXXNewExpr(bool globalNew, FunctionDecl *operatorNew, Expr **placementArgs, 703cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl unsigned numPlaceArgs, bool ParenTypeId, Expr *arraySize, 7044c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl CXXConstructorDecl *constructor, bool initializer, 7054c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Expr **constructorArgs, unsigned numConsArgs, 7064c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *operatorDelete, QualType ty, 7074c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl SourceLocation startLoc, SourceLocation endLoc); 7084c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl ~CXXNewExpr() { 7094c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete[] SubExprs; 7104c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7114c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 712cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl QualType getAllocatedType() const { 713cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl assert(getType()->isPointerType()); 7146217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek return getType()->getAs<PointerType>()->getPointeeType(); 715cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl } 7164c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7174c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *getOperatorNew() const { return OperatorNew; } 7184c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *getOperatorDelete() const { return OperatorDelete; } 7194c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl CXXConstructorDecl *getConstructor() const { return Constructor; } 7204c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 721cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl bool isArray() const { return Array; } 722cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl Expr *getArraySize() { 723cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return Array ? cast<Expr>(SubExprs[0]) : 0; 724cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl } 725cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl const Expr *getArraySize() const { 726cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return Array ? cast<Expr>(SubExprs[0]) : 0; 727cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl } 728cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl 7294c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl unsigned getNumPlacementArgs() const { return NumPlacementArgs; } 7304c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Expr *getPlacementArg(unsigned i) { 7314c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl assert(i < NumPlacementArgs && "Index out of range"); 732cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return cast<Expr>(SubExprs[Array + i]); 7334c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7344c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const Expr *getPlacementArg(unsigned i) const { 7354c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl assert(i < NumPlacementArgs && "Index out of range"); 736cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return cast<Expr>(SubExprs[Array + i]); 7374c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7384c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7394c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool isGlobalNew() const { return GlobalNew; } 7404c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool isParenTypeId() const { return ParenTypeId; } 7414c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool hasInitializer() const { return Initializer; } 7424c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7434c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl unsigned getNumConstructorArgs() const { return NumConstructorArgs; } 7444c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Expr *getConstructorArg(unsigned i) { 7454c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl assert(i < NumConstructorArgs && "Index out of range"); 746cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return cast<Expr>(SubExprs[Array + NumPlacementArgs + i]); 7474c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7484c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const Expr *getConstructorArg(unsigned i) const { 7494c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl assert(i < NumConstructorArgs && "Index out of range"); 750cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return cast<Expr>(SubExprs[Array + NumPlacementArgs + i]); 7514c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7524c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7534c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl typedef ExprIterator arg_iterator; 7544c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl typedef ConstExprIterator const_arg_iterator; 7554c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7564c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl arg_iterator placement_arg_begin() { 757cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array; 7584c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7594c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl arg_iterator placement_arg_end() { 760cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs(); 7614c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7624c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const_arg_iterator placement_arg_begin() const { 763cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array; 7644c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7654c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const_arg_iterator placement_arg_end() const { 766cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs(); 7674c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7684c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7694c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl arg_iterator constructor_arg_begin() { 770cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs(); 7714c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7724c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl arg_iterator constructor_arg_end() { 773cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs() + getNumConstructorArgs(); 7744c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7754c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const_arg_iterator constructor_arg_begin() const { 776cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs(); 7774c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7784c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const_arg_iterator constructor_arg_end() const { 779cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs() + getNumConstructorArgs(); 7804c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7814c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7824c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual SourceRange getSourceRange() const { 7834c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl return SourceRange(StartLoc, EndLoc); 7844c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7854c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7864c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl static bool classof(const Stmt *T) { 7874c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl return T->getStmtClass() == CXXNewExprClass; 7884c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7894c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl static bool classof(const CXXNewExpr *) { return true; } 7904c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7914c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Iterators 7924c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual child_iterator child_begin(); 7934c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual child_iterator child_end(); 7944c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl}; 7954c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7964c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// CXXDeleteExpr - A delete expression for memory deallocation and destructor 7974c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// calls, e.g. "delete[] pArray". 7984c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlclass CXXDeleteExpr : public Expr { 7994c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Is this a forced global delete, i.e. "::delete"? 8004c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool GlobalDelete : 1; 8014c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Is this the array form of delete, i.e. "delete[]"? 8024c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool ArrayForm : 1; 8034c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Points to the operator delete overload that is used. Could be a member. 8044c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *OperatorDelete; 8054c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // The pointer expression to be deleted. 8064c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Stmt *Argument; 8074c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Location of the expression. 8084c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl SourceLocation Loc; 8094c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlpublic: 8104c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl CXXDeleteExpr(QualType ty, bool globalDelete, bool arrayForm, 8114c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *operatorDelete, Expr *arg, SourceLocation loc) 8122850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl : Expr(CXXDeleteExprClass, ty, false, false), GlobalDelete(globalDelete), 8134c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl ArrayForm(arrayForm), OperatorDelete(operatorDelete), Argument(arg), 8144c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Loc(loc) { } 8154c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 8164c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool isGlobalDelete() const { return GlobalDelete; } 8174c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool isArrayForm() const { return ArrayForm; } 8184c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 8194c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *getOperatorDelete() const { return OperatorDelete; } 8204c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 8214c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Expr *getArgument() { return cast<Expr>(Argument); } 8224c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const Expr *getArgument() const { return cast<Expr>(Argument); } 8234c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 8244c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual SourceRange getSourceRange() const { 8254c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl return SourceRange(Loc, Argument->getLocEnd()); 8264c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 8274c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 8284c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl static bool classof(const Stmt *T) { 8294c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl return T->getStmtClass() == CXXDeleteExprClass; 8304c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 8314c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl static bool classof(const CXXDeleteExpr *) { return true; } 8324c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 8334c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Iterators 8344c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual child_iterator child_begin(); 8354c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual child_iterator child_end(); 8364c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl}; 8374c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 83817330019f05966762bc952840ef1926b9becb145Douglas Gregor/// \brief Represents the name of a function that has not been 83917330019f05966762bc952840ef1926b9becb145Douglas Gregor/// resolved to any declaration. 84017330019f05966762bc952840ef1926b9becb145Douglas Gregor/// 84117330019f05966762bc952840ef1926b9becb145Douglas Gregor/// Unresolved function names occur when a function name is 84217330019f05966762bc952840ef1926b9becb145Douglas Gregor/// encountered prior to an open parentheses ('(') in a C++ function 84317330019f05966762bc952840ef1926b9becb145Douglas Gregor/// call, and the function name itself did not resolve to a 84417330019f05966762bc952840ef1926b9becb145Douglas Gregor/// declaration. These function names can only be resolved when they 84517330019f05966762bc952840ef1926b9becb145Douglas Gregor/// form the postfix-expression of a function call, so that 84617330019f05966762bc952840ef1926b9becb145Douglas Gregor/// argument-dependent lookup finds declarations corresponding to 84717330019f05966762bc952840ef1926b9becb145Douglas Gregor/// these functions. 84817330019f05966762bc952840ef1926b9becb145Douglas Gregor 8495c37de788529cd9180f22069970737a7208bd625Douglas Gregor/// @code 8505c37de788529cd9180f22069970737a7208bd625Douglas Gregor/// template<typename T> void f(T x) { 85117330019f05966762bc952840ef1926b9becb145Douglas Gregor/// g(x); // g is an unresolved function name (that is also a dependent name) 8525c37de788529cd9180f22069970737a7208bd625Douglas Gregor/// } 8535c37de788529cd9180f22069970737a7208bd625Douglas Gregor/// @endcode 85417330019f05966762bc952840ef1926b9becb145Douglas Gregorclass UnresolvedFunctionNameExpr : public Expr { 85517330019f05966762bc952840ef1926b9becb145Douglas Gregor /// The name that was present in the source 85617330019f05966762bc952840ef1926b9becb145Douglas Gregor DeclarationName Name; 8575c37de788529cd9180f22069970737a7208bd625Douglas Gregor 85817330019f05966762bc952840ef1926b9becb145Douglas Gregor /// The location of this name in the source code 8595c37de788529cd9180f22069970737a7208bd625Douglas Gregor SourceLocation Loc; 8605c37de788529cd9180f22069970737a7208bd625Douglas Gregor 8615c37de788529cd9180f22069970737a7208bd625Douglas Gregorpublic: 86217330019f05966762bc952840ef1926b9becb145Douglas Gregor UnresolvedFunctionNameExpr(DeclarationName N, QualType T, SourceLocation L) 86317330019f05966762bc952840ef1926b9becb145Douglas Gregor : Expr(UnresolvedFunctionNameExprClass, T, false, false), Name(N), Loc(L) { } 8645c37de788529cd9180f22069970737a7208bd625Douglas Gregor 86517330019f05966762bc952840ef1926b9becb145Douglas Gregor /// \brief Retrieves the name that occurred in the source code. 86617330019f05966762bc952840ef1926b9becb145Douglas Gregor DeclarationName getName() const { return Name; } 8675c37de788529cd9180f22069970737a7208bd625Douglas Gregor 8685c37de788529cd9180f22069970737a7208bd625Douglas Gregor /// getLocation - Retrieves the location in the source code where 8695c37de788529cd9180f22069970737a7208bd625Douglas Gregor /// the name occurred. 8705c37de788529cd9180f22069970737a7208bd625Douglas Gregor SourceLocation getLocation() const { return Loc; } 8715c37de788529cd9180f22069970737a7208bd625Douglas Gregor 8725c37de788529cd9180f22069970737a7208bd625Douglas Gregor virtual SourceRange getSourceRange() const { return SourceRange(Loc); } 8735c37de788529cd9180f22069970737a7208bd625Douglas Gregor 8744a2487aeacf9f35ce553318c2eb39c20ec23845eDouglas Gregor UnresolvedFunctionNameExpr* Clone(ASTContext &C) const; 8754a2487aeacf9f35ce553318c2eb39c20ec23845eDouglas Gregor 8765c37de788529cd9180f22069970737a7208bd625Douglas Gregor static bool classof(const Stmt *T) { 87717330019f05966762bc952840ef1926b9becb145Douglas Gregor return T->getStmtClass() == UnresolvedFunctionNameExprClass; 8785c37de788529cd9180f22069970737a7208bd625Douglas Gregor } 87917330019f05966762bc952840ef1926b9becb145Douglas Gregor static bool classof(const UnresolvedFunctionNameExpr *) { return true; } 8805c37de788529cd9180f22069970737a7208bd625Douglas Gregor 8815c37de788529cd9180f22069970737a7208bd625Douglas Gregor // Iterators 8825c37de788529cd9180f22069970737a7208bd625Douglas Gregor virtual child_iterator child_begin(); 8835c37de788529cd9180f22069970737a7208bd625Douglas Gregor virtual child_iterator child_end(); 8845c37de788529cd9180f22069970737a7208bd625Douglas Gregor}; 8855c37de788529cd9180f22069970737a7208bd625Douglas Gregor 88664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// UnaryTypeTraitExpr - A GCC or MS unary type trait, as used in the 88764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// implementation of TR1/C++0x type trait templates. 88864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// Example: 88964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// __is_pod(int) == true 89064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// __is_enum(std::string) == false 89164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redlclass UnaryTypeTraitExpr : public Expr { 89264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl /// UTT - The trait. 89364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl UnaryTypeTrait UTT; 89464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 89564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl /// Loc - The location of the type trait keyword. 89664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl SourceLocation Loc; 89764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 89864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl /// RParen - The location of the closing paren. 89964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl SourceLocation RParen; 90064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 90164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl /// QueriedType - The type we're testing. 90264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl QualType QueriedType; 90364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 90464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redlpublic: 90564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl UnaryTypeTraitExpr(SourceLocation loc, UnaryTypeTrait utt, QualType queried, 90664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl SourceLocation rparen, QualType ty) 90764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl : Expr(UnaryTypeTraitExprClass, ty, false, queried->isDependentType()), 90864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl UTT(utt), Loc(loc), RParen(rparen), QueriedType(queried) { } 90964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 91064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl virtual SourceRange getSourceRange() const { return SourceRange(Loc, RParen);} 91164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 91264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl UnaryTypeTrait getTrait() const { return UTT; } 91364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 91464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl QualType getQueriedType() const { return QueriedType; } 91564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 9165e03f9ea8174ae588c5e69ec6b5ef4c68f8fd766Douglas Gregor bool EvaluateTrait(ASTContext&) const; 91764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 91864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl static bool classof(const Stmt *T) { 91964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl return T->getStmtClass() == UnaryTypeTraitExprClass; 92064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl } 92164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl static bool classof(const UnaryTypeTraitExpr *) { return true; } 92264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 92364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl // Iterators 92464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl virtual child_iterator child_begin(); 92564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl virtual child_iterator child_end(); 92664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl}; 92764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 9281a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor/// QualifiedDeclRefExpr - A reference to a declared variable, 9291a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor/// function, enum, etc., that includes a qualification, e.g., 9301a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor/// "N::foo". 9311a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregorclass QualifiedDeclRefExpr : public DeclRefExpr { 932bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor /// QualifierRange - The source range that covers the 933bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor /// nested-name-specifier. 934bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor SourceRange QualifierRange; 935bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor 936ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// \brief The nested-name-specifier that qualifies this declaration 937ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// name. 938ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor NestedNameSpecifier *NNS; 939bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor 940bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregorpublic: 941ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor QualifiedDeclRefExpr(NamedDecl *d, QualType t, SourceLocation l, bool TD, 942ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor bool VD, SourceRange R, NestedNameSpecifier *NNS) 943ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor : DeclRefExpr(QualifiedDeclRefExprClass, d, t, l, TD, VD), 944ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor QualifierRange(R), NNS(NNS) { } 945bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor 946bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor /// \brief Retrieve the source range of the nested-name-specifier. 947bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor SourceRange getQualifierRange() const { return QualifierRange; } 948bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor 949ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// \brief Retrieve the nested-name-specifier that qualifies this 950ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// declaration. 951ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor NestedNameSpecifier *getQualifier() const { return NNS; } 9521a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor 9531a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor virtual SourceRange getSourceRange() const { 954bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor return SourceRange(QualifierRange.getBegin(), getLocation()); 9551a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor } 9561a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor 9571a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor static bool classof(const Stmt *T) { 9581a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor return T->getStmtClass() == QualifiedDeclRefExprClass; 9591a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor } 9601a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor static bool classof(const QualifiedDeclRefExpr *) { return true; } 9611a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor}; 9621a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor 9635953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// \brief A qualified reference to a name whose declaration cannot 9645953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// yet be resolved. 9655953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// 9665953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// UnresolvedDeclRefExpr is similar to QualifiedDeclRefExpr in that 9675953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// it expresses a qualified reference to a declaration such as 9685953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// X<T>::value. The difference, however, is that an 9695953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// UnresolvedDeclRefExpr node is used only within C++ templates when 9705953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// the qualification (e.g., X<T>::) refers to a dependent type. In 9715953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// this case, X<T>::value cannot resolve to a declaration because the 9725953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// declaration will differ from on instantiation of X<T> to the 973ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor/// next. Therefore, UnresolvedDeclRefExpr keeps track of the 974ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor/// qualifier (X<T>::) and the name of the entity being referenced 975ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor/// ("value"). Such expressions will instantiate to 976ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor/// QualifiedDeclRefExprs. 9775953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregorclass UnresolvedDeclRefExpr : public Expr { 9785953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// The name of the entity we will be referencing. 9795953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor DeclarationName Name; 9805953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 9815953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// Location of the name of the declaration we're referencing. 9825953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor SourceLocation Loc; 9835953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 9845953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// QualifierRange - The source range that covers the 9855953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// nested-name-specifier. 9865953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor SourceRange QualifierRange; 9875953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 988ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// \brief The nested-name-specifier that qualifies this unresolved 989ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// declaration name. 990ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor NestedNameSpecifier *NNS; 9915953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 9929b31df4acdeeb61bb084a03fc37bc5bd570a659eAnders Carlsson /// \brief Whether this expr is an address of (&) operand. 9939b31df4acdeeb61bb084a03fc37bc5bd570a659eAnders Carlsson bool IsAddressOfOperand; 9949b31df4acdeeb61bb084a03fc37bc5bd570a659eAnders Carlsson 9955953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregorpublic: 996ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor UnresolvedDeclRefExpr(DeclarationName N, QualType T, SourceLocation L, 9979b31df4acdeeb61bb084a03fc37bc5bd570a659eAnders Carlsson SourceRange R, NestedNameSpecifier *NNS, 9989b31df4acdeeb61bb084a03fc37bc5bd570a659eAnders Carlsson bool IsAddressOfOperand) 999ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor : Expr(UnresolvedDeclRefExprClass, T, true, true), 10009b31df4acdeeb61bb084a03fc37bc5bd570a659eAnders Carlsson Name(N), Loc(L), QualifierRange(R), NNS(NNS), 10019b31df4acdeeb61bb084a03fc37bc5bd570a659eAnders Carlsson IsAddressOfOperand(IsAddressOfOperand) { } 10025953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 10035953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// \brief Retrieve the name that this expression refers to. 10045953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor DeclarationName getDeclName() const { return Name; } 10055953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 10065953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// \brief Retrieve the location of the name within the expression. 10075953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor SourceLocation getLocation() const { return Loc; } 10085953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 10095953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// \brief Retrieve the source range of the nested-name-specifier. 10105953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor SourceRange getQualifierRange() const { return QualifierRange; } 10115953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 1012ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// \brief Retrieve the nested-name-specifier that qualifies this 1013ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// declaration. 1014ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor NestedNameSpecifier *getQualifier() const { return NNS; } 10155953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 10169b31df4acdeeb61bb084a03fc37bc5bd570a659eAnders Carlsson /// \brief Retrieve whether this is an address of (&) operand. 10179b31df4acdeeb61bb084a03fc37bc5bd570a659eAnders Carlsson 10189b31df4acdeeb61bb084a03fc37bc5bd570a659eAnders Carlsson bool isAddressOfOperand() const { return IsAddressOfOperand; } 10195953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor virtual SourceRange getSourceRange() const { 10205953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor return SourceRange(QualifierRange.getBegin(), getLocation()); 10215953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor } 10225953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 10235953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor static bool classof(const Stmt *T) { 10245953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor return T->getStmtClass() == UnresolvedDeclRefExprClass; 10255953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor } 10265953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor static bool classof(const UnresolvedDeclRefExpr *) { return true; } 10275953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 10285953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor virtual StmtIterator child_begin(); 10295953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor virtual StmtIterator child_end(); 10305953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor}; 10315953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 1032edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor/// \brief An expression that refers to a C++ template-id, such as 1033edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor/// @c isa<FunctionDecl>. 1034edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregorclass TemplateIdRefExpr : public Expr { 1035edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief If this template-id was qualified-id, e.g., @c std::sort<int>, 1036edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// this nested name specifier contains the @c std::. 1037edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor NestedNameSpecifier *Qualifier; 1038edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1039edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief If this template-id was a qualified-id, e.g., @c std::sort<int>, 1040edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// this covers the source code range of the @c std::. 1041edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor SourceRange QualifierRange; 1042edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1043edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief The actual template to which this template-id refers. 1044edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor TemplateName Template; 1045edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1046edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief The source location of the template name. 1047edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor SourceLocation TemplateNameLoc; 1048edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1049edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief The source location of the left angle bracket ('<'); 1050edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor SourceLocation LAngleLoc; 1051edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1052edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief The source location of the right angle bracket ('>'); 1053edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor SourceLocation RAngleLoc; 1054edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1055edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief The number of template arguments in TemplateArgs. 1056edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor unsigned NumTemplateArgs; 1057edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1058edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor TemplateIdRefExpr(QualType T, 1059edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor NestedNameSpecifier *Qualifier, SourceRange QualifierRange, 1060edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor TemplateName Template, SourceLocation TemplateNameLoc, 1061edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor SourceLocation LAngleLoc, 1062edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor const TemplateArgument *TemplateArgs, 1063edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor unsigned NumTemplateArgs, 1064edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor SourceLocation RAngleLoc); 1065edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1066edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregorpublic: 1067edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor static TemplateIdRefExpr * 1068edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor Create(ASTContext &Context, QualType T, 1069edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor NestedNameSpecifier *Qualifier, SourceRange QualifierRange, 1070edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor TemplateName Template, SourceLocation TemplateNameLoc, 1071edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor SourceLocation LAngleLoc, const TemplateArgument *TemplateArgs, 1072edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor unsigned NumTemplateArgs, SourceLocation RAngleLoc); 1073edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1074edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor void Destroy(ASTContext &Context); 1075edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1076edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief Retrieve the nested name specifier used to qualify the name of 1077edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// this template-id, e.g., the "std::sort" in @c std::sort<int>, or NULL 1078edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// if this template-id was an unqualified-id. 1079edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor NestedNameSpecifier *getQualifier() const { return Qualifier; } 1080edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1081edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief Retrieve the source range describing the nested name specifier 1082edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// used to qualified the name of this template-id, if the name was qualified. 1083edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor SourceRange getQualifierRange() const { return QualifierRange; } 1084edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1085edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief Retrieve the name of the template referenced, e.g., "sort" in 1086edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// @c std::sort<int>; 1087edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor TemplateName getTemplateName() const { return Template; } 1088edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1089edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief Retrieve the location of the name of the template referenced, e.g., 1090edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// the location of "sort" in @c std::sort<int>. 1091edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor SourceLocation getTemplateNameLoc() const { return TemplateNameLoc; } 1092edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1093edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief Retrieve the location of the left angle bracket following the 1094edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// template name ('<'). 1095edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor SourceLocation getLAngleLoc() const { return LAngleLoc; } 1096edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1097edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief Retrieve the template arguments provided as part of this 1098edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// template-id. 1099edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor const TemplateArgument *getTemplateArgs() const { 1100edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor return reinterpret_cast<const TemplateArgument *>(this + 1); 1101edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor } 1102edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1103edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief Retrieve the number of template arguments provided as part of this 1104edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// template-id. 1105edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor unsigned getNumTemplateArgs() const { return NumTemplateArgs; } 1106edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1107edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// \brief Retrieve the location of the right angle bracket following the 1108edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor /// template arguments ('>'). 1109edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor SourceLocation getRAngleLoc() const { return RAngleLoc; } 1110edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1111edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor virtual SourceRange getSourceRange() const { 1112edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor return SourceRange(Qualifier? QualifierRange.getBegin() : TemplateNameLoc, 1113edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor RAngleLoc); 1114edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor } 1115edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1116edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor // Iterators 1117edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor virtual child_iterator child_begin(); 1118edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor virtual child_iterator child_end(); 1119edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 1120edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor static bool classof(const Stmt *T) { 1121edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor return T->getStmtClass() == TemplateIdRefExprClass; 1122edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor } 1123edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor static bool classof(const TemplateIdRefExpr *) { return true; } 1124edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor}; 1125edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor 11262d44e8a41de8a33c0f04ac198714f71dc841bab0Anders Carlssonclass CXXExprWithTemporaries : public Expr { 112702bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson Stmt *SubExpr; 112802bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 1129ff6b3d64c9f07155f1414411b8451d7bf8937c62Anders Carlsson CXXTemporary **Temps; 1130ff6b3d64c9f07155f1414411b8451d7bf8937c62Anders Carlsson unsigned NumTemps; 113102bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 1132f54741e6465692d3bdbae974ac3beeeab92e4a95Anders Carlsson bool ShouldDestroyTemps; 113399ba36de0d5b34624e74e77bffa73929617976cbAnders Carlsson 113499ba36de0d5b34624e74e77bffa73929617976cbAnders Carlsson CXXExprWithTemporaries(Expr *SubExpr, CXXTemporary **Temps, 1135f54741e6465692d3bdbae974ac3beeeab92e4a95Anders Carlsson unsigned NumTemps, bool ShouldDestroyTemps); 11362d44e8a41de8a33c0f04ac198714f71dc841bab0Anders Carlsson ~CXXExprWithTemporaries(); 113788eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson 113888eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlssonpublic: 113988eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson static CXXExprWithTemporaries *Create(ASTContext &C, Expr *SubExpr, 1140f54741e6465692d3bdbae974ac3beeeab92e4a95Anders Carlsson CXXTemporary **Temps, unsigned NumTemps, 1141f54741e6465692d3bdbae974ac3beeeab92e4a95Anders Carlsson bool ShouldDestroyTemporaries); 114288eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson void Destroy(ASTContext &C); 114388eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson 114488eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson unsigned getNumTemporaries() const { return NumTemps; } 114588eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson CXXTemporary *getTemporary(unsigned i) { 114688eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson assert(i < NumTemps && "Index out of range"); 114788eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson return Temps[i]; 114888eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson } 1149f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson const CXXTemporary *getTemporary(unsigned i) const { 1150f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson assert(i < NumTemps && "Index out of range"); 1151f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson return Temps[i]; 1152f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson } 1153f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson 1154f54741e6465692d3bdbae974ac3beeeab92e4a95Anders Carlsson bool shouldDestroyTemporaries() const { return ShouldDestroyTemps; } 1155f54741e6465692d3bdbae974ac3beeeab92e4a95Anders Carlsson 115688eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson void removeLastTemporary() { NumTemps--; } 115788eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson 115802bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson Expr *getSubExpr() { return cast<Expr>(SubExpr); } 1159f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson const Expr *getSubExpr() const { return cast<Expr>(SubExpr); } 116088eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson void setSubExpr(Expr *E) { SubExpr = E; } 116102bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 116202bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson virtual SourceRange getSourceRange() const { return SourceRange(); } 116302bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 116402bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson // Implement isa/cast/dyncast/etc. 116502bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson static bool classof(const Stmt *T) { 11662d44e8a41de8a33c0f04ac198714f71dc841bab0Anders Carlsson return T->getStmtClass() == CXXExprWithTemporariesClass; 116702bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson } 11682d44e8a41de8a33c0f04ac198714f71dc841bab0Anders Carlsson static bool classof(const CXXExprWithTemporaries *) { return true; } 116902bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 117002bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson // Iterators 117102bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson virtual child_iterator child_begin(); 117202bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson virtual child_iterator child_end(); 117302bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson}; 117402bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 1175d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// \brief Describes an explicit type conversion that uses functional 1176d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// notion but could not be resolved because one or more arguments are 1177d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// type-dependent. 1178d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// 1179d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// The explicit type conversions expressed by 1180d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// CXXUnresolvedConstructExpr have the form \c T(a1, a2, ..., aN), 1181d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// where \c T is some type and \c a1, a2, ..., aN are values, and 1182d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// either \C T is a dependent type or one or more of the \c a's is 1183d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// type-dependent. For example, this would occur in a template such 1184d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// as: 1185d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// 1186d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// \code 1187d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// template<typename T, typename A1> 1188d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// inline T make_a(const A1& a1) { 1189d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// return T(a1); 1190d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// } 1191d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// \endcode 1192d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// 1193d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// When the returned expression is instantiated, it may resolve to a 1194d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// constructor call, conversion function call, or some kind of type 1195d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// conversion. 1196d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregorclass CXXUnresolvedConstructExpr : public Expr { 1197d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief The starting location of the type 1198d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation TyBeginLoc; 1199d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1200d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief The type being constructed. 1201d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor QualType Type; 1202d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1203d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief The location of the left parentheses ('('). 1204d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation LParenLoc; 1205d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1206d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief The location of the right parentheses (')'). 1207d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation RParenLoc; 1208d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1209d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief The number of arguments used to construct the type. 1210d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor unsigned NumArgs; 1211d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1212d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor CXXUnresolvedConstructExpr(SourceLocation TyBegin, 1213d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor QualType T, 1214d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation LParenLoc, 1215d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor Expr **Args, 1216d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor unsigned NumArgs, 1217d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation RParenLoc); 1218d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1219d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregorpublic: 1220d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor static CXXUnresolvedConstructExpr *Create(ASTContext &C, 1221d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation TyBegin, 1222d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor QualType T, 1223d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation LParenLoc, 1224d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor Expr **Args, 1225d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor unsigned NumArgs, 1226d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation RParenLoc); 1227d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1228d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief Retrieve the source location where the type begins. 1229d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation getTypeBeginLoc() const { return TyBeginLoc; } 1230d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor void setTypeBeginLoc(SourceLocation L) { TyBeginLoc = L; } 1231d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1232d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief Retrieve the type that is being constructed, as specified 1233d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// in the source code. 1234d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor QualType getTypeAsWritten() const { return Type; } 1235d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor void setTypeAsWritten(QualType T) { Type = T; } 1236d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1237d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief Retrieve the location of the left parentheses ('(') that 1238d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// precedes the argument list. 1239d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation getLParenLoc() const { return LParenLoc; } 1240d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor void setLParenLoc(SourceLocation L) { LParenLoc = L; } 1241d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1242d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief Retrieve the location of the right parentheses (')') that 1243d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// follows the argument list. 1244d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation getRParenLoc() const { return RParenLoc; } 1245d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor void setRParenLoc(SourceLocation L) { RParenLoc = L; } 1246d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1247d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief Retrieve the number of arguments. 1248d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor unsigned arg_size() const { return NumArgs; } 1249d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1250d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor typedef Expr** arg_iterator; 1251d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor arg_iterator arg_begin() { return reinterpret_cast<Expr**>(this + 1); } 1252d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor arg_iterator arg_end() { return arg_begin() + NumArgs; } 1253d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1254d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor Expr *getArg(unsigned I) { 1255d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor assert(I < NumArgs && "Argument index out-of-range"); 1256d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor return *(arg_begin() + I); 1257d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor } 1258d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1259d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor virtual SourceRange getSourceRange() const { 1260d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor return SourceRange(TyBeginLoc, RParenLoc); 1261d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor } 1262d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor static bool classof(const Stmt *T) { 1263d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor return T->getStmtClass() == CXXUnresolvedConstructExprClass; 1264d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor } 1265d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor static bool classof(const CXXUnresolvedConstructExpr *) { return true; } 1266d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1267d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor // Iterators 1268d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor virtual child_iterator child_begin(); 1269d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor virtual child_iterator child_end(); 1270d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor}; 1271d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 12721c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor/// \brief 12731c0ca59416999129d0439c2661d137ef38e86209Douglas Gregorclass CXXUnresolvedMemberExpr : public Expr { 12741c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief The expression for the base pointer or class reference, 12751c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// e.g., the \c x in x.f. 12761c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor Stmt *Base; 12771c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 12781c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief Whether this member expression used the '->' operator or 12791c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// the '.' operator. 12801c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor bool IsArrow; 12811c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 12821c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief The location of the '->' or '.' operator. 12831c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor SourceLocation OperatorLoc; 12841c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 12851c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief The member to which this member expression refers, which 12861c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// can be name, overloaded operator, or destructor. 12871c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// FIXME: could also be a template-id, and we might have a 12881c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// nested-name-specifier as well. 12891c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor DeclarationName Member; 12901c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 12911c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief The location of the member name. 12921c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor SourceLocation MemberLoc; 12931c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 12941c0ca59416999129d0439c2661d137ef38e86209Douglas Gregorpublic: 12951c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor CXXUnresolvedMemberExpr(ASTContext &C, 12961c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor Expr *Base, bool IsArrow, 12971c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor SourceLocation OperatorLoc, 12981c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor DeclarationName Member, 12991c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor SourceLocation MemberLoc) 13001c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor : Expr(CXXUnresolvedMemberExprClass, C.DependentTy, true, true), 13011c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor Base(Base), IsArrow(IsArrow), OperatorLoc(OperatorLoc), 13021c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor Member(Member), MemberLoc(MemberLoc) { } 13031c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 13041c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief Retrieve the base object of this member expressions, 13051c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// e.g., the \c x in \c x.m. 13061c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor Expr *getBase() { return cast<Expr>(Base); } 13071c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor void setBase(Expr *E) { Base = E; } 13081c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 13091c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief Determine whether this member expression used the '->' 13101c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// operator; otherwise, it used the '.' operator. 13111c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor bool isArrow() const { return IsArrow; } 13121c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor void setArrow(bool A) { IsArrow = A; } 13131c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 13141c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief Retrieve the location of the '->' or '.' operator. 13151c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor SourceLocation getOperatorLoc() const { return OperatorLoc; } 13161c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor void setOperatorLoc(SourceLocation L) { OperatorLoc = L; } 13171c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 13181c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief Retrieve the name of the member that this expression 13191c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// refers to. 13201c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor DeclarationName getMember() const { return Member; } 13211c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor void setMember(DeclarationName N) { Member = N; } 13221c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 13231c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor // \brief Retrieve the location of the name of the member that this 13241c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor // expression refers to. 13251c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor SourceLocation getMemberLoc() const { return MemberLoc; } 13261c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor void setMemberLoc(SourceLocation L) { MemberLoc = L; } 13271c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 13281c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor virtual SourceRange getSourceRange() const { 13291c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor return SourceRange(Base->getSourceRange().getBegin(), 13301c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor MemberLoc); 13311c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor } 13321c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor static bool classof(const Stmt *T) { 13331c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor return T->getStmtClass() == CXXUnresolvedMemberExprClass; 13341c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor } 13351c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor static bool classof(const CXXUnresolvedMemberExpr *) { return true; } 13361c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 13371c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor // Iterators 13381c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor virtual child_iterator child_begin(); 13391c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor virtual child_iterator child_end(); 13401c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor}; 13411c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 13425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 13435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 13445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 1345