IDEA外部工具配置-OpenJML篇

关于外部工具引入

引入外部工具的大致原理是:在jetbrain中预设执行程序(Program)和程序执行参数(Arguments)。然后由jetbrain根据这些预设好的信息在terminal中生成引入外部工具的指令。如果遇到报错情况,可能是生成的命令本身执行存在问题。本文写的参数是在windows平台的,似乎在mac os上有问题

帮助文档

添加OpenJML

参数(arguments)设置仅供参考

运行:IDEA→tools→external tools

posted @ 2019-04-26 23:38  Hii77  阅读(1516)  评论(0编辑  收藏