2010-02-08 13 views

Respuesta

1

El siguiente estado en gen_fsm puede ser un valor calculado que el análisis de fuente estático no podría descubrir en el caso general.

Por supuesto; con anotaciones de tipo sería posible, pero también podría escribir sus transiciones de estado explícitamente para generar su archivo .dot.

2

Este mensaje del foro ("Me gustaría probar alguna herramienta que gen_fsm enlace (u otro FSM Erlang) y el archivo de punto (graphviz).") Podría ser de utilidad para usted:

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

+0

Gracias a Internet Archive (https://web.archive.org/web/20111105111111/http://www.trapexit.org/forum/viewtopic.php?p=44468) Logré encontrar las herramientas mencionadas - ver https://github.com/lavrin/graph_draw y http://erlang.org/pipermail/erlang-questions/2001-October/003717.html. Todavía no estoy seguro si son de alguna utilidad. – erszcz

2

Cuando dice que quiere analizar el código fuente de un programa Erlang, me hizo preguntarme si estaba interesado por casualidad en el análisis de dependencia de su programa. (Puede que solo le interese analizar el FSM que está escribiendo, pero quería verificarlo dos veces).

En caso afirmativo, Erlang Xref - La herramienta de referencia cruzada, podría ser de su interés.

Soy un usuario nuevo, así que no puedo publicar otro hipervínculo, pero si busca "erlang xref graphviz", encontrará una publicación en erlang.org donde Ulf W describe cómo conectar Xref a GraphViz.

Cuestiones relacionadas