azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

@Nullable/@NotNull annotations for Input/Outoput Streams and Data Input/Output

Browse Source
This commit is contained in:
Andrey Breslav
2012-09-20 20:27:23 +04:00
parent a2ebc27a6a
commit 1a44599d7c
2 changed files with 321 additions and 127 deletions
Download Patch File Download Diff File Expand all files Collapse all files
jdk-annotations/java/io/annotations.xml
+194
View File
@@ -1,4 +1,5 @@
<root> <root>
<!-- java.io.File -->
<item name='java.io.File separator'> <item name='java.io.File separator'>
<annotation name='org.jetbrains.annotations.NotNull'/> <annotation name='org.jetbrains.annotations.NotNull'/>
</item> </item>
@@ -115,13 +116,206 @@
<item name='java.io.File java.lang.String toString()'> <item name='java.io.File java.lang.String toString()'>
<annotation name='org.jetbrains.annotations.NotNull'/> <annotation name='org.jetbrains.annotations.NotNull'/>
</item> </item>
<!-- java.io.FileFilter -->
<item name='java.io.FileFilter boolean accept(java.io.File) 0'> <item name='java.io.FileFilter boolean accept(java.io.File) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/> <annotation name='org.jetbrains.annotations.NotNull'/>
</item> </item>
<!-- java.io.FilenameFilter -->
<item name='java.io.FilenameFilter boolean accept(java.io.File, java.lang.String) 0'> <item name='java.io.FilenameFilter boolean accept(java.io.File, java.lang.String) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/> <annotation name='org.jetbrains.annotations.NotNull'/>
</item> </item>
<item name='java.io.FilenameFilter boolean accept(java.io.File, java.lang.String) 1'> <item name='java.io.FilenameFilter boolean accept(java.io.File, java.lang.String) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/> <annotation name='org.jetbrains.annotations.NotNull'/>
</item> </item>
<!-- java.io.InputStream -->
<item name='java.io.InputStream int read(byte[]) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.InputStream int read(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<!-- java.io.OutputStream -->
<item name='java.io.OutputStream void write(byte[]) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.OutputStream void write(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<!-- java.io.FilterInputStream -->
<item name='java.io.FilterInputStream in'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.FilterInputStream FilterInputStream(java.io.InputStream) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.FilterInputStream int read(byte[]) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.FilterInputStream int read(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<!-- java.io.BufferedInputStream -->
<item name='java.io.BufferedInputStream buf'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.BufferedInputStream BufferedInputStream(java.io.InputStream) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.BufferedInputStream BufferedInputStream(java.io.InputStream, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.BufferedInputStream int read(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<!-- java.io.ByteArrayInputStream -->
<item name='java.io.ByteArrayInputStream buf'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.ByteArrayInputStream ByteArrayInputStream(byte[]) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.ByteArrayInputStream ByteArrayInputStream(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.ByteArrayInputStream int read(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<!-- java.io.PushbackInputStream -->
<item name='java.io.PushbackInputStream buf'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.PushbackInputStream PushbackInputStream(java.io.InputStream, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.PushbackInputStream PushbackInputStream(java.io.InputStream) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.PushbackInputStream int read(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.PushbackInputStream void unread(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.PushbackInputStream void unread(byte[]) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<!-- java.io.BufferedOutputStream -->
<item name='java.io.BufferedOutputStream buf'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.BufferedOutputStream BufferedOutputStream(java.io.OutputStream) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.BufferedOutputStream BufferedOutputStream(java.io.OutputStream, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<!-- java.io.FilterOutputStream -->
<item name='java.io.FilterOutputStream out'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.FilterOutputStream FilterOutputStream(java.io.OutputStream) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.FilterOutputStream void write(byte[]) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.FilterOutputStream void write(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<!-- java.io.BufferedOutputStream -->
<item name='java.io.BufferedOutputStream void write(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<!-- java.io.ByteArrayOutputStream -->
<item name='java.io.ByteArrayOutputStream buf'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.ByteArrayOutputStream void write(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.ByteArrayOutputStream void writeTo(java.io.OutputStream) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.ByteArrayOutputStream byte[] toByteArray()'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.ByteArrayOutputStream java.lang.String toString()'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.ByteArrayOutputStream @java.lang.Deprecated java.lang.String toString(int)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<!-- java.io.DataOutput -->
<item name='java.io.DataOutput void write(byte[]) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataOutput void write(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataOutput void writeUTF(java.lang.String) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<!-- java.io.DataInput -->
<item name='java.io.DataInput void readFully(byte[]) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataInput void readFully(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataInput java.lang.String readLine()'>
<annotation name='org.jetbrains.annotations.Nullable'/>
</item>
<item name='java.io.DataInput java.lang.String readUTF()'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<!-- java.io.DataInputStream -->
<item name='java.io.DataInputStream DataInputStream(java.io.InputStream) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataInputStream int read(byte[]) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataInputStream int read(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataInputStream void readFully(byte[]) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataInputStream void readFully(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataInputStream @java.lang.Deprecated java.lang.String readLine()'>
<annotation name='org.jetbrains.annotations.Nullable'/>
</item>
<item name='java.io.DataInputStream java.lang.String readUTF(java.io.DataInput) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataInputStream java.lang.String readUTF(java.io.DataInput)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataInputStream java.lang.String readUTF()'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<!-- java.io.DataOutputStream -->
<item name='java.io.DataOutputStream DataOutputStream(java.io.OutputStream) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataOutputStream void write(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataOutputStream void writeBytes(java.lang.String) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataOutputStream void writeChars(java.lang.String) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataOutputStream void writeUTF(java.lang.String) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataOutputStream int writeUTF(java.lang.String, java.io.DataOutput) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.DataOutputStream int writeUTF(java.lang.String, java.io.DataOutput) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
</root> </root>
libraries/stdlib/src/kotlin/io/JIO.kt
+2 -2
View File
@@ -111,7 +111,7 @@ private val stdin : BufferedReader = BufferedReader(InputStreamReader(object : I
System.`in`?.reset() System.`in`?.reset()
} }
public override fun read(b: ByteArray?): Int { public override fun read(b: ByteArray): Int {
return System.`in`?.read(b) ?: -1 return System.`in`?.read(b) ?: -1
} }
@@ -135,7 +135,7 @@ private val stdin : BufferedReader = BufferedReader(InputStreamReader(object : I
return System.`in`?.markSupported() ?: false return System.`in`?.markSupported() ?: false
} }
public override fun read(b: ByteArray?, off: Int, len: Int): Int { public override fun read(b: ByteArray, off: Int, len: Int): Int {
return System.`in`?.read(b, off, len) ?: -1 return System.`in`?.read(b, off, len) ?: -1
} }
})) }))