2019年4月26日
IDEA外部工具配置-OpenJML篇
摘要： 关于外部工具引入 引入外部工具的大致原理是：在jetbrain中预设执行程序（Program）和程序执行参数（Arguments）。然后由jetbrain根据这些预设好的信息在terminal中生成引入外部工具的指令。如果遇到报错情况，可能是生成的命令本身执行存在问题。本文写的参数是在windows 阅读全文
posted @ 2019-04-26 23:38 Hii77 阅读(2216) 评论(0) 推荐(1) 编辑