PromelaDataModel.cpp File Reference
#include "uscxml/Common.h"#include "uscxml/util/String.h"#include "PromelaDataModel.h"#include "uscxml/util/DOM.h"#include <cctype>#include <boost/algorithm/string.hpp>#include "PromelaParser.h"#include "parser/promela.tab.hpp"#include "uscxml/interpreter/Logging.h"
Include dependency graph for PromelaDataModel.cpp:
Macros | |
| #define | INVALID_ASSIGNMENT(name) |
Detailed Description
- Copyright
- Simplified BSD
Macro Definition Documentation
| #define INVALID_ASSIGNMENT | ( | name | ) |
Value:
name.compare("_sessionid") == 0 || \
name.compare("_name") == 0 || \
name.compare("_ioprocessors") == 0 || \
name.compare("_event") == 0