prop-src/labelgen.h

   1 #ifndef label_generators_h
   2 #define label_generators_h
   3
   4 ///////////////////////////////////////////////////////////////////////////////
   5 //  Label generator
   6 ///////////////////////////////////////////////////////////////////////////////
   7 class LabelGen {
   8
   9    LabelGen(const LabelGen&);         // no copy constructor
  10    void operator = (const LabelGen&); // no assignment
  11
  12 private:
  13    const char * prefix;
  14    int          counter;
  15    const char * last;
  16 public:
  17
  18    LabelGen(const char *);
  19   ~LabelGen();
  20
  21    const char * new_label ();
  22    const char * this_label() const { return last; }
  23 };
  24
  25 #endif