A set of CapabilityInfo objects, which are compiled from the requires attributes on a function. More...
Inheritance diagram for clang::threadSafety::CapExprSet:
Collaboration diagram for clang::threadSafety::CapExprSet:
Public Member Functions | |
| void | push_back_nodup (const CapabilityExpr &CapE) |
| Push M onto list, but discard duplicates. | |
Detailed Description
A set of CapabilityInfo objects, which are compiled from the requires attributes on a function.
Definition at line 75 of file ThreadSafety.cpp.
Member Function Documentation
| void clang::threadSafety::CapExprSet::push_back_nodup | ( | const CapabilityExpr & | CapE | ) | [inline] |
Push M onto list, but discard duplicates.
Definition at line 78 of file ThreadSafety.cpp.
References clang::threadSafety::CapabilityExpr::equals().
Referenced by clang::threadSafety::ThreadSafetyAnalyzer::getMutexIDs().
The documentation for this class was generated from the following file: