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

notnull

Browse Source 
GitOrigin-RevId: afbd3d66b4cb5007ce9c7f3e5e382c031f3ef515
This commit is contained in:
Alexey Kudravtsev
2019-08-15 19:03:34 +03:00
committed by intellij-monorepo-bot
parent 77d77d9b96
commit d6a0b66b20
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/io/annotations.xml
+4 -1
View File
@@ -63,7 +63,10 @@
<item name="java.io.BufferedWriter void write(java.lang.String, int, int) 0">
<annotation name="org.jetbrains.annotations.NotNull" />
</item>
<item name='java.io.DataInput int readUnsignedByte()'>
<item name='java.io.ByteArrayOutputStream byte[] toByteArray()'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataInput int readUnsignedByte()'>
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="0"/>
<val name="to" val="255"/>