analyze DFA of @Nullable locals and params since they can wind up with not null value...
commitad5c1674ec08f07881bab6df5ed107fb5838a020
authorAlexey Kudravtsev <cdr@intellij.com>
Fri, 29 Jan 2010 15:24:33 +0000 (29 18:24 +0300)
committerAlexey Kudravtsev <cdr@intellij.com>
Mon, 1 Feb 2010 10:40:16 +0000 (1 13:40 +0300)
treee352df6673d67fe4862e3f83877e98e40f56949e
parente3d88d8a6401f45a5f65f2f8ba1a5363aeee7934
analyze DFA of @Nullable locals and params since they can wind up with not null values too
java/java-impl/src/com/intellij/slicer/SliceNullnessAnalyzer.java