Commit Graph

1812 Commits

Author SHA1 Message Date
peter fd62fed994 dfa: don't suggest to convert lvalue to ternary expression (IDEA-140519) 2015-05-20 15:21:20 +02:00
Anna Kozlova 1d5ff33cbe extend check for enclosing instance for java 8 default methods in interfaces (IDEA-140492) 2015-05-20 13:49:51 +02:00
Anna Kozlova 2fc7821d06 forbid native in interfaces (IDEA-140491) 2015-05-20 13:49:49 +02:00
Anna Kozlova 6b65d86df3 testdata for IDEA-139069 2015-05-20 10:47:25 +02:00
Anna Kozlova 443fda57f5 testdata for IDEA-57336 2015-05-20 10:47:23 +02:00
Anna Kozlova 8dae96f46f testdata for IDEA-139067 2015-05-20 10:47:22 +02:00
Anna Kozlova 4f0f3ff7fc new inference: include additional constraints to check applicability (IDEA-140355) 2015-05-19 11:07:45 +02:00
peter 069adff3dd IDEA-140331 Improve intention action for 'Method invocation may produce NPE' 2015-05-18 17:02:51 +02:00
Anna Kozlova 4e9f79945c ensure static method inherit default if container classes are inheritors 2015-05-17 17:39:18 +02:00
Anna Kozlova ad840dea8a redundant cast: don't warn if functional expression corresponds to another interface method (IDEA-140218) 2015-05-13 14:39:06 +02:00
Anna Kozlova fb0495e4a4 nested conditional expressions: don't require nested to be poly if outer is not 2015-05-13 11:41:23 +02:00
Anna Kozlova 4a63204f8b don't open capture if reference expression is returned from lambda expression (IDEA-139089) 2015-05-12 21:42:53 +02:00
Anna Kozlova fdbfd64350 ensure enum constructors are private (IDEA-139065) 2015-05-12 17:07:08 +02:00
Anna Kozlova f9fd72ebac captured wildcard in subtyping constraints: use upper bound only (IDEA-139046) 2015-05-12 17:07:07 +02:00
Anna Kozlova 1d6a1bf27e accept casts as unchecked from generic types with type parameter with upper bounds as type argument: check parameter bounds first 2015-05-12 17:07:05 +02:00
Anna Kozlova 90dd4c5a31 EA-68330 - AIOOBE: RedundantLambdaParameterTypeIntention.isAvailable
process lambdas with formal param types at vararg position
2015-05-12 12:26:42 +02:00
Anna Kozlova 8b320ba8a7 disjunction type equals/hashCode, essential for new inference (IDEA-140150) 2015-05-12 11:39:47 +02:00
Anna Kozlova b0f1e6f2be determining enclosing instances for inner class instance creation expressions: accept all qualified super exprs, invalid are checked separately (IDEA-139880) 2015-05-11 18:04:31 +02:00
Anna Kozlova 90e240041a functional expression type: ensure no capture conversion is performed over target type of cast expression (IDEA-139824) 2015-05-11 18:04:30 +02:00
Anna Kozlova 570a188199 method refs: non-raw receiver type should influence collected constraints (IDEA-140002) 2015-05-11 18:04:29 +02:00
Anna Kozlova 2f47f0caf0 migration to stream api: disable for raw types (IDEA-140095) 2015-05-08 21:01:45 +02:00
Anna Kozlova 84a06d86a9 testdata for IDEA-139875 2015-05-04 15:01:34 +02:00
Anna Kozlova e86c7dcb25 new inference: assert that no resolve is performed on the "inference-in-progress" reference 2015-04-30 09:47:12 +02:00
Anna Kozlova 3c5b94f461 testdata to check additional constraints 2015-04-29 19:18:19 +02:00
Anna Kozlova c411468b07 new inference: skip lambda return expression additional constraints during overload resolution 2015-04-29 18:41:34 +02:00
Anna Kozlova 4587a18b23 testdata fixed 2015-04-28 16:46:37 +02:00
Anna Kozlova 95dfffccb0 replace with collect: insert cast for method reference and simplify when redundant (IDEA-139704) 2015-04-28 13:04:58 +02:00
Anna Kozlova 02e86e0ab9 static interface method: if called on wrong qualifier mark as static problem (IDEA-139651) 2015-04-28 13:04:57 +02:00
Anna Kozlova b0a5c89d74 test data for nested overloaded method calls in lambda body 2015-04-28 10:05:53 +02:00
Anna Kozlova 1233bccf4e new inference: avoid prohibit cashing, don't check exceptions during overload resolution instead (IDEA-139531) 2015-04-27 17:26:24 +02:00
Anna Kozlova ad26842083 non-reifiable type check: testdata for IDEA-139091 2015-04-27 09:32:26 +02:00
Anna Kozlova 21f187bd44 separate capture conversion from substitution 2015-04-27 09:32:20 +02:00
Anna Kozlova 553ad77e46 overload resolution: reject java 8 varargs methods when they are checked by fixed arity and number of parameters doesn't match 2015-04-24 20:33:40 +02:00
Anna Kozlova 511a356788 reifiable types: ensure that generic types with only all type params as unbound wildcards are treated as reifiable (IDEA-139577) 2015-04-24 20:33:37 +02:00
Anna Kozlova b61e8bdb39 access static via instance: ensure type params are attached to the class reference (IDEA-139440) 2015-04-24 13:46:13 +02:00
Anna Kozlova e5097dfc24 lambda -> method ref: ensure that capture is checked according to the param ref; avoid wildcards in method ref qualifiers (IDEA-139529) 2015-04-24 13:46:11 +02:00
Anna Kozlova f0fae34076 intersection types in cast: provide "delete repeated interface" fix 2015-04-20 10:19:24 +02:00
Anna Kozlova f5cec5e24a intersection in cast type: repeat interface, different parameterization checks 2015-04-20 10:19:22 +02:00
Anna Kozlova 2318a3a58c capture conversion: collect all type parameter's bounds during capture conversion; make sure collected upper bound is used after capture type is normalized 2015-04-20 10:19:20 +02:00
Anna Kozlova 232b479b23 testdata for IDEA-139318 2015-04-16 20:30:37 +02:00
Anna Kozlova 09f4d7ea1f detect expected type by parent for nested array initializers (IDEA-139280) 2015-04-16 20:30:31 +02:00
Anna Kozlova fd11949634 new inference: accept inferred equals bounds even when additional constraints lead to failure to get more appropriate error message (IDEA-139275) 2015-04-16 20:30:29 +02:00
peter 6c8750291f IDEA-124359 Add Inspection for detecting nullable values passed into Optional.of()
test that it correctly works with Guava
2015-04-14 23:12:39 +03:00
peter 1b7a05e26f IDEA-138553 Inspection for usages of Optinoal.ofNullable() for values known to be null or non-null 2015-04-14 23:12:38 +03:00
Anna Kozlova 4ee27fecce can complete normally for nested try-with-resources (IDEA-138961) 2015-04-09 17:02:25 +02:00
Anna Kozlova 778952b6e3 dataflow inspection: suggest to replace Optional.of with Optional.ofNullable if value could be null (IDEA-124359) 2015-04-08 21:14:35 +02:00
Anna Kozlova 6047478cae redundant cast: do not raise if result in bad return type in lambda expression (IDEA-138927) 2015-04-08 21:14:33 +02:00
Anna Kozlova 765f6faa19 SOE on infinite types with super wildcards (IDEA-138880; IDEA-77600) 2015-04-08 13:12:21 +02:00
Anna Kozlova b62f3b746c change return type fix: ensure parameter types are untouched (IDEA-138748) 2015-04-08 12:06:01 +02:00
Anna Kozlova 822934d37a new overload resolution: do not accept primitive type as target of second search (IDEA-138839) 2015-04-08 12:05:58 +02:00