gov.nasa.jpf.vm

Class JPF_gov_nasa_jpf_CachedROHttpConnection

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_gov_nasa_jpf_CachedROHttpConnection

All Implemented Interfaces:

Cloneable

public class JPF_gov_nasa_jpf_CachedROHttpConnection
extends NativePeer

very simple URLConnection model that can be used for reading static URL contents The data can be stored in/read from the file system, and is cached to avoid DOS by means of model checking

Constructor Summary

Constructors

Constructor and Description
JPF_gov_nasa_jpf_CachedROHttpConnection(Config conf)

Method Summary

Methods

Modifier and Type	Method and Description
int	getContents__Ljava_lang_String_2___3B(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_gov_nasa_jpf_CachedROHttpConnection

public JPF_gov_nasa_jpf_CachedROHttpConnection(Config conf)

Method Detail

getContents__Ljava_lang_String_2___3B

public int getContents__Ljava_lang_String_2___3B(MJIEnv env,
                                        int objRef,
                                        int surlRef)