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

Inferred JDK annotations

Browse Source
This commit is contained in:
Alexey Sedunov
2012-12-10 15:24:03 +04:00
committed by Andrey Breslav
parent 3e7541605e
commit 5ad7be38bc
174 changed files with 41777 additions and 5969 deletions
Download Patch File Download Diff File Expand all files Collapse all files
jdk-annotations/java/util/jar/annotations.xml
+47
View File
@@ -0,0 +1,47 @@
<root>
<item name='java.util.jar.Manifest Manifest(java.util.jar.Manifest) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.Attributes java.lang.Object put(java.lang.Object, java.lang.Object) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.Attributes java.lang.Object put(java.lang.Object, java.lang.Object) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.JarOutputStream void putNextEntry(java.util.zip.ZipEntry) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.Attributes void putAll(java.util.Map&lt;?,?&gt;) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.JarFile java.util.Enumeration&lt;java.util.jar.JarEntry&gt; entries()'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.JarOutputStream JarOutputStream(java.io.OutputStream, java.util.jar.Manifest) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.JarEntry JarEntry(java.util.jar.JarEntry) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.JarFile java.io.InputStream getInputStream(java.util.zip.ZipEntry) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.JarFile java.util.zip.ZipEntry getEntry(java.lang.String) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.JarInputStream java.util.zip.ZipEntry createZipEntry(java.lang.String)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.JarInputStream int read(byte[], int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.Attributes java.lang.Object clone()'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.Manifest java.lang.Object clone()'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.util.jar.Attributes.Name Name(java.lang.String) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
</root>