1 //===--- ParsedTemplate.h - Template Parsing Data Types ---------*- C++ -*-===//
29   /// \brief Represents the parsed form of a C++ template argument.
32     /// \brief Describes the kind of template argument that was parsed.
34       /// \brief A template type parameter, stored as a type.
36       /// \brief A non-type template parameter, stored as an expression.
38       /// \brief A template template argument, stored as a template name.
39       Template  enumerator
42     /// \brief Build an empty template argument. 
44     /// This template argument is invalid.
47     /// \brief Create a template type argument or non-type template argument.
49     /// \param Arg the template type argument or non-type template argument.
54     /// \brief Create a template template argument.
56     /// \param SS the C++ scope specifier that precedes the template name, if
59     /// \param Template the template to which this template template 
62     /// \param TemplateLoc the location of the template name.
64                            ParsedTemplateTy Template,   in ParsedTemplateArgument()  argument
66       : Kind(ParsedTemplateArgument::Template),  in ParsedTemplateArgument()
67         Arg(Template.getAsOpaquePtr()),   in ParsedTemplateArgument()
70     /// \brief Determine whether the given template argument is invalid.
73     /// \brief Determine what kind of template argument we have.
76     /// \brief Retrieve the template type argument's type.
78       assert(Kind == Type && "Not a template type argument");  in getAsType()
82     /// \brief Retrieve the non-type template argument's expression.
84       assert(Kind == NonType && "Not a non-type template argument");  in getAsExpr()
88     /// \brief Retrieve the template template argument's template name.
90       assert(Kind == Template && "Not a template template argument");  in getAsTemplate()
94     /// \brief Retrieve the location of the template argument.
97     /// \brief Retrieve the nested-name-specifier that precedes the template
98     /// name in a template template argument.
100       assert(Kind == Template &&   in getScopeSpec()
101              "Only template template arguments can have a scope specifier");  in getScopeSpec()
105     /// \brief Retrieve the location of the ellipsis that makes a template
106     /// template argument into a pack expansion.
108       assert(Kind == Template &&   in getEllipsisLoc()
109              "Only template template arguments can have an ellipsis");  in getEllipsisLoc()
113     /// \brief Retrieve a pack expansion of the given template template
123     /// \brief The actual template argument representation, which may be
125     /// expression), or an Sema::TemplateTy (for a template).
128     /// \brief The nested-name-specifier that can accompany a template template
132     /// \brief the location of the template argument.
135     /// \brief The ellipsis location that can accompany a template template
136     /// argument (turning it into a template template argument expansion).
140   /// \brief Information about a template-id annotation
143   /// A template-id annotation token contains the template declaration, 
144   /// template arguments, whether those template arguments were types, 
145   /// expressions, or template names, and the source locations for important 
146   /// tokens. All of the information about template arguments is allocated 
149     /// \brief The nested-name-specifier that precedes the template name.
152     /// TemplateKWLoc - The location of the template keyword within the
156     /// TemplateNameLoc - The location of the template name within the
166     /// The declaration of the template corresponding to the
167     /// template-name.
168     ParsedTemplateTy Template;  member
170     /// The kind of template that Template refers to.
173     /// The location of the '<' before the template argument
177     /// The location of the '>' after the template argument
181     /// NumArgs - The number of template arguments.
184     /// \brief Retrieves a pointer to the template arguments
201       // Default-construct parsed template arguments.  in Allocate()
216   /// Retrieves the range of the given template parameter lists.