Link Details

Hmm, I have always liked IDEAs all-time present analysis of my AST when typing, which for instance can give me a warning, if some variable could be null when referenced. I think IDEA analyzes the possible execution paths of the code, and then determines if some variable might be null in a place where it is referenced. The other day I noticed, that IDEA must have built-in knowledge about JUnit, because it seems to use the contract of assertNotNull, in its analysis of nullable variables.