public class JPF_java_security_MessageDigest extends NativePeer
Constructor and Description |
---|
JPF_java_security_MessageDigest(Config conf) |
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) |
getInstance, getInstance, getPeerClass, getPeerClassName, init, initialize, initializePeerClass
public JPF_java_security_MessageDigest(Config conf)