MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 15:19:59 +07:00
Code Issues Packages Projects Releases Wiki Activity

[jdk-annotations] Remove NotNull from Node.getAttributes() (may legally return null)

Browse Source 
Fixes IDEA-297812 org.w3c.dom.Node#getAttributes() is erroneous annotated as 'NotNull'

GitOrigin-RevId: ead3485f11991bab33358437c845995272a48b3f
This commit is contained in:
Tagir Valeev
2022-07-13 10:38:32 +02:00
committed by intellij-monorepo-bot
parent 3e6a9ad17a
commit 72418bf470
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
java/jdkAnnotations/org/w3c/dom/annotations.xml
View File

@@ -197,7 +197,6 @@
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>
</annotation>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='org.w3c.dom.Node org.w3c.dom.Node getFirstChild()'>
<annotation name='org.jetbrains.annotations.Contract'>