gov.nasa.jpf.vm

Class JPF_java_io_InputStreamReader

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_io_InputStreamReader

All Implemented Interfaces:

Cloneable

public class JPF_java_io_InputStreamReader
extends NativePeer

Constructor Summary

Constructors

Constructor and Description
JPF_java_io_InputStreamReader()

Method Summary

Methods

Modifier and Type	Method and Description
int	decode___3BI_3CIZ__I(MJIEnv env, int objref, int bref, int len, int cref, int off, boolean endOfInput)
int	decode__IZ__I(MJIEnv env, int objref, int b, boolean endOfInput)

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_io_InputStreamReader

public JPF_java_io_InputStreamReader()

Method Detail

decode___3BI_3CIZ__I

public int decode___3BI_3CIZ__I(MJIEnv env,
                       int objref,
                       int bref,
                       int len,
                       int cref,
                       int off,
                       boolean endOfInput)

decode__IZ__I

public int decode__IZ__I(MJIEnv env,
                int objref,
                int b,
                boolean endOfInput)