Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

Java/java/util/random/RandomGenerator.fz


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

  # call Java instance method 'public default java.util.stream.DoubleStream java.util.random.RandomGenerator.doubles()':
  #
  public doubles Java.java.util.stream.DoubleStream =>
    fuzion.java.call_virtual (Java.java.util.stream.DoubleStream) "java.util.random.RandomGenerator" "doubles" "()Ljava/util/stream/DoubleStream;" RandomGenerator.this []

  # call Java instance method 'public default java.util.stream.DoubleStream java.util.random.RandomGenerator.doubles(double,double)':
  #
  public doubles_DD(arg0 f64, arg1 f64) Java.java.util.stream.DoubleStream =>
    fuzion.java.call_virtual (Java.java.util.stream.DoubleStream) "java.util.random.RandomGenerator" "doubles" "(DD)Ljava/util/stream/DoubleStream;" RandomGenerator.this [(fuzion.java.f64_to_java_object Java.java.util.random.RandomGenerator.doubles_DD.this.arg0); (fuzion.java.f64_to_java_object Java.java.util.random.RandomGenerator.doubles_DD.this.arg1)]

  # call Java instance method 'public default java.util.stream.DoubleStream java.util.random.RandomGenerator.doubles(long)':
  #
  public doubles_J(arg0 i64) Java.java.util.stream.DoubleStream =>
    fuzion.java.call_virtual (Java.java.util.stream.DoubleStream) "java.util.random.RandomGenerator" "doubles" "(J)Ljava/util/stream/DoubleStream;" RandomGenerator.this [(fuzion.java.i64_to_java_object Java.java.util.random.RandomGenerator.doubles_J.this.arg0)]

  # call Java instance method 'public default java.util.stream.DoubleStream java.util.random.RandomGenerator.doubles(long,double,double)':
  #
  public doubles_JDD(arg0 i64, arg1 f64, arg2 f64) Java.java.util.stream.DoubleStream =>
    fuzion.java.call_virtual (Java.java.util.stream.DoubleStream) "java.util.random.RandomGenerator" "doubles" "(JDD)Ljava/util/stream/DoubleStream;" RandomGenerator.this [(fuzion.java.i64_to_java_object Java.java.util.random.RandomGenerator.doubles_JDD.this.arg0); (fuzion.java.f64_to_java_object Java.java.util.random.RandomGenerator.doubles_JDD.this.arg1); (fuzion.java.f64_to_java_object Java.java.util.random.RandomGenerator.doubles_JDD.this.arg2)]

  # call Java instance method 'public default java.util.stream.IntStream java.util.random.RandomGenerator.ints()':
  #
  public ints Java.java.util.stream.IntStream =>
    fuzion.java.call_virtual (Java.java.util.stream.IntStream) "java.util.random.RandomGenerator" "ints" "()Ljava/util/stream/IntStream;" RandomGenerator.this []

  # call Java instance method 'public default java.util.stream.IntStream java.util.random.RandomGenerator.ints(int,int)':
  #
  public ints_II(arg0 i32, arg1 i32) Java.java.util.stream.IntStream =>
    fuzion.java.call_virtual (Java.java.util.stream.IntStream) "java.util.random.RandomGenerator" "ints" "(II)Ljava/util/stream/IntStream;" RandomGenerator.this [(fuzion.java.i32_to_java_object Java.java.util.random.RandomGenerator.ints_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.util.random.RandomGenerator.ints_II.this.arg1)]

  # call Java instance method 'public default java.util.stream.IntStream java.util.random.RandomGenerator.ints(long)':
  #
  public ints_J(arg0 i64) Java.java.util.stream.IntStream =>
    fuzion.java.call_virtual (Java.java.util.stream.IntStream) "java.util.random.RandomGenerator" "ints" "(J)Ljava/util/stream/IntStream;" RandomGenerator.this [(fuzion.java.i64_to_java_object Java.java.util.random.RandomGenerator.ints_J.this.arg0)]

  # call Java instance method 'public default java.util.stream.IntStream java.util.random.RandomGenerator.ints(long,int,int)':
  #
  public ints_JII(arg0 i64, arg1 i32, arg2 i32) Java.java.util.stream.IntStream =>
    fuzion.java.call_virtual (Java.java.util.stream.IntStream) "java.util.random.RandomGenerator" "ints" "(JII)Ljava/util/stream/IntStream;" RandomGenerator.this [(fuzion.java.i64_to_java_object Java.java.util.random.RandomGenerator.ints_JII.this.arg0); (fuzion.java.i32_to_java_object Java.java.util.random.RandomGenerator.ints_JII.this.arg1); (fuzion.java.i32_to_java_object Java.java.util.random.RandomGenerator.ints_JII.this.arg2)]

  # call Java instance method 'public default boolean java.util.random.RandomGenerator.isDeprecated()':
  #
  public isDeprecated bool =>
    fuzion.java.call_virtual (bool) "java.util.random.RandomGenerator" "isDeprecated" "()Z" RandomGenerator.this []

  # call Java instance method 'public default java.util.stream.LongStream java.util.random.RandomGenerator.longs()':
  #
  public longs Java.java.util.stream.LongStream =>
    fuzion.java.call_virtual (Java.java.util.stream.LongStream) "java.util.random.RandomGenerator" "longs" "()Ljava/util/stream/LongStream;" RandomGenerator.this []

  # call Java instance method 'public default java.util.stream.LongStream java.util.random.RandomGenerator.longs(long)':
  #
  public longs_J(arg0 i64) Java.java.util.stream.LongStream =>
    fuzion.java.call_virtual (Java.java.util.stream.LongStream) "java.util.random.RandomGenerator" "longs" "(J)Ljava/util/stream/LongStream;" RandomGenerator.this [(fuzion.java.i64_to_java_object Java.java.util.random.RandomGenerator.longs_J.this.arg0)]

  # call Java instance method 'public default java.util.stream.LongStream java.util.random.RandomGenerator.longs(long,long)':
  #
  public longs_JJ(arg0 i64, arg1 i64) Java.java.util.stream.LongStream =>
    fuzion.java.call_virtual (Java.java.util.stream.LongStream) "java.util.random.RandomGenerator" "longs" "(JJ)Ljava/util/stream/LongStream;" RandomGenerator.this [(fuzion.java.i64_to_java_object Java.java.util.random.RandomGenerator.longs_JJ.this.arg0); (fuzion.java.i64_to_java_object Java.java.util.random.RandomGenerator.longs_JJ.this.arg1)]

  # call Java instance method 'public default java.util.stream.LongStream java.util.random.RandomGenerator.longs(long,long,long)':
  #
  public longs_JJJ(arg0 i64, arg1 i64, arg2 i64) Java.java.util.stream.LongStream =>
    fuzion.java.call_virtual (Java.java.util.stream.LongStream) "java.util.random.RandomGenerator" "longs" "(JJJ)Ljava/util/stream/LongStream;" RandomGenerator.this [(fuzion.java.i64_to_java_object Java.java.util.random.RandomGenerator.longs_JJJ.this.arg0); (fuzion.java.i64_to_java_object Java.java.util.random.RandomGenerator.longs_JJJ.this.arg1); (fuzion.java.i64_to_java_object Java.java.util.random.RandomGenerator.longs_JJJ.this.arg2)]

  # call Java instance method 'public default boolean java.util.random.RandomGenerator.nextBoolean()':
  #
  public nextBoolean bool =>
    fuzion.java.call_virtual (bool) "java.util.random.RandomGenerator" "nextBoolean" "()Z" RandomGenerator.this []

  # call Java instance method 'public default void java.util.random.RandomGenerator.nextBytes(byte[])':
  #
  public nextBytes__u00005b_B(arg0 Sequence (i8)) unit =>
    fuzion.java.call_virtual (unit) "java.util.random.RandomGenerator" "nextBytes" "([B)V" RandomGenerator.this [(fuzion.java.array_to_java_object (i8) Java.java.util.random.RandomGenerator.nextBytes__u00005b_B.this.arg0)]

  # call Java instance method 'public default double java.util.random.RandomGenerator.nextDouble()':
  #
  public nextDouble f64 =>
    fuzion.java.call_virtual (f64) "java.util.random.RandomGenerator" "nextDouble" "()D" RandomGenerator.this []

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

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

  # call Java instance method 'public default double java.util.random.RandomGenerator.nextExponential()':
  #
  public nextExponential f64 =>
    fuzion.java.call_virtual (f64) "java.util.random.RandomGenerator" "nextExponential" "()D" RandomGenerator.this []

  # call Java instance method 'public default float java.util.random.RandomGenerator.nextFloat()':
  #
  public nextFloat f32 =>
    fuzion.java.call_virtual (f32) "java.util.random.RandomGenerator" "nextFloat" "()F" RandomGenerator.this []

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

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

  # call Java instance method 'public default double java.util.random.RandomGenerator.nextGaussian()':
  #
  public nextGaussian f64 =>
    fuzion.java.call_virtual (f64) "java.util.random.RandomGenerator" "nextGaussian" "()D" RandomGenerator.this []

  # call Java instance method 'public default double java.util.random.RandomGenerator.nextGaussian(double,double)':
  #
  public nextGaussian_DD(arg0 f64, arg1 f64) f64 =>
    fuzion.java.call_virtual (f64) "java.util.random.RandomGenerator" "nextGaussian" "(DD)D" RandomGenerator.this [(fuzion.java.f64_to_java_object Java.java.util.random.RandomGenerator.nextGaussian_DD.this.arg0); (fuzion.java.f64_to_java_object Java.java.util.random.RandomGenerator.nextGaussian_DD.this.arg1)]

  # call Java instance method 'public default int java.util.random.RandomGenerator.nextInt()':
  #
  public nextInt i32 =>
    fuzion.java.call_virtual (i32) "java.util.random.RandomGenerator" "nextInt" "()I" RandomGenerator.this []

  # call Java instance method 'public default int java.util.random.RandomGenerator.nextInt(int)':
  #
  public nextInt_I(arg0 i32) i32 =>
    fuzion.java.call_virtual (i32) "java.util.random.RandomGenerator" "nextInt" "(I)I" RandomGenerator.this [(fuzion.java.i32_to_java_object Java.java.util.random.RandomGenerator.nextInt_I.this.arg0)]

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

  # call Java instance method 'public abstract long java.util.random.RandomGenerator.nextLong()':
  #
  public nextLong i64 =>
    fuzion.java.call_virtual (i64) "java.util.random.RandomGenerator" "nextLong" "()J" RandomGenerator.this []

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

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

  # short-hand to call Java method 'public default java.util.stream.DoubleStream java.util.random.RandomGenerator.doubles(long)':
  #
  public doubles(arg0 i64) (Java.java.util.stream.DoubleStream) =>
    doubles_J Java.java.util.random.RandomGenerator.doubles.this.arg0

  # short-hand to call Java method 'public default java.util.stream.DoubleStream java.util.random.RandomGenerator.doubles(double,double)':
  #
  public doubles(arg0 f64, arg1 f64) (Java.java.util.stream.DoubleStream) =>
    doubles_DD Java.java.util.random.RandomGenerator.doubles.this.arg0 Java.java.util.random.RandomGenerator.doubles.this.arg1

  # short-hand to call Java method 'public default java.util.stream.DoubleStream java.util.random.RandomGenerator.doubles(long,double,double)':
  #
  public doubles(arg0 i64, arg1 f64, arg2 f64) (Java.java.util.stream.DoubleStream) =>
    doubles_JDD Java.java.util.random.RandomGenerator.doubles.this.arg0 Java.java.util.random.RandomGenerator.doubles.this.arg1 Java.java.util.random.RandomGenerator.doubles.this.arg2

  # short-hand to call Java method 'public default java.util.stream.IntStream java.util.random.RandomGenerator.ints(long)':
  #
  public ints(arg0 i64) (Java.java.util.stream.IntStream) =>
    ints_J Java.java.util.random.RandomGenerator.ints.this.arg0

  # short-hand to call Java method 'public default java.util.stream.IntStream java.util.random.RandomGenerator.ints(int,int)':
  #
  public ints(arg0 i32, arg1 i32) (Java.java.util.stream.IntStream) =>
    ints_II Java.java.util.random.RandomGenerator.ints.this.arg0 Java.java.util.random.RandomGenerator.ints.this.arg1

  # short-hand to call Java method 'public default java.util.stream.IntStream java.util.random.RandomGenerator.ints(long,int,int)':
  #
  public ints(arg0 i64, arg1 i32, arg2 i32) (Java.java.util.stream.IntStream) =>
    ints_JII Java.java.util.random.RandomGenerator.ints.this.arg0 Java.java.util.random.RandomGenerator.ints.this.arg1 Java.java.util.random.RandomGenerator.ints.this.arg2

  # short-hand to call Java method 'public default java.util.stream.LongStream java.util.random.RandomGenerator.longs(long)':
  #
  public longs(arg0 i64) (Java.java.util.stream.LongStream) =>
    longs_J Java.java.util.random.RandomGenerator.longs.this.arg0

  # short-hand to call Java method 'public default java.util.stream.LongStream java.util.random.RandomGenerator.longs(long,long)':
  #
  public longs(arg0 i64, arg1 i64) (Java.java.util.stream.LongStream) =>
    longs_JJ Java.java.util.random.RandomGenerator.longs.this.arg0 Java.java.util.random.RandomGenerator.longs.this.arg1

  # short-hand to call Java method 'public default java.util.stream.LongStream java.util.random.RandomGenerator.longs(long,long,long)':
  #
  public longs(arg0 i64, arg1 i64, arg2 i64) (Java.java.util.stream.LongStream) =>
    longs_JJJ Java.java.util.random.RandomGenerator.longs.this.arg0 Java.java.util.random.RandomGenerator.longs.this.arg1 Java.java.util.random.RandomGenerator.longs.this.arg2

  # short-hand to call Java method 'public default void java.util.random.RandomGenerator.nextBytes(byte[])':
  #
  public nextBytes(arg0 Sequence (i8)) (unit) =>
    nextBytes__u00005b_B Java.java.util.random.RandomGenerator.nextBytes.this.arg0

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

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

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

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

  # short-hand to call Java method 'public default double java.util.random.RandomGenerator.nextGaussian(double,double)':
  #
  public nextGaussian(arg0 f64, arg1 f64) (f64) =>
    nextGaussian_DD Java.java.util.random.RandomGenerator.nextGaussian.this.arg0 Java.java.util.random.RandomGenerator.nextGaussian.this.arg1

  # short-hand to call Java method 'public default int java.util.random.RandomGenerator.nextInt(int)':
  #
  public nextInt(arg0 i32) (i32) =>
    nextInt_I Java.java.util.random.RandomGenerator.nextInt.this.arg0

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

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

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