From 30496db1844e29cbc8b3e11c5b7d599456a24142 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Fri, 21 Sep 2012 00:18:26 +0400
Subject: [PATCH] Annotations for java.util.regex.*

---
 .../java/util/regex/annotations.xml           | 134 ++++++++++++++++++
 1 file changed, 134 insertions(+)
 create mode 100644 jdk-annotations/java/util/regex/annotations.xml

diff --git a/jdk-annotations/java/util/regex/annotations.xml b/jdk-annotations/java/util/regex/annotations.xml
new file mode 100644
index 00000000000..3ded7a86028
--- /dev/null
+++ b/jdk-annotations/java/util/regex/annotations.xml
@@ -0,0 +1,134 @@
+<root>
+  <!-- java.util.regex.Pattern -->
+  <item name='java.util.regex.Pattern java.util.regex.Pattern compile(java.lang.String) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Pattern java.util.regex.Pattern compile(java.lang.String, int)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Pattern java.util.regex.Pattern compile(java.lang.String, int) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Pattern java.lang.String pattern()'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Pattern java.lang.String toString()'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Pattern java.util.regex.Matcher matcher(java.lang.CharSequence)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Pattern java.util.regex.Matcher matcher(java.lang.CharSequence) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Pattern boolean matches(java.lang.String, java.lang.CharSequence) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Pattern boolean matches(java.lang.String, java.lang.CharSequence) 1'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Pattern java.lang.String[] split(java.lang.CharSequence, int) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Pattern java.lang.String[] split(java.lang.CharSequence, int)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+    <annotation name='jet.runtime.typeinfo.KotlinSignature'>
+      <val name="value" val="&quot;fun split(input : CharSequence, limit : Int) : Array&lt;String&gt;&quot;"/>
+    </annotation>
+  </item>
+  <item name='java.util.regex.Pattern java.lang.String[] split(java.lang.CharSequence) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Pattern java.lang.String[] split(java.lang.CharSequence)'>
+    <annotation name='jet.runtime.typeinfo.KotlinSignature'>
+      <val name="value" val="&quot;fun split(input : CharSequence) : Array&lt;String&gt;&quot;"/>
+    </annotation>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Pattern java.lang.String quote(java.lang.String) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Pattern java.lang.String quote(java.lang.String)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <!-- java.util.regex.Matcher -->
+  <item name='java.util.regex.Matcher java.util.regex.Pattern pattern()'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.util.regex.MatchResult toMatchResult()'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.util.regex.Matcher usePattern(java.util.regex.Pattern) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.util.regex.Matcher usePattern(java.util.regex.Pattern)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.util.regex.Matcher reset()'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.util.regex.Matcher reset(java.lang.CharSequence)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.util.regex.Matcher reset(java.lang.CharSequence) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.lang.String group()'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.lang.String group(int)'>
+    <annotation name='org.jetbrains.annotations.Nullable'/>
+  </item>
+  <item name='java.util.regex.Matcher java.lang.String quoteReplacement(java.lang.String)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.lang.String quoteReplacement(java.lang.String) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.util.regex.Matcher appendReplacement(java.lang.StringBuffer, java.lang.String)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.util.regex.Matcher appendReplacement(java.lang.StringBuffer, java.lang.String) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.util.regex.Matcher appendReplacement(java.lang.StringBuffer, java.lang.String) 1'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.lang.StringBuffer appendTail(java.lang.StringBuffer)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.lang.StringBuffer appendTail(java.lang.StringBuffer) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.lang.String replaceAll(java.lang.String)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.lang.String replaceAll(java.lang.String) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.lang.String replaceFirst(java.lang.String)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.lang.String replaceFirst(java.lang.String) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.util.regex.Matcher region(int, int)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.util.regex.Matcher useTransparentBounds(boolean)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.util.regex.Matcher useAnchoringBounds(boolean)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.util.regex.Matcher java.lang.String toString()'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <!-- java.util.regex.MatchResult -->
+  <item name='java.util.regex.MatchResult java.lang.String group(int)'>
+      <annotation name='org.jetbrains.annotations.Nullable'/>
+  </item>
+  <item name='java.util.regex.MatchResult java.lang.String group()'>
+      <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+</root>
\ No newline at end of file