Commit Graph

394 Commits

Author SHA1 Message Date
Anna Kozlova
5bf5dd0450 static methods in interfaces can't be hidden in subclasses (IDEA-124921) 2014-05-12 13:08:28 +04:00
Anna Kozlova
cc743c35cc testdata for JDK-8042508 2014-05-07 12:29:28 +04:00
Anna Kozlova
288ccfa195 most specific check: accept lambdas when target type is type parameter (IDEA-124725) 2014-05-05 17:12:17 +04:00
Anna Kozlova
35206e46bf uncomment testdata 2014-05-05 17:12:09 +04:00
Anna Kozlova
4cefdc5290 testdata for IDEA-124547 2014-05-05 17:12:06 +04:00
Anna Kozlova
90d2f451a1 new inference: early abort calculation by lambda return (IDEA-124276) 2014-05-01 16:29:35 +04:00
Anna Kozlova
f2256cab48 calculate target type in the same way for statement/expressions lambdas 2014-05-01 15:33:13 +04:00
Anna Kozlova
896c488a2f testdata to expression lambda 2014-05-01 15:33:11 +04:00
Anna Kozlova
8096d635a6 inference when incomplete 2014-05-01 15:33:10 +04:00
Anna Kozlova
46408bee30 method references: super methods treatment in exact check 2014-04-30 14:45:10 +04:00
Anna Kozlova
f144943412 applicability constraints by method reference (IDEA-122018) 2014-04-30 12:45:52 +04:00
Anna Kozlova
84deec968d method refs: is exact should check super methods for this/super qualifiers only (IDEA-124507) 2014-04-28 15:12:44 +02:00
Anna Kozlova
f72e4f5a7c testdata for IDEA-124148 2014-04-23 16:33:49 +02:00
Anna Kozlova
2b8e2e885a add unchecked warning calls also for method references 2014-04-22 20:02:55 +02:00
Anna Kozlova
57e886f7a4 testdata: check that method ref on static interface method is accepted 2014-04-22 20:02:54 +02:00
Anna Kozlova
8bad8079f6 lambda: do not skip generic method when non-generic method exist in the same class 2014-04-22 20:02:52 +02:00
Anna Kozlova
7d74b9dcf1 NPE 2014-04-22 20:02:51 +02:00
Anna Kozlova
0da9f91eec testdata: ensure overload resolution prefer correct one from methods with boxed types 2014-04-22 20:02:49 +02:00
Anna Kozlova
2c49817e26 NPE 2014-04-22 20:02:48 +02:00
Anna Kozlova
d5107d652f testdata: ensure intersection type is not missed during inference 2014-04-22 20:02:47 +02:00
Anna Kozlova
7898108ccd testdata: ensure lambda can't be inferred from type parameter 2014-04-22 20:02:45 +02:00
Anna Kozlova
5b91054564 testdata: ensure overload resolution by return type should not take place for interrupted control flow 2014-04-22 20:02:44 +02:00
Anna Kozlova
9aa2f3aaac testdata: ensure correct parameters number in functional interface method 2014-04-22 20:02:42 +02:00
Anna Kozlova
1698f7bb29 testdata: ensure method ref qualified are checked over static problems 2014-04-22 20:02:41 +02:00
Anna Kozlova
b49d8e753f testdata 2014-04-22 20:02:40 +02:00
Anna Kozlova
f1f6fcf53b functional interfaces: ignore methods with type parameters during abstract method choosing 2014-04-22 20:02:38 +02:00
Anna Kozlova
a55db18089 lambda: accept intersection type when exactly one conjunct is functional 2014-04-22 20:02:37 +02:00
Anna Kozlova
76a9293609 testdata 2014-04-22 20:02:34 +02:00
Anna Kozlova
17b020f7c2 new overload resolution: covariant comparison of return types 2014-04-22 20:02:33 +02:00
Anna Kozlova
98ab76f060 new overload resolution: most specific check on invalid class exceptions fixed 2014-04-22 20:02:32 +02:00
Anna Kozlova
552dfe92a9 lambda: intersection type produces conjunction of abstract methods 2014-04-22 20:02:30 +02:00
Anna Kozlova
bd9dbfc7d5 testdata 2014-04-22 20:02:29 +02:00
Anna Kozlova
9914757d15 warn about underscore identifier 2014-04-22 20:02:28 +02:00
Anna Kozlova
0d66941866 IDEA-123839: abstract&default combination 2014-04-11 17:06:07 +02:00
Anna Kozlova
75f267c222 testdata for IDEA-123848 2014-04-11 17:06:06 +02:00
Anna Kozlova
5e4751f25f testdata for IDEA-123869 2014-04-11 17:06:05 +02:00
Anna Kozlova
d84cfe4661 method refs: do not loose information about type arguments given by ReferenceType in receiver 2014-04-11 17:06:02 +02:00
Anna Kozlova
5a0fe4306e check access class for super expressions referenced to interfaces 2014-04-09 19:27:20 +02:00
Anna Kozlova
07600e5109 testdata for IDEA-123731 2014-04-09 19:27:17 +02:00
Anna Kozlova
6d7cfc99c2 java 8: anonymous class fields could be available later in next lambdas (IDEA-123731) 2014-04-09 19:27:16 +02:00
Anna Kozlova
e860377181 testdata for IDEA-123366 2014-04-09 13:29:01 +02:00
Anna Kozlova
6fd18d16b3 unused parameter: do not highlight if method is used locally by method reference (IDEA-123265) 2014-04-08 18:28:27 +02:00
Anna Kozlova
d8ed05dbfa functional expressions: allow to delete/change signature of default methods of functional interfaces 2014-04-08 12:18:32 +02:00
Anna Kozlova
ec1d4927bd search for functional interface implementations by lambdas and method references: change signature/find usages; to be continued (IDEA-104286; IDEA-90824) 2014-04-07 16:59:16 +02:00
Anna Kozlova
1daf8f50df ambiguity (IDEA-123352) 2014-04-03 17:15:53 +02:00
Anna Kozlova
565b28a089 check for assignment to final field inside lambda (IDEA-123308) 2014-04-02 20:54:08 +02:00
Anna Kozlova
2cc9842ac2 method references: highlight separately non-instantiated classes, not resolved methods (IDEA-123279) 2014-04-02 10:51:27 +02:00
Anna Kozlova
d33575878b new inference: substitute resolved vars which e.g. did not participate in initial session (IDEA-123248) 2014-04-01 14:17:06 +02:00
Anna Kozlova
5518b93bd2 method reference constraints (IDEA-123223) 2014-04-01 14:17:05 +02:00
Anna Kozlova
e28d3f5c95 method reference: use site substitutor if nothing else was inferred 2014-04-01 10:19:02 +02:00