clang::lifetimes::internal::ExpireFact Class Reference

#include "clang/Analysis/Analyses/LifetimeSafety/Facts.h"

Inheritance diagram for clang::lifetimes::internal::ExpireFact:

Public Member Functions
	ExpireFact (LoanID LID, SourceLocation ExpiryLoc)
LoanID	getLoanID () const
SourceLocation	getExpiryLoc () const
void	dump (llvm::raw_ostream &OS, const LoanManager &LM, 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

Definition at line 98 of file Facts.h.

Constructor & Destructor Documentation

ExpireFact()

clang::lifetimes::internal::ExpireFact::ExpireFact ( LoanID LID, SourceLocation ExpiryLoc )

inline

Definition at line 105 of file Facts.h.

References clang::lifetimes::internal::Fact::Expire, and clang::lifetimes::internal::Fact::Fact().

Member Function Documentation

classof()

bool clang::lifetimes::internal::ExpireFact::classof ( const Fact * F )

inlinestatic

Definition at line 103 of file Facts.h.

References clang::lifetimes::internal::Fact::Expire, clang::lifetimes::internal::Fact::Fact(), and clang::lifetimes::internal::Fact::getKind().

dump()

void clang::lifetimes::internal::ExpireFact::dump ( llvm::raw_ostream & OS, const LoanManager & LM, const OriginManager &  ) const

overridevirtual

Reimplemented from clang::lifetimes::internal::Fact.

Definition at line 29 of file Facts.cpp.

References clang::lifetimes::internal::Loan::dump(), clang::lifetimes::internal::LoanManager::getLoan(), and getLoanID().

getExpiryLoc()

SourceLocation clang::lifetimes::internal::ExpireFact::getExpiryLoc ( ) const

inline

Definition at line 109 of file Facts.h.

getLoanID()

LoanID clang::lifetimes::internal::ExpireFact::getLoanID ( ) const

inline

Definition at line 108 of file Facts.h.

Referenced by dump().

---

The documentation for this class was generated from the following files:

• include/clang/Analysis/Analyses/LifetimeSafety/Facts.h
• lib/Analysis/LifetimeSafety/Facts.cpp