Commit Graph
1701 Commits
Author SHA1 Message Date
Anna Kozlova 36b066ea54 testdata for IDEA-133935 2015-02-13 21:28:43 +01:00
Anna Kozlova 853f9c567f new inference: stop collecting constraints if target type is proper (IDEA-136412) 2015-02-13 18:54:04 +01:00
Anna Kozlova 465879cacf most specific: infer specific if method is generic even if type arguments are explicitly provided 2015-02-13 18:54:03 +01:00
Anna Kozlova 925e9d1610 pertinent to applicability: reject nested lambdas if they target non proper type 2015-02-13 18:54:02 +01:00
Anna Kozlova 344379d2f4 lambda: accept? inference variables as target type for lambda expression during lambda constraint reduction (IDEA-136435) 2015-02-12 21:15:32 +01:00
Anna Kozlova ed0ff7c07f most specific check: ensure that functional types are specifically checked when method is not generics (IDEA-136287) 2015-02-11 19:05:41 +01:00
Anna Kozlova 502dd423d9 static interface method call: ignore static imports if call is qualified (IDEA-136077) 2015-02-11 19:05:40 +01:00
Anna Kozlova 7e0c4959db show error for enums constants referenced from instance field initializer (IDEA-136196) 2015-02-10 17:55:59 +01:00
Anna Kozlova 18e6a082d9 show error for enums without constants but with abstract methods 2015-02-10 17:55:58 +01:00
Anna Kozlova a6ef814ce8 java 8 interfaces: default/static preferences (IDEA-136171) 2015-02-10 17:55:56 +01:00
Roman Shevchenko 2c738eea52 IDEA-136162 (type annotations in anonymous classes) 2015-02-09 19:23:15 +01:00
Anna Kozlova b0a9de51c9 testdata to fix javac behaviour (1.8u40) 2015-02-05 10:27:32 +03:00
Anna Kozlova 27e575b967 overload resolution for exact method references: ensure param types are equal in case non-generic methods 2015-02-01 16:30:45 +03:00
Anna Kozlova 867a714293 overload resolution for explicitly typed lambda: poly wins over primitive 2015-02-01 16:07:03 +03:00
Anna Kozlova dbdc890cd1 lambda expression isCongruent: ensure target function type has no type parameters 2015-02-01 12:54:19 +03:00
Anna Kozlova e315ef4b41 TypeName.super.foo() when TypeName denotes interface 2015-01-31 21:29:22 +03:00
Anna Kozlova 47ae95a968 ArrayType:🆕 ensure type reifiable 2015-01-31 16:13:14 +03:00
Anna Kozlova a6d8e976fa testdata for ClassType::<TypeArguments>new method references: ensure compilation error if ClassType is raw but type arguments are given 2015-01-31 16:13:13 +03:00
Anna Kozlova 82246db879 TypeName::Identifier method reference applicability when TypeName denotes interface 2015-01-31 16:13:13 +03:00
Anna Kozlova e41b02e277 ignore type parameters (arguments) in non-generic method references 2015-01-31 16:13:12 +03:00
Anna Kozlova 8886622b5c method references: fix type to search (site substitution) for ReferenceType::Identifier references, where ReferenceType is raw (IDEA-135792) 2015-01-30 22:28:02 +03:00
Anna Kozlova 012e57d2ea lambda isValueCompatible check: ensure throws is not treated as normal completion (IDEA-135581) 2015-01-26 20:19:16 +03:00
Anna Kozlova 65064ac053 include InterruptedException into mock1.7 testdata fixed 2015-01-22 13:05:05 +01:00
Dmitry Jemerov 256fd71176 don't perform any additional parsing on the contents of the {@code} tag in javadoc (IDEA-95956) 2015-01-21 13:47:36 +01:00
Anna Kozlova 7205db4b58 anonym -> lambda: evaluate ground type for type, inferred by position (IDEA-135211) 2015-01-14 16:45:51 +01:00
Anna Kozlova 73239255ec disable add exception to catch/generalize catch inside functional interface inside try statement (IDEA-135171) 2015-01-14 13:25:03 +01:00
Anna Kozlova ffbe05e14d stream migration: reject collection conversion if qualifier depends on loop parameter (IDEA-135104) 2015-01-13 20:55:48 +01:00
Anna Kozlova fcb252d25e ensure functional type for formal parameters lambda is valid after method reference replacement (IDEA-135053) 2015-01-08 19:54:23 +01:00
Anna Kozlova 3d9f911dc3 type distinct: allow comparisons of type X<? extends Object> == X<array> (IDEA-135041) 2015-01-08 19:54:22 +01:00
Anna Kozlova e4e0a33134 add explicit type arguments: preserve nested wildcards (IDEA-134967) 2015-01-08 13:33:00 +01:00
Anna Kozlova af7da7a8f4 incompatible parameter types in lambda expression message expanded (IDEA-134941) 2015-01-07 17:10:09 +01:00
Anna Kozlova 8ce9831489 bad return type in lambda expression: requited type added; range corrected (IDEA-134942) 2015-01-07 16:07:27 +01:00
Anna Kozlova c11d64ac60 new inference: distinguish return type type parameters and current session inference variables (IDEA-135001) 2015-01-07 15:34:27 +01:00
Anna Kozlova fa99ec2a74 lambda -> method ref: do not skip array initializer; ensure dimension expressions are correct 2015-01-02 12:05:46 +01:00
Anna Kozlova cda6746874 highlight static imports according to the color scheme selected (IDEA-133887) 2014-12-30 15:36:37 +01:00
Anna Kozlova 79b5f29665 highlight inherited methods inside anonymous/inner classes (IDEA-134626) 2014-12-29 21:15:12 +01:00
Anna Kozlova 92bb2b6d65 extract if condition: ensure brackets (IDEA-134698) 2014-12-29 18:57:46 +01:00
Anna Kozlova e9beee7c66 warn when accessing static method of interfaces in language levels prior to 1.8 (IDEA-134814) 2014-12-29 18:57:41 +01:00
Anna Kozlova b57746c55e collect exceptions by call arguments (IDEA-134808) 2014-12-29 18:57:40 +01:00
Anna Kozlova 658607d9c2 new overload resolution: reject complete normally when last instruction is return (IDEA-134808) 2014-12-29 18:57:39 +01:00
Anna Kozlova fc2f15f64e java 8 javadoc tags @apiNote, @implNote, @implSpec 2014-12-24 14:26:26 +01:00
Anna Kozlova f99580f6a5 enable delegate for interfaces in 1.8 2014-12-23 19:32:29 +01:00
Andrey Starovoyt b20fc1c936 live templates: incorrect adding generic parameter IDEA-134434 2014-12-23 18:18:43 +03:00
Maxim.Mossienko 7126e14983 open mail client on mailto: links 2014-12-22 13:40:05 +01:00
Maxim.Mossienko 2f73716a0e IDEA-64131 support for links in comments 2014-12-22 13:15:25 +01:00
Anna Kozlova 09dc54d415 extension for lombok val support (IDEABKL-5667) 2014-12-19 19:49:01 +01:00
Anna Kozlova e6371b208f lambda <-> anonymous <-> method ref: collapse lambda block when applicable refactored (IDEA-134509) 2014-12-18 19:20:21 +01:00
Anna Kozlova 79da0849e2 disable lambda -> method ref if resulted methods are not the same (IDEA-134486) 2014-12-18 14:13:23 +01:00
Anna Kozlova 6336e973c9 add exception to throws: find functional interface method for method references; discard if in library (IDEA-134468) 2014-12-18 14:13:20 +01:00
Anna Kozlova 0be4af00e0 new overload resolution: block can complete normally if the last statement could throw exception (IDEA-134103) 2014-12-17 20:51:47 +01:00