Updated Buffer and Matcher Classes (#171)

[jpf-core.git] / src / classes / java / util / regex / Matcher.java

diff --git a/src/classes/java/util/regex/Matcher.java b/src/classes/java/util/regex/Matcher.java
index 515318e94766b76ab55bd13256227f301c3d1a95..468ae844351db9295f4a498e7911ce9bbb090744 100644 (file)
--- a/src/classes/java/util/regex/Matcher.java
+++ b/src/classes/java/util/regex/Matcher.java
@@ -92,6 +92,13 @@ public class Matcher {
 
   public native Matcher useAnchoringBounds(boolean b);
 
+  public Matcher usePattern(Pattern newPattern){
+    this.pattern = newPattern;
+    return updatePattern();
+  }
+
+  public native Matcher updatePattern();
+
   public native int regionStart();
 
   public native int regionEnd();