Как визуализировать Erlang gen_fsm
Знаете ли вы о каком-либо существующем инструменте для графического отображения диаграммы Erlang gen_fsm, начиная с исходного кода?
3 ответа
Следующее состояние в gen_fsm может быть вычисленным значением, которое статический анализ источника не сможет найти в общем случае.
Конечно; с аннотациями типов это было бы возможно, но тогда вы могли бы точно так же записать свои переходы состояний явно, чтобы сгенерировать .dot файл из.
Когда вы говорите, что хотите проанализировать исходный код программы на Erlang, у меня возникает вопрос, не заинтересован ли вы случайно в анализе зависимостей самой вашей программы. (Возможно, вы захотите проанализировать только тот FSM, который вы пишете, но я хотел проверить еще раз).
Если это так, может пригодиться Xref - инструмент перекрестных ссылок Erlang.
Я новый пользователь, поэтому я не могу публиковать еще одну гиперссылку, но если вы ищете "erlang xref graphviz", вы найдете сообщение на erlang.org, где Ulf W описывает подключение Xref к GraphViz.
Это сообщение на форуме ("Я хотел бы попробовать какой-нибудь инструмент, кроме ссылки gen_fsm (или другого файла erlang FSM) и файла dot (graphviz)."), Может быть полезным для вас: