public class JPF_java_util_regex_Pattern extends NativePeer
Constructor and Description |
---|
JPF_java_util_regex_Pattern() |
Modifier and Type | Method and Description |
---|---|
int |
split0__Ljava_lang_String_2I___3Ljava_lang_String_2(MJIEnv env,
int patRef,
int strRef,
int limit) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public int split0__Ljava_lang_String_2I___3Ljava_lang_String_2(MJIEnv env, int patRef, int strRef, int limit)