如何可视化Erlang gen_fsm[已关闭]

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

当然使用类型注释是可能的,但是您也可以显式地写下状态转换以生成 .dot 文件来自。

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

当您说要分析Erlang程序的源代码时,我想知道您是否碰巧对程序本身的依赖性分析感兴趣(您可能只想分析您正在编写的FSM,但我想再次检查)。

如果是,Erlang的 Xref -交叉引用工具可能会引起兴趣。

我是新用户,因此无法发布其他超链接,但如果您搜索“erlang xref graphviz”,您将在erlang.org上找到一篇文章,其中Ulf W描述了如何将外部参照连接到graphviz。