From 961cb7d34971cafe9dcf3a67167695d113d9ca0b Mon Sep 17 00:00:00 2001 From: Mikhael Bogdanov Date: Tue, 18 Mar 2014 11:01:44 +0400 Subject: [PATCH] Added nullability annotations --- .../org/jetbrains/jet/codegen/inline/CapturedParamDesc.java | 2 +- .../org/jetbrains/jet/codegen/inline/ParametersBuilder.java | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/compiler/backend/src/org/jetbrains/jet/codegen/inline/CapturedParamDesc.java b/compiler/backend/src/org/jetbrains/jet/codegen/inline/CapturedParamDesc.java index 15a6c86c846..5382a589dc3 100644 --- a/compiler/backend/src/org/jetbrains/jet/codegen/inline/CapturedParamDesc.java +++ b/compiler/backend/src/org/jetbrains/jet/codegen/inline/CapturedParamDesc.java @@ -53,7 +53,7 @@ public class CapturedParamDesc { } - public static CapturedParamDesc createDesc(CapturedParamOwner containingLambdaInfo, String fieldName, Type type) { + public static CapturedParamDesc createDesc(@NotNull CapturedParamOwner containingLambdaInfo, @NotNull String fieldName, @NotNull Type type) { return new CapturedParamDesc(containingLambdaInfo, fieldName, type); } } diff --git a/compiler/backend/src/org/jetbrains/jet/codegen/inline/ParametersBuilder.java b/compiler/backend/src/org/jetbrains/jet/codegen/inline/ParametersBuilder.java index 633eb3a1bdb..09bbb5ddf46 100644 --- a/compiler/backend/src/org/jetbrains/jet/codegen/inline/ParametersBuilder.java +++ b/compiler/backend/src/org/jetbrains/jet/codegen/inline/ParametersBuilder.java @@ -57,11 +57,11 @@ public class ParametersBuilder { } public CapturedParamInfo addCapturedParam( - String fieldName, - Type type, + @NotNull String fieldName, + @NotNull Type type, boolean skipped, @Nullable ParameterInfo original, - CapturedParamOwner containingLambda + @NotNull CapturedParamOwner containingLambda ) { CapturedParamInfo info = new CapturedParamInfo(CapturedParamDesc.createDesc(containingLambda, fieldName, type), skipped, nextCaptured,