 peter
|
1b75318697
|
adapt testdata to inferred jdk annotations
|
2014-07-10 10:35:56 +02:00 |
|
 anna
|
93c8631bb4
|
infer nullity: more pessimistic check: check variables first (IDEA-114630)
|
2013-10-09 16:27:49 +02:00 |
|
|
anna
|
dbfd42dd63
|
infer nullity: treat instanceof as null check (IDEA-98153)
|
2012-12-28 15:32:08 +01:00 |
|
|
anna
|
c20dfe0a93
|
do not infer @NotNull for final fields with initializer (IDEA-75616)
|
2012-02-15 13:10:33 +01:00 |
|
|
anna
|
b4f660521a
|
infer nullity: skip () and type casts correctly (IDEA-64419)
|
2011-01-20 18:51:34 +01:00 |
|
|
anna
|
1c515125bb
|
infer nullity: check for switch conditions (IDEA-61451)
|
2010-12-13 20:57:59 +03:00 |
|
|
anna
|
c191be3cc3
|
nullity: skip assert statements for local vars - should be possible to detect from usages; use in prams nullification (IDEA-60705)
|
2010-11-11 14:17:58 +03:00 |
|
|
anna
|
76c393a145
|
nullity: check if possible to detect NotNull return value from conditional checks (IDEA-60693)
|
2010-11-11 14:17:57 +03:00 |
|
|
anna
|
26738d0e50
|
nullity: foreach params processing (IDEA-59825)
|
2010-10-22 21:52:24 +04:00 |
|
|
anna
|
f71ed79b46
|
check ref in foreach iterated value (IDEA-59874)
|
2010-10-22 11:21:42 +04:00 |
|
|
anna
|
0f1d1622f7
|
nullity: initial tests
|
2010-09-06 12:07:26 +04:00 |
|