Java/java/util/OptionalInt_static.fz
# Fuzion interface to static members of Java class 'java.util.OptionalInt'
#
# !!!!!! 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.OptionalInt_static is
# call Java static method 'public static java.util.OptionalInt java.util.OptionalInt.of(int)':
#
public __k__of_I(arg0 i32) Java.java.util.OptionalInt =>
fuzion.java.call_static (Java.java.util.OptionalInt) "java.util.OptionalInt" "of" "(I)Ljava/util/OptionalInt;" [(fuzion.java.i32_to_java_object Java.java.util.OptionalInt_static.__k__of_I.this.arg0)]
# call Java static method 'public static java.util.OptionalInt java.util.OptionalInt.empty()':
#
public empty Java.java.util.OptionalInt =>
fuzion.java.call_static (Java.java.util.OptionalInt) "java.util.OptionalInt" "empty" "()Ljava/util/OptionalInt;" []
# short-hand to call Java method 'public static java.util.OptionalInt java.util.OptionalInt.of(int)':
#
public __k__of(arg0 i32) (Java.java.util.OptionalInt) =>
__k__of_I Java.java.util.OptionalInt_static.__k__of.this.arg0
last changed: 2024-03-07