Kennen Sie ein vorhandenes Werkzeug, um das Diagramm eines Erlang gen_fsm ausgehend vom Quellcode grafisch darzustellen?
Der next-state in gen_fsm kann ein berechneter Wert sein, den die statische Quellenanalyse im allgemeinen Fall nicht herausfinden könnte.
Natürlich; Mit Typ Anmerkungen wäre es möglich, aber dann könnten Sie auch Ihre Zustandsübergänge explizit aufschreiben, um Ihre .dot Datei aus zu generieren.
Wenn Sie sagen, dass Sie den Quellcode eines Erlang-Programms analysieren wollen, habe ich mich gefragt, ob Sie zufällig an einer Abhängigkeitsanalyse Ihres Programms selbst interessiert waren. (Sie können nur die FSM analysieren, die Sie schreiben, aber ich wollte es überprüfen).
Falls ja, könnte Erlangs Xref - Das Cross Reference Tool von Interesse sein.
>Ich bin ein neuer Benutzer, also kann ich keinen weiteren Hyperlink posten, aber wenn Sie nach "erlang xref graphviz" suchen, finden Sie einen Beitrag auf erlang.org, wo Ulf W das Verbinden von Xref mit GraphViz beschreibt.
>Tags und Links erlang diagram graphviz finite-state-machine gen-fsm