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