From 759448610adf240b25acf7bfcc4fd78338bab93a Mon Sep 17 00:00:00 2001
From: Alexey Kudravtsev <cdr@intellij.com>
Date: Mon, 29 Apr 2019 17:53:05 +0300
Subject: [PATCH] notnull

GitOrigin-RevId: cf3c497c5c3a60bf9e0cb12ff800b3ff487c5bcd
---
 .../org/jetbrains/jps/model/library/sdk/JpsSdkReference.java    | 2 ++
 .../jetbrains/jps/model/impl/JpsNamedElementReferenceBase.java  | 1 +
 .../jps/model/java/impl/JpsWrappedJavaSdkReferenceImpl.java     | 1 +
 3 files changed, 4 insertions(+)

diff --git a/jps/model-api/src/org/jetbrains/jps/model/library/sdk/JpsSdkReference.java b/jps/model-api/src/org/jetbrains/jps/model/library/sdk/JpsSdkReference.java
index 390fbdd6ca8d..e7342c43c6c3 100644
--- a/jps/model-api/src/org/jetbrains/jps/model/library/sdk/JpsSdkReference.java
+++ b/jps/model-api/src/org/jetbrains/jps/model/library/sdk/JpsSdkReference.java
@@ -15,6 +15,7 @@
  */
 package org.jetbrains.jps.model.library.sdk;
 
+import org.jetbrains.annotations.NotNull;
 import org.jetbrains.jps.model.JpsElement;
 import org.jetbrains.jps.model.JpsElementReference;
 import org.jetbrains.jps.model.library.JpsTypedLibrary;
@@ -23,5 +24,6 @@ import org.jetbrains.jps.model.library.JpsTypedLibrary;
  * @author nik
  */
 public interface JpsSdkReference<P extends JpsElement> extends JpsElementReference<JpsTypedLibrary<JpsSdk<P>>> {
+  @NotNull
   String getSdkName();
 }
diff --git a/jps/model-impl/src/org/jetbrains/jps/model/impl/JpsNamedElementReferenceBase.java b/jps/model-impl/src/org/jetbrains/jps/model/impl/JpsNamedElementReferenceBase.java
index 3822a0d9128b..9a5e9207ef94 100644
--- a/jps/model-impl/src/org/jetbrains/jps/model/impl/JpsNamedElementReferenceBase.java
+++ b/jps/model-impl/src/org/jetbrains/jps/model/impl/JpsNamedElementReferenceBase.java
@@ -30,6 +30,7 @@ public abstract class JpsNamedElementReferenceBase<S extends JpsNamedElement, T
   extends JpsCompositeElementBase<Self> implements JpsElementReference<T> {
   private static final JpsElementChildRole<JpsElementReference<? extends JpsCompositeElement>> PARENT_REFERENCE_ROLE = JpsElementChildRoleBase
     .create("parent");
+  @NotNull
   protected final String myElementName;
 
   protected JpsNamedElementReferenceBase(@NotNull String elementName, @NotNull JpsElementReference<? extends JpsCompositeElement> parentReference) {
diff --git a/jps/model-impl/src/org/jetbrains/jps/model/java/impl/JpsWrappedJavaSdkReferenceImpl.java b/jps/model-impl/src/org/jetbrains/jps/model/java/impl/JpsWrappedJavaSdkReferenceImpl.java
index fdc678f7b820..a9fcd9c57aa6 100644
--- a/jps/model-impl/src/org/jetbrains/jps/model/java/impl/JpsWrappedJavaSdkReferenceImpl.java
+++ b/jps/model-impl/src/org/jetbrains/jps/model/java/impl/JpsWrappedJavaSdkReferenceImpl.java
@@ -53,6 +53,7 @@ public class JpsWrappedJavaSdkReferenceImpl extends JpsCompositeElementBase<JpsW
     return new JpsWrappedJavaSdkReferenceImpl(this);
   }
 
+  @NotNull
   @Override
   public String getSdkName() {
     JpsTypedLibrary<JpsSdk<JpsDummyElement>> sdk = resolve();