00001 #ifndef _IF_H 00002 #define _IF_H 00003 00004 #include "xi-BlockConstruct.h" 00005 00006 namespace xi { 00007 00008 class IfConstruct : public BlockConstruct { 00009 public: 00010 IfConstruct(SdagConstruct* pred, SdagConstruct* then_body, SdagConstruct* else_body); 00011 void propagateState(std::list<EncapState*>, std::list<CStateVar*>&, 00012 std::list<CStateVar*>&, int); 00013 void generateCode(XStr&, XStr&, Entry*); 00014 void numberNodes(); 00015 void labelNodes(); 00016 }; 00017 00018 } // namespace xi 00019 00020 #endif // ifndef _IF_H