// translateAttrExpr needs it, but that should be moved too.
private:
- const til::SExpr* CapExpr; //< The capability expression.
- bool Negated; //< True if this is a negative capability
+ const til::SExpr* CapExpr; ///< The capability expression.
+ bool Negated; ///< True if this is a negative capability
public:
CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {}
/// shared.
class FactEntry : public CapabilityExpr {
private:
- LockKind LKind; //< exclusive or shared
- SourceLocation AcquireLoc; //< where it was acquired.
- bool Managed; //< for ScopedLockable objects
- bool Asserted; //< true if the lock was asserted
- const til::SExpr* UnderlyingMutex; //< for ScopedLockable objects
+ LockKind LKind; ///< exclusive or shared
+ SourceLocation AcquireLoc; ///< where it was acquired.
+ bool Managed; ///< for ScopedLockable objects
+ bool Asserted; ///< true if the lock was asserted
+ const til::SExpr* UnderlyingMutex; ///< for ScopedLockable objects
public:
FactEntry(const CapabilityExpr &CE, LockKind LK, SourceLocation Loc,