Trail Struct Reference

#include <Trail.hxx>


Public Member Functions

 Trail ()
size_t snapshot () const
void subst (boost::shared_ptr< Type > from, boost::shared_ptr< Type > to)
void link (boost::shared_ptr< Type > from, boost::shared_ptr< Type > to)
void rollBack (const size_t upto=0)
void release (const size_t n, boost::shared_ptr< Type > rel)

Static Public Member Functions

static boost::shared_ptr<
Trail
make ()

Data Fields

std::vector< boost::shared_ptr<
Type > > 
vec


Detailed Description

Definition at line 47 of file Trail.hxx.


Constructor & Destructor Documentation

Trail::Trail (  )  [inline]

Definition at line 50 of file Trail.hxx.


Member Function Documentation

void Trail::link ( boost::shared_ptr< Type from,
boost::shared_ptr< Type to 
)

Referenced by rollBack().

static boost::shared_ptr<Trail> Trail::make (  )  [inline, static]

Definition at line 55 of file Trail.hxx.

Referenced by coerce(), UocInfo::DoTypeCheck(), and isAsGeneral().

void Trail::release ( const size_t  n,
boost::shared_ptr< Type rel 
)

void Trail::rollBack ( const size_t  upto = 0  ) 

Definition at line 117 of file Trail.cxx.

References assert(), DEBUG, Options::debugTvP, boost::GC_NULL, link(), and vec.

size_t Trail::snapshot (  )  const [inline]

Definition at line 60 of file Trail.hxx.

References vec.

void Trail::subst ( boost::shared_ptr< Type from,
boost::shared_ptr< Type to 
)


Field Documentation

std::vector<boost::shared_ptr<Type> > Trail::vec

Definition at line 48 of file Trail.hxx.

Referenced by rollBack(), and snapshot().


The documentation for this struct was generated from the following files:
Generated on Sat Feb 4 23:59:29 2012 for BitC Compiler by  doxygen 1.4.7