TsFile.hh

Go to the documentation of this file.

#ifndef __DIADES__AUTOMATA__EXPERIMENTAL__TSFILE__HH__
#define __DIADES__AUTOMATA__EXPERIMENTAL__TSFILE__HH__

#include <diades/automata/experimental/DdAutFile.hh>

namespace Diades
{
  namespace Automata
  {
    namespace Experimental
    {

      enum TsConversionMode { normal, full, update };

      using TsFsm = DdAutFsm;
      using TsFsmPtr = std::shared_ptr<TsFsm>;
      using TsStMgr = DdAutStateManager;
      using TsEvtMgr = DdAutEventManager;
      using TsStMgrPtr = std::shared_ptr<TsStMgr>;
      using TsEvtMgrPtr = std::shared_ptr<TsEvtMgr>;      
      using ManagedTsFsm = std::tuple<TsFsmPtr,TsStMgrPtr,TsEvtMgrPtr>;
      using ManagedTsFsms = std::vector<ManagedTsFsm>;
      
      std::streampos nextNoWhiteSpaceCharacter(std::istream & stream, bool & ok);

      bool pruneCommentsBlock(std::istream& stream, bool & ok);

      
      bool pruneComments(std::istream& stream, bool & ok);

      bool checkSystemIdentifier(std::string & tsName, std::string::size_type & semiColonIndex);

      std::istream & tsFileTransitionLabel(std::istream & stream,
                                           std::unordered_map<std::string,std::string> & events,
                                           std::string & fullEventLabel,
                                           bool & ok);

      
      void tsExtractTargetState(const std::string & rawTargetState,
                                std::string & targetState,
                                std::string::size_type & semiColonIndex);
      

      std::istream &  tsFileHeader(std::istream& stream, std::string & tsName, bool & ok);



      
      std::istream & tsFileTransitions(std::istream & stream,
                                       ManagedTsFsms & fsms,
                                       //              DdAutFsm & fsm,
                                       //                                 DdAutStateManager & sManager,
                                       //DdAutEventManager & eManager,
                                       bool & ok,
                                       TsConversionMode mode);


      
      std::istream & tsFileStates(std::istream & stream, ManagedTsFsms & fsms,
                                  bool & ok);

      

      bool fromTsFile(std::istream& stream,
                      ManagedTsFsms & fsms,
                      TsConversionMode mode);


      std::string tsPrettyEvent(const std::string & tsEvent);
      
    }
  }
}



#endif