gov.nasa.jpf.vm

Class JPF_java_lang_StringCoding

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_lang_StringCoding

All Implemented Interfaces:

Cloneable

public class JPF_java_lang_StringCoding
extends NativePeer

we are not really interested in model checking this, so we intercept and ignore <2do> at some point we should probably do proper decoding/encoding, but the java.lang.StringCoding class is unfortunately not public, and it would be a pain to work around the access restrictions

Constructor Summary

Constructors

Constructor and Description
JPF_java_lang_StringCoding()

Method Summary

Methods

Modifier and Type	Method and Description
int	decode___3BII___3C(MJIEnv env, int clsObjRef, int bref, int off, int len)
int	encode___3CII___3B(MJIEnv env, int clsObjRef, int cref, int off, int len)

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_lang_StringCoding

public JPF_java_lang_StringCoding()

Method Detail

decode___3BII___3C

public int decode___3BII___3C(MJIEnv env,
                     int clsObjRef,
                     int bref,
                     int off,
                     int len)

encode___3CII___3B

public int encode___3CII___3B(MJIEnv env,
                     int clsObjRef,
                     int cref,
                     int off,
                     int len)