ExprCXX.h revision a3a7b8eea87c90a5a257f685749222b212ddaf36
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; 2402bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson class CXXTempVarDecl; 254c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 261060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek//===--------------------------------------------------------------------===// 271060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek// C++ Expressions. 281060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek//===--------------------------------------------------------------------===// 291060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 303fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// \brief A call to an overloaded operator written using operator 313fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// syntax. 323fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// 333fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// Represents a call to an overloaded operator written using operator 343fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// syntax, e.g., "x + y" or "*p". While semantically equivalent to a 353fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// normal call, this AST node provides better information about the 363fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// syntactic representation of the call. 373fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// 383fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// In a C++ template, this expression node kind will be used whenever 393fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// any of the arguments are type-dependent. In this case, the 403fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// function itself will be a (possibly empty) set of functions and 413fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// function templates that were found by name lookup at template 423fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// definition time. 43b4609806e9232593ece09ce08b630836e825865cDouglas Gregorclass CXXOperatorCallExpr : public CallExpr { 44063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor /// \brief The overloaded operator. 45063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor OverloadedOperatorKind Operator; 46063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor 47b4609806e9232593ece09ce08b630836e825865cDouglas Gregorpublic: 48063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor CXXOperatorCallExpr(ASTContext& C, OverloadedOperatorKind Op, Expr *fn, 49063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor Expr **args, unsigned numargs, QualType t, 50063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor SourceLocation operatorloc) 51063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor : CallExpr(C, CXXOperatorCallExprClass, fn, args, numargs, t, operatorloc), 52063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor Operator(Op) {} 53b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 54b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// getOperator - Returns the kind of overloaded operator that this 55b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// expression refers to. 56063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor OverloadedOperatorKind getOperator() const { return Operator; } 57b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 58b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// getOperatorLoc - Returns the location of the operator symbol in 59b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// the expression. When @c getOperator()==OO_Call, this is the 60b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// location of the right parentheses; when @c 61b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// getOperator()==OO_Subscript, this is the location of the right 62b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// bracket. 63b4609806e9232593ece09ce08b630836e825865cDouglas Gregor SourceLocation getOperatorLoc() const { return getRParenLoc(); } 64b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 65b4609806e9232593ece09ce08b630836e825865cDouglas Gregor virtual SourceRange getSourceRange() const; 66b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 67b4609806e9232593ece09ce08b630836e825865cDouglas Gregor static bool classof(const Stmt *T) { 68b4609806e9232593ece09ce08b630836e825865cDouglas Gregor return T->getStmtClass() == CXXOperatorCallExprClass; 69b4609806e9232593ece09ce08b630836e825865cDouglas Gregor } 70b4609806e9232593ece09ce08b630836e825865cDouglas Gregor static bool classof(const CXXOperatorCallExpr *) { return true; } 71b4609806e9232593ece09ce08b630836e825865cDouglas Gregor}; 72b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 7388a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// CXXMemberCallExpr - Represents a call to a member function that 7488a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// may be written either with member call syntax (e.g., "obj.func()" 7588a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// or "objptr->func()") or with normal function-call syntax 7688a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// ("func()") within a member function that ends up calling a member 7788a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// function. The callee in either case is a MemberExpr that contains 7888a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// both the object argument and the member function, while the 7988a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// arguments are the arguments within the parentheses (not including 8088a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// the object argument). 8188a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregorclass CXXMemberCallExpr : public CallExpr { 8288a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregorpublic: 83668bf91d31265b6ea8c3eb854ba450857701f269Ted Kremenek CXXMemberCallExpr(ASTContext& C, Expr *fn, Expr **args, unsigned numargs, 84668bf91d31265b6ea8c3eb854ba450857701f269Ted Kremenek QualType t, SourceLocation rparenloc) 85668bf91d31265b6ea8c3eb854ba450857701f269Ted Kremenek : CallExpr(C, CXXMemberCallExprClass, fn, args, numargs, t, rparenloc) {} 8688a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor 8788a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor /// getImplicitObjectArgument - Retrieves the implicit object 8888a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor /// argument for the member call. For example, in "x.f(5)", this 8988a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor /// operation would return "x". 9088a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor Expr *getImplicitObjectArgument(); 9188a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor 9288a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor static bool classof(const Stmt *T) { 9388a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor return T->getStmtClass() == CXXMemberCallExprClass; 9488a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor } 9588a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor static bool classof(const CXXMemberCallExpr *) { return true; } 9688a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor}; 9788a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor 9849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXNamedCastExpr - Abstract class common to all of the C++ "named" 9949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// casts, @c static_cast, @c dynamic_cast, @c reinterpret_cast, or @c 10049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// const_cast. 10149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// 10249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This abstract class is inherited by all of the classes 10349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// representing "named" casts, e.g., CXXStaticCastExpr, 10449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXDynamicCastExpr, CXXReinterpretCastExpr, and CXXConstCastExpr. 10549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXNamedCastExpr : public ExplicitCastExpr { 1061060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekprivate: 1071060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek SourceLocation Loc; // the location of the casting op 10849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 10949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorprotected: 11049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor CXXNamedCastExpr(StmtClass SC, QualType ty, Expr *op, QualType writtenTy, 11149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor SourceLocation l) 11249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor : ExplicitCastExpr(SC, ty, op, writtenTy), Loc(l) {} 11349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 1141060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekpublic: 11549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor const char *getCastName() const; 11649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 117a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor /// \brief Retrieve the location of the cast operator keyword, e.g., 118a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor /// "static_cast". 119a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor SourceLocation getOperatorLoc() const { return Loc; } 120a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor void setOperatorLoc(SourceLocation L) { Loc = L; } 121a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor 1221060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual SourceRange getSourceRange() const { 1231060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return SourceRange(Loc, getSubExpr()->getSourceRange().getEnd()); 1241060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 1251060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const Stmt *T) { 12649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor switch (T->getStmtClass()) { 12749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXNamedCastExprClass: 12849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXStaticCastExprClass: 12949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXDynamicCastExprClass: 13049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXReinterpretCastExprClass: 13149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXConstCastExprClass: 13249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return true; 13349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor default: 13449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return false; 13549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 1361060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 13749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXNamedCastExpr *) { return true; } 13849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor}; 13949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 14049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXStaticCastExpr - A C++ @c static_cast expression (C++ [expr.static.cast]). 14149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// 14249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This expression node represents a C++ static cast, e.g., 14349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// @c static_cast<int>(1.0). 14449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXStaticCastExpr : public CXXNamedCastExpr { 14549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorpublic: 14649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor CXXStaticCastExpr(QualType ty, Expr *op, QualType writtenTy, SourceLocation l) 14749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor : CXXNamedCastExpr(CXXStaticCastExprClass, ty, op, writtenTy, l) {} 14849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 14949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const Stmt *T) { 15049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return T->getStmtClass() == CXXStaticCastExprClass; 15149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 15249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXStaticCastExpr *) { return true; } 15349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor}; 15449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 15549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXDynamicCastExpr - A C++ @c dynamic_cast expression 15649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// (C++ [expr.dynamic.cast]), which may perform a run-time check to 15749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// determine how to perform the type cast. 15849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// 15949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This expression node represents a dynamic cast, e.g., 16049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// @c dynamic_cast<Derived*>(BasePtr). 16149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXDynamicCastExpr : public CXXNamedCastExpr { 16249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorpublic: 16349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor CXXDynamicCastExpr(QualType ty, Expr *op, QualType writtenTy, SourceLocation l) 16449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor : CXXNamedCastExpr(CXXDynamicCastExprClass, ty, op, writtenTy, l) {} 16549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 16649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const Stmt *T) { 16749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return T->getStmtClass() == CXXDynamicCastExprClass; 16849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 16949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXDynamicCastExpr *) { return true; } 17049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor}; 17149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 17249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXReinterpretCastExpr - A C++ @c reinterpret_cast expression (C++ 17349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// [expr.reinterpret.cast]), which provides a differently-typed view 17449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// of a value but performs no actual work at run time. 17549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// 17649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This expression node represents a reinterpret cast, e.g., 17749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// @c reinterpret_cast<int>(VoidPtr). 17849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXReinterpretCastExpr : public CXXNamedCastExpr { 17949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorpublic: 18049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor CXXReinterpretCastExpr(QualType ty, Expr *op, QualType writtenTy, 18149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor SourceLocation l) 18249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor : CXXNamedCastExpr(CXXReinterpretCastExprClass, ty, op, writtenTy, l) {} 18349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 18449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const Stmt *T) { 18549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return T->getStmtClass() == CXXReinterpretCastExprClass; 18649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 18749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXReinterpretCastExpr *) { return true; } 18849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor}; 18949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 19049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXConstCastExpr - A C++ @c const_cast expression (C++ [expr.const.cast]), 19149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// which can remove type qualifiers but does not change the underlying value. 19249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// 19349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This expression node represents a const cast, e.g., 19449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// @c const_cast<char*>(PtrToConstChar). 19549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXConstCastExpr : public CXXNamedCastExpr { 19649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorpublic: 19749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor CXXConstCastExpr(QualType ty, Expr *op, QualType writtenTy, 19849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor SourceLocation l) 19949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor : CXXNamedCastExpr(CXXConstCastExprClass, ty, op, writtenTy, l) {} 20049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 20149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const Stmt *T) { 20249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return T->getStmtClass() == CXXConstCastExprClass; 20349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 20449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXConstCastExpr *) { return true; } 2051060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek}; 2061060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 2071060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// CXXBoolLiteralExpr - [C++ 2.13.5] C++ Boolean Literal. 2081060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// 2091060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekclass CXXBoolLiteralExpr : public Expr { 2101060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek bool Value; 2111060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek SourceLocation Loc; 2121060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekpublic: 2131060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek CXXBoolLiteralExpr(bool val, QualType Ty, SourceLocation l) : 2141060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr(CXXBoolLiteralExprClass, Ty), Value(val), Loc(l) {} 2158b0b475b3464b0f70b91ba7d679d23c424677d5eSebastian Redl 2168b0b475b3464b0f70b91ba7d679d23c424677d5eSebastian Redl CXXBoolLiteralExpr* Clone(ASTContext &C) const; 2178b0b475b3464b0f70b91ba7d679d23c424677d5eSebastian Redl 2181060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek bool getValue() const { return Value; } 2195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2201060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual SourceRange getSourceRange() const { return SourceRange(Loc); } 2215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2221060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const Stmt *T) { 2231060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return T->getStmtClass() == CXXBoolLiteralExprClass; 2241060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 2251060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const CXXBoolLiteralExpr *) { return true; } 2265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2271060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Iterators 2281060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_begin(); 2291060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_end(); 2301060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek}; 2311060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 2326e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl/// CXXNullPtrLiteralExpr - [C++0x 2.14.7] C++ Pointer Literal 2336e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redlclass CXXNullPtrLiteralExpr : public Expr { 2346e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl SourceLocation Loc; 2356e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redlpublic: 2366e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl CXXNullPtrLiteralExpr(QualType Ty, SourceLocation l) : 2376e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl Expr(CXXNullPtrLiteralExprClass, Ty), Loc(l) {} 2386e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl 2398b0b475b3464b0f70b91ba7d679d23c424677d5eSebastian Redl CXXNullPtrLiteralExpr* Clone(ASTContext &C) const; 2408b0b475b3464b0f70b91ba7d679d23c424677d5eSebastian Redl 2416e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl virtual SourceRange getSourceRange() const { return SourceRange(Loc); } 2426e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl 2436e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl static bool classof(const Stmt *T) { 2446e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl return T->getStmtClass() == CXXNullPtrLiteralExprClass; 2456e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl } 2466e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl static bool classof(const CXXNullPtrLiteralExpr *) { return true; } 2476e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl 2486e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl virtual child_iterator child_begin(); 2496e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl virtual child_iterator child_end(); 2506e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl}; 2516e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl 252c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// CXXTypeidExpr - A C++ @c typeid expression (C++ [expr.typeid]), which gets 253c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// the type_info that corresponds to the supplied type, or the (possibly 254c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// dynamic) type of the supplied expression. 255c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// 256c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// This represents code like @c typeid(int) or @c typeid(*objPtr) 257c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redlclass CXXTypeidExpr : public Expr { 258c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redlprivate: 259c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl bool isTypeOp : 1; 260d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl union { 261d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl void *Ty; 262d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl Stmt *Ex; 263d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl } Operand; 264c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl SourceRange Range; 265c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 266c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redlpublic: 267c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl CXXTypeidExpr(bool isTypeOp, void *op, QualType Ty, const SourceRange r) : 2682850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl Expr(CXXTypeidExprClass, Ty, 2692850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl // typeid is never type-dependent (C++ [temp.dep.expr]p4) 2702850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl false, 2712850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl // typeid is value-dependent if the type or expression are dependent 2722850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl (isTypeOp ? QualType::getFromOpaquePtr(op)->isDependentType() 2732850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl : static_cast<Expr*>(op)->isValueDependent())), 2742850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl isTypeOp(isTypeOp), Range(r) { 275d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl if (isTypeOp) 276d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl Operand.Ty = op; 277d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl else 278d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl // op was an Expr*, so cast it back to that to be safe 2792850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl Operand.Ex = static_cast<Expr*>(op); 280d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl } 281c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 282c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl bool isTypeOperand() const { return isTypeOp; } 283c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl QualType getTypeOperand() const { 284c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl assert(isTypeOperand() && "Cannot call getTypeOperand for typeid(expr)"); 285d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl return QualType::getFromOpaquePtr(Operand.Ty); 286c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl } 287c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl Expr* getExprOperand() const { 288c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl assert(!isTypeOperand() && "Cannot call getExprOperand for typeid(type)"); 289d457589fc69dc7a9c80cd74d317c0b81a35a27c9Sebastian Redl return static_cast<Expr*>(Operand.Ex); 290c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl } 291c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 292c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl virtual SourceRange getSourceRange() const { 293c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl return Range; 294c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl } 295c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl static bool classof(const Stmt *T) { 296c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl return T->getStmtClass() == CXXTypeidExprClass; 297c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl } 298c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl static bool classof(const CXXTypeidExpr *) { return true; } 299c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 300c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl // Iterators 301c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl virtual child_iterator child_begin(); 302c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl virtual child_iterator child_end(); 303c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl}; 304c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 305796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// CXXThisExpr - Represents the "this" expression in C++, which is a 306796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// pointer to the object on which the current member function is 307796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// executing (C++ [expr.prim]p3). Example: 308796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// 309796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// @code 310796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// class Foo { 311796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// public: 312796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// void bar(); 313796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// void test() { this->bar(); } 314796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// }; 315796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// @endcode 316796da18402f286b897782a298ae3b20c459c102eDouglas Gregorclass CXXThisExpr : public Expr { 317796da18402f286b897782a298ae3b20c459c102eDouglas Gregor SourceLocation Loc; 318796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 319796da18402f286b897782a298ae3b20c459c102eDouglas Gregorpublic: 320796da18402f286b897782a298ae3b20c459c102eDouglas Gregor CXXThisExpr(SourceLocation L, QualType Type) 3212850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl : Expr(CXXThisExprClass, Type, 3222850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl // 'this' is type-dependent if the class type of the enclosing 3232850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl // member function is dependent (C++ [temp.dep.expr]p2) 3242850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl Type->isDependentType(), Type->isDependentType()), 3252850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl Loc(L) { } 326796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 327796da18402f286b897782a298ae3b20c459c102eDouglas Gregor virtual SourceRange getSourceRange() const { return SourceRange(Loc); } 328796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 329796da18402f286b897782a298ae3b20c459c102eDouglas Gregor static bool classof(const Stmt *T) { 330796da18402f286b897782a298ae3b20c459c102eDouglas Gregor return T->getStmtClass() == CXXThisExprClass; 331796da18402f286b897782a298ae3b20c459c102eDouglas Gregor } 332796da18402f286b897782a298ae3b20c459c102eDouglas Gregor static bool classof(const CXXThisExpr *) { return true; } 333796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 334796da18402f286b897782a298ae3b20c459c102eDouglas Gregor // Iterators 335796da18402f286b897782a298ae3b20c459c102eDouglas Gregor virtual child_iterator child_begin(); 336796da18402f286b897782a298ae3b20c459c102eDouglas Gregor virtual child_iterator child_end(); 337796da18402f286b897782a298ae3b20c459c102eDouglas Gregor}; 338796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 3391060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// CXXThrowExpr - [C++ 15] C++ Throw Expression. This handles 3401060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// 'throw' and 'throw' assignment-expression. When 3411060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// assignment-expression isn't present, Op will be null. 3421060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// 3431060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekclass CXXThrowExpr : public Expr { 3441060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Stmt *Op; 3451060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek SourceLocation ThrowLoc; 3461060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekpublic: 3471060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Ty is the void type which is used as the result type of the 3481060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // exepression. The l is the location of the throw keyword. expr 3491060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // can by null, if the optional expression to throw isn't present. 3501060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek CXXThrowExpr(Expr *expr, QualType Ty, SourceLocation l) : 3512850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl Expr(CXXThrowExprClass, Ty, false, false), Op(expr), ThrowLoc(l) {} 3521060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getSubExpr() const { return cast_or_null<Expr>(Op); } 3531060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getSubExpr() { return cast_or_null<Expr>(Op); } 3541060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3551060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual SourceRange getSourceRange() const { 3561060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek if (getSubExpr() == 0) 3571060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return SourceRange(ThrowLoc, ThrowLoc); 3581060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return SourceRange(ThrowLoc, getSubExpr()->getSourceRange().getEnd()); 3591060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 3601060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3611060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const Stmt *T) { 3621060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return T->getStmtClass() == CXXThrowExprClass; 3631060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 3641060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const CXXThrowExpr *) { return true; } 3651060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3661060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Iterators 3671060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_begin(); 3681060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_end(); 3691060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek}; 3701060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3711060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// CXXDefaultArgExpr - C++ [dcl.fct.default]. This wraps up a 3721060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// function call argument that was created from the corresponding 3731060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// parameter's default argument, when the call did not explicitly 3741060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// supply arguments for all of the parameters. 3751060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekclass CXXDefaultArgExpr : public Expr { 3761060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek ParmVarDecl *Param; 3771060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekpublic: 3781060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Param is the parameter whose default argument is used by this 3791060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // expression. 3801060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek explicit CXXDefaultArgExpr(ParmVarDecl *param) 38161366e9cd41a6dbde4e66416dac21269c8ac1d94Douglas Gregor : Expr(CXXDefaultArgExprClass, 38261366e9cd41a6dbde4e66416dac21269c8ac1d94Douglas Gregor param->hasUnparsedDefaultArg()? param->getType().getNonReferenceType() 38361366e9cd41a6dbde4e66416dac21269c8ac1d94Douglas Gregor : param->getDefaultArg()->getType()), 3841060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Param(param) { } 3851060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3861060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Retrieve the parameter that the argument was created from. 3871060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const ParmVarDecl *getParam() const { return Param; } 3881060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek ParmVarDecl *getParam() { return Param; } 3891060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3901060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Retrieve the actual argument to the function call. 3911060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getExpr() const { return Param->getDefaultArg(); } 3921060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getExpr() { return Param->getDefaultArg(); } 3931060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3941060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual SourceRange getSourceRange() const { 3951060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Default argument expressions have no representation in the 3961060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // source, so they have an empty source range. 3971060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return SourceRange(); 3981060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 3991060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 4001060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const Stmt *T) { 4011060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return T->getStmtClass() == CXXDefaultArgExprClass; 4021060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 4031060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const CXXDefaultArgExpr *) { return true; } 4041060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 4051060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Iterators 4061060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_begin(); 4071060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_end(); 4081060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek}; 409987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 41015ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson/// CXXConstructExpr - Represents a call to a C++ constructor. 41115ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlssonclass CXXConstructExpr : public Expr { 41215ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson VarDecl *VD; 41315ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson CXXConstructorDecl *Constructor; 41415ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 41515ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson bool Elidable; 41615ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 41715ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson Stmt **Args; 41815ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson unsigned NumArgs; 41915ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 42015ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 421bd6734e5f6432ce0cc07171c490ffaa094796198Anders Carlssonprotected: 422bd6734e5f6432ce0cc07171c490ffaa094796198Anders Carlsson CXXConstructExpr(ASTContext &C, StmtClass SC, VarDecl *vd, QualType T, 423bd6734e5f6432ce0cc07171c490ffaa094796198Anders Carlsson CXXConstructorDecl *d, bool elidable, 424bd6734e5f6432ce0cc07171c490ffaa094796198Anders Carlsson Expr **args, unsigned numargs); 425524fa13fd81e88533c7a1d4b1232c0de2c97dc7cAnders Carlsson ~CXXConstructExpr() { } 426bd6734e5f6432ce0cc07171c490ffaa094796198Anders Carlsson 42715ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlssonpublic: 42815ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson static CXXConstructExpr *Create(ASTContext &C, VarDecl *VD, QualType T, 42915ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson CXXConstructorDecl *D, bool Elidable, 43015ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson Expr **Args, unsigned NumArgs); 43115ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 43215ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson void Destroy(ASTContext &C); 43315ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 43415ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson const VarDecl* getVarDecl() const { return VD; } 43515ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson const CXXConstructorDecl* getConstructor() const { return Constructor; } 43615ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 43715ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson typedef ExprIterator arg_iterator; 43815ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson typedef ConstExprIterator const_arg_iterator; 43915ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 44015ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson arg_iterator arg_begin() { return Args; } 44115ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson arg_iterator arg_end() { return Args + NumArgs; } 44215ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson const_arg_iterator arg_begin() const { return Args; } 44315ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson const_arg_iterator arg_end() const { return Args + NumArgs; } 44415ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 44515ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson unsigned getNumArgs() const { return NumArgs; } 44615ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 44715ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson virtual SourceRange getSourceRange() const { return SourceRange(); } 44815ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 44915ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson static bool classof(const Stmt *T) { 450524fa13fd81e88533c7a1d4b1232c0de2c97dc7cAnders Carlsson return T->getStmtClass() == CXXConstructExprClass || 451524fa13fd81e88533c7a1d4b1232c0de2c97dc7cAnders Carlsson T->getStmtClass() == CXXTemporaryObjectExprClass; 45215ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson } 45315ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson static bool classof(const CXXConstructExpr *) { return true; } 45415ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 45515ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson // Iterators 45615ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson virtual child_iterator child_begin(); 45715ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson virtual child_iterator child_end(); 45815ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson}; 45915ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 46049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXFunctionalCastExpr - Represents an explicit C++ type conversion 46149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// that uses "functional" notion (C++ [expr.type.conv]). Example: @c 46249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// x = int(0.5); 46349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXFunctionalCastExpr : public ExplicitCastExpr { 464987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation TyBeginLoc; 465987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation RParenLoc; 466987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidispublic: 46749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor CXXFunctionalCastExpr(QualType ty, QualType writtenTy, 46849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor SourceLocation tyBeginLoc, Expr *castExpr, 469987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation rParenLoc) : 47049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor ExplicitCastExpr(CXXFunctionalCastExprClass, ty, castExpr, writtenTy), 471987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis TyBeginLoc(tyBeginLoc), RParenLoc(rParenLoc) {} 472987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 473987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation getTypeBeginLoc() const { return TyBeginLoc; } 474987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation getRParenLoc() const { return RParenLoc; } 475987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 476987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis virtual SourceRange getSourceRange() const { 477987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis return SourceRange(TyBeginLoc, RParenLoc); 478987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis } 479987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis static bool classof(const Stmt *T) { 480987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis return T->getStmtClass() == CXXFunctionalCastExprClass; 481987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis } 482987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis static bool classof(const CXXFunctionalCastExpr *) { return true; } 483987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis}; 484987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 485506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// @brief Represents a C++ functional cast expression that builds a 486506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// temporary object. 487506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// 488506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// This expression type represents a C++ "functional" cast 489506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// (C++[expr.type.conv]) with N != 1 arguments that invokes a 490506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// constructor to build a temporary object. If N == 0 but no 491506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// constructor will be called (because the functional cast is 492506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// performing a value-initialized an object whose class type has no 493506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// user-declared constructors), CXXZeroInitValueExpr will represent 494506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// the functional cast. Finally, with N == 1 arguments the functional 495506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// cast expression will be represented by CXXFunctionalCastExpr. 496506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// Example: 497506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// @code 498506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// struct X { X(int, float); } 499506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// 500506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// X create_X() { 501506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// return X(1, 3.14f); // creates a CXXTemporaryObjectExpr 502506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// }; 503506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// @endcode 504524fa13fd81e88533c7a1d4b1232c0de2c97dc7cAnders Carlssonclass CXXTemporaryObjectExpr : public CXXConstructExpr { 505506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor SourceLocation TyBeginLoc; 506506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor SourceLocation RParenLoc; 507506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor 508506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregorpublic: 50909c4abb1057f0eb53a9c2b5c2f22b1472362156eAnders Carlsson CXXTemporaryObjectExpr(ASTContext &C, VarDecl *vd, 51026de54983e7977fad615c94012f2f67d0d1cf404Anders Carlsson CXXConstructorDecl *Cons, QualType writtenTy, 511506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor SourceLocation tyBeginLoc, Expr **Args, 512506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor unsigned NumArgs, SourceLocation rParenLoc); 513506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor 514524fa13fd81e88533c7a1d4b1232c0de2c97dc7cAnders Carlsson ~CXXTemporaryObjectExpr() { } 515506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor 516506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor SourceLocation getTypeBeginLoc() const { return TyBeginLoc; } 517506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor SourceLocation getRParenLoc() const { return RParenLoc; } 518ba49817c5b9f502602672861cf369fd0e53966e8Douglas Gregor 519506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor virtual SourceRange getSourceRange() const { 520506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor return SourceRange(TyBeginLoc, RParenLoc); 521506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor } 522506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor static bool classof(const Stmt *T) { 523506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor return T->getStmtClass() == CXXTemporaryObjectExprClass; 524506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor } 525506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor static bool classof(const CXXTemporaryObjectExpr *) { return true; } 526506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor}; 527506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor 528987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// CXXZeroInitValueExpr - [C++ 5.2.3p2] 529506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// Expression "T()" which creates a value-initialized rvalue of type 530506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// T, which is either a non-class type or a class type without any 531506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// user-defined constructors. 532987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// 533987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidisclass CXXZeroInitValueExpr : public Expr { 534987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation TyBeginLoc; 535987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation RParenLoc; 536987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 537987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidispublic: 538987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis CXXZeroInitValueExpr(QualType ty, SourceLocation tyBeginLoc, 539987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation rParenLoc ) : 540987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis Expr(CXXZeroInitValueExprClass, ty), 541987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis TyBeginLoc(tyBeginLoc), RParenLoc(rParenLoc) {} 542987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 543987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation getTypeBeginLoc() const { return TyBeginLoc; } 544987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation getRParenLoc() const { return RParenLoc; } 545987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 5464c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor /// @brief Whether this initialization expression was 5474c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor /// implicitly-generated. 5484c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor bool isImplicit() const { 5494c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor return TyBeginLoc.isInvalid() && RParenLoc.isInvalid(); 5504c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor } 5514c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor 552987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis virtual SourceRange getSourceRange() const { 553987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis return SourceRange(TyBeginLoc, RParenLoc); 554987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis } 555987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 556987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis static bool classof(const Stmt *T) { 557987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis return T->getStmtClass() == CXXZeroInitValueExprClass; 558987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis } 559987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis static bool classof(const CXXZeroInitValueExpr *) { return true; } 560987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 561987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis // Iterators 562987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis virtual child_iterator child_begin(); 563987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis virtual child_iterator child_end(); 564987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis}; 565987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 5669e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis/// CXXConditionDeclExpr - Condition declaration of a if/switch/while/for 5679e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis/// statement, e.g: "if (int x = f()) {...}". 5689e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis/// The main difference with DeclRefExpr is that CXXConditionDeclExpr owns the 5699e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis/// decl that it references. 5709e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis/// 5719e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidisclass CXXConditionDeclExpr : public DeclRefExpr { 5729e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidispublic: 5739e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis CXXConditionDeclExpr(SourceLocation startLoc, 5749e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis SourceLocation eqLoc, VarDecl *var) 5759d293dfc0ad7c44ae0b5eb9517f1ed8c8d8b7ff7Douglas Gregor : DeclRefExpr(CXXConditionDeclExprClass, var, 5764a2e2041edc63db687677325e113b39b9d123c40Douglas Gregor var->getType().getNonReferenceType(), startLoc, 5774a2e2041edc63db687677325e113b39b9d123c40Douglas Gregor var->getType()->isDependentType(), 5784a2e2041edc63db687677325e113b39b9d123c40Douglas Gregor /*FIXME:integral constant?*/ 5794a2e2041edc63db687677325e113b39b9d123c40Douglas Gregor var->getType()->isDependentType()) {} 5809e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 5819e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis virtual void Destroy(ASTContext& Ctx); 5829e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 5839e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis SourceLocation getStartLoc() const { return getLocation(); } 5849e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 5859e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis VarDecl *getVarDecl() { return cast<VarDecl>(getDecl()); } 5869e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis const VarDecl *getVarDecl() const { return cast<VarDecl>(getDecl()); } 5879e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 5889e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis virtual SourceRange getSourceRange() const { 5899e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis return SourceRange(getStartLoc(), getVarDecl()->getInit()->getLocEnd()); 5909e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis } 5919e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 5929e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis static bool classof(const Stmt *T) { 5939e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis return T->getStmtClass() == CXXConditionDeclExprClass; 5949e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis } 5959e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis static bool classof(const CXXConditionDeclExpr *) { return true; } 5969e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 5979e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis // Iterators 5989e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis virtual child_iterator child_begin(); 5999e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis virtual child_iterator child_end(); 6009e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis}; 6019e922b1663ecb95dc7eee03002fd66ed18fb3192Argyrios Kyrtzidis 6024c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// CXXNewExpr - A new expression for memory allocation and constructor calls, 6034c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// e.g: "new CXXNewExpr(foo)". 6044c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlclass CXXNewExpr : public Expr { 6054c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Was the usage ::new, i.e. is the global new to be used? 6064c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool GlobalNew : 1; 6074c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Was the form (type-id) used? Otherwise, it was new-type-id. 6084c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool ParenTypeId : 1; 6094c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Is there an initializer? If not, built-ins are uninitialized, else they're 6104c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // value-initialized. 6114c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool Initializer : 1; 612cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // Do we allocate an array? If so, the first SubExpr is the size expression. 613cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl bool Array : 1; 6144c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // The number of placement new arguments. 6154c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl unsigned NumPlacementArgs : 14; 6164c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // The number of constructor arguments. This may be 1 even for non-class 6174c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // types; use the pseudo copy constructor. 618cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl unsigned NumConstructorArgs : 14; 619cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // Contains an optional array size expression, any number of optional 620cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // placement arguments, and any number of optional constructor arguments, 621cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // in that order. 6224c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Stmt **SubExprs; 6234c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Points to the allocation function used. 6244c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *OperatorNew; 6254c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Points to the deallocation function used in case of error. May be null. 6264c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *OperatorDelete; 6274c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Points to the constructor used. Cannot be null if AllocType is a record; 6284c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // it would still point at the default constructor (even an implicit one). 6294c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Must be null for all other types. 6304c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl CXXConstructorDecl *Constructor; 6314c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 6324c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl SourceLocation StartLoc; 6334c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl SourceLocation EndLoc; 6344c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 6354c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlpublic: 6364c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl CXXNewExpr(bool globalNew, FunctionDecl *operatorNew, Expr **placementArgs, 637cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl unsigned numPlaceArgs, bool ParenTypeId, Expr *arraySize, 6384c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl CXXConstructorDecl *constructor, bool initializer, 6394c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Expr **constructorArgs, unsigned numConsArgs, 6404c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *operatorDelete, QualType ty, 6414c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl SourceLocation startLoc, SourceLocation endLoc); 6424c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl ~CXXNewExpr() { 6434c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl delete[] SubExprs; 6444c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 6454c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 646cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl QualType getAllocatedType() const { 647cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl assert(getType()->isPointerType()); 648cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return getType()->getAsPointerType()->getPointeeType(); 649cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl } 6504c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 6514c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *getOperatorNew() const { return OperatorNew; } 6524c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *getOperatorDelete() const { return OperatorDelete; } 6534c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl CXXConstructorDecl *getConstructor() const { return Constructor; } 6544c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 655cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl bool isArray() const { return Array; } 656cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl Expr *getArraySize() { 657cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return Array ? cast<Expr>(SubExprs[0]) : 0; 658cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl } 659cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl const Expr *getArraySize() const { 660cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return Array ? cast<Expr>(SubExprs[0]) : 0; 661cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl } 662cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl 6634c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl unsigned getNumPlacementArgs() const { return NumPlacementArgs; } 6644c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Expr *getPlacementArg(unsigned i) { 6654c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl assert(i < NumPlacementArgs && "Index out of range"); 666cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return cast<Expr>(SubExprs[Array + i]); 6674c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 6684c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const Expr *getPlacementArg(unsigned i) const { 6694c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl assert(i < NumPlacementArgs && "Index out of range"); 670cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return cast<Expr>(SubExprs[Array + i]); 6714c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 6724c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 6734c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool isGlobalNew() const { return GlobalNew; } 6744c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool isParenTypeId() const { return ParenTypeId; } 6754c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool hasInitializer() const { return Initializer; } 6764c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 6774c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl unsigned getNumConstructorArgs() const { return NumConstructorArgs; } 6784c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Expr *getConstructorArg(unsigned i) { 6794c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl assert(i < NumConstructorArgs && "Index out of range"); 680cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return cast<Expr>(SubExprs[Array + NumPlacementArgs + i]); 6814c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 6824c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const Expr *getConstructorArg(unsigned i) const { 6834c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl assert(i < NumConstructorArgs && "Index out of range"); 684cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return cast<Expr>(SubExprs[Array + NumPlacementArgs + i]); 6854c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 6864c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 6874c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl typedef ExprIterator arg_iterator; 6884c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl typedef ConstExprIterator const_arg_iterator; 6894c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 6904c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl arg_iterator placement_arg_begin() { 691cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array; 6924c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 6934c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl arg_iterator placement_arg_end() { 694cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs(); 6954c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 6964c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const_arg_iterator placement_arg_begin() const { 697cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array; 6984c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 6994c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const_arg_iterator placement_arg_end() const { 700cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs(); 7014c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7024c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7034c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl arg_iterator constructor_arg_begin() { 704cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs(); 7054c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7064c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl arg_iterator constructor_arg_end() { 707cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs() + getNumConstructorArgs(); 7084c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7094c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const_arg_iterator constructor_arg_begin() const { 710cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs(); 7114c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7124c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const_arg_iterator constructor_arg_end() const { 713cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs() + getNumConstructorArgs(); 7144c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7154c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7164c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual SourceRange getSourceRange() const { 7174c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl return SourceRange(StartLoc, EndLoc); 7184c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7194c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7204c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl static bool classof(const Stmt *T) { 7214c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl return T->getStmtClass() == CXXNewExprClass; 7224c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7234c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl static bool classof(const CXXNewExpr *) { return true; } 7244c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7254c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Iterators 7264c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual child_iterator child_begin(); 7274c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual child_iterator child_end(); 7284c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl}; 7294c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7304c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// CXXDeleteExpr - A delete expression for memory deallocation and destructor 7314c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// calls, e.g. "delete[] pArray". 7324c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlclass CXXDeleteExpr : public Expr { 7334c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Is this a forced global delete, i.e. "::delete"? 7344c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool GlobalDelete : 1; 7354c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Is this the array form of delete, i.e. "delete[]"? 7364c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool ArrayForm : 1; 7374c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Points to the operator delete overload that is used. Could be a member. 7384c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *OperatorDelete; 7394c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // The pointer expression to be deleted. 7404c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Stmt *Argument; 7414c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Location of the expression. 7424c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl SourceLocation Loc; 7434c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlpublic: 7444c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl CXXDeleteExpr(QualType ty, bool globalDelete, bool arrayForm, 7454c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *operatorDelete, Expr *arg, SourceLocation loc) 7462850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl : Expr(CXXDeleteExprClass, ty, false, false), GlobalDelete(globalDelete), 7474c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl ArrayForm(arrayForm), OperatorDelete(operatorDelete), Argument(arg), 7484c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Loc(loc) { } 7494c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7504c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool isGlobalDelete() const { return GlobalDelete; } 7514c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool isArrayForm() const { return ArrayForm; } 7524c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7534c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *getOperatorDelete() const { return OperatorDelete; } 7544c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7554c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Expr *getArgument() { return cast<Expr>(Argument); } 7564c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const Expr *getArgument() const { return cast<Expr>(Argument); } 7574c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7584c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual SourceRange getSourceRange() const { 7594c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl return SourceRange(Loc, Argument->getLocEnd()); 7604c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7614c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7624c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl static bool classof(const Stmt *T) { 7634c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl return T->getStmtClass() == CXXDeleteExprClass; 7644c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 7654c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl static bool classof(const CXXDeleteExpr *) { return true; } 7664c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 7674c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Iterators 7684c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual child_iterator child_begin(); 7694c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual child_iterator child_end(); 7704c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl}; 7714c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 77217330019f05966762bc952840ef1926b9becb145Douglas Gregor/// \brief Represents the name of a function that has not been 77317330019f05966762bc952840ef1926b9becb145Douglas Gregor/// resolved to any declaration. 77417330019f05966762bc952840ef1926b9becb145Douglas Gregor/// 77517330019f05966762bc952840ef1926b9becb145Douglas Gregor/// Unresolved function names occur when a function name is 77617330019f05966762bc952840ef1926b9becb145Douglas Gregor/// encountered prior to an open parentheses ('(') in a C++ function 77717330019f05966762bc952840ef1926b9becb145Douglas Gregor/// call, and the function name itself did not resolve to a 77817330019f05966762bc952840ef1926b9becb145Douglas Gregor/// declaration. These function names can only be resolved when they 77917330019f05966762bc952840ef1926b9becb145Douglas Gregor/// form the postfix-expression of a function call, so that 78017330019f05966762bc952840ef1926b9becb145Douglas Gregor/// argument-dependent lookup finds declarations corresponding to 78117330019f05966762bc952840ef1926b9becb145Douglas Gregor/// these functions. 78217330019f05966762bc952840ef1926b9becb145Douglas Gregor 7835c37de788529cd9180f22069970737a7208bd625Douglas Gregor/// @code 7845c37de788529cd9180f22069970737a7208bd625Douglas Gregor/// template<typename T> void f(T x) { 78517330019f05966762bc952840ef1926b9becb145Douglas Gregor/// g(x); // g is an unresolved function name (that is also a dependent name) 7865c37de788529cd9180f22069970737a7208bd625Douglas Gregor/// } 7875c37de788529cd9180f22069970737a7208bd625Douglas Gregor/// @endcode 78817330019f05966762bc952840ef1926b9becb145Douglas Gregorclass UnresolvedFunctionNameExpr : public Expr { 78917330019f05966762bc952840ef1926b9becb145Douglas Gregor /// The name that was present in the source 79017330019f05966762bc952840ef1926b9becb145Douglas Gregor DeclarationName Name; 7915c37de788529cd9180f22069970737a7208bd625Douglas Gregor 79217330019f05966762bc952840ef1926b9becb145Douglas Gregor /// The location of this name in the source code 7935c37de788529cd9180f22069970737a7208bd625Douglas Gregor SourceLocation Loc; 7945c37de788529cd9180f22069970737a7208bd625Douglas Gregor 7955c37de788529cd9180f22069970737a7208bd625Douglas Gregorpublic: 79617330019f05966762bc952840ef1926b9becb145Douglas Gregor UnresolvedFunctionNameExpr(DeclarationName N, QualType T, SourceLocation L) 79717330019f05966762bc952840ef1926b9becb145Douglas Gregor : Expr(UnresolvedFunctionNameExprClass, T, false, false), Name(N), Loc(L) { } 7985c37de788529cd9180f22069970737a7208bd625Douglas Gregor 79917330019f05966762bc952840ef1926b9becb145Douglas Gregor /// \brief Retrieves the name that occurred in the source code. 80017330019f05966762bc952840ef1926b9becb145Douglas Gregor DeclarationName getName() const { return Name; } 8015c37de788529cd9180f22069970737a7208bd625Douglas Gregor 8025c37de788529cd9180f22069970737a7208bd625Douglas Gregor /// getLocation - Retrieves the location in the source code where 8035c37de788529cd9180f22069970737a7208bd625Douglas Gregor /// the name occurred. 8045c37de788529cd9180f22069970737a7208bd625Douglas Gregor SourceLocation getLocation() const { return Loc; } 8055c37de788529cd9180f22069970737a7208bd625Douglas Gregor 8065c37de788529cd9180f22069970737a7208bd625Douglas Gregor virtual SourceRange getSourceRange() const { return SourceRange(Loc); } 8075c37de788529cd9180f22069970737a7208bd625Douglas Gregor 8084a2487aeacf9f35ce553318c2eb39c20ec23845eDouglas Gregor UnresolvedFunctionNameExpr* Clone(ASTContext &C) const; 8094a2487aeacf9f35ce553318c2eb39c20ec23845eDouglas Gregor 8105c37de788529cd9180f22069970737a7208bd625Douglas Gregor static bool classof(const Stmt *T) { 81117330019f05966762bc952840ef1926b9becb145Douglas Gregor return T->getStmtClass() == UnresolvedFunctionNameExprClass; 8125c37de788529cd9180f22069970737a7208bd625Douglas Gregor } 81317330019f05966762bc952840ef1926b9becb145Douglas Gregor static bool classof(const UnresolvedFunctionNameExpr *) { return true; } 8145c37de788529cd9180f22069970737a7208bd625Douglas Gregor 8155c37de788529cd9180f22069970737a7208bd625Douglas Gregor // Iterators 8165c37de788529cd9180f22069970737a7208bd625Douglas Gregor virtual child_iterator child_begin(); 8175c37de788529cd9180f22069970737a7208bd625Douglas Gregor virtual child_iterator child_end(); 8185c37de788529cd9180f22069970737a7208bd625Douglas Gregor}; 8195c37de788529cd9180f22069970737a7208bd625Douglas Gregor 82064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// UnaryTypeTraitExpr - A GCC or MS unary type trait, as used in the 82164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// implementation of TR1/C++0x type trait templates. 82264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// Example: 82364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// __is_pod(int) == true 82464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// __is_enum(std::string) == false 82564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redlclass UnaryTypeTraitExpr : public Expr { 82664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl /// UTT - The trait. 82764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl UnaryTypeTrait UTT; 82864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 82964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl /// Loc - The location of the type trait keyword. 83064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl SourceLocation Loc; 83164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 83264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl /// RParen - The location of the closing paren. 83364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl SourceLocation RParen; 83464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 83564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl /// QueriedType - The type we're testing. 83664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl QualType QueriedType; 83764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 83864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redlpublic: 83964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl UnaryTypeTraitExpr(SourceLocation loc, UnaryTypeTrait utt, QualType queried, 84064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl SourceLocation rparen, QualType ty) 84164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl : Expr(UnaryTypeTraitExprClass, ty, false, queried->isDependentType()), 84264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl UTT(utt), Loc(loc), RParen(rparen), QueriedType(queried) { } 84364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 84464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl virtual SourceRange getSourceRange() const { return SourceRange(Loc, RParen);} 84564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 84664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl UnaryTypeTrait getTrait() const { return UTT; } 84764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 84864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl QualType getQueriedType() const { return QueriedType; } 84964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 850c87a282e7b80c055088fc51bdbe8fc73da64d4f8Daniel Dunbar bool EvaluateTrait() const; 85164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 85264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl static bool classof(const Stmt *T) { 85364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl return T->getStmtClass() == UnaryTypeTraitExprClass; 85464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl } 85564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl static bool classof(const UnaryTypeTraitExpr *) { return true; } 85664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 85764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl // Iterators 85864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl virtual child_iterator child_begin(); 85964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl virtual child_iterator child_end(); 86064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl}; 86164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 8621a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor/// QualifiedDeclRefExpr - A reference to a declared variable, 8631a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor/// function, enum, etc., that includes a qualification, e.g., 8641a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor/// "N::foo". 8651a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregorclass QualifiedDeclRefExpr : public DeclRefExpr { 866bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor /// QualifierRange - The source range that covers the 867bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor /// nested-name-specifier. 868bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor SourceRange QualifierRange; 869bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor 870ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// \brief The nested-name-specifier that qualifies this declaration 871ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// name. 872ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor NestedNameSpecifier *NNS; 873bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor 874bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregorpublic: 875ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor QualifiedDeclRefExpr(NamedDecl *d, QualType t, SourceLocation l, bool TD, 876ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor bool VD, SourceRange R, NestedNameSpecifier *NNS) 877ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor : DeclRefExpr(QualifiedDeclRefExprClass, d, t, l, TD, VD), 878ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor QualifierRange(R), NNS(NNS) { } 879bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor 880bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor /// \brief Retrieve the source range of the nested-name-specifier. 881bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor SourceRange getQualifierRange() const { return QualifierRange; } 882bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor 883ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// \brief Retrieve the nested-name-specifier that qualifies this 884ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// declaration. 885ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor NestedNameSpecifier *getQualifier() const { return NNS; } 8861a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor 8871a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor virtual SourceRange getSourceRange() const { 888bad351822117eaf280081494e3dbe4a06c0dbfcfDouglas Gregor return SourceRange(QualifierRange.getBegin(), getLocation()); 8891a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor } 8901a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor 8911a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor static bool classof(const Stmt *T) { 8921a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor return T->getStmtClass() == QualifiedDeclRefExprClass; 8931a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor } 8941a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor static bool classof(const QualifiedDeclRefExpr *) { return true; } 8951a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor}; 8961a49af9681c350fef58e677f85ccb9a77e8e9d0aDouglas Gregor 8975953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// \brief A qualified reference to a name whose declaration cannot 8985953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// yet be resolved. 8995953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// 9005953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// UnresolvedDeclRefExpr is similar to QualifiedDeclRefExpr in that 9015953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// it expresses a qualified reference to a declaration such as 9025953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// X<T>::value. The difference, however, is that an 9035953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// UnresolvedDeclRefExpr node is used only within C++ templates when 9045953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// the qualification (e.g., X<T>::) refers to a dependent type. In 9055953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// this case, X<T>::value cannot resolve to a declaration because the 9065953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// declaration will differ from on instantiation of X<T> to the 907ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor/// next. Therefore, UnresolvedDeclRefExpr keeps track of the 908ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor/// qualifier (X<T>::) and the name of the entity being referenced 909ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor/// ("value"). Such expressions will instantiate to 910ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor/// QualifiedDeclRefExprs. 9115953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregorclass UnresolvedDeclRefExpr : public Expr { 9125953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// The name of the entity we will be referencing. 9135953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor DeclarationName Name; 9145953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 9155953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// Location of the name of the declaration we're referencing. 9165953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor SourceLocation Loc; 9175953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 9185953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// QualifierRange - The source range that covers the 9195953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// nested-name-specifier. 9205953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor SourceRange QualifierRange; 9215953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 922ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// \brief The nested-name-specifier that qualifies this unresolved 923ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// declaration name. 924ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor NestedNameSpecifier *NNS; 9255953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 9265953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregorpublic: 927ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor UnresolvedDeclRefExpr(DeclarationName N, QualType T, SourceLocation L, 928ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor SourceRange R, NestedNameSpecifier *NNS) 929ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor : Expr(UnresolvedDeclRefExprClass, T, true, true), 930ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor Name(N), Loc(L), QualifierRange(R), NNS(NNS) { } 9315953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 9325953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// \brief Retrieve the name that this expression refers to. 9335953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor DeclarationName getDeclName() const { return Name; } 9345953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 9355953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// \brief Retrieve the location of the name within the expression. 9365953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor SourceLocation getLocation() const { return Loc; } 9375953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 9385953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// \brief Retrieve the source range of the nested-name-specifier. 9395953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor SourceRange getQualifierRange() const { return QualifierRange; } 9405953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 941ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// \brief Retrieve the nested-name-specifier that qualifies this 942ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// declaration. 943ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor NestedNameSpecifier *getQualifier() const { return NNS; } 9445953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 9455953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor virtual SourceRange getSourceRange() const { 9465953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor return SourceRange(QualifierRange.getBegin(), getLocation()); 9475953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor } 9485953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 9495953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor static bool classof(const Stmt *T) { 9505953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor return T->getStmtClass() == UnresolvedDeclRefExprClass; 9515953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor } 9525953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor static bool classof(const UnresolvedDeclRefExpr *) { return true; } 9535953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 9545953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor virtual StmtIterator child_begin(); 9555953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor virtual StmtIterator child_end(); 9565953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor}; 9575953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 9582d44e8a41de8a33c0f04ac198714f71dc841bab0Anders Carlssonclass CXXExprWithTemporaries : public Expr { 95902bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson Stmt *SubExpr; 96002bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 96102bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson CXXTempVarDecl **Decls; 96202bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson unsigned NumDecls; 96302bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 96402bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlssonpublic: 9652d44e8a41de8a33c0f04ac198714f71dc841bab0Anders Carlsson CXXExprWithTemporaries(Expr *subexpr, CXXTempVarDecl **decls, 9662d44e8a41de8a33c0f04ac198714f71dc841bab0Anders Carlsson unsigned numdecls); 9672d44e8a41de8a33c0f04ac198714f71dc841bab0Anders Carlsson ~CXXExprWithTemporaries(); 96802bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 96902bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson const Expr *getSubExpr() const { return cast<Expr>(SubExpr); } 97002bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson Expr *getSubExpr() { return cast<Expr>(SubExpr); } 97102bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 97202bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson virtual SourceRange getSourceRange() const { return SourceRange(); } 97302bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 97402bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson // Implement isa/cast/dyncast/etc. 97502bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson static bool classof(const Stmt *T) { 9762d44e8a41de8a33c0f04ac198714f71dc841bab0Anders Carlsson return T->getStmtClass() == CXXExprWithTemporariesClass; 97702bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson } 9782d44e8a41de8a33c0f04ac198714f71dc841bab0Anders Carlsson static bool classof(const CXXExprWithTemporaries *) { return true; } 97902bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 98002bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson // Iterators 98102bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson virtual child_iterator child_begin(); 98202bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson virtual child_iterator child_end(); 98302bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson}; 98402bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 9855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 9865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 9875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 988