clang::lifetimes::internal::OriginFlowFact Class Reference

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

Inheritance diagram for clang::lifetimes::internal::OriginFlowFact:

Public Member Functions
	OriginFlowFact (OriginID OIDDest, OriginID OIDSrc, bool KillDest)
OriginID	getDestOriginID () const
OriginID	getSrcOriginID () const
bool	getKillDest () const
void	dump (llvm::raw_ostream &OS, const LoanManager &, const OriginManager &OM) const override
Public Member Functions inherited from clang::lifetimes::internal::Fact
virtual	~Fact ()=default
Kind	getKind () 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 107 of file Facts.h.

Constructor & Destructor Documentation

OriginFlowFact()

clang::lifetimes::internal::OriginFlowFact::OriginFlowFact ( OriginID OIDDest, OriginID OIDSrc, bool KillDest )

inline

Definition at line 119 of file Facts.h.

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

Member Function Documentation

classof()

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

inlinestatic

Definition at line 115 of file Facts.h.

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

dump()

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

overridevirtual

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

Definition at line 36 of file Facts.cpp.

References clang::lifetimes::internal::OriginManager::dump(), getDestOriginID(), getKillDest(), and getSrcOriginID().

getDestOriginID()

OriginID clang::lifetimes::internal::OriginFlowFact::getDestOriginID ( ) const

inline

Definition at line 123 of file Facts.h.

Referenced by dump().

getKillDest()

bool clang::lifetimes::internal::OriginFlowFact::getKillDest ( ) const

inline

Definition at line 125 of file Facts.h.

Referenced by dump().

getSrcOriginID()

OriginID clang::lifetimes::internal::OriginFlowFact::getSrcOriginID ( ) const

inline

Definition at line 124 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