clang
3.9.0
|
#include "llvm/Support/Allocator.h"
#include "llvm/Support/DataTypes.h"
Go to the source code of this file.
Namespaces | |
llvm | |
DominatorTree GraphTraits specialization so the DominatorTree can be iterable by generic graph iterators. | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |
Macros | |
#define | REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, Type) |
Declares a program state trait for type Type called Name , and introduce a typedef named NameTy . More... | |
#define | CLANG_ENTO_PROGRAMSTATE_MAP(Key, Value) llvm::ImmutableMap<Key, Value> |
Helper for registering a map trait. More... | |
#define CLANG_ENTO_PROGRAMSTATE_MAP | ( | Key, | |
Value | |||
) | llvm::ImmutableMap<Key, Value> |
Helper for registering a map trait.
If the map type were written directly in the invocation of REGISTER_TRAIT_WITH_PROGRAMSTATE, the comma in the template arguments would be treated as a macro argument separator, which is wrong. This allows the user to specify a map type in a way that the preprocessor can deal with.
Definition at line 104 of file ProgramStateTrait.h.
#define REGISTER_TRAIT_WITH_PROGRAMSTATE | ( | Name, | |
Type | |||
) |
Declares a program state trait for type Type
called Name
, and introduce a typedef named NameTy
.
The macro should not be used inside namespaces, or for traits that must be accessible from more than one translation unit.
Definition at line 40 of file ProgramStateTrait.h.