Java/jdk/internal/util/random/RandomSupport_static.fz

# Fuzion interface to static members of Java class 'jdk.internal.util.random.RandomSupport'
#
# !!!!!!  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.jdk.internal.util.random.RandomSupport_static is

  # call Java static method 'public static double jdk.internal.util.random.RandomSupport.boundedNextDouble(java.util.random.RandomGenerator,double)':
  #
  public boundedNextDouble_Ljava_7_util_7_random_7_RandomGenerator_s_D(arg0 Java.java.util.random.RandomGenerator, arg1 f64) f64 =>
    fuzion.java.call_static (f64) "jdk.internal.util.random.RandomSupport" "boundedNextDouble" "(Ljava/util/random/RandomGenerator;D)D" [(Java.jdk.internal.util.random.RandomSupport_static.boundedNextDouble_Ljava_7_util_7_random_7_RandomGenerator_s_D.this.arg0); (fuzion.java.f64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.boundedNextDouble_Ljava_7_util_7_random_7_RandomGenerator_s_D.this.arg1)]

  # call Java static method 'public static double jdk.internal.util.random.RandomSupport.boundedNextDouble(java.util.random.RandomGenerator,double,double)':
  #
  public boundedNextDouble_Ljava_7_util_7_random_7_RandomGenerator_s_DD(arg0 Java.java.util.random.RandomGenerator, arg1 f64, arg2 f64) f64 =>
    fuzion.java.call_static (f64) "jdk.internal.util.random.RandomSupport" "boundedNextDouble" "(Ljava/util/random/RandomGenerator;DD)D" [(Java.jdk.internal.util.random.RandomSupport_static.boundedNextDouble_Ljava_7_util_7_random_7_RandomGenerator_s_DD.this.arg0); (fuzion.java.f64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.boundedNextDouble_Ljava_7_util_7_random_7_RandomGenerator_s_DD.this.arg1); (fuzion.java.f64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.boundedNextDouble_Ljava_7_util_7_random_7_RandomGenerator_s_DD.this.arg2)]

  # call Java static method 'public static float jdk.internal.util.random.RandomSupport.boundedNextFloat(java.util.random.RandomGenerator,float)':
  #
  public boundedNextFloat_Ljava_7_util_7_random_7_RandomGenerator_s_F(arg0 Java.java.util.random.RandomGenerator, arg1 f32) f32 =>
    fuzion.java.call_static (f32) "jdk.internal.util.random.RandomSupport" "boundedNextFloat" "(Ljava/util/random/RandomGenerator;F)F" [(Java.jdk.internal.util.random.RandomSupport_static.boundedNextFloat_Ljava_7_util_7_random_7_RandomGenerator_s_F.this.arg0); (fuzion.java.f32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.boundedNextFloat_Ljava_7_util_7_random_7_RandomGenerator_s_F.this.arg1)]

  # call Java static method 'public static float jdk.internal.util.random.RandomSupport.boundedNextFloat(java.util.random.RandomGenerator,float,float)':
  #
  public boundedNextFloat_Ljava_7_util_7_random_7_RandomGenerator_s_FF(arg0 Java.java.util.random.RandomGenerator, arg1 f32, arg2 f32) f32 =>
    fuzion.java.call_static (f32) "jdk.internal.util.random.RandomSupport" "boundedNextFloat" "(Ljava/util/random/RandomGenerator;FF)F" [(Java.jdk.internal.util.random.RandomSupport_static.boundedNextFloat_Ljava_7_util_7_random_7_RandomGenerator_s_FF.this.arg0); (fuzion.java.f32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.boundedNextFloat_Ljava_7_util_7_random_7_RandomGenerator_s_FF.this.arg1); (fuzion.java.f32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.boundedNextFloat_Ljava_7_util_7_random_7_RandomGenerator_s_FF.this.arg2)]

  # call Java static method 'public static int jdk.internal.util.random.RandomSupport.boundedNextInt(java.util.random.RandomGenerator,int)':
  #
  public boundedNextInt_Ljava_7_util_7_random_7_RandomGenerator_s_I(arg0 Java.java.util.random.RandomGenerator, arg1 i32) i32 =>
    fuzion.java.call_static (i32) "jdk.internal.util.random.RandomSupport" "boundedNextInt" "(Ljava/util/random/RandomGenerator;I)I" [(Java.jdk.internal.util.random.RandomSupport_static.boundedNextInt_Ljava_7_util_7_random_7_RandomGenerator_s_I.this.arg0); (fuzion.java.i32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.boundedNextInt_Ljava_7_util_7_random_7_RandomGenerator_s_I.this.arg1)]

  # call Java static method 'public static int jdk.internal.util.random.RandomSupport.boundedNextInt(java.util.random.RandomGenerator,int,int)':
  #
  public boundedNextInt_Ljava_7_util_7_random_7_RandomGenerator_s_II(arg0 Java.java.util.random.RandomGenerator, arg1 i32, arg2 i32) i32 =>
    fuzion.java.call_static (i32) "jdk.internal.util.random.RandomSupport" "boundedNextInt" "(Ljava/util/random/RandomGenerator;II)I" [(Java.jdk.internal.util.random.RandomSupport_static.boundedNextInt_Ljava_7_util_7_random_7_RandomGenerator_s_II.this.arg0); (fuzion.java.i32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.boundedNextInt_Ljava_7_util_7_random_7_RandomGenerator_s_II.this.arg1); (fuzion.java.i32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.boundedNextInt_Ljava_7_util_7_random_7_RandomGenerator_s_II.this.arg2)]

  # call Java static method 'public static long jdk.internal.util.random.RandomSupport.boundedNextLong(java.util.random.RandomGenerator,long)':
  #
  public boundedNextLong_Ljava_7_util_7_random_7_RandomGenerator_s_J(arg0 Java.java.util.random.RandomGenerator, arg1 i64) i64 =>
    fuzion.java.call_static (i64) "jdk.internal.util.random.RandomSupport" "boundedNextLong" "(Ljava/util/random/RandomGenerator;J)J" [(Java.jdk.internal.util.random.RandomSupport_static.boundedNextLong_Ljava_7_util_7_random_7_RandomGenerator_s_J.this.arg0); (fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.boundedNextLong_Ljava_7_util_7_random_7_RandomGenerator_s_J.this.arg1)]

  # call Java static method 'public static long jdk.internal.util.random.RandomSupport.boundedNextLong(java.util.random.RandomGenerator,long,long)':
  #
  public boundedNextLong_Ljava_7_util_7_random_7_RandomGenerator_s_JJ(arg0 Java.java.util.random.RandomGenerator, arg1 i64, arg2 i64) i64 =>
    fuzion.java.call_static (i64) "jdk.internal.util.random.RandomSupport" "boundedNextLong" "(Ljava/util/random/RandomGenerator;JJ)J" [(Java.jdk.internal.util.random.RandomSupport_static.boundedNextLong_Ljava_7_util_7_random_7_RandomGenerator_s_JJ.this.arg0); (fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.boundedNextLong_Ljava_7_util_7_random_7_RandomGenerator_s_JJ.this.arg1); (fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.boundedNextLong_Ljava_7_util_7_random_7_RandomGenerator_s_JJ.this.arg2)]

  # call Java static method 'public static void jdk.internal.util.random.RandomSupport.checkBound(double)':
  #
  public checkBound_D(arg0 f64) unit =>
    fuzion.java.call_static (unit) "jdk.internal.util.random.RandomSupport" "checkBound" "(D)V" [(fuzion.java.f64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.checkBound_D.this.arg0)]

  # call Java static method 'public static void jdk.internal.util.random.RandomSupport.checkBound(float)':
  #
  public checkBound_F(arg0 f32) unit =>
    fuzion.java.call_static (unit) "jdk.internal.util.random.RandomSupport" "checkBound" "(F)V" [(fuzion.java.f32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.checkBound_F.this.arg0)]

  # call Java static method 'public static void jdk.internal.util.random.RandomSupport.checkBound(int)':
  #
  public checkBound_I(arg0 i32) unit =>
    fuzion.java.call_static (unit) "jdk.internal.util.random.RandomSupport" "checkBound" "(I)V" [(fuzion.java.i32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.checkBound_I.this.arg0)]

  # call Java static method 'public static void jdk.internal.util.random.RandomSupport.checkBound(long)':
  #
  public checkBound_J(arg0 i64) unit =>
    fuzion.java.call_static (unit) "jdk.internal.util.random.RandomSupport" "checkBound" "(J)V" [(fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.checkBound_J.this.arg0)]

  # call Java static method 'public static void jdk.internal.util.random.RandomSupport.checkRange(double,double)':
  #
  public checkRange_DD(arg0 f64, arg1 f64) unit =>
    fuzion.java.call_static (unit) "jdk.internal.util.random.RandomSupport" "checkRange" "(DD)V" [(fuzion.java.f64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.checkRange_DD.this.arg0); (fuzion.java.f64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.checkRange_DD.this.arg1)]

  # call Java static method 'public static void jdk.internal.util.random.RandomSupport.checkRange(float,float)':
  #
  public checkRange_FF(arg0 f32, arg1 f32) unit =>
    fuzion.java.call_static (unit) "jdk.internal.util.random.RandomSupport" "checkRange" "(FF)V" [(fuzion.java.f32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.checkRange_FF.this.arg0); (fuzion.java.f32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.checkRange_FF.this.arg1)]

  # call Java static method 'public static void jdk.internal.util.random.RandomSupport.checkRange(int,int)':
  #
  public checkRange_II(arg0 i32, arg1 i32) unit =>
    fuzion.java.call_static (unit) "jdk.internal.util.random.RandomSupport" "checkRange" "(II)V" [(fuzion.java.i32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.checkRange_II.this.arg0); (fuzion.java.i32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.checkRange_II.this.arg1)]

  # call Java static method 'public static void jdk.internal.util.random.RandomSupport.checkRange(long,long)':
  #
  public checkRange_JJ(arg0 i64, arg1 i64) unit =>
    fuzion.java.call_static (unit) "jdk.internal.util.random.RandomSupport" "checkRange" "(JJ)V" [(fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.checkRange_JJ.this.arg0); (fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.checkRange_JJ.this.arg1)]

  # call Java static method 'public static void jdk.internal.util.random.RandomSupport.checkStreamSize(long)':
  #
  public checkStreamSize_J(arg0 i64) unit =>
    fuzion.java.call_static (unit) "jdk.internal.util.random.RandomSupport" "checkStreamSize" "(J)V" [(fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.checkStreamSize_J.this.arg0)]

  # call Java static method 'public static double jdk.internal.util.random.RandomSupport.computeNextExponential(java.util.random.RandomGenerator)':
  #
  public computeNextExponential_Ljava_7_util_7_random_7_RandomGenerator_s_(arg0 Java.java.util.random.RandomGenerator) f64 =>
    fuzion.java.call_static (f64) "jdk.internal.util.random.RandomSupport" "computeNextExponential" "(Ljava/util/random/RandomGenerator;)D" [(Java.jdk.internal.util.random.RandomSupport_static.computeNextExponential_Ljava_7_util_7_random_7_RandomGenerator_s_.this.arg0)]

  # call Java static method 'public static double jdk.internal.util.random.RandomSupport.computeNextGaussian(java.util.random.RandomGenerator)':
  #
  public computeNextGaussian_Ljava_7_util_7_random_7_RandomGenerator_s_(arg0 Java.java.util.random.RandomGenerator) f64 =>
    fuzion.java.call_static (f64) "jdk.internal.util.random.RandomSupport" "computeNextGaussian" "(Ljava/util/random/RandomGenerator;)D" [(Java.jdk.internal.util.random.RandomSupport_static.computeNextGaussian_Ljava_7_util_7_random_7_RandomGenerator_s_.this.arg0)]

  # call Java static method 'public static int[] jdk.internal.util.random.RandomSupport.convertSeedBytesToInts(byte[],int,int)':
  #
  public convertSeedBytesToInts__u00005b_BII(arg0 Sequence (i8), arg1 i32, arg2 i32) fuzion.java.Array (i32) =>
    fuzion.java.call_static (fuzion.java.Array (i32)) "jdk.internal.util.random.RandomSupport" "convertSeedBytesToInts" "([BII)[I" [(fuzion.java.array_to_java_object (i8) Java.jdk.internal.util.random.RandomSupport_static.convertSeedBytesToInts__u00005b_BII.this.arg0); (fuzion.java.i32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.convertSeedBytesToInts__u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.convertSeedBytesToInts__u00005b_BII.this.arg2)]

  # call Java static method 'public static long[] jdk.internal.util.random.RandomSupport.convertSeedBytesToLongs(byte[],int,int)':
  #
  public convertSeedBytesToLongs__u00005b_BII(arg0 Sequence (i8), arg1 i32, arg2 i32) fuzion.java.Array (i64) =>
    fuzion.java.call_static (fuzion.java.Array (i64)) "jdk.internal.util.random.RandomSupport" "convertSeedBytesToLongs" "([BII)[J" [(fuzion.java.array_to_java_object (i8) Java.jdk.internal.util.random.RandomSupport_static.convertSeedBytesToLongs__u00005b_BII.this.arg0); (fuzion.java.i32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.convertSeedBytesToLongs__u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.convertSeedBytesToLongs__u00005b_BII.this.arg2)]

  # call Java static method 'public static long jdk.internal.util.random.RandomSupport.initialSeed()':
  #
  public initialSeed i64 =>
    fuzion.java.call_static (i64) "jdk.internal.util.random.RandomSupport" "initialSeed" "()J" []

  # call Java static method 'public static int jdk.internal.util.random.RandomSupport.mixLea32(int)':
  #
  public mixLea32_I(arg0 i32) i32 =>
    fuzion.java.call_static (i32) "jdk.internal.util.random.RandomSupport" "mixLea32" "(I)I" [(fuzion.java.i32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.mixLea32_I.this.arg0)]

  # call Java static method 'public static long jdk.internal.util.random.RandomSupport.mixLea64(long)':
  #
  public mixLea64_J(arg0 i64) i64 =>
    fuzion.java.call_static (i64) "jdk.internal.util.random.RandomSupport" "mixLea64" "(J)J" [(fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.mixLea64_J.this.arg0)]

  # call Java static method 'public static int jdk.internal.util.random.RandomSupport.mixMurmur32(int)':
  #
  public mixMurmur32_I(arg0 i32) i32 =>
    fuzion.java.call_static (i32) "jdk.internal.util.random.RandomSupport" "mixMurmur32" "(I)I" [(fuzion.java.i32_to_java_object Java.jdk.internal.util.random.RandomSupport_static.mixMurmur32_I.this.arg0)]

  # call Java static method 'public static long jdk.internal.util.random.RandomSupport.mixMurmur64(long)':
  #
  public mixMurmur64_J(arg0 i64) i64 =>
    fuzion.java.call_static (i64) "jdk.internal.util.random.RandomSupport" "mixMurmur64" "(J)J" [(fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.mixMurmur64_J.this.arg0)]

  # call Java static method 'public static long jdk.internal.util.random.RandomSupport.mixStafford13(long)':
  #
  public mixStafford13_J(arg0 i64) i64 =>
    fuzion.java.call_static (i64) "jdk.internal.util.random.RandomSupport" "mixStafford13" "(J)J" [(fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_static.mixStafford13_J.this.arg0)]

  # short-hand to call Java method 'public static double jdk.internal.util.random.RandomSupport.boundedNextDouble(java.util.random.RandomGenerator,double)':
  #
  public boundedNextDouble(arg0 Java.java.util.random.RandomGenerator, arg1 f64) (f64) =>
    boundedNextDouble_Ljava_7_util_7_random_7_RandomGenerator_s_D Java.jdk.internal.util.random.RandomSupport_static.boundedNextDouble.this.arg0 Java.jdk.internal.util.random.RandomSupport_static.boundedNextDouble.this.arg1

  # short-hand to call Java method 'public static double jdk.internal.util.random.RandomSupport.boundedNextDouble(java.util.random.RandomGenerator,double,double)':
  #
  public boundedNextDouble(arg0 Java.java.util.random.RandomGenerator, arg1 f64, arg2 f64) (f64) =>
    boundedNextDouble_Ljava_7_util_7_random_7_RandomGenerator_s_DD Java.jdk.internal.util.random.RandomSupport_static.boundedNextDouble.this.arg0 Java.jdk.internal.util.random.RandomSupport_static.boundedNextDouble.this.arg1 Java.jdk.internal.util.random.RandomSupport_static.boundedNextDouble.this.arg2

  # short-hand to call Java method 'public static float jdk.internal.util.random.RandomSupport.boundedNextFloat(java.util.random.RandomGenerator,float)':
  #
  public boundedNextFloat(arg0 Java.java.util.random.RandomGenerator, arg1 f32) (f32) =>
    boundedNextFloat_Ljava_7_util_7_random_7_RandomGenerator_s_F Java.jdk.internal.util.random.RandomSupport_static.boundedNextFloat.this.arg0 Java.jdk.internal.util.random.RandomSupport_static.boundedNextFloat.this.arg1

  # short-hand to call Java method 'public static float jdk.internal.util.random.RandomSupport.boundedNextFloat(java.util.random.RandomGenerator,float,float)':
  #
  public boundedNextFloat(arg0 Java.java.util.random.RandomGenerator, arg1 f32, arg2 f32) (f32) =>
    boundedNextFloat_Ljava_7_util_7_random_7_RandomGenerator_s_FF Java.jdk.internal.util.random.RandomSupport_static.boundedNextFloat.this.arg0 Java.jdk.internal.util.random.RandomSupport_static.boundedNextFloat.this.arg1 Java.jdk.internal.util.random.RandomSupport_static.boundedNextFloat.this.arg2

  # short-hand to call Java method 'public static int jdk.internal.util.random.RandomSupport.boundedNextInt(java.util.random.RandomGenerator,int)':
  #
  public boundedNextInt(arg0 Java.java.util.random.RandomGenerator, arg1 i32) (i32) =>
    boundedNextInt_Ljava_7_util_7_random_7_RandomGenerator_s_I Java.jdk.internal.util.random.RandomSupport_static.boundedNextInt.this.arg0 Java.jdk.internal.util.random.RandomSupport_static.boundedNextInt.this.arg1

  # short-hand to call Java method 'public static int jdk.internal.util.random.RandomSupport.boundedNextInt(java.util.random.RandomGenerator,int,int)':
  #
  public boundedNextInt(arg0 Java.java.util.random.RandomGenerator, arg1 i32, arg2 i32) (i32) =>
    boundedNextInt_Ljava_7_util_7_random_7_RandomGenerator_s_II Java.jdk.internal.util.random.RandomSupport_static.boundedNextInt.this.arg0 Java.jdk.internal.util.random.RandomSupport_static.boundedNextInt.this.arg1 Java.jdk.internal.util.random.RandomSupport_static.boundedNextInt.this.arg2

  # short-hand to call Java method 'public static long jdk.internal.util.random.RandomSupport.boundedNextLong(java.util.random.RandomGenerator,long)':
  #
  public boundedNextLong(arg0 Java.java.util.random.RandomGenerator, arg1 i64) (i64) =>
    boundedNextLong_Ljava_7_util_7_random_7_RandomGenerator_s_J Java.jdk.internal.util.random.RandomSupport_static.boundedNextLong.this.arg0 Java.jdk.internal.util.random.RandomSupport_static.boundedNextLong.this.arg1

  # short-hand to call Java method 'public static long jdk.internal.util.random.RandomSupport.boundedNextLong(java.util.random.RandomGenerator,long,long)':
  #
  public boundedNextLong(arg0 Java.java.util.random.RandomGenerator, arg1 i64, arg2 i64) (i64) =>
    boundedNextLong_Ljava_7_util_7_random_7_RandomGenerator_s_JJ Java.jdk.internal.util.random.RandomSupport_static.boundedNextLong.this.arg0 Java.jdk.internal.util.random.RandomSupport_static.boundedNextLong.this.arg1 Java.jdk.internal.util.random.RandomSupport_static.boundedNextLong.this.arg2

  # short-hand to call Java method 'public static void jdk.internal.util.random.RandomSupport.checkBound(float)':
  #
  public checkBound(arg0 f32) (unit) =>
    checkBound_F Java.jdk.internal.util.random.RandomSupport_static.checkBound.this.arg0

  # short-hand to call Java method 'public static void jdk.internal.util.random.RandomSupport.checkRange(double,double)':
  #
  public checkRange(arg0 f64, arg1 f64) (unit) =>
    checkRange_DD Java.jdk.internal.util.random.RandomSupport_static.checkRange.this.arg0 Java.jdk.internal.util.random.RandomSupport_static.checkRange.this.arg1

  # short-hand to call Java method 'public static void jdk.internal.util.random.RandomSupport.checkStreamSize(long)':
  #
  public checkStreamSize(arg0 i64) (unit) =>
    checkStreamSize_J Java.jdk.internal.util.random.RandomSupport_static.checkStreamSize.this.arg0

  # short-hand to call Java method 'public static double jdk.internal.util.random.RandomSupport.computeNextExponential(java.util.random.RandomGenerator)':
  #
  public computeNextExponential(arg0 Java.java.util.random.RandomGenerator) (f64) =>
    computeNextExponential_Ljava_7_util_7_random_7_RandomGenerator_s_ Java.jdk.internal.util.random.RandomSupport_static.computeNextExponential.this.arg0

  # short-hand to call Java method 'public static double jdk.internal.util.random.RandomSupport.computeNextGaussian(java.util.random.RandomGenerator)':
  #
  public computeNextGaussian(arg0 Java.java.util.random.RandomGenerator) (f64) =>
    computeNextGaussian_Ljava_7_util_7_random_7_RandomGenerator_s_ Java.jdk.internal.util.random.RandomSupport_static.computeNextGaussian.this.arg0

  # short-hand to call Java method 'public static int[] jdk.internal.util.random.RandomSupport.convertSeedBytesToInts(byte[],int,int)':
  #
  public convertSeedBytesToInts(arg0 Sequence (i8), arg1 i32, arg2 i32) (fuzion.java.Array (i32)) =>
    convertSeedBytesToInts__u00005b_BII Java.jdk.internal.util.random.RandomSupport_static.convertSeedBytesToInts.this.arg0 Java.jdk.internal.util.random.RandomSupport_static.convertSeedBytesToInts.this.arg1 Java.jdk.internal.util.random.RandomSupport_static.convertSeedBytesToInts.this.arg2

  # short-hand to call Java method 'public static long[] jdk.internal.util.random.RandomSupport.convertSeedBytesToLongs(byte[],int,int)':
  #
  public convertSeedBytesToLongs(arg0 Sequence (i8), arg1 i32, arg2 i32) (fuzion.java.Array (i64)) =>
    convertSeedBytesToLongs__u00005b_BII Java.jdk.internal.util.random.RandomSupport_static.convertSeedBytesToLongs.this.arg0 Java.jdk.internal.util.random.RandomSupport_static.convertSeedBytesToLongs.this.arg1 Java.jdk.internal.util.random.RandomSupport_static.convertSeedBytesToLongs.this.arg2

  # short-hand to call Java method 'public static int jdk.internal.util.random.RandomSupport.mixLea32(int)':
  #
  public mixLea32(arg0 i32) (i32) =>
    mixLea32_I Java.jdk.internal.util.random.RandomSupport_static.mixLea32.this.arg0

  # short-hand to call Java method 'public static long jdk.internal.util.random.RandomSupport.mixLea64(long)':
  #
  public mixLea64(arg0 i64) (i64) =>
    mixLea64_J Java.jdk.internal.util.random.RandomSupport_static.mixLea64.this.arg0

  # short-hand to call Java method 'public static int jdk.internal.util.random.RandomSupport.mixMurmur32(int)':
  #
  public mixMurmur32(arg0 i32) (i32) =>
    mixMurmur32_I Java.jdk.internal.util.random.RandomSupport_static.mixMurmur32.this.arg0

  # short-hand to call Java method 'public static long jdk.internal.util.random.RandomSupport.mixMurmur64(long)':
  #
  public mixMurmur64(arg0 i64) (i64) =>
    mixMurmur64_J Java.jdk.internal.util.random.RandomSupport_static.mixMurmur64.this.arg0

  # short-hand to call Java method 'public static long jdk.internal.util.random.RandomSupport.mixStafford13(long)':
  #
  public mixStafford13(arg0 i64) (i64) =>
    mixStafford13_J Java.jdk.internal.util.random.RandomSupport_static.mixStafford13.this.arg0

  # read static Java field 'public static final java.lang.String jdk.internal.util.random.RandomSupport.BAD_BOUND':
  #
  public BAD__BOUND Java.java.lang.__jString =>
    fuzion.java.get_static_field (Java.java.lang.__jString) "jdk.internal.util.random.RandomSupport" "BAD_BOUND"

  # read static Java field 'public static final java.lang.String jdk.internal.util.random.RandomSupport.BAD_DISTANCE':
  #
  public BAD__DISTANCE Java.java.lang.__jString =>
    fuzion.java.get_static_field (Java.java.lang.__jString) "jdk.internal.util.random.RandomSupport" "BAD_DISTANCE"

  # read static Java field 'public static final java.lang.String jdk.internal.util.random.RandomSupport.BAD_FLOATING_BOUND':
  #
  public BAD__FLOATING__BOUND Java.java.lang.__jString =>
    fuzion.java.get_static_field (Java.java.lang.__jString) "jdk.internal.util.random.RandomSupport" "BAD_FLOATING_BOUND"

  # read static Java field 'public static final java.lang.String jdk.internal.util.random.RandomSupport.BAD_RANGE':
  #
  public BAD__RANGE Java.java.lang.__jString =>
    fuzion.java.get_static_field (Java.java.lang.__jString) "jdk.internal.util.random.RandomSupport" "BAD_RANGE"

  # read static Java field 'public static final java.lang.String jdk.internal.util.random.RandomSupport.BAD_SIZE':
  #
  public BAD__SIZE Java.java.lang.__jString =>
    fuzion.java.get_static_field (Java.java.lang.__jString) "jdk.internal.util.random.RandomSupport" "BAD_SIZE"

  # read static Java field 'public static final int jdk.internal.util.random.RandomSupport.GOLDEN_RATIO_32':
  #
  public GOLDEN__RATIO__32 i32 =>
    fuzion.java.get_static_field (i32) "jdk.internal.util.random.RandomSupport" "GOLDEN_RATIO_32"

  # read static Java field 'public static final long jdk.internal.util.random.RandomSupport.GOLDEN_RATIO_64':
  #
  public GOLDEN__RATIO__64 i64 =>
    fuzion.java.get_static_field (i64) "jdk.internal.util.random.RandomSupport" "GOLDEN_RATIO_64"

  # read static Java field 'public static final int jdk.internal.util.random.RandomSupport.SILVER_RATIO_32':
  #
  public SILVER__RATIO__32 i32 =>
    fuzion.java.get_static_field (i32) "jdk.internal.util.random.RandomSupport" "SILVER_RATIO_32"

  # read static Java field 'public static final long jdk.internal.util.random.RandomSupport.SILVER_RATIO_64':
  #
  public SILVER__RATIO__64 i64 =>
    fuzion.java.get_static_field (i64) "jdk.internal.util.random.RandomSupport" "SILVER_RATIO_64"