blob: 94e1ca1e06e78fe18e21b00c56038c6457a8f9d4 [file] [log] [blame]
John McCall275c10a2009-10-29 07:48:15 +00001//===--- TemplateBase.cpp - Common template AST class implementation ------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements common classes used throughout C++ template
11// representations.
12//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/ADT/FoldingSet.h"
16#include "clang/AST/TemplateBase.h"
17#include "clang/AST/DeclBase.h"
18#include "clang/AST/Expr.h"
John McCall833ca992009-10-29 08:12:44 +000019#include "clang/AST/TypeLoc.h"
John McCall275c10a2009-10-29 07:48:15 +000020
21using namespace clang;
22
23//===----------------------------------------------------------------------===//
24// TemplateArgument Implementation
25//===----------------------------------------------------------------------===//
26
John McCall275c10a2009-10-29 07:48:15 +000027/// \brief Construct a template argument pack.
28void TemplateArgument::setArgumentPack(TemplateArgument *args, unsigned NumArgs,
29 bool CopyArgs) {
30 assert(isNull() && "Must call setArgumentPack on a null argument");
31
32 Kind = Pack;
33 Args.NumArgs = NumArgs;
34 Args.CopyArgs = CopyArgs;
35 if (!Args.CopyArgs) {
36 Args.Args = args;
37 return;
38 }
39
40 // FIXME: Allocate in ASTContext
41 Args.Args = new TemplateArgument[NumArgs];
42 for (unsigned I = 0; I != Args.NumArgs; ++I)
43 Args.Args[I] = args[I];
44}
45
46void TemplateArgument::Profile(llvm::FoldingSetNodeID &ID,
47 ASTContext &Context) const {
48 ID.AddInteger(Kind);
49 switch (Kind) {
50 case Null:
51 break;
52
53 case Type:
54 getAsType().Profile(ID);
55 break;
56
57 case Declaration:
58 ID.AddPointer(getAsDecl()? getAsDecl()->getCanonicalDecl() : 0);
59 break;
60
61 case Integral:
62 getAsIntegral()->Profile(ID);
63 getIntegralType().Profile(ID);
64 break;
65
66 case Expression:
67 getAsExpr()->Profile(ID, Context, true);
68 break;
69
70 case Pack:
71 ID.AddInteger(Args.NumArgs);
72 for (unsigned I = 0; I != Args.NumArgs; ++I)
73 Args.Args[I].Profile(ID, Context);
74 }
75}
John McCall833ca992009-10-29 08:12:44 +000076
77//===----------------------------------------------------------------------===//
78// TemplateArgumentLoc Implementation
79//===----------------------------------------------------------------------===//
80
John McCall828bff22009-10-29 18:45:58 +000081SourceRange TemplateArgumentLoc::getSourceRange() const {
John McCall833ca992009-10-29 08:12:44 +000082 switch (Argument.getKind()) {
83 case TemplateArgument::Expression:
John McCall828bff22009-10-29 18:45:58 +000084 return getSourceExpression()->getSourceRange();
John McCall833ca992009-10-29 08:12:44 +000085 case TemplateArgument::Declaration:
John McCall828bff22009-10-29 18:45:58 +000086 return getSourceDeclExpression()->getSourceRange();
87 case TemplateArgument::Type:
88 return getSourceDeclaratorInfo()->getTypeLoc().getFullSourceRange();
John McCall833ca992009-10-29 08:12:44 +000089 case TemplateArgument::Integral:
90 case TemplateArgument::Pack:
91 case TemplateArgument::Null:
John McCall828bff22009-10-29 18:45:58 +000092 return SourceRange();
John McCall833ca992009-10-29 08:12:44 +000093 }
94
95 // Silence bonus gcc warning.
John McCall828bff22009-10-29 18:45:58 +000096 return SourceRange();
John McCall833ca992009-10-29 08:12:44 +000097}