diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-08-04 21:39:39 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-08-04 21:39:39 (GMT) |
| commit | 83ef70ebc7527240f56e2e601777a613bce6e47e (patch) | |
| tree | c520fec5b446672b69353a0b37460631840b4219 /src/uscxml/debug/SCXMLDotWriter.h | |
| parent | 932916f952f302a46e41841ccf95ec1b7851b302 (diff) | |
| download | uscxml-83ef70ebc7527240f56e2e601777a613bce6e47e.zip uscxml-83ef70ebc7527240f56e2e601777a613bce6e47e.tar.gz uscxml-83ef70ebc7527240f56e2e601777a613bce6e47e.tar.bz2 | |
Beautified flattened state-machine ids
Diffstat (limited to 'src/uscxml/debug/SCXMLDotWriter.h')
| -rw-r--r-- | src/uscxml/debug/SCXMLDotWriter.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/uscxml/debug/SCXMLDotWriter.h b/src/uscxml/debug/SCXMLDotWriter.h index 61fbfad..04cd0fd 100644 --- a/src/uscxml/debug/SCXMLDotWriter.h +++ b/src/uscxml/debug/SCXMLDotWriter.h @@ -130,6 +130,8 @@ public: virtual void beforeTakingTransition(Interpreter interpreter, const Arabica::DOM::Element<std::string>& transition, bool moreComing); virtual void beforeMicroStep(Interpreter interpreter); + static std::string htmlLabelForId(const std::string& stateId, int minRows = 0); + static void toDot(const std::string& filename, Interpreter interpreter, const Arabica::DOM::Element<std::string>& transition = Arabica::DOM::Element<std::string>()) { |