#ifndef SCXMLDOTWRITER_H_AOP0OHXX #define SCXMLDOTWRITER_H_AOP0OHXX #include "uscxml/Interpreter.h" #include #include #include #include namespace uscxml { class Interpreter; /** * This writer, added as a monitor will output .dot files. * * # create a set of pdfs form the dot files * $ dot -Tpdf -O *.dot * or * $ find . -name "*.dot" -exec dot -Tpdf -O {} \; * * # create a movie from the pdfs * $ dot -Tgif -O *.dot * or * $ find . -name "*.dot" -exec dot -Tgif -O {} \; * * $ ffmpeg -r 3 -i .%06d.dot.gif -r 25 movie.mpg * $ convert -delay 20 *.gif animated.gif * * # unflatten can be used to create more compact graphs * find . -name "*.dot" -exec unflatten -f -l2 -o {}.flat.dot {} \; */ class SCXMLDotWriter : public InterpreterMonitor { public: struct ElemDetails { std::string name; std::string details; std::string content; }; SCXMLDotWriter(); ~SCXMLDotWriter(); virtual void onStableConfiguration(Interpreter interpreter); virtual void afterCompletion(Interpreter interpreter); virtual void beforeTakingTransitions(Interpreter interpreter, const Arabica::XPath::NodeSet& transitions); virtual void beforeMicroStep(Interpreter interpreter); static void toDot(const std::string& filename, Interpreter interpreter, const Arabica::XPath::NodeSet& transitions = Arabica::XPath::NodeSet()); std::string getDetailedLabel(const Arabica::DOM::Element& elem, int indentation = 0); std::string colorForIndent(int indent); std::string idForNode(const Arabica::DOM::Node& node); std::string nameForNode(const Arabica::DOM::Node& node); std::string getPrefix(); static std::string dotEscape(const std::string& text); protected: SCXMLDotWriter(Interpreter interpreter, const Arabica::XPath::NodeSet& transitions); void writeSCXMLElement(std::ostream& os, const Arabica::DOM::Element& elem); void writeStateElement(std::ostream& os, const Arabica::DOM::Element& elem); void writeTransitionElement(std::ostream& os, const Arabica::DOM::Element& elem); int _iteration; std::set _knownIds; int _indentation; // these are only set in ephemeral instances per monitor call Arabica::XPath::NodeSet _transitions; Interpreter _interpreter; }; } #endif /* end of include guard: SCXMLDOTWRITER_H_AOP0OHXX */