Java/jdk/internal/util/random/RandomSupport_S_RandomDoublesSpliterator_static.fz
# Fuzion interface to static members of Java class 'jdk.internal.util.random.RandomSupport$RandomDoublesSpliterator' # # !!!!!! 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.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator_static is # call Java constructor 'public jdk.internal.util.random.RandomSupport$RandomDoublesSpliterator(java.util.random.RandomGenerator,long,long,double,double)': # public new_Ljava_7_util_7_random_7_RandomGenerator_s_JJDD(arg0 Java.java.util.random.RandomGenerator, arg1 i64, arg2 i64, arg3 f64, arg4 f64) Java.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator => fuzion.java.call_constructor (Java.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator) "jdk.internal.util.random.RandomSupport\$RandomDoublesSpliterator" "(Ljava/util/random/RandomGenerator;JJDD)V" [(Java.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator_static.new_Ljava_7_util_7_random_7_RandomGenerator_s_JJDD.this.arg0); (fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator_static.new_Ljava_7_util_7_random_7_RandomGenerator_s_JJDD.this.arg1); (fuzion.java.i64_to_java_object Java.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator_static.new_Ljava_7_util_7_random_7_RandomGenerator_s_JJDD.this.arg2); (fuzion.java.f64_to_java_object Java.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator_static.new_Ljava_7_util_7_random_7_RandomGenerator_s_JJDD.this.arg3); (fuzion.java.f64_to_java_object Java.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator_static.new_Ljava_7_util_7_random_7_RandomGenerator_s_JJDD.this.arg4)] # short-hand to call Java constructor 'public jdk.internal.util.random.RandomSupport$RandomDoublesSpliterator(java.util.random.RandomGenerator,long,long,double,double)': # public new(arg0 Java.java.util.random.RandomGenerator, arg1 i64, arg2 i64, arg3 f64, arg4 f64) (Java.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator) => new_Ljava_7_util_7_random_7_RandomGenerator_s_JJDD Java.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator_static.new.this.arg0 Java.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator_static.new.this.arg1 Java.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator_static.new.this.arg2 Java.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator_static.new.this.arg3 Java.jdk.internal.util.random.RandomSupport_S_RandomDoublesSpliterator_static.new.this.arg4