1 //===--- Attr.h - Classes for representing attributes ----------*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file defines the Attr interface and subclasses.
12 //===----------------------------------------------------------------------===//
14 #ifndef LLVM_CLANG_AST_ATTR_H
15 #define LLVM_CLANG_AST_ATTR_H
17 #include "clang/Basic/LLVM.h"
18 #include "clang/Basic/AttrKinds.h"
19 #include "clang/AST/Type.h"
20 #include "clang/Basic/SourceLocation.h"
21 #include "clang/Basic/VersionTuple.h"
22 #include "llvm/ADT/SmallVector.h"
23 #include "llvm/ADT/StringRef.h"
24 #include "llvm/ADT/StringSwitch.h"
25 #include "llvm/Support/ErrorHandling.h"
26 #include "llvm/Support/raw_ostream.h"
34 class ObjCInterfaceDecl;
41 // Defined in ASTContext.h
42 void *operator new(size_t Bytes, const clang::ASTContext &C,
43 size_t Alignment = 16);
44 // FIXME: Being forced to not have a default argument here due to redeclaration
45 // rules on default arguments sucks
46 void *operator new[](size_t Bytes, const clang::ASTContext &C,
49 // It is good practice to pair new/delete operators. Also, MSVC gives many
50 // warnings if a matching delete overload is not declared, even though the
51 // throw() spec guarantees it will not be implicitly called.
52 void operator delete(void *Ptr, const clang::ASTContext &C, size_t);
53 void operator delete[](void *Ptr, const clang::ASTContext &C, size_t);
57 /// Attr - This represents one attribute.
61 unsigned AttrKind : 16;
68 void* operator new(size_t bytes) throw() {
69 llvm_unreachable("Attrs cannot be allocated with regular 'new'.");
71 void operator delete(void* data) throw() {
72 llvm_unreachable("Attrs cannot be released with regular 'delete'.");
76 // Forward so that the regular new and delete do not hide global ones.
77 void* operator new(size_t Bytes, ASTContext &C,
78 size_t Alignment = 16) throw() {
79 return ::operator new(Bytes, C, Alignment);
81 void operator delete(void *Ptr, ASTContext &C,
82 size_t Alignment) throw() {
83 return ::operator delete(Ptr, C, Alignment);
87 Attr(attr::Kind AK, SourceRange R)
88 : Range(R), AttrKind(AK), Inherited(false) {}
92 attr::Kind getKind() const {
93 return static_cast<attr::Kind>(AttrKind);
96 SourceLocation getLocation() const { return Range.getBegin(); }
97 SourceRange getRange() const { return Range; }
98 void setRange(SourceRange R) { Range = R; }
100 bool isInherited() const { return Inherited; }
102 // Clone this attribute.
103 virtual Attr* clone(ASTContext &C) const = 0;
105 virtual bool isLateParsed() const { return false; }
107 // Pretty print this attribute.
108 virtual void printPretty(llvm::raw_ostream &OS,
109 const PrintingPolicy &Policy) const = 0;
111 // Implement isa/cast/dyncast/etc.
112 static bool classof(const Attr *) { return true; }
115 class InheritableAttr : public Attr {
116 virtual void anchor();
118 InheritableAttr(attr::Kind AK, SourceRange R)
122 void setInherited(bool I) { Inherited = I; }
124 // Implement isa/cast/dyncast/etc.
125 static bool classof(const Attr *A) {
126 return A->getKind() <= attr::LAST_INHERITABLE;
128 static bool classof(const InheritableAttr *) { return true; }
131 class InheritableParamAttr : public InheritableAttr {
132 virtual void anchor();
134 InheritableParamAttr(attr::Kind AK, SourceRange R)
135 : InheritableAttr(AK, R) {}
138 // Implement isa/cast/dyncast/etc.
139 static bool classof(const Attr *A) {
140 return A->getKind() <= attr::LAST_INHERITABLE_PARAM;
142 static bool classof(const InheritableParamAttr *) { return true; }
145 #include "clang/AST/Attrs.inc"
147 /// AttrVec - A vector of Attr, which is how they are stored on the AST.
148 typedef SmallVector<Attr*, 2> AttrVec;
149 typedef SmallVector<const Attr*, 2> ConstAttrVec;
151 /// specific_attr_iterator - Iterates over a subrange of an AttrVec, only
152 /// providing attributes that are of a specifc type.
153 template <typename SpecificAttr, typename Container = AttrVec>
154 class specific_attr_iterator {
155 typedef typename Container::const_iterator Iterator;
157 /// Current - The current, underlying iterator.
158 /// In order to ensure we don't dereference an invalid iterator unless
159 /// specifically requested, we don't necessarily advance this all the
160 /// way. Instead, we advance it when an operation is requested; if the
161 /// operation is acting on what should be a past-the-end iterator,
162 /// then we offer no guarantees, but this way we do not dererence a
163 /// past-the-end iterator when we move to a past-the-end position.
164 mutable Iterator Current;
166 void AdvanceToNext() const {
167 while (!isa<SpecificAttr>(*Current))
171 void AdvanceToNext(Iterator I) const {
172 while (Current != I && !isa<SpecificAttr>(*Current))
177 typedef SpecificAttr* value_type;
178 typedef SpecificAttr* reference;
179 typedef SpecificAttr* pointer;
180 typedef std::forward_iterator_tag iterator_category;
181 typedef std::ptrdiff_t difference_type;
183 specific_attr_iterator() : Current() { }
184 explicit specific_attr_iterator(Iterator i) : Current(i) { }
186 reference operator*() const {
188 return cast<SpecificAttr>(*Current);
190 pointer operator->() const {
192 return cast<SpecificAttr>(*Current);
195 specific_attr_iterator& operator++() {
199 specific_attr_iterator operator++(int) {
200 specific_attr_iterator Tmp(*this);
205 friend bool operator==(specific_attr_iterator Left,
206 specific_attr_iterator Right) {
207 if (Left.Current < Right.Current)
208 Left.AdvanceToNext(Right.Current);
210 Right.AdvanceToNext(Left.Current);
211 return Left.Current == Right.Current;
213 friend bool operator!=(specific_attr_iterator Left,
214 specific_attr_iterator Right) {
215 return !(Left == Right);
219 template <typename SpecificAttr, typename Container>
220 inline specific_attr_iterator<SpecificAttr, Container>
221 specific_attr_begin(const Container& container) {
222 return specific_attr_iterator<SpecificAttr, Container>(container.begin());
224 template <typename SpecificAttr, typename Container>
225 inline specific_attr_iterator<SpecificAttr, Container>
226 specific_attr_end(const Container& container) {
227 return specific_attr_iterator<SpecificAttr, Container>(container.end());
230 template <typename SpecificAttr, typename Container>
231 inline bool hasSpecificAttr(const Container& container) {
232 return specific_attr_begin<SpecificAttr>(container) !=
233 specific_attr_end<SpecificAttr>(container);
235 template <typename SpecificAttr, typename Container>
236 inline SpecificAttr *getSpecificAttr(const Container& container) {
237 specific_attr_iterator<SpecificAttr, Container> i =
238 specific_attr_begin<SpecificAttr>(container);
239 if (i != specific_attr_end<SpecificAttr>(container))
245 /// getMaxAlignment - Returns the highest alignment value found among
246 /// AlignedAttrs in an AttrVec, or 0 if there are none.
247 inline unsigned getMaxAttrAlignment(const AttrVec& V, ASTContext &Ctx) {
249 specific_attr_iterator<AlignedAttr> i(V.begin()), e(V.end());
251 Align = std::max(Align, i->getAlignment(Ctx));
255 } // end namespace clang