|
parser functions for DOT language
More...
Go to the source code of this file.
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Functions |
std::vector< std::string > | faudes::split (const std::string &rStr, const std::string &rSep, const std::string &rFilename, const int lineNr) |
std::string::size_type | faudes::getIde (std::string::size_type &rPos, const std::string &rInput, std::string &rRestString, const std::string &rFilename, const int lineNr) |
| Get string literal between quotations ("ide") to &resText and return the position after the second quotation (").
|
bool | faudes::IsLambdaReplacement (const std::string &str) |
| check if given string is a replacement for lambda Replacements are empty string (""), underline ("_") , html lambda code ("λ") or "lambda"
|
System | faudes::SystemFromDot (const std::string &filename) |
| Parse a System (TcGenerator) from given dot-file.
|
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr > |
FAUDES_API void | faudes::ParserInsStackSymbols (std::vector< std::string > &rVec, const std::string &rFileName, const int lineNr, TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > &rPd) |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr > |
FAUDES_API bool | faudes::ParseTransition (const std::string input, const std::string &rFilename, const int linenr, TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > &rPd) |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr > |
FAUDES_API void | faudes::ParseEvent (std::string input, const std::string &rFileName, const int lineNr, TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > &rPd) |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr > |
FAUDES_API void | faudes::ParseState (const std::string input, const std::string &rFileName, const int lineNr, TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > &rPd) |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr > |
FAUDES_API void | faudes::ParseStackBottom (const std::string input, const std::string &rFilename, const int linenr, TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > &rPd) |
template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr > |
FAUDES_API void | faudes::CreatPdFromDot (const std::string &fileName, TpdGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > &pd) |
Detailed Description
parser functions for DOT language
Definition in file pd_dotparser.h.
libFAUDES 2.28c
--- 2016.09.30
--- c++ api documentaion by doxygen
|