CVCL::CDFlags Class Reference

#include <cdflags.h>

Inheritance diagram for CVCL::CDFlags:

[legend]Collaboration diagram for CVCL::CDFlags:

[legend]List of all members.

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

Private Member Functions

• virtual ContextObj * makeCopy (void)

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

• virtual void restoreData (ContextObj *data)

  Restore the current object from the given data.
  

• virtual void setNull (void)

  Set the current object to be invalid.
  

• void update (unsigned mask, int scope, bool setMask)
• CDFlags (const CDFlags &cdflags)
• CDFlags & operator= (const CDFlags &cdflags)

Private Attributes

• unsigned d_flags

---

Detailed Description

Definition at line 44 of file cdflags.h.

---

Constructor & Destructor Documentation

CVCL::CDFlags::CDFlags (  const CDFlags &  cdflags  )  [inline, private]

Definition at line 56 of file cdflags.h. Referenced by makeCopy().

CVCL::CDFlags::CDFlags (  Context *  context  )  [inline]

Definition at line 60 of file cdflags.h. References CVCL::ContextObj::IF_DEBUG().

CVCL::CDFlags::~CDFlags (   )  [inline]

Definition at line 62 of file cdflags.h. References CVCL::TRACE.

---

Member Function Documentation

virtual ContextObj* CVCL::CDFlags::makeCopy (  void   )  [inline, private, virtual]

Make a copy of the current object so it can be restored to its current state. Implements CVCL::ContextObj. Definition at line 47 of file cdflags.h. References CDFlags().

virtual void CVCL::CDFlags::restoreData (  ContextObj *  data  )  [inline, private, virtual]

Restore the current object from the given data. Reimplemented from CVCL::ContextObj. Definition at line 48 of file cdflags.h. References d_flags.

virtual void CVCL::CDFlags::setNull (  void   )  [inline, private, virtual]

Set the current object to be invalid. Implements CVCL::ContextObj. Definition at line 50 of file cdflags.h.

void CDFlags::update (  unsigned  mask, int  scope, bool  setMask )  [private]

Definition at line 38 of file cdflags.cpp. References CVCL::Scope::addToChain(), CVCL::ContextObj::ContextObjChain, d_flags, CVCL::ContextObj::d_restore, CVCL::ContextObj::d_scope, CVCL::ContextObj::IF_DEBUG(), CVCL::Scope::level(), CVCL::ContextObj::level(), CVCL::ContextObj::makeCurrent(), and CVCL::Scope::prevScope(). Referenced by clear(), and set().

CDFlags& CVCL::CDFlags::operator= (  const CDFlags &  cdflags  )  [inline, private]

Definition at line 57 of file cdflags.h.

void CVCL::CDFlags::set (  unsigned  mask, int  scope = -1 )  [inline]

Definition at line 63 of file cdflags.h. References update(). Referenced by CVCL::Expr::setComputeTransClosure(), CVCL::Expr::setFinite(), CVCL::Expr::setImpliedLiteral(), CVCL::Expr::setIntAssumption(), CVCL::Expr::setIsAtomicFlag(), CVCL::Expr::setJustified(), CVCL::Expr::setRewriteNormal(), CVCL::Expr::setSelected(), CVCL::Expr::setTranslated(), CVCL::Expr::setUserAssumption(), CVCL::Expr::setUserRegisteredAtom(), CVCL::Expr::setValidType(), and CVCL::Expr::setWellFounded().

void CVCL::CDFlags::clear (  unsigned  mask, int  scope = -1 )  [inline]

Definition at line 64 of file cdflags.h. References update(). Referenced by CVCL::Expr::clearRewriteNormal(), and CVCL::Expr::setIsAtomicFlag().

bool CVCL::CDFlags::get (  unsigned  mask  )  const [inline]

Definition at line 65 of file cdflags.h. References d_flags. Referenced by CVCL::Expr::computeTransClosure(), CVCL::Expr::getIsAtomicFlag(), CVCL::Expr::isFinite(), CVCL::Expr::isImpliedLiteral(), CVCL::Expr::isIntAssumption(), CVCL::Expr::isJustified(), CVCL::Expr::isRewriteNormal(), CVCL::Expr::isSelected(), CVCL::Expr::isTranslated(), CVCL::Expr::isUserAssumption(), CVCL::Expr::isUserRegisteredAtom(), CVCL::Expr::isValidType(), CVCL::Expr::isWellFounded(), and CVCL::Expr::validIsAtomicFlag().

---

Member Data Documentation

unsigned CVCL::CDFlags::d_flags [private]

Definition at line 45 of file cdflags.h. Referenced by get(), restoreData(), and update().

---

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

• cdflags.h
• cdflags.cpp

---