Java/java/util/Random_static.fz

# Fuzion interface to static members of Java 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_static is

  # call Java static method 'public static java.util.Random java.util.Random.from(java.util.random.RandomGenerator)':
  #
  public from_Ljava_7_util_7_random_7_RandomGenerator_s_(arg0 Java.java.util.random.RandomGenerator) Java.java.util.Random =>
    fuzion.java.call_static (Java.java.util.Random) "java.util.Random" "from" "(Ljava/util/random/RandomGenerator;)Ljava/util/Random;" [(Java.java.util.Random_static.from_Ljava_7_util_7_random_7_RandomGenerator_s_.this.arg0)]

  # short-hand to call Java method 'public static java.util.Random java.util.Random.from(java.util.random.RandomGenerator)':
  #
  public from(arg0 Java.java.util.random.RandomGenerator) (Java.java.util.Random) =>
    from_Ljava_7_util_7_random_7_RandomGenerator_s_ Java.java.util.Random_static.from.this.arg0

  # call Java constructor 'public java.util.Random(long)':
  #
  public new_J(arg0 i64) Java.java.util.Random =>
    fuzion.java.call_constructor (Java.java.util.Random) "java.util.Random" "(J)V" [(fuzion.java.i64_to_java_object Java.java.util.Random_static.new_J.this.arg0)]

  # call Java constructor 'public java.util.Random()':
  #
  public new Java.java.util.Random =>
    fuzion.java.call_constructor (Java.java.util.Random) "java.util.Random" "()V" []

  # short-hand to call Java constructor 'public java.util.Random(long)':
  #
  public new(arg0 i64) (Java.java.util.Random) =>
    new_J Java.java.util.Random_static.new.this.arg0