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

Java/java/util/random/RandomGeneratorFactory_static.fz


# Fuzion interface to static members of Java class 'java.util.random.RandomGeneratorFactory'
#
# !!!!!!  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.RandomGeneratorFactory_static is

  # call Java static method 'public static java.util.random.RandomGeneratorFactory java.util.random.RandomGeneratorFactory.of(java.lang.String)':
  #
  public __k__of_Ljava_7_lang_7_String_s_(arg0 String) Java.java.util.random.RandomGeneratorFactory =>
    fuzion.java.call_static (Java.java.util.random.RandomGeneratorFactory) "java.util.random.RandomGeneratorFactory" "of" "(Ljava/lang/String;)Ljava/util/random/RandomGeneratorFactory;" [(fuzion.java.string_to_java_object Java.java.util.random.RandomGeneratorFactory_static.__k__of_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java static method 'public static java.util.stream.Stream java.util.random.RandomGeneratorFactory.all()':
  #
  public all Java.java.util.stream.Stream =>
    fuzion.java.call_static (Java.java.util.stream.Stream) "java.util.random.RandomGeneratorFactory" "all" "()Ljava/util/stream/Stream;" []

  # call Java static method 'public static java.util.random.RandomGeneratorFactory java.util.random.RandomGeneratorFactory.getDefault()':
  #
  public getDefault Java.java.util.random.RandomGeneratorFactory =>
    fuzion.java.call_static (Java.java.util.random.RandomGeneratorFactory) "java.util.random.RandomGeneratorFactory" "getDefault" "()Ljava/util/random/RandomGeneratorFactory;" []

  # short-hand to call Java method 'public static java.util.random.RandomGeneratorFactory java.util.random.RandomGeneratorFactory.of(java.lang.String)':
  #
  public __k__of(arg0 String) (Java.java.util.random.RandomGeneratorFactory) =>
    __k__of_Ljava_7_lang_7_String_s_ Java.java.util.random.RandomGeneratorFactory_static.__k__of.this.arg0