1 //===-- TypeNodes.def - Metadata about Type AST nodes -----------*- 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 AST type info database. Each type node is
11 // enumerated by providing its name (e.g., "Builtin" or "Enum") and
12 // base class (e.g., "Type" or "TagType"). Depending on where in the
13 // abstract syntax tree the type will show up, the enumeration uses
14 // one of four different macros:
16 // TYPE(Class, Base) - A type that can show up anywhere in the AST,
17 // and might be dependent, canonical, or non-canonical. All clients
18 // will need to understand these types.
20 // ABSTRACT_TYPE(Class, Base) - An abstract class that shows up in
21 // the type hierarchy but has no concrete instances.
23 // NON_CANONICAL_TYPE(Class, Base) - A type that can show up
24 // anywhere in the AST but will never be a part of a canonical
25 // type. Clients that only need to deal with canonical types
26 // (ignoring, e.g., typedefs and other type alises used for
27 // pretty-printing) can ignore these types.
29 // DEPENDENT_TYPE(Class, Base) - A type that will only show up
30 // within a C++ template that has not been instantiated, e.g., a
31 // type that is always dependent. Clients that do not need to deal
32 // with uninstantiated C++ templates can ignore these types.
34 // NON_CANONICAL_UNLESS_DEPENDENT_TYPE(Class, Base) - A type that
35 // is non-canonical unless it is dependent. Defaults to TYPE because
36 // it is neither reliably dependent nor reliably non-canonical.
38 // There is a sixth macro, independent of the others. Most clients
39 // will not need to use it.
41 // LEAF_TYPE(Class) - A type that never has inner types. Clients
42 // which can operate on such types more efficiently may wish to do so.
44 //===----------------------------------------------------------------------===//
47 # define ABSTRACT_TYPE(Class, Base) TYPE(Class, Base)
50 #ifndef NON_CANONICAL_TYPE
51 # define NON_CANONICAL_TYPE(Class, Base) TYPE(Class, Base)
54 #ifndef DEPENDENT_TYPE
55 # define DEPENDENT_TYPE(Class, Base) TYPE(Class, Base)
58 #ifndef NON_CANONICAL_UNLESS_DEPENDENT_TYPE
59 # define NON_CANONICAL_UNLESS_DEPENDENT_TYPE(Class, Base) TYPE(Class, Base)
65 TYPE(BlockPointer, Type)
66 ABSTRACT_TYPE(Reference, Type)
67 TYPE(LValueReference, ReferenceType)
68 TYPE(RValueReference, ReferenceType)
69 TYPE(MemberPointer, Type)
70 ABSTRACT_TYPE(Array, Type)
71 TYPE(ConstantArray, ArrayType)
72 TYPE(IncompleteArray, ArrayType)
73 TYPE(VariableArray, ArrayType)
74 DEPENDENT_TYPE(DependentSizedArray, ArrayType)
75 DEPENDENT_TYPE(DependentSizedExtVector, Type)
77 TYPE(ExtVector, VectorType)
78 ABSTRACT_TYPE(Function, Type)
79 TYPE(FunctionProto, FunctionType)
80 TYPE(FunctionNoProto, FunctionType)
81 DEPENDENT_TYPE(UnresolvedUsing, Type)
82 NON_CANONICAL_TYPE(Paren, Type)
83 NON_CANONICAL_TYPE(Typedef, Type)
84 NON_CANONICAL_TYPE(Decayed, Type)
85 NON_CANONICAL_UNLESS_DEPENDENT_TYPE(TypeOfExpr, Type)
86 NON_CANONICAL_UNLESS_DEPENDENT_TYPE(TypeOf, Type)
87 NON_CANONICAL_UNLESS_DEPENDENT_TYPE(Decltype, Type)
88 NON_CANONICAL_UNLESS_DEPENDENT_TYPE(UnaryTransform, Type)
89 ABSTRACT_TYPE(Tag, Type)
92 NON_CANONICAL_TYPE(Elaborated, Type)
93 NON_CANONICAL_TYPE(Attributed, Type)
94 DEPENDENT_TYPE(TemplateTypeParm, Type)
95 NON_CANONICAL_TYPE(SubstTemplateTypeParm, Type)
96 DEPENDENT_TYPE(SubstTemplateTypeParmPack, Type)
97 NON_CANONICAL_UNLESS_DEPENDENT_TYPE(TemplateSpecialization, Type)
99 DEPENDENT_TYPE(InjectedClassName, Type)
100 DEPENDENT_TYPE(DependentName, Type)
101 DEPENDENT_TYPE(DependentTemplateSpecialization, Type)
102 NON_CANONICAL_UNLESS_DEPENDENT_TYPE(PackExpansion, Type)
103 TYPE(ObjCObject, Type)
104 TYPE(ObjCInterface, ObjCObjectType)
105 TYPE(ObjCObjectPointer, Type)
113 // These types are always leaves in the type hierarchy.
118 LEAF_TYPE(InjectedClassName)
119 LEAF_TYPE(ObjCInterface)
120 LEAF_TYPE(TemplateTypeParm)
124 #undef NON_CANONICAL_UNLESS_DEPENDENT_TYPE
125 #undef DEPENDENT_TYPE
126 #undef NON_CANONICAL_TYPE