Java/java/util/random/RandomGenerator_S_SplittableGenerator.fz

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

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

  # call Java instance method 'public abstract java.util.random.RandomGenerator$SplittableGenerator java.util.random.RandomGenerator$SplittableGenerator.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.random.RandomGenerator_S_SplittableGenerator =>
    fuzion.java.call_virtual (Java.java.util.random.RandomGenerator_S_SplittableGenerator) "java.util.random.RandomGenerator\$SplittableGenerator" "split" "(Ljava/util/random/RandomGenerator\$SplittableGenerator;)Ljava/util/random/RandomGenerator\$SplittableGenerator;" RandomGenerator_S_SplittableGenerator.this [(Java.java.util.random.RandomGenerator_S_SplittableGenerator.__jsplit_Ljava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_.this.arg0)]

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

  # call Java instance method 'public default java.util.stream.Stream java.util.random.RandomGenerator$SplittableGenerator.rngs(long)':
  #
  public rngs_J(arg0 i64) Java.java.util.stream.Stream =>
    fuzion.java.call_virtual (Java.java.util.stream.Stream) "java.util.random.RandomGenerator\$SplittableGenerator" "rngs" "(J)Ljava/util/stream/Stream;" RandomGenerator_S_SplittableGenerator.this [(fuzion.java.i64_to_java_object Java.java.util.random.RandomGenerator_S_SplittableGenerator.rngs_J.this.arg0)]

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

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

  # call Java instance method 'public abstract java.util.stream.Stream java.util.random.RandomGenerator$SplittableGenerator.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.random.RandomGenerator\$SplittableGenerator" "splits" "(JLjava/util/random/RandomGenerator\$SplittableGenerator;)Ljava/util/stream/Stream;" RandomGenerator_S_SplittableGenerator.this [(fuzion.java.i64_to_java_object Java.java.util.random.RandomGenerator_S_SplittableGenerator.splits_JLjava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_.this.arg0); (Java.java.util.random.RandomGenerator_S_SplittableGenerator.splits_JLjava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_.this.arg1)]

  # call Java instance method 'public abstract java.util.stream.Stream java.util.random.RandomGenerator$SplittableGenerator.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.random.RandomGenerator\$SplittableGenerator" "splits" "(Ljava/util/random/RandomGenerator\$SplittableGenerator;)Ljava/util/stream/Stream;" RandomGenerator_S_SplittableGenerator.this [(Java.java.util.random.RandomGenerator_S_SplittableGenerator.splits_Ljava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_.this.arg0)]

  # short-hand to call Java method 'public default java.util.stream.Stream java.util.random.RandomGenerator$SplittableGenerator.rngs(long)':
  #
  public rngs(arg0 i64) (Java.java.util.stream.Stream) =>
    rngs_J Java.java.util.random.RandomGenerator_S_SplittableGenerator.rngs.this.arg0

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

  # short-hand to call Java method 'public abstract java.util.stream.Stream java.util.random.RandomGenerator$SplittableGenerator.splits(java.util.random.RandomGenerator$SplittableGenerator)':
  #
  public splits(arg0 Java.java.util.random.RandomGenerator_S_SplittableGenerator) (Java.java.util.stream.Stream) =>
    splits_Ljava_7_util_7_random_7_RandomGenerator_S_SplittableGenerator_s_ Java.java.util.random.RandomGenerator_S_SplittableGenerator.splits.this.arg0

  # short-hand to call Java method 'public abstract java.util.stream.Stream java.util.random.RandomGenerator$SplittableGenerator.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.random.RandomGenerator_S_SplittableGenerator.splits.this.arg0 Java.java.util.random.RandomGenerator_S_SplittableGenerator.splits.this.arg1