#ifndef __JLANG__JREWINDABLE__
#define __JLANG__JREWINDABLE__


/**
 * \author mdejong
 */

namespace JLANG {}
namespace JPP { using namespace JLANG; }

namespace JLANG {

  /**
   * Template interface of rewindable object.
   */
  template<class T>
  class JRewindable {
  protected:
    /**
     * Default constructor.
     */
    JRewindable()
    {}


  public:
    /**
     * Virtual destructor.
     */
    virtual ~JRewindable()
    {}


    /**
     * Rewind.
     */
    virtual void rewind() = 0;
  };
}

#endif