Java/java/util/concurrent/ThreadLocalRandom.fz

# Fuzion interface to instance members of Java instance class 'java.util.concurrent.ThreadLocalRandom'
#
# !!!!!!  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.java.util.concurrent.ThreadLocalRandom(redef forbidden void) ref : Java.java.util.Random(forbidden), fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public double java.util.concurrent.ThreadLocalRandom.nextDouble(double)':
  #
  public nextDouble_D(arg0 f64) f64 =>
    fuzion.java.call_virtual (f64) "java.util.concurrent.ThreadLocalRandom" "nextDouble" "(D)D" ThreadLocalRandom.this [(fuzion.java.f64_to_java_object Java.java.util.concurrent.ThreadLocalRandom.nextDouble_D.this.arg0)]

  # call Java instance method 'public double java.util.concurrent.ThreadLocalRandom.nextDouble(double,double)':
  #
  public nextDouble_DD(arg0 f64, arg1 f64) f64 =>
    fuzion.java.call_virtual (f64) "java.util.concurrent.ThreadLocalRandom" "nextDouble" "(DD)D" ThreadLocalRandom.this [(fuzion.java.f64_to_java_object Java.java.util.concurrent.ThreadLocalRandom.nextDouble_DD.this.arg0); (fuzion.java.f64_to_java_object Java.java.util.concurrent.ThreadLocalRandom.nextDouble_DD.this.arg1)]

  # call Java instance method 'public float java.util.concurrent.ThreadLocalRandom.nextFloat(float)':
  #
  public nextFloat_F(arg0 f32) f32 =>
    fuzion.java.call_virtual (f32) "java.util.concurrent.ThreadLocalRandom" "nextFloat" "(F)F" ThreadLocalRandom.this [(fuzion.java.f32_to_java_object Java.java.util.concurrent.ThreadLocalRandom.nextFloat_F.this.arg0)]

  # call Java instance method 'public float java.util.concurrent.ThreadLocalRandom.nextFloat(float,float)':
  #
  public nextFloat_FF(arg0 f32, arg1 f32) f32 =>
    fuzion.java.call_virtual (f32) "java.util.concurrent.ThreadLocalRandom" "nextFloat" "(FF)F" ThreadLocalRandom.this [(fuzion.java.f32_to_java_object Java.java.util.concurrent.ThreadLocalRandom.nextFloat_FF.this.arg0); (fuzion.java.f32_to_java_object Java.java.util.concurrent.ThreadLocalRandom.nextFloat_FF.this.arg1)]

  # call Java instance method 'public int java.util.concurrent.ThreadLocalRandom.nextInt(int,int)':
  #
  public nextInt_II(arg0 i32, arg1 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.util.concurrent.ThreadLocalRandom" "nextInt" "(II)I" ThreadLocalRandom.this [(fuzion.java.i32_to_java_object Java.java.util.concurrent.ThreadLocalRandom.nextInt_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.util.concurrent.ThreadLocalRandom.nextInt_II.this.arg1)]

  # call Java instance method 'public long java.util.concurrent.ThreadLocalRandom.nextLong(long)':
  #
  public nextLong_J(arg0 i64) i64 =>
    fuzion.java.call_virtual (i64) "java.util.concurrent.ThreadLocalRandom" "nextLong" "(J)J" ThreadLocalRandom.this [(fuzion.java.i64_to_java_object Java.java.util.concurrent.ThreadLocalRandom.nextLong_J.this.arg0)]

  # call Java instance method 'public long java.util.concurrent.ThreadLocalRandom.nextLong(long,long)':
  #
  public nextLong_JJ(arg0 i64, arg1 i64) i64 =>
    fuzion.java.call_virtual (i64) "java.util.concurrent.ThreadLocalRandom" "nextLong" "(JJ)J" ThreadLocalRandom.this [(fuzion.java.i64_to_java_object Java.java.util.concurrent.ThreadLocalRandom.nextLong_JJ.this.arg0); (fuzion.java.i64_to_java_object Java.java.util.concurrent.ThreadLocalRandom.nextLong_JJ.this.arg1)]

  # short-hand to call Java method 'public double java.util.concurrent.ThreadLocalRandom.nextDouble(double)':
  #
  public nextDouble(arg0 f64) (f64) =>
    nextDouble_D Java.java.util.concurrent.ThreadLocalRandom.nextDouble.this.arg0

  # short-hand to call Java method 'public double java.util.concurrent.ThreadLocalRandom.nextDouble(double,double)':
  #
  public nextDouble(arg0 f64, arg1 f64) (f64) =>
    nextDouble_DD Java.java.util.concurrent.ThreadLocalRandom.nextDouble.this.arg0 Java.java.util.concurrent.ThreadLocalRandom.nextDouble.this.arg1

  # short-hand to call Java method 'public float java.util.concurrent.ThreadLocalRandom.nextFloat(float)':
  #
  public nextFloat(arg0 f32) (f32) =>
    nextFloat_F Java.java.util.concurrent.ThreadLocalRandom.nextFloat.this.arg0

  # short-hand to call Java method 'public float java.util.concurrent.ThreadLocalRandom.nextFloat(float,float)':
  #
  public nextFloat(arg0 f32, arg1 f32) (f32) =>
    nextFloat_FF Java.java.util.concurrent.ThreadLocalRandom.nextFloat.this.arg0 Java.java.util.concurrent.ThreadLocalRandom.nextFloat.this.arg1

  # short-hand to call Java method 'public int java.util.concurrent.ThreadLocalRandom.nextInt(int,int)':
  #
  public nextInt(arg0 i32, arg1 i32) (i32) =>
    nextInt_II Java.java.util.concurrent.ThreadLocalRandom.nextInt.this.arg0 Java.java.util.concurrent.ThreadLocalRandom.nextInt.this.arg1

  # short-hand to call Java method 'public long java.util.concurrent.ThreadLocalRandom.nextLong(long)':
  #
  public nextLong(arg0 i64) (i64) =>
    nextLong_J Java.java.util.concurrent.ThreadLocalRandom.nextLong.this.arg0

  # short-hand to call Java method 'public long java.util.concurrent.ThreadLocalRandom.nextLong(long,long)':
  #
  public nextLong(arg0 i64, arg1 i64) (i64) =>
    nextLong_JJ Java.java.util.concurrent.ThreadLocalRandom.nextLong.this.arg0 Java.java.util.concurrent.ThreadLocalRandom.nextLong.this.arg1