1 //===--- Attr.h - Classes for representing expressions ----------*- 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"
33 class ObjCInterfaceDecl;
40 // Defined in ASTContext.h
41 void *operator new(size_t Bytes, const clang::ASTContext &C,
42 size_t Alignment = 16) throw ();
43 // FIXME: Being forced to not have a default argument here due to redeclaration
44 // rules on default arguments sucks
45 void *operator new[](size_t Bytes, const clang::ASTContext &C,
46 size_t Alignment) throw ();
48 // It is good practice to pair new/delete operators. Also, MSVC gives many
49 // warnings if a matching delete overload is not declared, even though the
50 // throw() spec guarantees it will not be implicitly called.
51 void operator delete(void *Ptr, const clang::ASTContext &C, size_t)
53 void operator delete[](void *Ptr, const clang::ASTContext &C, size_t)
58 /// Attr - This represents one attribute.
62 unsigned AttrKind : 16;
69 void* operator new(size_t bytes) throw() {
70 llvm_unreachable("Attrs cannot be allocated with regular 'new'.");
72 void operator delete(void* data) throw() {
73 llvm_unreachable("Attrs cannot be released with regular 'delete'.");
77 // Forward so that the regular new and delete do not hide global ones.
78 void* operator new(size_t Bytes, ASTContext &C,
79 size_t Alignment = 16) throw() {
80 return ::operator new(Bytes, C, Alignment);
82 void operator delete(void *Ptr, ASTContext &C,
83 size_t Alignment) throw() {
84 return ::operator delete(Ptr, C, Alignment);
88 Attr(attr::Kind AK, SourceRange R)
89 : Range(R), AttrKind(AK), Inherited(false) {}
93 attr::Kind getKind() const {
94 return static_cast<attr::Kind>(AttrKind);
97 SourceLocation getLocation() const { return Range.getBegin(); }
98 SourceRange getRange() const { return Range; }
99 void setRange(SourceRange R) { Range = R; }
101 bool isInherited() const { return Inherited; }
103 // Clone this attribute.
104 virtual Attr* clone(ASTContext &C) const = 0;
106 // Implement isa/cast/dyncast/etc.
107 static bool classof(const Attr *) { return true; }
110 class InheritableAttr : public Attr {
112 InheritableAttr(attr::Kind AK, SourceRange R)
116 void setInherited(bool I) { Inherited = I; }
118 // Implement isa/cast/dyncast/etc.
119 static bool classof(const Attr *A) {
120 return A->getKind() <= attr::LAST_INHERITABLE;
122 static bool classof(const InheritableAttr *) { return true; }
125 class InheritableParamAttr : public InheritableAttr {
127 InheritableParamAttr(attr::Kind AK, SourceRange R)
128 : InheritableAttr(AK, R) {}
131 // Implement isa/cast/dyncast/etc.
132 static bool classof(const Attr *A) {
133 return A->getKind() <= attr::LAST_INHERITABLE_PARAM;
135 static bool classof(const InheritableParamAttr *) { return true; }
138 #include "clang/AST/Attrs.inc"
140 /// AttrVec - A vector of Attr, which is how they are stored on the AST.
141 typedef SmallVector<Attr*, 2> AttrVec;
142 typedef SmallVector<const Attr*, 2> ConstAttrVec;
144 /// DestroyAttrs - Destroy the contents of an AttrVec.
145 inline void DestroyAttrs (AttrVec& V, ASTContext &C) {
148 /// specific_attr_iterator - Iterates over a subrange of an AttrVec, only
149 /// providing attributes that are of a specifc type.
150 template <typename SpecificAttr>
151 class specific_attr_iterator {
152 /// Current - The current, underlying iterator.
153 /// In order to ensure we don't dereference an invalid iterator unless
154 /// specifically requested, we don't necessarily advance this all the
155 /// way. Instead, we advance it when an operation is requested; if the
156 /// operation is acting on what should be a past-the-end iterator,
157 /// then we offer no guarantees, but this way we do not dererence a
158 /// past-the-end iterator when we move to a past-the-end position.
159 mutable AttrVec::const_iterator Current;
161 void AdvanceToNext() const {
162 while (!isa<SpecificAttr>(*Current))
166 void AdvanceToNext(AttrVec::const_iterator I) const {
167 while (Current != I && !isa<SpecificAttr>(*Current))
172 typedef SpecificAttr* value_type;
173 typedef SpecificAttr* reference;
174 typedef SpecificAttr* pointer;
175 typedef std::forward_iterator_tag iterator_category;
176 typedef std::ptrdiff_t difference_type;
178 specific_attr_iterator() : Current() { }
179 explicit specific_attr_iterator(AttrVec::const_iterator i) : Current(i) { }
181 reference operator*() const {
183 return cast<SpecificAttr>(*Current);
185 pointer operator->() const {
187 return cast<SpecificAttr>(*Current);
190 specific_attr_iterator& operator++() {
194 specific_attr_iterator operator++(int) {
195 specific_attr_iterator Tmp(*this);
200 friend bool operator==(specific_attr_iterator Left,
201 specific_attr_iterator Right) {
202 if (Left.Current < Right.Current)
203 Left.AdvanceToNext(Right.Current);
205 Right.AdvanceToNext(Left.Current);
206 return Left.Current == Right.Current;
208 friend bool operator!=(specific_attr_iterator Left,
209 specific_attr_iterator Right) {
210 return !(Left == Right);
214 template <typename T>
215 inline specific_attr_iterator<T> specific_attr_begin(const AttrVec& vec) {
216 return specific_attr_iterator<T>(vec.begin());
218 template <typename T>
219 inline specific_attr_iterator<T> specific_attr_end(const AttrVec& vec) {
220 return specific_attr_iterator<T>(vec.end());
223 template <typename T>
224 inline bool hasSpecificAttr(const AttrVec& vec) {
225 return specific_attr_begin<T>(vec) != specific_attr_end<T>(vec);
227 template <typename T>
228 inline T *getSpecificAttr(const AttrVec& vec) {
229 specific_attr_iterator<T> i = specific_attr_begin<T>(vec);
230 if (i != specific_attr_end<T>(vec))
236 /// getMaxAlignment - Returns the highest alignment value found among
237 /// AlignedAttrs in an AttrVec, or 0 if there are none.
238 inline unsigned getMaxAttrAlignment(const AttrVec& V, ASTContext &Ctx) {
240 specific_attr_iterator<AlignedAttr> i(V.begin()), e(V.end());
242 Align = std::max(Align, i->getAlignment(Ctx));
246 } // end namespace clang