prop-src/env.cc

   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.pcc".
   5 ///////////////////////////////////////////////////////////////////////////////
   6
   7 #line 1 "env.pcc"
   8 ///////////////////////////////////////////////////////////////////////////////
   9 //
  10 //  Environment
  11 //
  12 ///////////////////////////////////////////////////////////////////////////////
  13 #include "env.h"
  14
  15 ///////////////////////////////////////////////////////////////////////////////
  16 //
  17 //  Constructor and destructor
  18 //
  19 ///////////////////////////////////////////////////////////////////////////////
  20 Env::Env() : env(string_hash,string_equal) {}
  21 Env::Env(const Env& E) : env(string_hash,string_equal)
  22 {  foreach_entry(i,E.env) env.insert(i->k,i->v); }
  23 Env::~Env() {}
  24
  25 ///////////////////////////////////////////////////////////////////////////////
  26 //
  27 //  Type lookup
  28 //
  29 ///////////////////////////////////////////////////////////////////////////////
  30 Ty Env::operator () (Id id) const
  31 {  HashTable::Entry * e = env.lookup(id);
  32    if (e) return (Ty)(e->v); else return NOty;
  33 }
  34
  35 ///////////////////////////////////////////////////////////////////////////////
  36 //
  37 //  Insert a new entry to the environment
  38 //
  39 ///////////////////////////////////////////////////////////////////////////////
  40 void Env::bind(Id id, Ty ty) {  env.insert(id,ty); }
  41 #line 34 "env.pcc"
  42 /*
  43 ------------------------------- Statistics -------------------------------
  44 Merge matching rules         = yes
  45 Number of DFA nodes merged   = 0
  46 Number of ifs generated      = 0
  47 Number of switches generated = 0
  48 Number of labels             = 0
  49 Number of gotos              = 0
  50 Adaptive matching            = enabled
  51 Fast string matching         = disabled
  52 Inline downcasts             = enabled
  53 --------------------------------------------------------------------------
  54 */