CVC3  2.4.1
Public Member Functions | Private Member Functions | Private Attributes | List of all members
CVC3::CDFlags Class Reference

#include <cdflags.h>

Inheritance diagram for CVC3::CDFlags:
CVC3::ContextObj

Public Member Functions

 CDFlags (Context *context)
 
 ~CDFlags ()
 
void set (unsigned mask, int scope=-1)
 
void clear (unsigned mask, int scope=-1)
 
bool get (unsigned mask) const
 
- Public Member Functions inherited from CVC3::ContextObj
 ContextObj (Context *context)
 Create a new ContextObj. More...
 
virtual ~ContextObj ()
 
int level () const
 
bool isCurrent (int scope=-1) const
 
void makeCurrent (int scope=-1)
 
void * operator new (size_t size, MemoryManager *mm)
 
void operator delete (void *pMem, MemoryManager *mm)
 
void * operator new (size_t size, bool b)
 
void operator delete (void *pMem, bool b)
 
void operator delete (void *)
 

Private Member Functions

virtual ContextObjmakeCopy (ContextMemoryManager *cmm)
 Make a copy of the current object so it can be restored to its current state. More...
 
virtual void restoreData (ContextObj *data)
 Restore the current object from the given data. More...
 
virtual void setNull (void)
 Set the current object to be invalid. More...
 
void update (unsigned mask, int scope, bool setMask)
 
 CDFlags (const CDFlags &cdflags)
 
CDFlagsoperator= (const CDFlags &cdflags)
 

Private Attributes

unsigned d_flags
 

Additional Inherited Members

- Protected Member Functions inherited from CVC3::ContextObj
 ContextObj (const ContextObj &co)
 Copy constructor (defined mainly for debugging purposes) More...
 
ContextObjoperator= (const ContextObj &co)
 Assignment operator (defined mainly for debugging purposes) More...
 
const ContextObjgetRestore ()
 
ContextMemoryManagergetCMM ()
 Return our name (for debugging) More...
 

Detailed Description

Definition at line 37 of file cdflags.h.

Constructor & Destructor Documentation

CVC3::CDFlags::CDFlags ( const CDFlags cdflags)
inlineprivate

Definition at line 50 of file cdflags.h.

CVC3::CDFlags::CDFlags ( Context context)
inline

Definition at line 54 of file cdflags.h.

References IF_DEBUG.

CVC3::CDFlags::~CDFlags ( )
inline

Definition at line 56 of file cdflags.h.

Member Function Documentation

virtual ContextObj* CVC3::CDFlags::makeCopy ( ContextMemoryManager cmm)
inlineprivatevirtual

Make a copy of the current object so it can be restored to its current state.

Implements CVC3::ContextObj.

Definition at line 40 of file cdflags.h.

Referenced by update().

virtual void CVC3::CDFlags::restoreData ( ContextObj data)
inlineprivatevirtual

Restore the current object from the given data.

Reimplemented from CVC3::ContextObj.

Definition at line 42 of file cdflags.h.

References d_flags.

virtual void CVC3::CDFlags::setNull ( void  )
inlineprivatevirtual

Set the current object to be invalid.

Implements CVC3::ContextObj.

Definition at line 44 of file cdflags.h.

References FatalAssert.

void CDFlags::update ( unsigned  mask,
int  scope,
bool  setMask 
)
private
CDFlags& CVC3::CDFlags::operator= ( const CDFlags cdflags)
inlineprivate

Definition at line 51 of file cdflags.h.

void CVC3::CDFlags::set ( unsigned  mask,
int  scope = -1 
)
inline
void CVC3::CDFlags::clear ( unsigned  mask,
int  scope = -1 
)
inline
bool CVC3::CDFlags::get ( unsigned  mask) const
inline

Member Data Documentation

unsigned CVC3::CDFlags::d_flags
private

Definition at line 38 of file cdflags.h.

Referenced by restoreData(), and update().


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