Commit Graph

50 Commits

Author SHA1 Message Date
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
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
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
Anna Kozlova
9f58257359 new inference: String::length should be exact (IDEA-122191) 2014-03-25 14:47:59 +01:00
Anna Kozlova
5bd221386d inference: ensure nested methods lift their bounds (IDEA-122681) 2014-03-24 12:54:15 +01:00
Anna Kozlova
003bfed65e testdata for IDEA-122509 2014-03-19 22:02:26 +01:00
Anna Kozlova
766bdc0151 new inference: method reference constraint for the case of return type depends on type params (IDEA-122100) 2014-03-13 19:30:33 +01:00
Anna Kozlova
1ee2942d53 new inference: raw inner class method qualifier fixed (IDEA-121909)
(cherry picked from commit 012fcf6e95030e673f24307cb3527e0ea82f5c72)
2014-03-12 10:15:49 +01:00
Anna Kozlova
fb20169d40 new inference: reject varargs as method reference target
(cherry picked from commit 77017d7790b78c5bb20c591e2588c1eccd0f96d7)
2014-03-12 10:13:54 +01:00
Anna Kozlova
0f40eb9bed new inference: exact method reference is not pertinent to applicability when target type is type parameter
(cherry picked from commit 8b3512a097ef1124a5cede6ade95b4e50017c7b9)
2014-03-12 10:13:19 +01:00
Anna Kozlova
09c6a8db6c method refs: search for potentially applicable members in supers (IDEA-121737) 2014-03-06 11:42:08 +01:00
Roman Shevchenko
b9b76dca15 java: type annotations 2014-03-04 10:53:04 +01:00
Anna Kozlova
e7cb908c95 new inference: method refs: apply reference rules first 2014-02-27 21:02:57 +01:00
Anna Kozlova
66a8dedb8c new inference: method refs: accept qualifier substitutor when nothing more could be inferred 2014-02-27 18:32:43 +01:00
Anna Kozlova
232f8bd465 new inference: strict subtyping: skip raw types 2014-02-24 18:59:41 +01:00
Anna Kozlova
0f39a4ca18 method refs: restore error on invalid array creation 2014-02-21 21:47:03 +01:00
Anna Kozlova
948ad3e6d4 new inference: ensure type parameters are not modified during ground type evaluation 2014-02-21 12:42:23 +01:00
Anna Kozlova
b11d66e0f1 new inference: method refs: do not include containing class type params in inference 2014-02-19 21:00:44 +01:00
Anna Kozlova
bd681beb26 new inference: 18.5.2 adjustments 2014-02-19 09:46:15 +01:00
Alexey Kudravtsev
c7b78f76a2 IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface 2014-02-18 13:55:52 +04:00
Anna Kozlova
c99aa93112 method reference: ref qualified isExact fixed (IDEA-120370) 2014-02-11 18:35:49 +01:00
Anna Kozlova
fd00ca6f91 new inference: method refs overload resolution: filter static problems for ReferenceType refs only 2014-02-11 09:40:05 +01:00
Anna Kozlova
2b5764d82a new inference: method references: process varargs 2014-02-11 09:40:02 +01:00
Anna Kozlova
5358bd270e new inference: testdata for IDEA-120376 2014-02-07 19:52:36 +01:00
Anna Kozlova
5fb1dbb2ce new inference: check containing class type params if they are in bounds 2014-02-07 18:43:53 +01:00
Anna Kozlova
876784bc24 wildcard bounds composition (IDEA-113297) 2014-01-30 20:13:49 +04:00
Anna Kozlova
704285aae2 method refs constraint (IDEA-118437) 2014-01-30 20:13:47 +04:00
Anna Kozlova
6a30279168 deeply eliminate wildcards as they may appear during inference in wildcard's bounds 2014-01-30 12:02:21 +04:00
Anna Kozlova
e2c708dfcf method refs: add constraint P1->ReferenceType for inexact method references despite of spec (IDEA-117311) 2014-01-30 12:02:17 +04:00
Anna Kozlova
b00014b47e method ref constrain (IDEA-119552) 2014-01-24 15:53:44 +04:00
anna
e493e0c778 new inference: lift containing class type parameters for method references
(cherry picked from commit a341be1196484b6e4c33a7d10059d2bec5bdf955)
2013-11-25 16:48:24 +01:00
anna
4001f9fccc new inference: include containing class params for constructor refs
(cherry picked from commit be696513a9ed7e418385a25a879b1e0373dd4cf2)
2013-11-25 16:48:15 +01:00
anna
693eddf5d8 new inference: testdata
(cherry picked from commit 6f0f160f905ae275a2eeaca58343a176df1a42c8)
2013-11-25 16:48:14 +01:00
anna
9ac34fc2ce new inference: highlight method refs with incompatible inferred bounds
(cherry picked from commit e1af6d1b69f93db6915d3c4f86eaee95389607d2)
2013-11-25 16:48:12 +01:00
anna
a1bf37f805 new inference: lift type params from referenced method
(cherry picked from commit 057bd4d4d576711b77141b64987079ef8d59a583)
2013-11-25 16:48:01 +01:00
anna
12baf9a2bd new inference: accept all inexact refs during overload resolution
(cherry picked from commit c21ac7ada213c2de28b3e8e5aa15d3fde4490458)
2013-11-25 16:48:00 +01:00
anna
a6c82625be new inference: overload resolution: check return types when method refs are exact
(cherry picked from commit ccacf897e97a121f795a079e485249842c95c273)
2013-11-25 16:47:59 +01:00
anna
e3197b6581 constructor refs: forbid raw constructor references with explicit new type args
(cherry picked from commit a127d801aa080f2efe3784edd5cca419dccfda2e)
2013-11-25 16:47:57 +01:00
anna
f66adc7985 new inference: refinement on generics array creation/forbid wildcards in ClassType qualifier
(cherry picked from commit 72a410e804b569893f0bad7739bdd9a7c1c270f1)
2013-11-25 16:47:56 +01:00
anna
d42efc06bb unchecked generics array creation for method references
(cherry picked from commit 742ea955d1a88c4ac8cb7727a9221bdf65038c11)
2013-11-25 16:47:55 +01:00
anna
10439a10a0 new inference: reject methrefs with inconsistent number of parameters
(cherry picked from commit 9c41270192e140ed28067e2740333c6d3fa49bd2)
2013-11-25 16:47:52 +01:00
anna
73bf021d6c new inference: javac bug registration (JDK-8028503)
(cherry picked from commit 76727c790a9fcac64dce762d8d6fc674680d1905)
2013-11-25 16:47:49 +01:00
anna
b3d9ff9874 new inference: array creation notional method; testdata
(cherry picked from commit dc1b25b74db12a5282332b5bae1d10da1aed99e8)
2013-11-25 16:47:46 +01:00
anna
a6309f6c6d extend testdata for IDEA-93587
(cherry picked from commit d4939f7b93989a0e3387c225de335ef7bf19949f)
2013-11-25 16:47:42 +01:00
anna
b612209ab9 testdata for IDEA-116359
(cherry picked from commit bd1ca6826f3a5449c2a26a1ea3b471c21f4bc7d5)
2013-11-25 16:47:40 +01:00
anna
481bc252f3 switch tests on new inference
(cherry picked from commit d2cbf3f2833104c3a0381059b0d6ef8ac0b3c94c)
2013-11-25 16:47:38 +01:00