From 7ce0cf84fa0766240839af90aaddd149afea45e2 Mon Sep 17 00:00:00 2001
From: Daniel Schmidt <rendner@users.noreply.github.com>
Date: Thu, 14 Nov 2019 17:26:03 +0700
Subject: [PATCH] Configurable: purity annotations

GitOrigin-RevId: c1613caac3a53f736756d1e9490d099709116b47
---
 .../src/com/intellij/openapi/options/Configurable.java     | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/platform/platform-api/src/com/intellij/openapi/options/Configurable.java b/platform/platform-api/src/com/intellij/openapi/options/Configurable.java
index e1479b2a4908..6f6e5d25d0c4 100644
--- a/platform/platform-api/src/com/intellij/openapi/options/Configurable.java
+++ b/platform/platform-api/src/com/intellij/openapi/options/Configurable.java
@@ -6,10 +6,7 @@ import com.intellij.openapi.extensions.ExtensionPointName;
 import com.intellij.openapi.ui.ComboBox;
 import com.intellij.openapi.util.Comparing;
 import com.intellij.openapi.util.text.StringUtil;
-import org.jetbrains.annotations.Nls;
-import org.jetbrains.annotations.NonNls;
-import org.jetbrains.annotations.NotNull;
-import org.jetbrains.annotations.Nullable;
+import org.jetbrains.annotations.*;
 
 import javax.swing.*;
 import java.awt.*;
@@ -134,6 +131,7 @@ public interface Configurable extends UnnamedConfigurable {
    * @return the visible name of the configurable component
    */
   @Nls(capitalization = Nls.Capitalization.Title)
+  @Contract(pure = true)
   String getDisplayName();
 
   /**
@@ -143,6 +141,7 @@ public interface Configurable extends UnnamedConfigurable {
    */
   @Nullable
   @NonNls
+  @Contract(pure = true)
   default String getHelpTopic() {
     return null;
   }