gov.nasa.jpf.vm

Class JPF_java_util_regex_Pattern

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_util_regex_Pattern

All Implemented Interfaces:

Cloneable

public class JPF_java_util_regex_Pattern
extends NativePeer

Constructor Summary

Constructors

Constructor and Description
JPF_java_util_regex_Pattern()

Method Summary

Methods

Modifier and Type	Method and Description
int	split0__Ljava_lang_String_2I___3Ljava_lang_String_2(MJIEnv env, int patRef, int strRef, int limit)

Methods inherited from class gov.nasa.jpf.vm.NativePeer

getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JPF_java_util_regex_Pattern

public JPF_java_util_regex_Pattern()

Method Detail

split0__Ljava_lang_String_2I___3Ljava_lang_String_2

public int split0__Ljava_lang_String_2I___3Ljava_lang_String_2(MJIEnv env,
                                                      int patRef,
                                                      int strRef,
                                                      int limit)