DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <CmdInterface.hh>
Public Member Functions | |
FileSuffixes (const std::vector< std::string > &suffixes) | |
bool | match (const std::string &fileName, const std::string &suffix) const |
Private Attributes | |
const string | _fileBase = "[a-zA-Z_][a-zA-Z_0-9]*\\." |
std::unordered_map< std::string, std::regex > | _suffixes |
Gather the set of file suffixes to handle in a program and perform suffix matching. (use of std::regex)
Definition at line 49 of file CmdInterface.hh.
Diades::CmdInterface::FileSuffixes::FileSuffixes | ( | const std::vector< std::string > & | suffixes | ) |
suffixes | the set of file suffixes to handle |
Definition at line 37 of file CmdInterface.cc.
bool Diades::CmdInterface::FileSuffixes::match | ( | const std::string & | fileName, |
const std::string & | suffix | ||
) | const |
fileName | the name of a file |
suffix | a suffix to test |
Definition at line 54 of file CmdInterface.cc.
References _suffixes.
Referenced by completeFsm(), determineFsm(), explainFsm(), exportToDot(), exportTsToDdAut(), insertFsms(), minimizeFsm(), projectFsm(), runFsm(), synchroniseFsm(), tagDdAutStates(), trimDdAutStates(), Diades::CmdInterface::writeAut(), Diades::CmdInterface::writeFiniteAutomaton(), and Diades::CmdInterface::writeFiniteStateMachine().
|
private |
Definition at line 52 of file CmdInterface.hh.
Referenced by FileSuffixes().
|
private |
Definition at line 53 of file CmdInterface.hh.
Referenced by FileSuffixes(), and match().