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