diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-07-03 11:31:35 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-07-03 11:31:35 (GMT) |
commit | 67f8e8b4106eb20ce0bc01fd840b0d8e4319cb36 (patch) | |
tree | 42ba94ef35bf70d74ebb8dcc03e01752874a6540 /src/uscxml/plugins/datamodel/promela | |
parent | b542369263782dc8b85893e218119ed070efa7b3 (diff) | |
download | uscxml-67f8e8b4106eb20ce0bc01fd840b0d8e4319cb36.zip uscxml-67f8e8b4106eb20ce0bc01fd840b0d8e4319cb36.tar.gz uscxml-67f8e8b4106eb20ce0bc01fd840b0d8e4319cb36.tar.bz2 |
Introduced isLocation for datamodels to check for valid namelist entries
Diffstat (limited to 'src/uscxml/plugins/datamodel/promela')
-rw-r--r-- | src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp | 4 | ||||
-rw-r--r-- | src/uscxml/plugins/datamodel/promela/PromelaDataModel.h | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp b/src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp index 4300512..6d34677 100644 --- a/src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp +++ b/src/uscxml/plugins/datamodel/promela/PromelaDataModel.cpp @@ -98,6 +98,10 @@ bool PromelaDataModel::validate(const std::string& location, const std::string& return true; } +bool PromelaDataModel::isLocation(const std::string& expr) { + return true; +} + uint32_t PromelaDataModel::getLength(const std::string& expr) { if (!isDeclared(expr)) { ERROR_EXECUTION_THROW("Variable '" + expr + "' was not declared"); diff --git a/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h b/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h index cbbf570..ca6b19d 100644 --- a/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h +++ b/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h @@ -49,6 +49,7 @@ public: virtual void registerIOProcessor(const std::string& name, const IOProcessor& ioprocessor); virtual bool validate(const std::string& location, const std::string& schema); + virtual bool isLocation(const std::string& expr); virtual uint32_t getLength(const std::string& expr); virtual void setForeach(const std::string& item, |