diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-22 14:04:04 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-22 14:04:04 (GMT) |
| commit | b54d9c61b6c29c973168f33f683a49051f0ed3cc (patch) | |
| tree | cdab5475f355db2b9c03ad4b4807a478e29c96c9 /src/uscxml/transform/FSMToPromela.h | |
| parent | 1fb6bcf30f954e426f2d3002d14887574fb941dd (diff) | |
| download | uscxml-b54d9c61b6c29c973168f33f683a49051f0ed3cc.zip uscxml-b54d9c61b6c29c973168f33f683a49051f0ed3cc.tar.gz uscxml-b54d9c61b6c29c973168f33f683a49051f0ed3cc.tar.bz2 | |
Beautified Code
Diffstat (limited to 'src/uscxml/transform/FSMToPromela.h')
| -rw-r--r-- | src/uscxml/transform/FSMToPromela.h | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/uscxml/transform/FSMToPromela.h b/src/uscxml/transform/FSMToPromela.h index adb0f6a..37c2b67 100644 --- a/src/uscxml/transform/FSMToPromela.h +++ b/src/uscxml/transform/FSMToPromela.h @@ -33,13 +33,13 @@ namespace uscxml { class PromelaInline { public: enum PromelaInlineType { - PROMELA_CODE, - PROMELA_EVENT_SOURCE, - PROMELA_PROGRESS_LABEL, - PROMELA_ACCEPT_LABEL, - PROMELA_END_LABEL + PROMELA_CODE, + PROMELA_EVENT_SOURCE, + PROMELA_PROGRESS_LABEL, + PROMELA_ACCEPT_LABEL, + PROMELA_END_LABEL }; - + std::string content; PromelaInlineType type; }; @@ -47,7 +47,7 @@ public: class PromelaInlines { public: PromelaInlines() : hasProgressLabel(false), hasAcceptLabel(false), hasEndLabel(false), hasEventSource(false), hasCode(false) {} - + std::list<PromelaInline> inlines; bool hasProgressLabel; bool hasAcceptLabel; @@ -84,17 +84,17 @@ protected: void writeFSM(std::ostream& stream); void writeEventDispatching(std::ostream& stream); void writeMain(std::ostream& stream); - - + + void writeIfBlock(std::ostream& stream, const Arabica::XPath::NodeSet<std::string>& condChain, int indent = 0); void writeDispatchingBlock(std::ostream& stream, const Arabica::XPath::NodeSet<std::string>& transChain, int indent = 0); std::string beautifyIndentation(const std::string& code, int indent = 0); - + Arabica::XPath::NodeSet<std::string> getTransientContent(const Arabica::DOM::Node<std::string>& state); Arabica::DOM::Node<std::string> getUltimateTarget(const Arabica::DOM::Node<std::string>& transition); PromelaInlines getInlinePromela(const Arabica::XPath::NodeSet<std::string>& elements, bool recurse = false); - + Trie _eventTrie; Arabica::XPath::NodeSet<std::string> _globalStates; Arabica::DOM::Node<std::string> _startState; |