Intellij中的代码约定

Question

我正在使用openjml for code contracts (openjml.org)

它可以和Intellij一起使用吗？

我一直在谷歌上搜索，但在Intellij中找不到任何关于代码合同的信息

问候

Answer 1

据我所知，在IntelliJ IDEA中还没有提供OpenJML支持的插件。然而，IntelliJ IDEA通过它自己的@Contract annotation支持有限形式的代码契约。