00001 #ifndef _SERIAL_H 00002 #define _SERIAL_H 00003 00004 #include "CParsedFile.h" 00005 #include "xi-BlockConstruct.h" 00006 00007 namespace xi { 00008 00009 class SerialConstruct : public BlockConstruct { 00010 public: 00011 SerialConstruct(const char* code, const char* trace_name, int line_no); 00012 void propagateStateToChildren(std::list<EncapState*> encap, 00013 std::list<CStateVar*>& stateVarsChildren, 00014 std::list<CStateVar*>& wlist, int uniqueVarNum); 00015 void generateCode(XStr&, XStr&, Entry*); 00016 void generateTrace(); 00017 void numberNodes(); 00018 00019 private: 00020 int line_no_; 00021 }; 00022 00023 } // namespace xi 00024 00025 #endif // ifndef _SERIAL_H
1.5.5