## NAME

ACE_Mutex_Invariants - Mutex Invariants

## SYNOPSIS

    #include <ace/Token_Invariants.h>

    class ACE_Mutex_Invariants
    {
      public:
        ACE_Mutex_Invariants (void);
        int acquired (void);
        void releasing (void);
        ACE_Mutex_Invariants (const ACE_Mutex_Invariants &rhs);
        void operator= (const ACE_Mutex_Invariants &rhs);
        void dump (void) const;
      private:
        int owners_;
    };

## DESCRIPTION

Allows applications to test that invariants are always satisfied. Can test mutexes and readers/writer locks. Does not test recursive acquisition.

## Map_Manager operations.

    ACE_Mutex_Invariants (const ACE_Mutex_Invariants &rhs);

Copy construction.

    void operator= (const ACE_Mutex_Invariants &rhs);

Copy.

    void dump (void) const;

Dump the state of the class.

## AUTHOR

Tim Harrison (harrison@cs.wustl.edu)

## INVARIANTS

1. Only one owner at a time.

## LIBRARY

ace