gov.nasa.jpf.vm

Class JPF_sun_net_www_protocol_http_Handler

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_sun_net_www_protocol_http_Handler

All Implemented Interfaces:

Cloneable

public class JPF_sun_net_www_protocol_http_Handler
extends NativePeer

native peer to configure concrete URLConnection classes for specific URLs We use model class configuration in case somebody wants to implement logic in there that requires backtracking, and doesn't want to do this on the native peer level example config: http.connection= http://*.dtd => gov.nasa.jpf.CachedROHttpConnection, http://foo.com/* -- x.y.MyHttpConnection

Constructor Summary

Constructors

Constructor and Description
JPF_sun_net_www_protocol_http_Handler(Config conf)

Method Summary

Methods

Modifier and Type	Method and Description
int	getConnectionClass__Ljava_lang_String_2__Ljava_lang_Class_2(MJIEnv env, int objref, int surlRef)

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_sun_net_www_protocol_http_Handler

public JPF_sun_net_www_protocol_http_Handler(Config conf)

Method Detail

getConnectionClass__Ljava_lang_String_2__Ljava_lang_Class_2

public int getConnectionClass__Ljava_lang_String_2__Ljava_lang_Class_2(MJIEnv env,
                                                              int objref,
                                                              int surlRef)