Commit Graph
459 Commits
Author SHA1 Message Date
peter c577be8f4f dfa: correctly handle ""== Boolean.TRUE/FALSE" 2015-04-24 19:16:44 +02:00
Dmitry Batkovich 36c9328f8d StaticPseudoFunctionalStyleMethodInspection: handles filter(list, classAsFilter) and find() with default value 2015-04-23 14:59:45 +03:00
peter 466bd18aff add hardcoded contracts for Guava checkArgument/checkState (IDEA-126005) 2015-04-20 17:06:34 +02:00
peter 96b1e4a3df IDEA-139392 "Method Invocation may produce NPE" warning after call to assertThat().isNotNull from Google Truth framework 2015-04-20 17:06:33 +02:00
peter ce9914e697 IDEA-139253 TYPE_USE @Nullable-Annotations don't work correctly with arrays 2015-04-16 19:11:46 +03:00
peter 51e23e6063 IDEA-139301 "Constant conditions & exceptions" flaggs nullable expression when implementing a method returning void 2015-04-16 19:11:45 +03:00
peter ecab324ae0 dfa: overriding @NotNull has precedence over super method @Nullable 2015-04-13 18:51:22 +03:00
peter cfe4917c8b custom nullable annotation on an element should win over package-default not-null (IDEA-138894) 2015-04-08 18:13:16 +02:00
peter 4ec8011316 relax "!null" contract checking to accept exceptions thrown (IDEA-133488) 2015-04-08 18:13:15 +02:00
Anna Kozlova 4958470009 redundant suppressions: ignore global custom inspections (IDEA-138622) 2015-04-02 21:19:53 +02:00
Dmitry Batkovich 4baf8a9561 IDEA-138456 inspection to replace collections.addAll() with properly parametrized constructor. 2015-04-02 17:12:41 +03:00
Dmitry Batkovich 8dec74314d IDEA-138382 Added inspection to report about duplicated characters in StringTokenizer's delimiters 2015-04-01 14:47:00 +03:00
peter eab2402c47 dfa: support non-initialized final field escaping in constructors (IDEA-137154) 2015-03-23 18:57:36 +01:00
Alexander Zolotov b31a1fd000 Set ID and alternateID for inspection in test environment 2015-03-20 10:48:38 +01:00
peter c72c1bf7c6 dfa: mark ephemeral states even when there's no way of checking contract condition (IDEA-137604) 2015-03-17 13:03:44 +01:00
Dmitry Batkovich f6ccae5153 inspection to highlight and convert pseudo-functional code (like guava Iterables) to java 8 api. initial version 2015-03-12 15:27:19 +03:00
peter 8d2f9b07e8 contract nulls are compatible with array return types (IDEA-137323) 2015-03-06 14:59:53 +01:00
peter b74370435f dfa: check that states to be merged are really complementary (IDEA-136917) 2015-02-25 17:27:47 +01:00
Anna Kozlova dbb1beb4d9 testdata fixed 2015-02-19 19:10:09 +01:00
peter 3b519b0c5f IDEA-23971 Warn on @NotNull nont-initialized fields in a class that has default constructor 2015-02-17 15:55:07 +01:00
peter fb5ddff5cf IDEA-136603 IDEA does not warn if annotated with @Nullable local variable is used for @NotNull parameter method 2015-02-17 15:55:07 +01:00
peter 03ddd9dcea IDEA-136580 "Contract violation" warnings are reported for manual method contract 2015-02-16 12:13:26 +01:00
peter afb11843f4 IDEA-135004 New “non null fields must be initialised” not helpful when DI is used 2015-02-06 16:11:12 +01:00
peter a88ab17b3f IDEA-136079 "Contract violation" warnings are reported for inferred method contract for method with varargs 2015-02-06 16:11:11 +01:00
peter cd02f59555 IDEA-135846 Dfa should warn about qualifiers in method references 2015-02-02 12:42:56 +01:00
peter 9c3cd4bd49 dfa: don't flush array variable after element assignment (IDEA-135834) 2015-02-02 12:42:56 +01:00
Anna Kozlova f0e8a4ebbf api usage: warn about @Override on 'non-existing' method 2015-01-27 21:34:08 +03:00
Anna Kozlova d879e82ff1 redundant cast: ensure only one cast from 2 same but equals casts is suggested as redundant (IDEA-135043) 2015-01-19 19:02:13 +01:00
peter 3ab6152515 dfa: when checking contracts, avoid duplicate states, and fail-fast for too complex contracts (IDEA-135259) 2015-01-15 15:05:10 +01:00
Anna Kozlova 79487fe48e method can be final: eliminate conflict between masks (IDEA-135056) 2015-01-15 10:25:53 +01:00
peter 4948494bcb test data cleanup 2015-01-14 22:10:17 +01:00
peter e497f0221c dfa: support outer class fields access with qualified this
more test samples
2015-01-14 21:20:19 +01:00
peter 8658b30dde dfa: support outer class fields access with qualified this 2015-01-14 21:01:23 +01:00
Anna Kozlova ba85aa6a1c redundant cast: check that then/else branches of conditional expressions stay assignable to the conditional expression type (IDEA-135153) 2015-01-14 16:45:47 +01:00
peter b7b2c6db51 Merge remote-tracking branch 'origin/master' 2015-01-14 16:06:30 +01:00
peter e485a2fc91 dfa: annotation inference suppression is different from honoring package-level defaults, so split them 2015-01-14 15:54:34 +01:00
Anna Kozlova a1b44a53ac redundant throws: find throws clauses inside functional expressions (IDEA-135181) 2015-01-14 13:25:05 +01:00
peter aa5b63d8d7 dfa: type values shouldn't be part of equivalence relations (IDEA-135134) 2015-01-13 17:11:50 +01:00
Anna Kozlova 49f82c1948 unused return value inspection: method reference awareness (IDEA-134991) 2015-01-07 12:21:52 +01:00
peter 0a175d30bc IDEA-134677 ConstantCondition inspection could be smarter for enums 2015-01-02 17:19:53 +01:00
peter 1d463f3df4 IDEA-134733 Inspection: @NotNull/@Nullable inspection does not report annotation name in the warning for overridden method 2015-01-02 12:59:13 +01:00
peter 590c6bfc19 don't report negated compile-time constants as always true/false (IDEA-118388) 2014-12-03 17:40:04 +01:00
Anna Kozlova e17a949a6e method reference: check NPE unboxing (IDEA-133714) 2014-12-02 14:01:10 +01:00
Anna Kozlova 3a94d39ab1 lambda: unboxing in lambda return statement fixed (IDEA-133686; IDEA-133685) 2014-12-01 18:00:30 +01:00
peter 195377ae63 IDEA-133565 "@NotNull/@Nullable Problems" inspection doesn't ignore external annotations 2014-11-27 14:43:01 +01:00
peter 68777961cf ignore inferred @NotNull on overrideable methods (IDEA-132831, IDEA-131608) 2014-11-26 20:43:52 +01:00
peter 10d04aeab3 IDEA-133129 Expression is incorrectly detected as being nullable 2014-11-20 15:54:02 +01:00
Anna Kozlova 7ccff9a7e8 lambda return value: do not check containing method name against lambda return value 2014-11-18 18:36:30 +01:00
Anna Kozlova 10846bc7c4 field may be local: ignore all fields referenced by qualifier (IDEA-133017) 2014-11-17 19:55:40 +01:00
Anna Kozlova cda6c424d0 unused declaration: add refs on functional interface from functional expressions (IDEA-132138) 2014-11-14 18:09:47 +01:00