Anna.Kozlova
d74021cd16
highlight enum with abstract methods until enum initializer is added
...
IDEA-184704
2018-01-11 19:31:43 +01:00
Anna.Kozlova
f368f326dc
follow IDEA-CR-26141
2017-10-27 20:18:47 +02:00
Anna.Kozlova
543d1cf996
don't warn about final enum when it is not (IDEA-181211)
2017-10-26 15:23:08 +02:00
Anna.Kozlova
0056220d8b
generic throwable: detect generics through ancestors (IDEA-179958)
2017-10-12 19:38:48 +02:00
Anna.Kozlova
8b84f7ab8e
include tree ancestors in type parameters iterable (IDEA-179958)
...
anonymous and local classes are inner classes which are not members of any other class, they are implicitly generics if applicable
2017-10-10 18:17:29 +02:00
Anna Kozlova
955a6160cd
resolve references by qualified class name when qualifiers can't be resolved
...
javac ignores problems caused by files located in wrong directories, IDEA reports them: try to search class by FQName when failed to resolve normally (IDEA-178376; IDEA-176179)
2017-09-06 19:42:00 +03:00
Anna Kozlova
79b43cdbcd
error if inner class of generic outer extends throwable (IDEA-178490)
2017-09-05 15:54:41 +03:00
Anna.Kozlova
b59ffe20e4
type arguments in bounds check: ensure capture conversion (IDEA-175899)
2017-07-18 19:13:24 +02:00
Anna.Kozlova
4e8a0d2dd8
don't loose type parameter bounds during super substitution (IDEA-175471)
2017-07-07 12:54:58 +02:00
Roman Shevchenko
298539fae0
[java] highlighting on generic throw types (IDEA-175073)
2017-06-30 16:03:26 +02:00
Anna Kozlova
a5501a81c0
incompatible return types in hierarchy fixed (IDEA-173809)
...
take parameter bounds into account
2017-06-05 20:14:44 +03:00
Alexey Kudravtsev
920d5b4fba
removed default file header, because it adds no information but subtracts attention and space
2017-05-11 13:39:07 +03:00
Anna.Kozlova
e75f2f7860
make message closer to javac error (IDEA-169865)
2017-03-21 12:18:45 +01:00
Anna.Kozlova
92d60ede85
enclosing instance check: don't check the inheritance for the class with extends/implements itself
2017-03-08 19:15:20 +01:00
Anna.Kozlova
0fa0b96dc6
no enclosing instance error for top level classes (IDEA-169088)
2017-03-08 12:37:00 +01:00
Anna.Kozlova
968d14a5db
Revert testdata changes: Proper focus requests through the IDE focus subsystem. Part II.
2017-02-21 21:25:26 +01:00
Denis Fokin
556290b406
Proper focus requests through the IDE focus subsystem. Part II.
2017-02-21 21:06:22 +03:00
Anna.Kozlova
ccda645376
raise unchecked warning when captured wildcard is assigned (IDEA-167393)
2017-02-07 13:26:04 +01:00
Anna.Kozlova
e3352b820f
method signature: don't substitute twice during erasure (IDEA-167386)
2017-02-01 15:47:45 +01:00
Anna Kozlova
0fe652059e
reifiable types: skip anonymous types through the tree hierarchy as they can't be generic (IDEA-166840)
2017-01-20 15:51:24 +03:00
Anna Kozlova
65ac360725
javac 1.7 bug workaround: give error for language level 1.7 despite of java 1.8 would compile the code (IDEA-166358)
2017-01-12 12:02:35 +01:00
Anna.Kozlova
977c4cc924
clashing return type of overriding methods: fix unchecked override comparison (IDEA-166355)
2017-01-10 15:43:36 +01:00
Anna.Kozlova
c376fa7e97
type arguments containment: ensure arrays are contained in type parameters with Serializable, Cloneable or Object bounds (IDEA-165295)
2016-12-13 17:46:28 +01:00
Anna.Kozlova
08c5a244c3
reigiable local classes inside static methods (IDEA-163615)
2016-11-07 18:56:11 +01:00
Anna Kozlova
7e74904509
testdata
2016-06-27 12:33:28 +03:00
Anna Kozlova
7968b2bbbb
apply capture conversion for captured wildcard bound according to the direct supertype of parameterized type specification (IDEA-157586)
2016-06-22 15:24:15 +03:00
Anna Kozlova
1c52cb7fd6
spec: no capture conversion applicable for array type; capture conversion must be applied for array access expression type; javac: no capture conversion is applicable for array access expressions with write access (IDEA-157295)
2016-06-22 15:24:15 +03:00
Anna Kozlova
732c04076c
old inference (IDEA-157398)
2016-06-22 15:24:15 +03:00
Anna Kozlova
cb071c57a6
reject imports from default package (IDEA-138822; IDEA-154024)
2016-06-06 20:12:56 +03:00
Anna.Kozlova
7fb3086dc5
assignability to primitive: check type parameter bounds if applicable (IDEA-155551)
2016-05-04 11:09:25 +02:00
Anna.Kozlova
5f72c7380c
array access: don't open captured wildcards
2016-04-20 17:49:29 +02:00
Anna.Kozlova
ee4f41b14c
don't open captures on type computation (IDEA-154968)
2016-04-20 17:49:29 +02:00
Anna.Kozlova
b1a0d687df
old inference: include type parameter's bounds in result as intersection if inference from parent type was started (IDEA-153411)
2016-03-22 19:22:42 +01:00
Anna Kozlova
65ebda0fff
SOE with recursive type parameter dependencies
2016-03-15 13:31:13 +01:00
Anna Kozlova
930df16f98
inference: propagate variable renames through the call hierarchy; calculate tooltips in tests (IDEA-151948)
2016-02-22 20:05:58 +01:00
Anna Kozlova
7bbd70e695
substitute with bounds promotion: don't wrap wildcards
2016-02-01 16:53:20 +03:00
Anna Kozlova
ec89fa2295
type distinction: remove non-symmetrie for type param bounds (IDEA-150724)
2016-01-27 13:57:06 +03:00
Anna Kozlova
88876357c6
testdata for IDEA-150499
2016-01-20 12:36:55 +01:00
Anna Kozlova
59f416b7d4
replace hardcoded clone with protected methods of Object (IDEA-150196)
2016-01-14 18:42:40 +01:00
Anna Kozlova
c16e402bed
return type equivalence: compare supers with current method (IDEA-147335)
2016-01-07 20:14:48 +01:00
Anna Kozlova
8edd7a4cf5
method hierarchy: don't merge methods with return types which are not substitutable (IDEA-57393)
2015-12-14 10:30:48 +01:00
Anna Kozlova
81a6cceb35
fix casting to primitives according to the spec (IDEA-131107; IDEA-148880)
2015-12-10 17:01:55 +01:00
Anna Kozlova
92487fe273
assignment: stop bounds promotion inside nested wildcards (IDEA-139161)
2015-12-09 18:49:28 +01:00
Anna Kozlova
c66efb2458
testdata for IDEA-130243
2015-12-09 18:49:28 +01:00
Anna Kozlova
dd38082794
least upper bound: pull unbounded wildcard up so types Number & Comparable<? extends Number & Comparable<?>> are produced instead of Number & Comparable<? extends Comparable<?>>
...
inferred type in bounds check cleanup: accept that inference result is not within its bounds and give the inference the second chance
2015-12-09 11:25:11 +01:00
Anna Kozlova
3a669178f5
do not open captured wildcards on substitution; don't capture wildcards on getExtendsTypes for type parameters and their consequences
2015-12-02 10:17:29 +01:00
Anna Kozlova
f07899641d
fix testdata
2015-11-25 12:25:02 +01:00
Anna Kozlova
44f26da2bc
type arguments distinct checker: do not distinguish wildcards with array bounds from arrays with corresponding bounds (IDEA-134944)
2015-11-12 20:14:15 +01:00
Anna Kozlova
4916734a24
reifiable type check fixed for local classes; instanceof check to use the same algorithm (IDEA-146352; IDEA-146351)
2015-10-14 17:05:36 +02:00
Anna Kozlova
9919e9d7dc
testdata for IDEA-130453
2015-10-05 11:51:33 +02:00
