Commit Graph

2273 Commits

Author SHA1 Message Date
Anna.Kozlova b5e7d766a1 add static import: remove qualifier in case of inheritance (IDEA-155419) 2016-05-12 21:06:35 +02:00
Anna Kozlova 1782d678a7 include all constructor candidates to calculate change signature fix (IDEA-128891) 2016-05-11 18:08:55 +02:00
Anna Kozlova dbe1598e9f highlight implicit constructor call as method (IDEA-152964) 2016-05-11 16:05:47 +02:00
Anna Kozlova 9d95879dc2 register make class static for illegal enclosing usage error (IDEA-155700) 2016-05-11 12:46:25 +02:00
Anna.Kozlova 3dd26b5936 testdata on partially raw types inferred by javac 2016-05-09 19:42:35 +02:00
Anna.Kozlova 9abe5476b6 new inference: return constraints: fail if outer call exists but can't be resolved (IDEA-154805) 2016-05-09 19:42:35 +02:00
Anna.Kozlova d85c70d870 invocation type inference: don't create fresh variables for all type parameters but only for those where wildcards are used in return type (IDEA-155627; IDEA-151220; IDEA-151387) 2016-05-06 18:00:16 +02:00
Anna.Kozlova 7fb3086dc5 assignability to primitive: check type parameter bounds if applicable (IDEA-155551) 2016-05-04 11:09:25 +02:00
peter 20f69c8111 remove wrong capture treatment: the completion result is incorrect (IDEA-155188) 2016-05-03 14:25:59 +02:00
peter 80ad8e9ebd IDEA-154276 Suggest method references to constructors of implementing classes when Supplier<AnAbstractClass> is expected 2016-05-02 08:58:57 +02:00
Anna.Kozlova b936f89275 redundant cast: ensure cast is not removed if operand changes it's type 2016-04-29 14:41:28 +02:00
Anna.Kozlova f52458abdf restrict anonym -> lambda: reject if return type would be changed (IDEA-154805) 2016-04-29 14:41:28 +02:00
Anna.Kozlova 567fc9ae88 fix testdata 2016-04-29 14:41:28 +02:00
Anna.Kozlova ce9556a909 override default methods in interfaces with default methods (IDEA-155381) 2016-04-29 14:41:28 +02:00
Anna.Kozlova f36501444c clear diamond inference errors when overload resolution fails 2016-04-28 11:39:38 +02:00
Anna.Kozlova bebf4975e6 change signature: expand expr lambda to block lambda when exception should be caught; don't expand method ref to lambda when only unchecked exceptions were added (IDEA-152386) 2016-04-28 11:39:38 +02:00
peter 85601ec30c support captured types in incomplete overloaded lambda completion (IDEA-155188) 2016-04-26 10:23:35 +02:00
peter 3b725bc33e IDEA-155188 Lambda auto completion for incomplete overloaded method fails 2016-04-25 20:45:38 +02:00
Anna.Kozlova a1ae485b22 diamond: reject diamonds nested inside type arguments as soon as possible (IDEA-155153) 2016-04-25 14:41:56 +02:00
Anna.Kozlova e588d2285a highlighting: don't add warning for nested lambda when problem is inside upper level (IDEA-155192) 2016-04-25 14:41:56 +02:00
Anna.Kozlova b1645e3ae5 reuse utility method; ensure unknown functional type reduced to Object before create new psi
EA-75452 - IOE: PsiJavaParserFacadeImpl.createTypeElementFromText
2016-04-22 17:02:00 +02:00
Anna.Kozlova 1a2b94105e EA-78630 - CCE: TrivialFunctionalExpressionUsageInspection$ReplaceWithLambdaBodyFix.replaceWithLambdaBody 2016-04-22 17:02:00 +02:00
Anna.Kozlova 5d6351b1ec diamonds: don't accept inferred types when error appeared during inference (IDEA-154619) 2016-04-21 18:39:23 +02:00
Anna.Kozlova 399e59e8dd fix testdata 2016-04-21 14:33:04 +02:00
Anna.Kozlova e07b25baba testdata for IDEA-153701 2016-04-21 14:33:04 +02:00
Anna.Kozlova a12bdff8a1 explicit -> diamond: ignore invalid types (IDEA-155017) 2016-04-20 19:13:20 +02:00
Anna.Kozlova 401ec5dbfa redundant cast: restoring call by top level, let's search by arg list offset in order to avoid finding method calls from qualifiers 2016-04-20 17:49:29 +02:00
Anna.Kozlova 22c8d0f9ce anonymous -> lambda: fix anonymous classes in enum constants 2016-04-20 17:49:29 +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 2dead05e6b treeWalkUp: stop at member level to avoid skipping anonymous classes 2016-04-19 20:02:32 +02:00
Anna.Kozlova c09caae28e treat conditional expressions with new expressions with diamonds inside as poly
EA-76546 - assert: InferenceSessionContainer.treeWalkUp
2016-04-19 19:05:54 +02:00
Anna.Kozlova abf32b50d5 don't calculate type of method expression which is located on the left side of assignment - assignment is invalid anyway
(EA-77049 - assert: PsiMethodCallExpressionImpl$TypeEvaluator.fun)
2016-04-19 19:05:54 +02:00
peter a4aa1f2bd7 IDEA-152224 Unwrap if should check if there are conflicting variables 2016-04-19 14:00:30 +02:00
Anna.Kozlova 4c06b785c0 testdata for IDEA-154861 2016-04-18 12:54:50 +02:00
Anna.Kozlova 43fc40c4a5 anonym -> lambda, redundant cast, redundant type args: process top level overloads (IDEA-152766);
rearrange utils
2016-04-15 18:43:24 +02:00
Anna.Kozlova 09f46115cf redundant cast: special processing for functional expressions as enum args (IDEA-154354) 2016-04-15 18:43:24 +02:00
Anna.Kozlova bb6394162a warn about compilable code which would lead to runtime ClassCastException in addition to unchecked warning which nobody understands (IDEA-154345) 2016-04-15 18:43:24 +02:00
Alexey Kudravtsev bfcb00fff6 quick fix for MagicConstantInspection which suggests to replace 1 with Font.BOLD 2016-04-15 12:34:33 +03:00
Anna.Kozlova 320aeb7b5e inference: erasure functional type for raw substitutors (IDEA-154759) 2016-04-14 20:59:13 +02:00
Anna.Kozlova f7137a044d anonymous -> lambda: deep unique names (IDEA-154751) 2016-04-14 20:59:13 +02:00
Anna.Kozlova f64bd14441 method refs: site substitution should not replace session setup (IDEA-154722) 2016-04-14 12:28:44 +02:00
Anna.Kozlova d780e31bdf inference: ensure foreign variables do not participate in inference process, e.g. variables from method reference overload resolution (IDEA-154622) 2016-04-13 21:11:02 +02:00
Anna.Kozlova 9086115347 method ref: type parameter instantiation (IDEA-154645) 2016-04-13 12:30:54 +02:00
Anna.Kozlova fc14dddfd8 check for abstract method implemented optimized: don't go through hierarchy if superClass is not abstract and there is no interfaces, would also fix asm implementations with 'broken' erasures inside 2016-04-11 21:51:18 +02:00
Anna.Kozlova 1466b0155e bad code green: reject return type constraint if unchecked conversion was applied during applicability check and return type is type parameter 2016-04-11 21:51:18 +02:00
Anna.Kozlova 59daba3004 disable return void suggestion (IDEA-154467) 2016-04-11 12:48:53 +02:00
Anna.Kozlova 9cdb5a70af trivial method ref: check if qualifier is of assignable type (IDEA-154422) 2016-04-08 18:44:25 +02:00
Anna.Kozlova 9150e6fd4a clear error message (IDEA-154419) 2016-04-08 18:44:25 +02:00
Anna.Kozlova a8ad27f8a9 no need to check unrelated concrete for same named constructors in the hierarchy (IDEA-154377) 2016-04-08 18:44:25 +02:00