2010-02-08 37 views

回答

1

gen_fsm中的下一个状态可以是静态源分析在一般情况下无法找到的计算值。

当然;使用类型注释是可能的,但是您可以直接写下状态转换以生成您的.dot文件。

2

该论坛的帖子(“我想多试环节的gen_fsm(或其他二郎FSM)和点(graphviz的)文件中的一些工具。”)可能是你有帮助:

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

+0

感谢互联网档案馆(https://web.archive.org/web/20111105111111/http://www.trapexit.org/forum/viewtopic.php?p=44468)我设法找到上述工具 - 请参阅https://github.com/lavrin/graph_draw和http://erlang.org/pipermail/erlang-questions/2001-October/003717.html。我不确定它们是否有用。 – erszcz 2015-09-04 13:47:56

2

当你说你想分析Erlang程序的源代码时,它让我怀疑你是否偶然对程序本身的依赖性分析感兴趣。 (您可能只关心分析您正在编写的FSM,但我想仔细检查)。

如果是这样,Erlang的Xref - 交叉引用工具,可能是有趣的。

我是一个新用户,所以我不能发布另一个超链接,但是如果您搜索“erlang xref graphviz”,您会在erlang.org上找到一篇文章,其中Ulf W描述了将Xref连接到GraphViz。