Graphviz - 生成smc 的.sm文件对应的工作流程图
一、smc状态机的使用说明及示例
smc状态机的使用说明及示例可参考链接: smc状态机代码生成工具详细说明.
二、生成sm工作流程图
生成sm工作流程图,可以通过图形直观看到当前.sm文件定义的状态及转移过程情况。
2.1 graph 指令介绍
SMC 选项 -graph 使用三个详细级别生成 Graphviz DOT 文件:
- glevel 0:生成最少的细节:
1.状态名称
2.仅转换名称和转换“节点”。- glevel 1:生成以上所有加:
1.进入和退出动作。
2.过渡监听。
3.过渡动作。- glevel 2:生成以上所有加:
1.进入和退出动作参数。
2.过渡参数。
3.pop 过渡参数。
4.过渡动作参数。
2.2 安装Graphviz软件
graphviz (英文:Graph Visualization Software的缩写)是一个由AT&T实验室启动的开源工具包,可以像 MarkDown 一样简单的画思维导图,用于绘制DOT语言脚本描述的图形。
1、去网站下载Graphviz软件安装包:
下载链接: Download Graphviz .
2、选择Windows可执行压缩包版本,如:
graphviz-2.50.0 (32-bit) ZIP archive [sha256] .
3、下载完成后,解压缩;
4、将目录添加到path环境变量中:
我的电脑 - > 属性 -> 高级系统设置 -> 环境变量
-> path -> 编辑 -> 新建 -> 复制bin目录到参数中 -> 确定
5、测试安装:
(1) window+r -> cmd 进入命令行界面:
(2)执行命令:dot –help 有输出表示安装成功
2.3 生成.dot / .png 图形文件
1、生成.dot文件:
命令行在smc目录下执行命令
java -jar Smc.jar -graph -glevel 0 -d ./ sm文件名称.sm
此时,该项目目录下将出现.dot文件:
2、通过.dot文件生成.png图形文件:
执行命令:
dot -Tpng dot文件名.dot -o 指定png文件名.png
此时,该项目目录下将出现.png文件:
打开该文件,如下图所示: