diff options
| author | Stefan Radomski <github@mintwerk.de> | 2017-05-14 12:39:37 (GMT) |
|---|---|---|
| committer | Stefan Radomski <github@mintwerk.de> | 2017-05-14 12:39:37 (GMT) |
| commit | 9b5bc11d60dd6d111661ce4aa37725046071cf6e (patch) | |
| tree | 059a50029ba778e8351c6ade233276ad9bafe75f /src/uscxml/plugins | |
| parent | 56074d3bd2ab4c8220b67b3da56ff55bbb286bae (diff) | |
| download | uscxml-9b5bc11d60dd6d111661ce4aa37725046071cf6e.zip uscxml-9b5bc11d60dd6d111661ce4aa37725046071cf6e.tar.gz uscxml-9b5bc11d60dd6d111661ce4aa37725046071cf6e.tar.bz2 | |
Passes more tests again
Diffstat (limited to 'src/uscxml/plugins')
| -rw-r--r-- | src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp b/src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp index 048deb5..a764c82 100644 --- a/src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp +++ b/src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp @@ -409,6 +409,10 @@ void PromelaDataModel::setEvent(const Event& event) { case PML_NAME: { Data d = getVariable(node); if (d.atom.size() != 0) + // fixes issue 127 + if (isNumeric(d.atom.c_str(), 10)) { + return Data(d.atom, Data::VERBATIM); + } return Data(d.asJSON(), Data::VERBATIM); if (d.type == Data::INTERPRETED && d.atom[0] == '\'' && d.atom[d.atom.size() - 1] == '\'') return Data(d.atom.substr(1, d.atom.size() - 2), Data::VERBATIM); |