MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java-annotations] Purity contracts for Button methods

Browse Source 
GitOrigin-RevId: 361eea2509f578029f7465c1165ec300d146f1af
This commit is contained in:
Tagir Valeev
2024-02-07 19:29:08 +00:00
committed by intellij-monorepo-bot
parent 7d41efea2b
commit 6be9a50aaf
1 changed files with 88 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/javax/swing/annotations.xml
+88
View File
@@ -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>