2010-02-08 36 views

Trả lời

1

Trạng thái tiếp theo trong gen_fsm có thể là giá trị được tính toán mà phân tích nguồn tĩnh sẽ không thể tìm ra trong trường hợp chung.

Tất nhiên; với chú thích kiểu nó sẽ là có thể, nhưng sau đó bạn cũng có thể ghi lại quá trình chuyển đổi trạng thái của bạn một cách rõ ràng để tạo tệp .dot của bạn từ đó.

2

bài diễn đàn này ("Tôi muốn thử một số công cụ hơn liên kết gen_fsm (hoặc FSM erlang khác) và file dot (graphviz).") Có thể được sử dụng cho bạn:

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

+0

Nhờ lưu trữ Internet (https://web.archive.org/web/20111105111111/http://www.trapexit.org/forum/viewtopic.php?p=44468) Tôi đã quản lý để tìm các công cụ được đề cập - xem https://github.com/lavrin/graph_draw và http://erlang.org/pipermail/erlang-questions/2001-October/003717.html. Tôi không chắc liệu họ có sử dụng hay không. – erszcz

2

Khi bạn nói bạn muốn phân tích mã nguồn của một chương trình Erlang, nó khiến tôi tự hỏi liệu bạn có cơ hội quan tâm đến phân tích phụ thuộc của chương trình của bạn hay không. (Bạn chỉ có thể quan tâm để phân tích FSM mà bạn đang viết, nhưng tôi muốn kiểm tra lại).

Nếu vậy, công cụ tham chiếu chéo của Erlang có thể là mối quan tâm của Xref.

Tôi là người dùng mới, vì vậy tôi không thể đăng siêu liên kết khác, nhưng nếu bạn tìm kiếm "erlang xref graphviz", bạn sẽ tìm thấy một bài đăng trên erlang.org nơi Ulf W mô tả kết nối Xref với GraphViz.

Các vấn đề liên quan