clang::threadSafety::FactManager Class Reference

FactManager manages the memory for all facts that are created during the analysis of a single routine. More...

List of all members.

Public Member Functions
FactID	newFact (std::unique_ptr< FactEntry > Entry)
const FactEntry &	operator[] (FactID F) const
FactEntry &	operator[] (FactID F)

---

Detailed Description

FactManager manages the memory for all facts that are created during the analysis of a single routine.

Definition at line 136 of file ThreadSafety.cpp.

---

Member Function Documentation

FactID clang::threadSafety::FactManager::newFact

(

std::unique_ptr< FactEntry >

Entry

)

[inline]

Definition at line 141 of file ThreadSafety.cpp.

Referenced by clang::threadSafety::FactSet::addLock().

const FactEntry& clang::threadSafety::FactManager::operator[]

(

FactID

F

)

const [inline]

Definition at line 146 of file ThreadSafety.cpp.

FactEntry& clang::threadSafety::FactManager::operator[]

(

FactID

F

)

[inline]

Definition at line 147 of file ThreadSafety.cpp.

---

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

• ThreadSafety.cpp