prop-src/env.h

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //  This file is generated automatically using Prop (version 2.3.6),
   3 //  last updated on Nov 2, 1999.
   4 //  The original source file is "env.ph".
   5 ///////////////////////////////////////////////////////////////////////////////
   6
   7 #line 1 "env.ph"
   8 ///////////////////////////////////////////////////////////////////////////////
   9 //
  10 //  This file describes the environment class
  11 //
  12 ///////////////////////////////////////////////////////////////////////////////
  13 #ifndef environment_h
  14 #define environment_h
  15
  16 #include "basics.h"
  17 #include "ir.h"
  18 #include "hashtab.h"
  19
  20 class Env {
  21    void operator = (const Env&);
  22    HashTable env;
  23 public:
  24    Env();
  25    Env(const Env&);
  26   ~Env();
  27
  28    Ty   operator () (Id) const;
  29    void bind (Id, Ty);
  30 };
  31
  32 #endif
  33 #line 26 "env.ph"
  34 /*
  35 ------------------------------- Statistics -------------------------------
  36 Merge matching rules         = yes
  37 Number of DFA nodes merged   = 0
  38 Number of ifs generated      = 0
  39 Number of switches generated = 0
  40 Number of labels             = 0
  41 Number of gotos              = 0
  42 Adaptive matching            = enabled
  43 Fast string matching         = disabled
  44 Inline downcasts             = enabled
  45 --------------------------------------------------------------------------
  46 */