Merge remote branch 'master'
[prop.git] / prop-src / env.ph
blob31e4e2af55728031842bdf6fe772597daffb85ee
1 ///////////////////////////////////////////////////////////////////////////////
2 //
3 //  This file describes the environment class 
4 //
5 ///////////////////////////////////////////////////////////////////////////////
6 #ifndef environment_h
7 #define environment_h
9 #include "basics.h"
10 #include "ir.h"
11 #include "hashtab.h"
13 class Env {
14    void operator = (const Env&);
15    HashTable env;
16 public:
17    Env();
18    Env(const Env&);
19   ~Env();
21    Ty   operator () (Id) const;
22    void bind (Id, Ty);
25 #endif