Intellij中的代码合同

Question

我正在使用openjml进行代码合同（openjml.org）

是否可以将它与Intellij一起使用？

我一直在搜索谷歌，但在Intellij

中找不到任何有关代码合同的内容

此致

Answer 1

据我所知，没有插件可以在IntelliJ IDEA中提供OpenJML支持。但是，IntelliJ IDEA通过自己的@Contract annotation支持有限形式的代码合同。