clang
7.0.0
|
#include "llvm/ADT/ImmutableList.h"
#include "llvm/ADT/ImmutableMap.h"
#include "llvm/ADT/ImmutableSet.h"
#include "llvm/Support/Allocator.h"
#include <cstdint>
Go to the source code of this file.
Namespaces | |
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 type named NameTy . More... | |
#define | CLANG_ENTO_PROGRAMSTATE_MAP(Key, Value) llvm::ImmutableMap<Key, Value> |
Helper for registering a map trait. More... | |
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 105 of file ProgramStateTrait.h.
#define REGISTER_TRAIT_WITH_PROGRAMSTATE | ( | Name, | |
Type | |||
) |
Declares a program state trait for type Type
called Name
, and introduce a type 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 35 of file ProgramStateTrait.h.