IDEA外部工具配置-OpenJML篇
关于外部工具引入
引入外部工具的大致原理是：在jetbrain中预设执行程序（Program）和程序执行参数（Arguments）。然后由jetbrain根据这些预设好的信息在terminal中生成引入外部工具的指令。如果遇到报错情况，可能是生成的命令本身执行存在问题。本文写的参数是在windows平台的，似乎在mac os上有问题。
帮助文档
-
jetbrains帮助文档：https://www.jetbrains.com/help/idea/settings-tools-external-tools.html
-
使用external tools教程（win/linux）：https://www.jianshu.com/p/da29cc50eaf4
-
使用external tools教程（mac）：http://hyuga.top/2018/09/07/idea-external-tools/
添加OpenJML
参数(arguments)设置仅供参考
运行：IDEA→tools→external tools
