From 6be9a50aaf06d40e655588fd90792f26384897a9 Mon Sep 17 00:00:00 2001
From: Tagir Valeev <tagir.valeev@jetbrains.com>
Date: Tue, 6 Feb 2024 15:53:12 +0100
Subject: [PATCH] [java-annotations] Purity contracts for Button methods

GitOrigin-RevId: 361eea2509f578029f7465c1165ec300d146f1af
---
 .../javax/swing/annotations.xml               | 88 +++++++++++++++++++
 1 file changed, 88 insertions(+)

diff --git a/java/jdkAnnotations/javax/swing/annotations.xml b/java/jdkAnnotations/javax/swing/annotations.xml
index 01b562d5719e..a3dc264acec7 100644
--- a/java/jdkAnnotations/javax/swing/annotations.xml
+++ b/java/jdkAnnotations/javax/swing/annotations.xml
@@ -6,9 +6,29 @@
   <item name='javax.swing.AbstractAction void putValue(java.lang.String, java.lang.Object) 0'>
     <annotation name='org.jetbrains.annotations.NonNls' />
   </item>
+  <item name='javax.swing.AbstractButton boolean isSelected()'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
+  </item>
+  <item name='javax.swing.AbstractButton int getDisplayedMnemonicIndex()'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
+  </item>
+  <item name='javax.swing.AbstractButton int getMnemonic()'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
+  </item>
   <item name='javax.swing.AbstractButton java.lang.String getActionCommand()'>
     <annotation name='org.jetbrains.annotations.NonNls' />
   </item>
+  <item name='javax.swing.AbstractButton javax.swing.ButtonModel getModel()'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
+  </item>
   <item name='javax.swing.AbstractButton void setActionCommand(java.lang.String) 0'>
     <annotation name='org.jetbrains.annotations.NonNls' />
   </item>
@@ -69,12 +89,80 @@
       <val name="valuesFromClass" val="javax.swing.BoxLayout.class" />
     </annotation>
   </item>
+  <item name='javax.swing.ButtonModel boolean isArmed()'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
+  </item>
+  <item name='javax.swing.ButtonModel boolean isEnabled()'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
+  </item>
+  <item name='javax.swing.ButtonModel boolean isPressed()'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
+  </item>
+  <item name='javax.swing.ButtonModel boolean isRollover()'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
+  </item>
+  <item name='javax.swing.ButtonModel boolean isSelected()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
+  <item name='javax.swing.ButtonModel int getMnemonic()'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
+  </item>
   <item name='javax.swing.ButtonModel java.lang.String getActionCommand()'>
     <annotation name='org.jetbrains.annotations.NonNls' />
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
+  </item>
+  <item name='javax.swing.ButtonModel void setActionCommand(java.lang.String)'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="mutates" val="&quot;this&quot;"/>
+    </annotation>
   </item>
   <item name='javax.swing.ButtonModel void setActionCommand(java.lang.String) 0'>
     <annotation name='org.jetbrains.annotations.NonNls' />
   </item>
+  <item name='javax.swing.ButtonModel void setArmed(boolean)'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="mutates" val="&quot;this&quot;"/>
+    </annotation>
+  </item>
+  <item name='javax.swing.ButtonModel void setEnabled(boolean)'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="mutates" val="&quot;this&quot;"/>
+    </annotation>
+  </item>
+  <item name='javax.swing.ButtonModel void setMnemonic(int)'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="mutates" val="&quot;this&quot;"/>
+    </annotation>
+  </item>
+  <item name='javax.swing.ButtonModel void setPressed(boolean)'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="mutates" val="&quot;this&quot;"/>
+    </annotation>
+  </item>
+  <item name='javax.swing.ButtonModel void setRollover(boolean)'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="mutates" val="&quot;this&quot;"/>
+    </annotation>
+  </item>
+  <item name='javax.swing.ButtonModel void setSelected(boolean)'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="mutates" val="&quot;this&quot;"/>
+    </annotation>
+  </item>
   <item name='javax.swing.ImageIcon ImageIcon(java.lang.String) 0'>
     <annotation name='org.jetbrains.annotations.NonNls' />
   </item>