gov.nasa.jpf.vm

Class JPF_java_security_MessageDigest

java.lang.Object

gov.nasa.jpf.vm.NativePeer

gov.nasa.jpf.vm.JPF_java_security_MessageDigest

All Implemented Interfaces:

Cloneable

public class JPF_java_security_MessageDigest
extends NativePeer

Constructor Summary

Constructors

Constructor and Description
JPF_java_security_MessageDigest(Config conf)

Method Summary

Methods

Modifier and Type	Method and Description
int	digest___3B___3B(MJIEnv env, int objRef, int inputRef)
void	finalize____(MJIEnv env, int objRef)
int	init0__Ljava_lang_String_2__I(MJIEnv env, int objRef, int algRef)

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_security_MessageDigest

public JPF_java_security_MessageDigest(Config conf)

Method Detail

init0__Ljava_lang_String_2__I

public int init0__Ljava_lang_String_2__I(MJIEnv env,
                                int objRef,
                                int algRef)

digest___3B___3B

public int digest___3B___3B(MJIEnv env,
                   int objRef,
                   int inputRef)

finalize____

public void finalize____(MJIEnv env,
                int objRef)