Java/jdk/internal/__k__module/Resources_static.fz

# Fuzion interface to static members of Java class 'jdk.internal.module.Resources'
#
# !!!!!!  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.__k__module.Resources_static is

  # call Java static method 'public static boolean jdk.internal.module.Resources.canEncapsulate(java.lang.String)':
  #
  public canEncapsulate_Ljava_7_lang_7_String_s_(arg0 String) bool =>
    fuzion.java.call_static (bool) "jdk.internal.module.Resources" "canEncapsulate" "(Ljava/lang/String;)Z" [(fuzion.java.string_to_java_object Java.jdk.internal.__k__module.Resources_static.canEncapsulate_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java static method 'public static java.nio.file.Path jdk.internal.module.Resources.toFilePath(java.nio.file.Path,java.lang.String) throws java.io.IOException':
  #
  public toFilePath_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_(arg0 Java.java.nio.file.Path, arg1 String) outcome (Java.java.nio.file.Path) =>
    fuzion.java.call_static (outcome (Java.java.nio.file.Path)) "jdk.internal.module.Resources" "toFilePath" "(Ljava/nio/file/Path;Ljava/lang/String;)Ljava/nio/file/Path;" [(Java.jdk.internal.__k__module.Resources_static.toFilePath_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.jdk.internal.__k__module.Resources_static.toFilePath_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_.this.arg1)]

  # call Java static method 'public static java.lang.String jdk.internal.module.Resources.toPackageName(java.lang.String)':
  #
  public toPackageName_Ljava_7_lang_7_String_s_(arg0 String) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "jdk.internal.module.Resources" "toPackageName" "(Ljava/lang/String;)Ljava/lang/String;" [(fuzion.java.string_to_java_object Java.jdk.internal.__k__module.Resources_static.toPackageName_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java static method 'public static java.lang.String jdk.internal.module.Resources.toResourceName(java.nio.file.Path,java.nio.file.Path)':
  #
  public toResourceName_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path) Java.java.lang.__jString =>
    fuzion.java.call_static (Java.java.lang.__jString) "jdk.internal.module.Resources" "toResourceName" "(Ljava/nio/file/Path;Ljava/nio/file/Path;)Ljava/lang/String;" [(Java.jdk.internal.__k__module.Resources_static.toResourceName_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_.this.arg0); (Java.jdk.internal.__k__module.Resources_static.toResourceName_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_.this.arg1)]

  # short-hand to call Java method 'public static boolean jdk.internal.module.Resources.canEncapsulate(java.lang.String)':
  #
  public canEncapsulate(arg0 String) (bool) =>
    canEncapsulate_Ljava_7_lang_7_String_s_ Java.jdk.internal.__k__module.Resources_static.canEncapsulate.this.arg0

  # short-hand to call Java method 'public static java.nio.file.Path jdk.internal.module.Resources.toFilePath(java.nio.file.Path,java.lang.String) throws java.io.IOException':
  #
  public toFilePath(arg0 Java.java.nio.file.Path, arg1 String) (outcome (Java.java.nio.file.Path)) =>
    toFilePath_Ljava_7_nio_7_file_7_Path_s_Ljava_7_lang_7_String_s_ Java.jdk.internal.__k__module.Resources_static.toFilePath.this.arg0 Java.jdk.internal.__k__module.Resources_static.toFilePath.this.arg1

  # short-hand to call Java method 'public static java.lang.String jdk.internal.module.Resources.toPackageName(java.lang.String)':
  #
  public toPackageName(arg0 String) (Java.java.lang.__jString) =>
    toPackageName_Ljava_7_lang_7_String_s_ Java.jdk.internal.__k__module.Resources_static.toPackageName.this.arg0

  # short-hand to call Java method 'public static java.lang.String jdk.internal.module.Resources.toResourceName(java.nio.file.Path,java.nio.file.Path)':
  #
  public toResourceName(arg0 Java.java.nio.file.Path, arg1 Java.java.nio.file.Path) (Java.java.lang.__jString) =>
    toResourceName_Ljava_7_nio_7_file_7_Path_s_Ljava_7_nio_7_file_7_Path_s_ Java.jdk.internal.__k__module.Resources_static.toResourceName.this.arg0 Java.jdk.internal.__k__module.Resources_static.toResourceName.this.arg1