Annotations for ZipFile, ZipArchive, ZipArchiveEntry

JetBrains · Nov 30, 2018 · 0ebe389 · 0ebe389
1 parent 40cf625
commit 0ebe389
Show file tree

Hide file tree

Showing 5 changed files with 73 additions and 3 deletions.
diff --git a/Annotations/.NETCore/System.IO.Compression.ZipFile/Attributes.xml b/Annotations/.NETCore/System.IO.Compression.ZipFile/Attributes.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="utf-8"?>
+<assembly name="System.IO.Compression.ZipFile">
+  <member name="M:System.IO.Compression.ZipFile.OpenRead(System.String)">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+  <member name="M:System.IO.Compression.ZipFile.Open(System.String,System.IO.Compression.ZipArchiveMode)">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+  <member name="M:System.IO.Compression.ZipFile.Open(System.String,System.IO.Compression.ZipArchiveMode,System.Text.Encoding)">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+</assembly>
diff --git a/Annotations/.NETCore/System.IO.Compression/Attributes.xml b/Annotations/.NETCore/System.IO.Compression/Attributes.xml
@@ -116,6 +116,22 @@
       <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
     </parameter>
   </member>
+  <member name="P:System.IO.Compression.ZipArchiveEntry.Archive">
+    <attribute ctor="M:JetBrains.Annotations.CanBeNullAttribute.#ctor"/>
+  </member>
+  <member name="P:System.IO.Compression.ZipArchiveEntry.FullName">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+  <member name="P:System.IO.Compression.ZipArchiveEntry.Name">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+  <member name="M:System.IO.Compression.ZipArchiveEntry.Open">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+  <member name="P:System.IO.Compression.ZipArchive.Entries">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+    <attribute ctor="M:JetBrains.Annotations.ItemNotNullAttribute.#ctor"/>
+  </member>
   <member name="M:System.IO.Compression.ZipArchive.GetEntry(System.String)">
     <attribute ctor="M:JetBrains.Annotations.CanBeNullAttribute.#ctor"/>
     <parameter name="entryName">
@@ -134,9 +150,7 @@
       <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
     </parameter>
   </member>
-  <member name="P:System.IO.Compression.ZipArchiveEntry.Archive">
-    <attribute ctor="M:JetBrains.Annotations.CanBeNullAttribute.#ctor"/>
-  </member>
+
   <member name="M:System.IO.Compression.ZipArchive.#ctor(System.IO.Stream,System.IO.Compression.ZipArchiveMode,System.Boolean,System.Text.Encoding)">
     <parameter name="stream">
       <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>

diff --git a/Annotations/.NETFramework/System.IO.Compression.ZipFile/Attributes.xml b/Annotations/.NETFramework/System.IO.Compression.ZipFile/Attributes.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="utf-8"?>
+<assembly name="System.IO.Compression.ZipFile">
+  <member name="M:System.IO.Compression.ZipFile.OpenRead(System.String)">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+  <member name="M:System.IO.Compression.ZipFile.Open(System.String,System.IO.Compression.ZipArchiveMode)">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+  <member name="M:System.IO.Compression.ZipFile.Open(System.String,System.IO.Compression.ZipArchiveMode,System.Text.Encoding)">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+</assembly>
diff --git a/Annotations/.NETFramework/System.IO.Compression/Nullness.xml b/Annotations/.NETFramework/System.IO.Compression/Nullness.xml
@@ -40,4 +40,23 @@
   <member name="P:System.IO.Compression.ZipArchiveEntry.Archive">
     <attribute ctor="M:JetBrains.Annotations.CanBeNullAttribute.#ctor"/>
   </member>
+  <member name="P:System.IO.Compression.ZipArchiveEntry.FullName">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+  <member name="P:System.IO.Compression.ZipArchiveEntry.Name">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+  <member name="M:System.IO.Compression.ZipArchiveEntry.Open">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+  <member name="P:System.IO.Compression.ZipArchive.Entries">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+    <attribute ctor="M:JetBrains.Annotations.ItemNotNullAttribute.#ctor"/>
+  </member>
+  <member name="M:System.IO.Compression.ZipArchive.GetEntry(System.String)">
+    <attribute ctor="M:JetBrains.Annotations.CanBeNullAttribute.#ctor"/>
+    <parameter name="entryName">
+      <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+    </parameter>
+  </member>
 </assembly>
diff --git a/Annotations/.NETStandard/netstandard/Annotations.xml b/Annotations/.NETStandard/netstandard/Annotations.xml
@@ -13419,6 +13419,19 @@
   <member name ="P:System.IO.Compression.ZipArchiveEntry.Archive">
     <attribute ctor="M:JetBrains.Annotations.CanBeNullAttribute.#ctor" />
   </member>
+  <member name="P:System.IO.Compression.ZipArchiveEntry.FullName">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+  <member name="P:System.IO.Compression.ZipArchiveEntry.Name">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+  <member name="M:System.IO.Compression.ZipArchiveEntry.Open">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+  </member>
+  <member name="P:System.IO.Compression.ZipArchive.Entries">
+    <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/>
+    <attribute ctor="M:JetBrains.Annotations.ItemNotNullAttribute.#ctor"/>
+  </member>
   <member name ="M:System.IO.Compression.DeflateStream.ReadCallback(System.IAsyncResult)">
     <parameter name="baseStreamResult">
       <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor" />