diff options
Diffstat (limited to 'src/uscxml/plugins/datamodel/promela')
-rw-r--r-- | src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp b/src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp index 5adf337..863bd5b 100644 --- a/src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp +++ b/src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp @@ -448,6 +448,12 @@ void PromelaDataModel::setEvent(const Event& event) { return Data(dataToInt(evaluateExpr(*opIter++)) << dataToInt(evaluateExpr(*opIter++))); case PML_RSHIFT: return Data(dataToInt(evaluateExpr(*opIter++)) >> dataToInt(evaluateExpr(*opIter++))); + case PML_ASGN: { + PromelaParserNode* lhs = *opIter++; + PromelaParserNode* rhs = *opIter++; + setVariable(lhs, evaluateExpr(rhs)); + break; + } case PML_AND: case PML_OR: { PromelaParserNode* lhs = *opIter++; |