请参阅my blog post摘自Java Posse＃386 - 2012年5月31日的新闻广播，扩展了此主题。
JSR 308是否促进了Java合同设计？距assertions还有一步？什么时候它将成为JDK的一部分？
什么时候计划作为JDK的一部分发布？
答案 0 :(得分：3)
JSR 308与合同无关。相反，它扩展了Java类型系统，以便您可以根据其使用上下文修改基本类型。 Checker Framework提供了一些关于类型注释可以做什么的很好的例子。 我敢肯定你可以以某种方式破坏它以使其成为契约，但你仍然需要添加一个自定义处理器，将注释编译成代码，而不是仅仅通过类型检查器传递它们。
目前该计划将包含在Java 8中。但这仍然可以改变。