Annotations for java.util.Random

2012-09-20 20:33:40 +04:00
parent 671679641d
commit 5276e8e9ed
1 changed files with 4 additions and 0 deletions
@@ -801,4 +801,8 @@
  <item name='java.util.Timer void sched(java.util.TimerTask, long, long) 0'>
      <annotation name='org.jetbrains.annotations.NotNull'/>
  </item>
+  <!-- java.util.Random -->
+  <item name='java.util.Random void nextBytes(byte[]) 0'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
 </root>