gov.nasa.jpf.vm

Class JPF_java_net_URLEncoder

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_net_URLEncoder

All Implemented Interfaces:

Cloneable

public class JPF_java_net_URLEncoder
extends NativePeer

native peer for java.net.URLEncoder forwarding

Constructor Summary

Constructors

Constructor and Description
JPF_java_net_URLEncoder()

Method Summary

Methods

Modifier and Type	Method and Description
int	encode__Ljava_lang_String_2Ljava_lang_String_2__Ljava_lang_String_2(MJIEnv env, int clsObjRef, int sRef, int encRef)

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_net_URLEncoder

public JPF_java_net_URLEncoder()

Method Detail

encode__Ljava_lang_String_2Ljava_lang_String_2__Ljava_lang_String_2

public int encode__Ljava_lang_String_2Ljava_lang_String_2__Ljava_lang_String_2(MJIEnv env,
                                                                      int clsObjRef,
                                                                      int sRef,
                                                                      int encRef)