TypeNodes.def revision 72564e73277e29f6db3305d1f27ba408abb7ed88
1//===-- TypeNodes.def - Metadata about Type AST nodes -----------*- C++ -*-===//
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 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:
15//
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.
19//
20//    ABSTRACT_TYPE(Class, Base) - An abstract class that shows up in
21//    the type hierarchy but has no concrete instances.
22//
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.
28//
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.
33//
34//===----------------------------------------------------------------------===//
35
36#ifndef ABSTRACT_TYPE
37#  define ABSTRACT_TYPE(Class, Base) TYPE(Class, Base)
38#endif
39
40#ifndef NON_CANONICAL_TYPE
41#  define NON_CANONICAL_TYPE(Class, Base) TYPE(Class, Base)
42#endif
43
44#ifndef DEPENDENT_TYPE
45#  define DEPENDENT_TYPE(Class, Base) TYPE(Class, Base)
46#endif
47
48TYPE(ExtQual, Type)
49TYPE(Builtin, Type)
50TYPE(FixedWidthInt, Type)
51TYPE(Complex, Type)
52TYPE(Pointer, Type)
53TYPE(BlockPointer, Type)
54TYPE(Reference, Type)
55TYPE(MemberPointer, Type)
56ABSTRACT_TYPE(Array, Type)
57TYPE(ConstantArray, ArrayType)
58TYPE(IncompleteArray, ArrayType)
59TYPE(VariableArray, ArrayType)
60DEPENDENT_TYPE(DependentSizedArray, ArrayType)
61TYPE(Vector, Type)
62TYPE(ExtVector, VectorType)
63ABSTRACT_TYPE(Function, Type)
64TYPE(FunctionProto, Function)
65TYPE(FunctionNoProto, Function)
66NON_CANONICAL_TYPE(Typedef, Type)
67NON_CANONICAL_TYPE(TypeOfExpr, Type)
68NON_CANONICAL_TYPE(TypeOf, Type)
69ABSTRACT_TYPE(Tag, Type)
70TYPE(Record, TagType)
71TYPE(CXXRecord, RecordType) // FIXME: kill this one
72TYPE(Enum, TagType)
73DEPENDENT_TYPE(TemplateTypeParm, Type)
74NON_CANONICAL_TYPE(ClassTemplateSpecialization, Type)
75TYPE(ObjCInterface, Type)
76TYPE(ObjCQualifiedInterface, ObjCInterfaceType)
77TYPE(ObjCQualifiedId, Type)
78TYPE(ObjCQualifiedClass, Type)
79
80#undef DEPENDENT_TYPE
81#undef NON_CANONICAL_TYPE
82#undef ABSTRACT_TYPE
83#undef TYPE
84