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

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