CCuddFirstIter.h

Go to the documentation of this file.

// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************

// include basic definitions
#include "CCuddNavigator.h"

#ifndef CCuddFirstIter_h_
#define CCuddFirstIter_h_

BEGIN_NAMESPACE_PBORI

class CCuddFirstIter :
  public CCuddNavigator {

public:

  typedef std::forward_iterator_tag iterator_category;

  typedef CCuddFirstIter self;

  typedef CCuddNavigator base;

  CCuddFirstIter(): base() {}

  CCuddFirstIter(pointer_type ptr); // inlined below

  CCuddFirstIter(const self& rhs): base(rhs) {}

  CCuddFirstIter(const base& rhs): base(rhs) {}

  ~CCuddFirstIter() {}

  self& operator++();

  self operator++(int);

protected:
  void terminateConstant();
};

// constructor
inline 
CCuddFirstIter::CCuddFirstIter(pointer_type ptr):
  base(ptr) {

  PBORI_TRACE_FUNC( "CCuddFirstIter::CCuddFirstIter(pointer_type)" );
  terminateConstant();
}



// prefix increment operator
inline CCuddFirstIter&
CCuddFirstIter::operator++() {

  PBORI_TRACE_FUNC( "CCuddFirstIter::operator++()" );

  incrementThen();
  terminateConstant();
  return *this;
}

// postfix increment operator
inline CCuddFirstIter
CCuddFirstIter::operator++(int) {

  PBORI_TRACE_FUNC( "CCuddFirstIter::operator++(int)" );

  self tmp(*this);
  operator++();

  return tmp;
}

// go to valid node
inline void
CCuddFirstIter::terminateConstant() {

  PBORI_TRACE_FUNC( "CCuddFirstIter::terminateConstant()" );

  if (isConstant()) 
      *this = self();           // mark end of path reached

}


END_NAMESPACE_PBORI

#endif

---