2010-02-08 7 views

Antwort

1

Der next-state in gen_fsm kann ein berechneter Wert sein, den die statische Quellenanalyse im allgemeinen Fall nicht ermitteln 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 zu generieren.

2

Dieses Forum Post ("Ich möchte ein Tool als Link gen_fsm (oder andere erlang FSM) und Punkt (graphviz) Datei versuchen.") Könnte für Sie von Nutzen sein:

http://www.trapexit.org/forum/viewtopic.php?p=44468

+0

Dank Internet Archive (https://web.archive.org/web/20111105111111/http://www.trapexit.org/forum/viewtopic.php?p=44468) habe ich die genannten Tools gefunden - siehe https://github.com/lavrin/graph_draw und http://erlang.org/pipermail/erlang-questions/2001-October/003717.html. Ich bin mir noch nicht sicher, ob sie nützlich sind. – erszcz

2

Wenn Sie sagen, dass Sie den Quellcode eines Erlang-Programms analysieren möchten, habe ich mich gefragt, ob Sie zufällig an einer Abhängigkeitsanalyse Ihres Programms selbst interessiert waren. (Sie könnten nur die FSM analysieren, die Sie schreiben, aber ich wollte es noch einmal überprüfen).

Wenn 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.