2010-02-08 8 views

risposta

1

Lo stato successivo in gen_fsm può essere un valore calcolato che l'analisi delle sorgenti statiche non sarebbe in grado di scoprire nel caso generale.

Naturalmente; con annotazioni di tipo sarebbe possibile, ma in tal caso si potrebbe anche scrivere esplicitamente le transizioni di stato per generare il file .dot da.

2

Questo post forum ("Mi piacerebbe provare qualche strumento di collegamento gen_fsm (o altro FSM Erlang) e il file di punto (graphviz).") Potrebbe essere utile a voi:

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

+0

Grazie a Internet Archive (https://web.archive.org/web/20111105111111/http://www.trapexit.org/forum/viewtopic.php?p=44468) sono riuscito a trovare gli strumenti citati - vedere https://github.com/lavrin/graph_draw e http://erlang.org/pipermail/erlang-questions/2001-October/003717.html. Non sono ancora sicuro se siano di qualche utilità. – erszcz

2

Quando dici di voler analizzare il codice sorgente di un programma Erlang, mi chiedo se ti interessasse per caso l'analisi delle dipendenze del tuo programma. (Potrebbe interessarti solo analizzare l'FSM che stai scrivendo, ma volevo ricontrollare).

In tal caso, è possibile che l'Xref di Erlang - Lo strumento di riferimento incrociato possa essere di interesse.

Sono un nuovo utente, quindi non posso pubblicare un altro collegamento ipertestuale, ma se cerchi "erlang xref graphviz" troverai un post su erlang.org dove Ulf W descrive il collegamento di Xref a GraphViz.