Java/java/util/SplittableRandom.fz

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

  # call Java instance method 'public java.util.SplittableRandom java.util.SplittableRandom.split()':
  #
  public __jsplit Java.java.util.SplittableRandom =>
    fuzion.java.call_virtual (Java.java.util.SplittableRandom) "java.util.SplittableRandom" "split" "()Ljava/util/SplittableRandom;" SplittableRandom.this []

  # call Java instance method 'public java.util.SplittableRandom java.util.SplittableRandom.split(java.util.random.RandomGenerator$SplittableGenerator)':
  #
  public __jsplit_Ljava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_(arg0 Java.java.util.random.RandomGenerator_S_SplittableGenerator) Java.java.util.SplittableRandom =>
    fuzion.java.call_virtual (Java.java.util.SplittableRandom) "java.util.SplittableRandom" "split" "(Ljava/util/random/RandomGenerator\$SplittableGenerator;)Ljava/util/SplittableRandom;" SplittableRandom.this [(Java.java.util.SplittableRandom.__jsplit_Ljava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_.this.arg0)]

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

  # call Java instance method 'public java.util.stream.DoubleStream java.util.SplittableRandom.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.SplittableRandom" "doubles" "(DD)Ljava/util/stream/DoubleStream;" SplittableRandom.this [(fuzion.java.f64_to_java_object Java.java.util.SplittableRandom.doubles_DD.this.arg0); (fuzion.java.f64_to_java_object Java.java.util.SplittableRandom.doubles_DD.this.arg1)]

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

  # call Java instance method 'public java.util.stream.DoubleStream java.util.SplittableRandom.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.SplittableRandom" "doubles" "(JDD)Ljava/util/stream/DoubleStream;" SplittableRandom.this [(fuzion.java.i64_to_java_object Java.java.util.SplittableRandom.doubles_JDD.this.arg0); (fuzion.java.f64_to_java_object Java.java.util.SplittableRandom.doubles_JDD.this.arg1); (fuzion.java.f64_to_java_object Java.java.util.SplittableRandom.doubles_JDD.this.arg2)]

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

  # call Java instance method 'public java.util.stream.IntStream java.util.SplittableRandom.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.SplittableRandom" "ints" "(II)Ljava/util/stream/IntStream;" SplittableRandom.this [(fuzion.java.i32_to_java_object Java.java.util.SplittableRandom.ints_II.this.arg0); (fuzion.java.i32_to_java_object Java.java.util.SplittableRandom.ints_II.this.arg1)]

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

  # call Java instance method 'public java.util.stream.IntStream java.util.SplittableRandom.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.SplittableRandom" "ints" "(JII)Ljava/util/stream/IntStream;" SplittableRandom.this [(fuzion.java.i64_to_java_object Java.java.util.SplittableRandom.ints_JII.this.arg0); (fuzion.java.i32_to_java_object Java.java.util.SplittableRandom.ints_JII.this.arg1); (fuzion.java.i32_to_java_object Java.java.util.SplittableRandom.ints_JII.this.arg2)]

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

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

  # call Java instance method 'public java.util.stream.LongStream java.util.SplittableRandom.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.SplittableRandom" "longs" "(JJ)Ljava/util/stream/LongStream;" SplittableRandom.this [(fuzion.java.i64_to_java_object Java.java.util.SplittableRandom.longs_JJ.this.arg0); (fuzion.java.i64_to_java_object Java.java.util.SplittableRandom.longs_JJ.this.arg1)]

  # call Java instance method 'public java.util.stream.LongStream java.util.SplittableRandom.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.SplittableRandom" "longs" "(JJJ)Ljava/util/stream/LongStream;" SplittableRandom.this [(fuzion.java.i64_to_java_object Java.java.util.SplittableRandom.longs_JJJ.this.arg0); (fuzion.java.i64_to_java_object Java.java.util.SplittableRandom.longs_JJJ.this.arg1); (fuzion.java.i64_to_java_object Java.java.util.SplittableRandom.longs_JJJ.this.arg2)]

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

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

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

  # call Java instance method 'public java.util.stream.Stream java.util.SplittableRandom.splits()':
  #
  public splits Java.java.util.stream.Stream =>
    fuzion.java.call_virtual (Java.java.util.stream.Stream) "java.util.SplittableRandom" "splits" "()Ljava/util/stream/Stream;" SplittableRandom.this []

  # call Java instance method 'public java.util.stream.Stream java.util.SplittableRandom.splits(long)':
  #
  public splits_J(arg0 i64) Java.java.util.stream.Stream =>
    fuzion.java.call_virtual (Java.java.util.stream.Stream) "java.util.SplittableRandom" "splits" "(J)Ljava/util/stream/Stream;" SplittableRandom.this [(fuzion.java.i64_to_java_object Java.java.util.SplittableRandom.splits_J.this.arg0)]

  # call Java instance method 'public java.util.stream.Stream java.util.SplittableRandom.splits(long,java.util.random.RandomGenerator$SplittableGenerator)':
  #
  public splits_JLjava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_(arg0 i64, arg1 Java.java.util.random.RandomGenerator_S_SplittableGenerator) Java.java.util.stream.Stream =>
    fuzion.java.call_virtual (Java.java.util.stream.Stream) "java.util.SplittableRandom" "splits" "(JLjava/util/random/RandomGenerator\$SplittableGenerator;)Ljava/util/stream/Stream;" SplittableRandom.this [(fuzion.java.i64_to_java_object Java.java.util.SplittableRandom.splits_JLjava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_.this.arg0); (Java.java.util.SplittableRandom.splits_JLjava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_.this.arg1)]

  # call Java instance method 'public java.util.stream.Stream java.util.SplittableRandom.splits(java.util.random.RandomGenerator$SplittableGenerator)':
  #
  public splits_Ljava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_(arg0 Java.java.util.random.RandomGenerator_S_SplittableGenerator) Java.java.util.stream.Stream =>
    fuzion.java.call_virtual (Java.java.util.stream.Stream) "java.util.SplittableRandom" "splits" "(Ljava/util/random/RandomGenerator\$SplittableGenerator;)Ljava/util/stream/Stream;" SplittableRandom.this [(Java.java.util.SplittableRandom.splits_Ljava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_.this.arg0)]

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

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

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

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

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

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

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

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

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

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

  # short-hand to call Java method 'public java.util.SplittableRandom java.util.SplittableRandom.split(java.util.random.RandomGenerator$SplittableGenerator)':
  #
  public __jsplit(arg0 Java.java.util.random.RandomGenerator_S_SplittableGenerator) (Java.java.util.SplittableRandom) =>
    __jsplit_Ljava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_ Java.java.util.SplittableRandom.__jsplit.this.arg0

  # short-hand to call Java method 'public java.util.stream.Stream java.util.SplittableRandom.splits(long)':
  #
  public splits(arg0 i64) (Java.java.util.stream.Stream) =>
    splits_J Java.java.util.SplittableRandom.splits.this.arg0

  # short-hand to call Java method 'public java.util.stream.Stream java.util.SplittableRandom.splits(long,java.util.random.RandomGenerator$SplittableGenerator)':
  #
  public splits(arg0 i64, arg1 Java.java.util.random.RandomGenerator_S_SplittableGenerator) (Java.java.util.stream.Stream) =>
    splits_JLjava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_ Java.java.util.SplittableRandom.splits.this.arg0 Java.java.util.SplittableRandom.splits.this.arg1