DiaDes  0.1
DIAgnosis of Discrete-Event System
Namespaces | Typedefs | Enumerations | Functions
TsFile.hh File Reference
#include <diades/automata/experimental/DdAutFile.hh>

Go to the source code of this file.

Namespaces

 Diades
 Namespace of the Diades project.
 
 Diades::Automata
 
 Diades::Automata::Experimental
 

Typedefs

using Diades::Automata::Experimental::TsFsm = DdAutFsm
 
using Diades::Automata::Experimental::TsFsmPtr = std::shared_ptr< TsFsm >
 
using Diades::Automata::Experimental::TsStMgr = DdAutStateManager
 
using Diades::Automata::Experimental::TsEvtMgr = DdAutEventManager
 
using Diades::Automata::Experimental::TsStMgrPtr = std::shared_ptr< TsStMgr >
 
using Diades::Automata::Experimental::TsEvtMgrPtr = std::shared_ptr< TsEvtMgr >
 
using Diades::Automata::Experimental::ManagedTsFsm = std::tuple< TsFsmPtr, TsStMgrPtr, TsEvtMgrPtr >
 
using Diades::Automata::Experimental::ManagedTsFsms = std::vector< ManagedTsFsm >
 

Enumerations

enum  Diades::Automata::Experimental::TsConversionMode { Diades::Automata::Experimental::normal, Diades::Automata::Experimental::full, Diades::Automata::Experimental::update }
 

Functions

std::streampos Diades::Automata::Experimental::nextNoWhiteSpaceCharacter (std::istream &stream, bool &ok)
 return the stream position just before the first character that is a white space (not such that std::isspace is true) More...
 
bool Diades::Automata::Experimental::pruneCommentsBlock (std::istream &stream, bool &ok)
 analyze the stream and look for the end of a comment block More...
 
bool Diades::Automata::Experimental::pruneComments (std::istream &stream, bool &ok)
 read the stream and ignore the next c-style/cpp style comments More...
 
bool Diades::Automata::Experimental::checkSystemIdentifier (std::string &tsName, std::string::size_type &semiColonIndex)
 check that tsName is the name of a transition_system More...
 
std::istream & Diades::Automata::Experimental::tsFileTransitionLabel (std::istream &stream, std::unordered_map< std::string, std::string > &events, std::string &fullEventLabel, bool &ok)
 Read the transition label in a ts-format file. More...
 
void Diades::Automata::Experimental::tsExtractTargetState (const std::string &rawTargetState, std::string &targetState, std::string::size_type &semiColonIndex)
 extract the target state for the raw target state More...
 
std::istream & Diades::Automata::Experimental::tsFileHeader (std::istream &stream, std::string &tsName, bool &ok)
 parse the Ts-format file header More...
 
std::istream & Diades::Automata::Experimental::tsFileTransitions (std::istream &stream, ManagedTsFsms &fsms, bool &ok, TsConversionMode mode)
 Read the transitions of a Ts-format stream. More...
 
std::istream & Diades::Automata::Experimental::tsFileStates (std::istream &stream, ManagedTsFsms &fsms, bool &ok)
 
bool Diades::Automata::Experimental::fromTsFile (std::istream &stream, ManagedTsFsms &fsms, TsConversionMode mode)
 Load a Ts file as a DdAutFsm. More...
 
std::string Diades::Automata::Experimental::tsPrettyEvent (const std::string &tsEvent)
 

Detailed Description

Author
Yannick Pencolé (ypenc.nosp@m.ole@.nosp@m.laas..nosp@m.fr)
Date
10 February 2020, 21:50

Definition in file TsFile.hh.