src/xlat-i/xi-BlockConstruct.h

   1 #ifndef _XI_BLOCKCONSTRUCT_H
   2 #define _XI_BLOCKCONSTRUCT_H
   3
   4 #include "CStateVar.h"
   5 #include "xi-SdagConstruct.h"
   6 #include <list>
   7
   8 namespace xi {
   9
  10 class BlockConstruct : public SdagConstruct {
  11  public:
  12   BlockConstruct(EToken t, XStr* txt, SdagConstruct* c1, SdagConstruct* c2,
  13                  SdagConstruct* c3, SdagConstruct* c4, SdagConstruct* constructAppend,
  14                  EntryList* el);
  15   void propagateState(std::list<EncapState*> encap, std::list<CStateVar*>& plist,
  16                       std::list<CStateVar*>& wlist, int uniqueVarNum);
  17 };
  18
  19 }  // namespace xi
  20
  21 #endif  // ifndef _XI_BLOCKCONSTRUCT_H