gov.nasa.jpf.vm

Class JPF_java_net_URLDecoder

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_net_URLDecoder

All Implemented Interfaces:

Cloneable

public class JPF_java_net_URLDecoder
extends NativePeer

native peer for java.net.URLDecoder forwarding

Constructor Summary

Constructors

Constructor and Description
JPF_java_net_URLDecoder()

Method Summary

Methods

Modifier and Type	Method and Description
int	decode__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_URLDecoder

public JPF_java_net_URLDecoder()

Method Detail

decode__Ljava_lang_String_2Ljava_lang_String_2__Ljava_lang_String_2

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