diff options
Diffstat (limited to 'src/uscxml/transform/ChartToPromela.h')
| -rw-r--r-- | src/uscxml/transform/ChartToPromela.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/uscxml/transform/ChartToPromela.h b/src/uscxml/transform/ChartToPromela.h index 2523bf6..2ee0b1a 100644 --- a/src/uscxml/transform/ChartToPromela.h +++ b/src/uscxml/transform/ChartToPromela.h @@ -324,7 +324,8 @@ protected: // std::string replaceStringsInExpression(const std::string& expr); std::string sanitizeCode(const std::string& code); - + std::string dataToAssignments(const std::string& prefix, const Data& data); + // Arabica::XPath::NodeSet<std::string> _globalStates; // Arabica::DOM::Node<std::string> _startState; // std::map<std::string, Arabica::DOM::Element<std::string> > _states; |