prop-src/env.pcc

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //
   3 //  Environment
   4 //
   5 ///////////////////////////////////////////////////////////////////////////////
   6 #include "env.h"
   7
   8 ///////////////////////////////////////////////////////////////////////////////
   9 //
  10 //  Constructor and destructor
  11 //
  12 ///////////////////////////////////////////////////////////////////////////////
  13 Env::Env() : env(string_hash,string_equal) {}
  14 Env::Env(const Env& E) : env(string_hash,string_equal)
  15 {  foreach_entry(i,E.env) env.insert(i->k,i->v); }
  16 Env::~Env() {}
  17
  18 ///////////////////////////////////////////////////////////////////////////////
  19 //
  20 //  Type lookup
  21 //
  22 ///////////////////////////////////////////////////////////////////////////////
  23 Ty Env::operator () (Id id) const
  24 {  HashTable::Entry * e = env.lookup(id);
  25    if (e) return (Ty)(e->v); else return NOty;
  26 }
  27
  28 ///////////////////////////////////////////////////////////////////////////////
  29 //
  30 //  Insert a new entry to the environment
  31 //
  32 ///////////////////////////////////////////////////////////////////////////////
  33 void Env::bind(Id id, Ty ty) {  env.insert(id,ty); }