diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/uscxml/CMakeLists.txt | 2 | ||||
-rw-r--r-- | src/uscxml/debug/Breakpoint.h | 1 | ||||
-rw-r--r-- | src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp | 6 |
3 files changed, 8 insertions, 1 deletions
diff --git a/src/uscxml/CMakeLists.txt b/src/uscxml/CMakeLists.txt index 5c8f582..276bd23 100644 --- a/src/uscxml/CMakeLists.txt +++ b/src/uscxml/CMakeLists.txt @@ -56,7 +56,7 @@ list (APPEND USCXML_FILES ${USCXML_SERVER}) file(GLOB USCXML_CORE ${CMAKE_SOURCE_DIR}/contrib/src/jsmn/jsmn.c ${CMAKE_SOURCE_DIR}/contrib/src/evws/evws.c - # ${CMAKE_SOURCE_DIR}/contrib/src/uriparser/src/*.c + ${CMAKE_SOURCE_DIR}/contrib/src/uriparser/src/*.c *.cpp *.h ) diff --git a/src/uscxml/debug/Breakpoint.h b/src/uscxml/debug/Breakpoint.h index feaf221..a9d96f8 100644 --- a/src/uscxml/debug/Breakpoint.h +++ b/src/uscxml/debug/Breakpoint.h @@ -52,6 +52,7 @@ public: subject = UNDEF_SUBJECT; when = UNDEF_WHEN; action = UNDEF_ACTION; + enabled = true; } Breakpoint(const Data& data); 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++; |