diff options
author | Jens Heuschkel <heuschkel@tk.tu-darmstadt.de> | 2016-11-23 10:24:55 (GMT) |
---|---|---|
committer | Jens Heuschkel <heuschkel@tk.tu-darmstadt.de> | 2016-11-23 10:24:55 (GMT) |
commit | 5dbac430453dac1ec1fb76250797df7222f37f40 (patch) | |
tree | 26e3c255ac71afa09267242ea882878a3599b7fa /src/uscxml/transform/promela/PromelaCodeAnalyzer.h | |
parent | e7aa2089b209388afd361b1d094ceeb57b5a6910 (diff) | |
download | uscxml-5dbac430453dac1ec1fb76250797df7222f37f40.zip uscxml-5dbac430453dac1ec1fb76250797df7222f37f40.tar.gz uscxml-5dbac430453dac1ec1fb76250797df7222f37f40.tar.bz2 |
butify code again
Diffstat (limited to 'src/uscxml/transform/promela/PromelaCodeAnalyzer.h')
-rw-r--r-- | src/uscxml/transform/promela/PromelaCodeAnalyzer.h | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/src/uscxml/transform/promela/PromelaCodeAnalyzer.h b/src/uscxml/transform/promela/PromelaCodeAnalyzer.h index 83ee684..7f69ac9 100644 --- a/src/uscxml/transform/promela/PromelaCodeAnalyzer.h +++ b/src/uscxml/transform/promela/PromelaCodeAnalyzer.h @@ -64,10 +64,10 @@ public: return true; return false; } - bool usesCancel(const std::string& elementName) { - return _usesCancel; - } - + bool usesCancel(const std::string& elementName) { + return _usesCancel; + } + bool usesEventDataField(const std::string& fieldName) { if (usesComplexEventStruct() && _typeDefs.types["_event"].types.find("data") != _typeDefs.types["_event"].types.end() && @@ -76,8 +76,8 @@ public: return false; } - size_t largestDelay = 0; - + size_t largestDelay = 0; + std::string getTypeAssignment(const std::string& varTo, const std::string& varFrom, const PromelaTypedef& type, size_t indent = 0); std::string getTypeReset(const std::string& var, const PromelaTypedef& type, size_t indent = 0); @@ -91,9 +91,9 @@ public: return _usesPlatformVars; } - bool hasIndexLessLoops() { - return _hasIndexLessLoops; - } + bool hasIndexLessLoops() { + return _hasIndexLessLoops; + } std::string macroForLiteral(const std::string& literal); int indexForLiteral(const std::string& literal); @@ -121,17 +121,17 @@ public: } std::string sanitizeCode(const std::string& code); - void addEvent(const std::string& eventName); - std::string createMacroName(const std::string& literal); + void addEvent(const std::string& eventName); + std::string createMacroName(const std::string& literal); protected: - void addState(const std::string& stateName, size_t index); + void addState(const std::string& stateName, size_t index); int enumerateLiteral(const std::string& literal, int forceIndex = -1); std::map<std::string, std::string> _strMacros; // macronames for string literals std::map<std::string, int> _strIndex; // integer enumeration for string - std::set<std::string> _literals; + std::set<std::string> _literals; PromelaTypedef _typeDefs; Trie _eventTrie; @@ -139,8 +139,8 @@ protected: private: std::set<std::string> _macroNameSet; // helper set for uniqueness of macros int _lastStrIndex = 1; - bool _usesCancel = false; - bool _usesInPredicate = false; + bool _usesCancel = false; + bool _usesInPredicate = false; bool _usesPlatformVars = false; bool _hasIndexLessLoops = false; }; |