include/AD/gc/gctimer.h

   1 //////////////////////////////////////////////////////////////////////////////
   2 // NOTICE:
   3 //
   4 // ADLib, Prop and their related set of tools and documentation are in the
   5 // public domain.   The author(s) of this software reserve no copyrights on
   6 // the source code and any code generated using the tools.  You are encouraged
   7 // to use ADLib and Prop to develop software, in both academic and commercial
   8 // settings, and are welcomed to incorporate any part of ADLib and Prop into
   9 // your programs.
  10 //
  11 // Although you are under no obligation to do so, we strongly recommend that
  12 // you give away all software developed using our tools.
  13 //
  14 // We also ask that credit be given to us when ADLib and/or Prop are used in
  15 // your programs, and that this notice be preserved intact in all the source
  16 // code.
  17 //
  18 // This software is still under development and we welcome(read crave for)
  19 // any suggestions and help from the users.
  20 //
  21 // Allen Leung (leunga@cs.nyu.edu)
  22 // 1994-1995
  23 //
  24 // Kudos to James Litsios <litsios@iis.ee.ethz.ch> for his tireless
  25 // testing efforts and useful feedbacks.  Certain part of Prop
  26 // now incorporates some of James' ideas on reference counting and
  27 // hash consing.
  28 //////////////////////////////////////////////////////////////////////////////
  29
  30 #ifndef gc_timer_h
  31 #define gc_timer_h
  32
  33 class ostream;
  34
  35 //////////////////////////////////////////////////////////////////////////////
  36 //
  37 //  Methods for time calculation
  38 //
  39 //////////////////////////////////////////////////////////////////////////////
  40 class GCTimer
  41 {  long sec;
  42    long usec;
  43 public:
  44    GCTimer();
  45    GCTimer(long sec, long usec);
  46
  47    void get_system_time();
  48    void get_user_time();
  49    void clear();
  50    friend ostream& operator << (ostream&, const GCTimer&);
  51    GCTimer operator + (const GCTimer&);
  52    GCTimer operator - (const GCTimer&);
  53    void operator += (const GCTimer&);
  54 };
  55
  56 #endif