Java/sun/security/provider/HashDrbg_static.fz
# Fuzion interface to static members of Java class 'sun.security.provider.HashDrbg'
#
# !!!!!! DO NOT EDIT, GENERATED CODE !!!!!!
#
# This code was generated automatically using the fzjava tool V0.087 called
# as follows:
#
# ./build/bin/fzjava java.base -to=build/modules/java.base -verbose=0
#
public Java.sun.security.provider.HashDrbg_static is
# call Java static method 'public static byte[] sun.security.provider.HashDrbg.hashDf(java.security.MessageDigest,int,int,java.util.List)':
#
public hashDf_Ljava_7_security_7_MessageDigest_s_IILjava_7_util_7_List_s_(arg0 Java.java.security.MessageDigest, arg1 i32, arg2 i32, arg3 Java.java.util.List) fuzion.java.Array (i8) =>
fuzion.java.call_static (fuzion.java.Array (i8)) "sun.security.provider.HashDrbg" "hashDf" "(Ljava/security/MessageDigest;IILjava/util/List;)[B" [(Java.sun.security.provider.HashDrbg_static.hashDf_Ljava_7_security_7_MessageDigest_s_IILjava_7_util_7_List_s_.this.arg0); (fuzion.java.i32_to_java_object Java.sun.security.provider.HashDrbg_static.hashDf_Ljava_7_security_7_MessageDigest_s_IILjava_7_util_7_List_s_.this.arg1); (fuzion.java.i32_to_java_object Java.sun.security.provider.HashDrbg_static.hashDf_Ljava_7_security_7_MessageDigest_s_IILjava_7_util_7_List_s_.this.arg2); (Java.sun.security.provider.HashDrbg_static.hashDf_Ljava_7_security_7_MessageDigest_s_IILjava_7_util_7_List_s_.this.arg3)]
# short-hand to call Java method 'public static byte[] sun.security.provider.HashDrbg.hashDf(java.security.MessageDigest,int,int,java.util.List)':
#
public hashDf(arg0 Java.java.security.MessageDigest, arg1 i32, arg2 i32, arg3 Java.java.util.List) (fuzion.java.Array (i8)) =>
hashDf_Ljava_7_security_7_MessageDigest_s_IILjava_7_util_7_List_s_ Java.sun.security.provider.HashDrbg_static.hashDf.this.arg0 Java.sun.security.provider.HashDrbg_static.hashDf.this.arg1 Java.sun.security.provider.HashDrbg_static.hashDf.this.arg2 Java.sun.security.provider.HashDrbg_static.hashDf.this.arg3
# call Java constructor 'public sun.security.provider.HashDrbg(java.security.SecureRandomParameters)':
#
public new_Ljava_7_security_7_SecureRandomParameters_s_(arg0 Java.java.security.SecureRandomParameters) Java.sun.security.provider.HashDrbg =>
fuzion.java.call_constructor (Java.sun.security.provider.HashDrbg) "sun.security.provider.HashDrbg" "(Ljava/security/SecureRandomParameters;)V" [(Java.sun.security.provider.HashDrbg_static.new_Ljava_7_security_7_SecureRandomParameters_s_.this.arg0)]
# short-hand to call Java constructor 'public sun.security.provider.HashDrbg(java.security.SecureRandomParameters)':
#
public new(arg0 Java.java.security.SecureRandomParameters) (Java.sun.security.provider.HashDrbg) =>
new_Ljava_7_security_7_SecureRandomParameters_s_ Java.sun.security.provider.HashDrbg_static.new.this.arg0