diff options
Diffstat (limited to 'src/uscxml/plugins/datamodel')
-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); |