src/xlat-i/sdag/constructs/Atomic.h

   1 #ifndef _ATOMIC_H
   2 #define _ATOMIC_H
   3
   4 #include "xi-BlockConstruct.h"
   5 #include "CParsedFile.h"
   6
   7 namespace xi {
   8
   9 class AtomicConstruct : public BlockConstruct {
  10  public:
  11   AtomicConstruct(const char *code, const char *trace_name, int line_no);
  12   void propagateStateToChildren(std::list<EncapState*> encap,
  13                                 std::list<CStateVar*>& stateVarsChildren,
  14                                 std::list<CStateVar*>& wlist,
  15                                 int uniqueVarNum);
  16   void generateCode(XStr&, XStr&, Entry *);
  17   void generateTrace();
  18   void numberNodes();
  19
  20  private:
  21   int line_no_;
  22 };
  23
  24 }   // namespace xi
  25
  26 #endif  // ifndef _ATOMIC_H