Java/java/util/Random.fz
# Fuzion interface to instance members of Java instance class 'java.util.Random'
#
# !!!!!! 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(redef forbidden void) ref : Java.java.lang.Object(forbidden), fuzion.java.Java_Object(forbidden) is
# call Java instance method 'public java.util.stream.DoubleStream java.util.Random.doubles()':
#
public doubles Java.java.util.stream.DoubleStream =>
fuzion.java.call_virtual (Java.java.util.stream.DoubleStream) "java.util.Random" "doubles" "()Ljava/util/stream/DoubleStream;" Random.this []
# call Java instance method 'public java.util.stream.DoubleStream java.util.Random.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" "doubles" "(DD)Ljava/util/stream/DoubleStream;" Random.this [(fuzion.java.f64_to_java_object Java.java.util.Random.doubles_DD.this.arg0); (fuzion.java.f64_to_java_object Java.java.util.Random.doubles_DD.this.arg1)]
# call Java instance method 'public java.util.stream.DoubleStream java.util.Random.doubles(long)':
#
public doubles_J(arg0 i64) Java.java.util.stream.DoubleStream =>
fuzion.java.call_virtual (Java.java.util.stream.DoubleStream) "java.util.Random" "doubles" "(J)Ljava/util/stream/DoubleStream;" Random.this [(fuzion.java.i64_to_java_object Java.java.util.Random.doubles_J.this.arg0)]
# call Java instance method 'public java.util.stream.DoubleStream java.util.Random.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" "doubles" "(JDD)Ljava/util/stream/DoubleStream;" Random.this [(fuzion.java.i64_to_java_object Java.java.util.Random.doubles_JDD.this.arg0); (fuzion.java.f64_to_java_object Java.java.util.Random.doubles_JDD.this.arg1); (fuzion.java.f64_to_java_object Java.java.util.Random.doubles_JDD.this.arg2)]
# call Java instance method 'public java.util.stream.IntStream java.util.Random.ints()':
#
public ints Java.java.util.stream.IntStream =>
fuzion.java.call_virtual (Java.java.util.stream.IntStream) "java.util.Random" "ints" "()Ljava/util/stream/IntStream;" Random.this []
# call Java instance method 'public java.util.stream.IntStream java.util.Random.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" "ints" "(II)Ljava/util/stream/IntStream;" Random.this [(fuzion.java.i32_to_java_object Java.java.util.Random.ints_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.util.Random.ints_II.this.arg1)]
# call Java instance method 'public java.util.stream.IntStream java.util.Random.ints(long)':
#
public ints_J(arg0 i64) Java.java.util.stream.IntStream =>
fuzion.java.call_virtual (Java.java.util.stream.IntStream) "java.util.Random" "ints" "(J)Ljava/util/stream/IntStream;" Random.this [(fuzion.java.i64_to_java_object Java.java.util.Random.ints_J.this.arg0)]
# call Java instance method 'public java.util.stream.IntStream java.util.Random.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" "ints" "(JII)Ljava/util/stream/IntStream;" Random.this [(fuzion.java.i64_to_java_object Java.java.util.Random.ints_JII.this.arg0); (fuzion.java.i32_to_java_object Java.java.util.Random.ints_JII.this.arg1); (fuzion.java.i32_to_java_object Java.java.util.Random.ints_JII.this.arg2)]
# call Java instance method 'public java.util.stream.LongStream java.util.Random.longs()':
#
public longs Java.java.util.stream.LongStream =>
fuzion.java.call_virtual (Java.java.util.stream.LongStream) "java.util.Random" "longs" "()Ljava/util/stream/LongStream;" Random.this []
# call Java instance method 'public java.util.stream.LongStream java.util.Random.longs(long)':
#
public longs_J(arg0 i64) Java.java.util.stream.LongStream =>
fuzion.java.call_virtual (Java.java.util.stream.LongStream) "java.util.Random" "longs" "(J)Ljava/util/stream/LongStream;" Random.this [(fuzion.java.i64_to_java_object Java.java.util.Random.longs_J.this.arg0)]
# call Java instance method 'public java.util.stream.LongStream java.util.Random.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" "longs" "(JJ)Ljava/util/stream/LongStream;" Random.this [(fuzion.java.i64_to_java_object Java.java.util.Random.longs_JJ.this.arg0); (fuzion.java.i64_to_java_object Java.java.util.Random.longs_JJ.this.arg1)]
# call Java instance method 'public java.util.stream.LongStream java.util.Random.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" "longs" "(JJJ)Ljava/util/stream/LongStream;" Random.this [(fuzion.java.i64_to_java_object Java.java.util.Random.longs_JJJ.this.arg0); (fuzion.java.i64_to_java_object Java.java.util.Random.longs_JJJ.this.arg1); (fuzion.java.i64_to_java_object Java.java.util.Random.longs_JJJ.this.arg2)]
# call Java instance method 'public boolean java.util.Random.nextBoolean()':
#
public nextBoolean bool =>
fuzion.java.call_virtual (bool) "java.util.Random" "nextBoolean" "()Z" Random.this []
# call Java instance method 'public void java.util.Random.nextBytes(byte[])':
#
public nextBytes__u00005b_B(arg0 Sequence (i8)) unit =>
fuzion.java.call_virtual (unit) "java.util.Random" "nextBytes" "([B)V" Random.this [(fuzion.java.array_to_java_object (i8) Java.java.util.Random.nextBytes__u00005b_B.this.arg0)]
# call Java instance method 'public double java.util.Random.nextDouble()':
#
public nextDouble f64 =>
fuzion.java.call_virtual (f64) "java.util.Random" "nextDouble" "()D" Random.this []
# call Java instance method 'public float java.util.Random.nextFloat()':
#
public nextFloat f32 =>
fuzion.java.call_virtual (f32) "java.util.Random" "nextFloat" "()F" Random.this []
# call Java instance method 'public synchronized double java.util.Random.nextGaussian()':
#
public nextGaussian f64 =>
fuzion.java.call_virtual (f64) "java.util.Random" "nextGaussian" "()D" Random.this []
# call Java instance method 'public int java.util.Random.nextInt()':
#
public nextInt i32 =>
fuzion.java.call_virtual (i32) "java.util.Random" "nextInt" "()I" Random.this []
# call Java instance method 'public int java.util.Random.nextInt(int)':
#
public nextInt_I(arg0 i32) i32 =>
fuzion.java.call_virtual (i32) "java.util.Random" "nextInt" "(I)I" Random.this [(fuzion.java.i32_to_java_object Java.java.util.Random.nextInt_I.this.arg0)]
# call Java instance method 'public long java.util.Random.nextLong()':
#
public nextLong i64 =>
fuzion.java.call_virtual (i64) "java.util.Random" "nextLong" "()J" Random.this []
# call Java instance method 'public synchronized void java.util.Random.setSeed(long)':
#
public setSeed_J(arg0 i64) unit =>
fuzion.java.call_virtual (unit) "java.util.Random" "setSeed" "(J)V" Random.this [(fuzion.java.i64_to_java_object Java.java.util.Random.setSeed_J.this.arg0)]
# short-hand to call Java method 'public java.util.stream.DoubleStream java.util.Random.doubles(long)':
#
public doubles(arg0 i64) (Java.java.util.stream.DoubleStream) =>
doubles_J Java.java.util.Random.doubles.this.arg0
# short-hand to call Java method 'public java.util.stream.DoubleStream java.util.Random.doubles(double,double)':
#
public doubles(arg0 f64, arg1 f64) (Java.java.util.stream.DoubleStream) =>
doubles_DD Java.java.util.Random.doubles.this.arg0 Java.java.util.Random.doubles.this.arg1
# short-hand to call Java method 'public java.util.stream.DoubleStream java.util.Random.doubles(long,double,double)':
#
public doubles(arg0 i64, arg1 f64, arg2 f64) (Java.java.util.stream.DoubleStream) =>
doubles_JDD Java.java.util.Random.doubles.this.arg0 Java.java.util.Random.doubles.this.arg1 Java.java.util.Random.doubles.this.arg2
# short-hand to call Java method 'public java.util.stream.IntStream java.util.Random.ints(long)':
#
public ints(arg0 i64) (Java.java.util.stream.IntStream) =>
ints_J Java.java.util.Random.ints.this.arg0
# short-hand to call Java method 'public java.util.stream.IntStream java.util.Random.ints(int,int)':
#
public ints(arg0 i32, arg1 i32) (Java.java.util.stream.IntStream) =>
ints_II Java.java.util.Random.ints.this.arg0 Java.java.util.Random.ints.this.arg1
# short-hand to call Java method 'public java.util.stream.IntStream java.util.Random.ints(long,int,int)':
#
public ints(arg0 i64, arg1 i32, arg2 i32) (Java.java.util.stream.IntStream) =>
ints_JII Java.java.util.Random.ints.this.arg0 Java.java.util.Random.ints.this.arg1 Java.java.util.Random.ints.this.arg2
# short-hand to call Java method 'public java.util.stream.LongStream java.util.Random.longs(long)':
#
public longs(arg0 i64) (Java.java.util.stream.LongStream) =>
longs_J Java.java.util.Random.longs.this.arg0
# short-hand to call Java method 'public java.util.stream.LongStream java.util.Random.longs(long,long)':
#
public longs(arg0 i64, arg1 i64) (Java.java.util.stream.LongStream) =>
longs_JJ Java.java.util.Random.longs.this.arg0 Java.java.util.Random.longs.this.arg1
# short-hand to call Java method 'public java.util.stream.LongStream java.util.Random.longs(long,long,long)':
#
public longs(arg0 i64, arg1 i64, arg2 i64) (Java.java.util.stream.LongStream) =>
longs_JJJ Java.java.util.Random.longs.this.arg0 Java.java.util.Random.longs.this.arg1 Java.java.util.Random.longs.this.arg2
# short-hand to call Java method 'public void java.util.Random.nextBytes(byte[])':
#
public nextBytes(arg0 Sequence (i8)) (unit) =>
nextBytes__u00005b_B Java.java.util.Random.nextBytes.this.arg0
# short-hand to call Java method 'public int java.util.Random.nextInt(int)':
#
public nextInt(arg0 i32) (i32) =>
nextInt_I Java.java.util.Random.nextInt.this.arg0
# short-hand to call Java method 'public synchronized void java.util.Random.setSeed(long)':
#
public setSeed(arg0 i64) (unit) =>
setSeed_J Java.java.util.Random.setSeed.this.arg0
last changed: 2024-03-07