From 73531159a66ecab4d9266d8df1e8540884320b99 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Thu, 20 Sep 2012 20:52:07 +0400
Subject: [PATCH] Annotations for java.io.FileInputStream and
 java.io.FileOutputStream

---
 jdk-annotations/java/io/annotations.xml | 44 +++++++++++++++++++++++++
 1 file changed, 44 insertions(+)

diff --git a/jdk-annotations/java/io/annotations.xml b/jdk-annotations/java/io/annotations.xml
index 5e50633b65a..c0e513b90b7 100644
--- a/jdk-annotations/java/io/annotations.xml
+++ b/jdk-annotations/java/io/annotations.xml
@@ -318,4 +318,48 @@
   <item name='java.io.DataOutputStream int writeUTF(java.lang.String, java.io.DataOutput) 1'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <!-- java.io.FileInputStream -->
+  <item name='java.io.FileInputStream FileInputStream(java.lang.String) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FileInputStream FileInputStream(java.io.File) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FileInputStream FileInputStream(java.io.FileDescriptor) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FileInputStream int read(byte[]) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FileInputStream int read(byte[], int, int) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <!-- java.io.FileOutputStream -->
+  <item name='java.io.FileOutputStream FileOutputStream(java.lang.String) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FileOutputStream FileOutputStream(java.lang.String, boolean) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FileOutputStream FileOutputStream(java.io.File) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FileOutputStream FileOutputStream(java.io.File, boolean) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FileOutputStream FileOutputStream(java.io.FileDescriptor) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FileOutputStream void write(byte[]) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FileOutputStream void write(byte[], int, int) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FileOutputStream java.io.FileDescriptor getFD()'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FileOutputStream java.nio.channels.FileChannel getChannel()'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
 </root>
\ No newline at end of file