clang::lifetimes::internal::TestPointFact Class Reference
A dummy-fact used to mark a specific point in the code for testing. More...
#include "clang/Analysis/Analyses/LifetimeSafety/Facts.h"
Inheritance diagram for clang::lifetimes::internal::TestPointFact:
Public Member Functions | |
| TestPointFact (StringRef Annotation) | |
| StringRef | getAnnotation () const |
| void | dump (llvm::raw_ostream &OS, const LoanManager &, const OriginManager &) const override |
| Public Member Functions inherited from clang::lifetimes::internal::Fact | |
| virtual | ~Fact ()=default |
| Kind | getKind () const |
| void | setID (FactID ID) |
| FactID | getID () const |
| template<typename T> | |
| const T * | getAs () const |
Static Public Member Functions | |
| static bool | classof (const Fact *F) |
Additional Inherited Members | |
| Public Types inherited from clang::lifetimes::internal::Fact | |
| enum class | Kind : uint8_t { Issue , Expire , OriginFlow , ReturnOfOrigin , Use , TestPoint } |
| Protected Member Functions inherited from clang::lifetimes::internal::Fact | |
| Fact (Kind K) | |
Detailed Description
A dummy-fact used to mark a specific point in the code for testing.
It is generated by recognizing a void("__lifetime_test_point_...") cast.
Constructor & Destructor Documentation
◆ TestPointFact()
|
inlineexplicit |
Definition at line 183 of file Facts.h.
References clang::lifetimes::internal::Fact::Fact(), and clang::lifetimes::internal::Fact::TestPoint.
Member Function Documentation
◆ classof()
Definition at line 181 of file Facts.h.
References clang::lifetimes::internal::Fact::Fact(), clang::lifetimes::internal::Fact::getKind(), and clang::lifetimes::internal::Fact::TestPoint.
◆ dump()
|
overridevirtual |
Reimplemented from clang::lifetimes::internal::Fact.
Definition at line 60 of file Facts.cpp.
References getAnnotation().
◆ getAnnotation()
|
inline |
The documentation for this class was generated from the following files:
Generated on for clang by
1.14.0