diff options
author | Stefan Radomski <github@mintwerk.de> | 2017-07-05 11:35:04 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-05 11:35:04 (GMT) |
commit | cb2f533085542a753fc45d17fdb09396c46fbadc (patch) | |
tree | 66d378d1df7cb82834e944a1f37865809abf75ae /src/uscxml/transform/ChartToC.cpp | |
parent | 3f10e11d6ad2b97fee4aee6e09bc959ba9b8e0e5 (diff) | |
parent | a0f96c5dd050c524223ac644ba8798bc7cc80bfd (diff) | |
download | uscxml-cb2f533085542a753fc45d17fdb09396c46fbadc.zip uscxml-cb2f533085542a753fc45d17fdb09396c46fbadc.tar.gz uscxml-cb2f533085542a753fc45d17fdb09396c46fbadc.tar.bz2 |
Merge pull request #155 from tklab-tud/sradomski
More performant monitors with slight API break
Diffstat (limited to 'src/uscxml/transform/ChartToC.cpp')
-rw-r--r-- | src/uscxml/transform/ChartToC.cpp | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/uscxml/transform/ChartToC.cpp b/src/uscxml/transform/ChartToC.cpp index 0f64ad6..a52cf5e 100644 --- a/src/uscxml/transform/ChartToC.cpp +++ b/src/uscxml/transform/ChartToC.cpp @@ -54,7 +54,7 @@ ChartToC::ChartToC(const Interpreter& other) : TransformerImpl(other), _topMostM _hasNativeDataModel = HAS_ATTR(_scxml, kXMLCharDataModel) && ATTR(_scxml, kXMLCharDataModel) == "native"; findNestedMachines(); - prepare(); + prepare(); if (_extensions.find("prefix") != _extensions.end()) { _prefixes = new std::list<std::string>(); @@ -382,13 +382,13 @@ void ChartToC::prepare() { setStateCompletion(); // how many bits do we need to represent the state array? - size_t largestStateSpace = 0; - size_t largestTransSpace = 0; - for (auto machine : _allMachines) { - largestStateSpace = (machine->_states.size() > largestStateSpace ? machine->_states.size() : largestStateSpace); - largestTransSpace = (machine->_transitions.size() > largestTransSpace ? machine->_transitions.size() : largestTransSpace); - } - + size_t largestStateSpace = 0; + size_t largestTransSpace = 0; + for (auto machine : _allMachines) { + largestStateSpace = (machine->_states.size() > largestStateSpace ? machine->_states.size() : largestStateSpace); + largestTransSpace = (machine->_transitions.size() > largestTransSpace ? machine->_transitions.size() : largestTransSpace); + } + std::string seperator; _stateCharArraySize = ceil((float)largestStateSpace / (float)8); _stateCharArrayInit = "{"; @@ -1670,13 +1670,13 @@ void ChartToC::writeElementInfo(std::ostream& stream) { size_t i = 0; for (auto iter = params.begin(); iter != params.end(); iter++, i++) { DOMElement* param = *iter; - // TODO: Index is wrong for multiple params! + // TODO: Index is wrong for multiple params! if (param->getParentNode() != parent) { if (i > 0) { stream << " { NULL, NULL, NULL }," << std::endl; - i++; + i++; } - static_cast<DOMElement*>(param->getParentNode())->setAttribute(X("paramIndex"), X(toStr(i))); + static_cast<DOMElement*>(param->getParentNode())->setAttribute(X("paramIndex"), X(toStr(i))); parent = param->getParentNode(); } stream << " { "; |