Java/java/math/BigInteger_static.fz

# Fuzion interface to static members of Java class 'java.math.BigInteger'
#
# !!!!!!  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.math.BigInteger_static is

  # call Java static method 'public static java.math.BigInteger java.math.BigInteger.probablePrime(int,java.util.Random)':
  #
  public probablePrime_ILjava_7_util_7_Random_s_(arg0 i32, arg1 Java.java.util.Random) Java.java.math.BigInteger =>
    fuzion.java.call_static (Java.java.math.BigInteger) "java.math.BigInteger" "probablePrime" "(ILjava/util/Random;)Ljava/math/BigInteger;" [(fuzion.java.i32_to_java_object Java.java.math.BigInteger_static.probablePrime_ILjava_7_util_7_Random_s_.this.arg0); (Java.java.math.BigInteger_static.probablePrime_ILjava_7_util_7_Random_s_.this.arg1)]

  # call Java static method 'public static java.math.BigInteger java.math.BigInteger.valueOf(long)':
  #
  public valueOf_J(arg0 i64) Java.java.math.BigInteger =>
    fuzion.java.call_static (Java.java.math.BigInteger) "java.math.BigInteger" "valueOf" "(J)Ljava/math/BigInteger;" [(fuzion.java.i64_to_java_object Java.java.math.BigInteger_static.valueOf_J.this.arg0)]

  # short-hand to call Java method 'public static java.math.BigInteger java.math.BigInteger.probablePrime(int,java.util.Random)':
  #
  public probablePrime(arg0 i32, arg1 Java.java.util.Random) (Java.java.math.BigInteger) =>
    probablePrime_ILjava_7_util_7_Random_s_ Java.java.math.BigInteger_static.probablePrime.this.arg0 Java.java.math.BigInteger_static.probablePrime.this.arg1

  # short-hand to call Java method 'public static java.math.BigInteger java.math.BigInteger.valueOf(long)':
  #
  public valueOf(arg0 i64) (Java.java.math.BigInteger) =>
    valueOf_J Java.java.math.BigInteger_static.valueOf.this.arg0

  # read static Java field 'public static final java.math.BigInteger java.math.BigInteger.ONE':
  #
  public ONE Java.java.math.BigInteger =>
    fuzion.java.get_static_field (Java.java.math.BigInteger) "java.math.BigInteger" "ONE"

  # read static Java field 'public static final java.math.BigInteger java.math.BigInteger.TEN':
  #
  public TEN Java.java.math.BigInteger =>
    fuzion.java.get_static_field (Java.java.math.BigInteger) "java.math.BigInteger" "TEN"

  # read static Java field 'public static final java.math.BigInteger java.math.BigInteger.TWO':
  #
  public TWO Java.java.math.BigInteger =>
    fuzion.java.get_static_field (Java.java.math.BigInteger) "java.math.BigInteger" "TWO"

  # read static Java field 'public static final java.math.BigInteger java.math.BigInteger.ZERO':
  #
  public ZERO Java.java.math.BigInteger =>
    fuzion.java.get_static_field (Java.java.math.BigInteger) "java.math.BigInteger" "ZERO"

  # call Java constructor 'public java.math.BigInteger(int,java.util.Random)':
  #
  public new_ILjava_7_util_7_Random_s_(arg0 i32, arg1 Java.java.util.Random) Java.java.math.BigInteger =>
    fuzion.java.call_constructor (Java.java.math.BigInteger) "java.math.BigInteger" "(ILjava/util/Random;)V" [(fuzion.java.i32_to_java_object Java.java.math.BigInteger_static.new_ILjava_7_util_7_Random_s_.this.arg0); (Java.java.math.BigInteger_static.new_ILjava_7_util_7_Random_s_.this.arg1)]

  # call Java constructor 'public java.math.BigInteger(java.lang.String)':
  #
  public new_Ljava_7_lang_7_String_s_(arg0 String) Java.java.math.BigInteger =>
    fuzion.java.call_constructor (Java.java.math.BigInteger) "java.math.BigInteger" "(Ljava/lang/String;)V" [(fuzion.java.string_to_java_object Java.java.math.BigInteger_static.new_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java constructor 'public java.math.BigInteger(int,int,java.util.Random)':
  #
  public new_IILjava_7_util_7_Random_s_(arg0 i32, arg1 i32, arg2 Java.java.util.Random) Java.java.math.BigInteger =>
    fuzion.java.call_constructor (Java.java.math.BigInteger) "java.math.BigInteger" "(IILjava/util/Random;)V" [(fuzion.java.i32_to_java_object Java.java.math.BigInteger_static.new_IILjava_7_util_7_Random_s_.this.arg0); (fuzion.java.i32_to_java_object Java.java.math.BigInteger_static.new_IILjava_7_util_7_Random_s_.this.arg1); (Java.java.math.BigInteger_static.new_IILjava_7_util_7_Random_s_.this.arg2)]

  # call Java constructor 'public java.math.BigInteger(int,byte[],int,int)':
  #
  public new_I_u00005b_BII(arg0 i32, arg1 Sequence (i8), arg2 i32, arg3 i32) Java.java.math.BigInteger =>
    fuzion.java.call_constructor (Java.java.math.BigInteger) "java.math.BigInteger" "(I[BII)V" [(fuzion.java.i32_to_java_object Java.java.math.BigInteger_static.new_I_u00005b_BII.this.arg0); (fuzion.java.array_to_java_object (i8) Java.java.math.BigInteger_static.new_I_u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.java.math.BigInteger_static.new_I_u00005b_BII.this.arg2); (fuzion.java.i32_to_java_object Java.java.math.BigInteger_static.new_I_u00005b_BII.this.arg3)]

  # call Java constructor 'public java.math.BigInteger(byte[])':
  #
  public new__u00005b_B(arg0 Sequence (i8)) Java.java.math.BigInteger =>
    fuzion.java.call_constructor (Java.java.math.BigInteger) "java.math.BigInteger" "([B)V" [(fuzion.java.array_to_java_object (i8) Java.java.math.BigInteger_static.new__u00005b_B.this.arg0)]

  # call Java constructor 'public java.math.BigInteger(byte[],int,int)':
  #
  public new__u00005b_BII(arg0 Sequence (i8), arg1 i32, arg2 i32) Java.java.math.BigInteger =>
    fuzion.java.call_constructor (Java.java.math.BigInteger) "java.math.BigInteger" "([BII)V" [(fuzion.java.array_to_java_object (i8) Java.java.math.BigInteger_static.new__u00005b_BII.this.arg0); (fuzion.java.i32_to_java_object Java.java.math.BigInteger_static.new__u00005b_BII.this.arg1); (fuzion.java.i32_to_java_object Java.java.math.BigInteger_static.new__u00005b_BII.this.arg2)]

  # call Java constructor 'public java.math.BigInteger(java.lang.String,int)':
  #
  public new_Ljava_7_lang_7_String_s_I(arg0 String, arg1 i32) Java.java.math.BigInteger =>
    fuzion.java.call_constructor (Java.java.math.BigInteger) "java.math.BigInteger" "(Ljava/lang/String;I)V" [(fuzion.java.string_to_java_object Java.java.math.BigInteger_static.new_Ljava_7_lang_7_String_s_I.this.arg0); (fuzion.java.i32_to_java_object Java.java.math.BigInteger_static.new_Ljava_7_lang_7_String_s_I.this.arg1)]

  # call Java constructor 'public java.math.BigInteger(int,byte[])':
  #
  public new_I_u00005b_B(arg0 i32, arg1 Sequence (i8)) Java.java.math.BigInteger =>
    fuzion.java.call_constructor (Java.java.math.BigInteger) "java.math.BigInteger" "(I[B)V" [(fuzion.java.i32_to_java_object Java.java.math.BigInteger_static.new_I_u00005b_B.this.arg0); (fuzion.java.array_to_java_object (i8) Java.java.math.BigInteger_static.new_I_u00005b_B.this.arg1)]

  # short-hand to call Java constructor 'public java.math.BigInteger(java.lang.String)':
  #
  public new(arg0 String) (Java.java.math.BigInteger) =>
    new_Ljava_7_lang_7_String_s_ Java.java.math.BigInteger_static.new.this.arg0

  # short-hand to call Java constructor 'public java.math.BigInteger(java.lang.String,int)':
  #
  public new(arg0 String, arg1 i32) (Java.java.math.BigInteger) =>
    new_Ljava_7_lang_7_String_s_I Java.java.math.BigInteger_static.new.this.arg0 Java.java.math.BigInteger_static.new.this.arg1

  # short-hand to call Java constructor 'public java.math.BigInteger(int,int,java.util.Random)':
  #
  public new(arg0 i32, arg1 i32, arg2 Java.java.util.Random) (Java.java.math.BigInteger) =>
    new_IILjava_7_util_7_Random_s_ Java.java.math.BigInteger_static.new.this.arg0 Java.java.math.BigInteger_static.new.this.arg1 Java.java.math.BigInteger_static.new.this.arg2

  # short-hand to call Java constructor 'public java.math.BigInteger(int,byte[],int,int)':
  #
  public new(arg0 i32, arg1 Sequence (i8), arg2 i32, arg3 i32) (Java.java.math.BigInteger) =>
    new_I_u00005b_BII Java.java.math.BigInteger_static.new.this.arg0 Java.java.math.BigInteger_static.new.this.arg1 Java.java.math.BigInteger_static.new.this.arg2 Java.java.math.BigInteger_static.new.this.arg3