Comments on: Type Annotations (JSR-308) Support http://blogs.jetbrains.com/idea/2009/07/type-annotations-jsr-308-support/ tips & tricks, news, how-to's Mon, 13 Feb 2012 13:19:27 +0000 http://wordpress.org/?v=2.6.5 By: Nick Fortescue http://blogs.jetbrains.com/idea/2009/07/type-annotations-jsr-308-support/#comment-157493 Nick Fortescue Thu, 23 Dec 2010 12:04:44 +0000 http://blogs.jetbrains.com/idea/?p=1372#comment-157493 I've found a workaround. For those also with this problem they might want to look at: http://blog.nickfortescue.com/2010/12/jsr308-type-annotations-compiler.html I’ve found a workaround. For those also with this problem they might want to look at: http://blog.nickfortescue.com/2010/12/jsr308-type-annotations-compiler.html

]]> By: Nick Fortescue http://blogs.jetbrains.com/idea/2009/07/type-annotations-jsr-308-support/#comment-157470 Nick Fortescue Thu, 23 Dec 2010 10:35:10 +0000 http://blogs.jetbrains.com/idea/?p=1372#comment-157470 I'm using IntelliJ 10. Is there a currently recommended way to enable type annotations compilation? I know JSR-308 has now been postponed to Java 8. I can see that the Project language level now says Annotations under Java 8. However, the instructions for patching the type annotations compiler no longer work. The recommended way of installing seems to be downloading the checker framework, and using the javac there. However, setting the project SDK insists on it being a JSDK or an IntelliJ IDEA plugin SDK, which doesn't work with the javac for the JSR-308 project. Is there any way in IntelliJ I can do what the javac/javac.bat scripts do and set the bootclasspath to be jsr308-all.jar? I’m using IntelliJ 10. Is there a currently recommended way to enable type annotations compilation? I know JSR-308 has now been postponed to Java 8. I can see that the Project language level now says Annotations under Java 8.

However, the instructions for patching the type annotations compiler no longer work. The recommended way of installing seems to be downloading the checker framework, and using the javac there. However, setting the project SDK insists on it being a JSDK or an IntelliJ IDEA plugin SDK, which doesn’t work with the javac for the JSR-308 project.

Is there any way in IntelliJ I can do what the javac/javac.bat scripts do and set the bootclasspath to be jsr308-all.jar?

]]> By: Eugene Kirpichov http://blogs.jetbrains.com/idea/2009/07/type-annotations-jsr-308-support/#comment-114176 Eugene Kirpichov Sun, 09 Aug 2009 10:58:28 +0000 http://blogs.jetbrains.com/idea/?p=1372#comment-114176 Thank you! I am craving for a release of JDK7 to finally beat the hell out of bugs in my programs :) Thank you! I am craving for a release of JDK7 to finally beat the hell out of bugs in my programs :)

]]>