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