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

Java/java/io/File_static.fz


# Fuzion interface to static members of Java class 'java.io.File'
#
# !!!!!!  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.io.File_static is

  # call Java static method 'public static java.io.File java.io.File.createTempFile(java.lang.String,java.lang.String) throws java.io.IOException':
  #
  public createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_(arg0 String, arg1 String) outcome (Java.java.io.File) =>
    fuzion.java.call_static (outcome (Java.java.io.File)) "java.io.File" "createTempFile" "(Ljava/lang/String;Ljava/lang/String;)Ljava/io/File;" [(fuzion.java.string_to_java_object Java.java.io.File_static.createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.io.File_static.createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg1)]

  # call Java static method 'public static java.io.File java.io.File.createTempFile(java.lang.String,java.lang.String,java.io.File) throws java.io.IOException':
  #
  public createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_Ljava_7_io_7_File_s_(arg0 String, arg1 String, arg2 Java.java.io.File) outcome (Java.java.io.File) =>
    fuzion.java.call_static (outcome (Java.java.io.File)) "java.io.File" "createTempFile" "(Ljava/lang/String;Ljava/lang/String;Ljava/io/File;)Ljava/io/File;" [(fuzion.java.string_to_java_object Java.java.io.File_static.createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_Ljava_7_io_7_File_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.io.File_static.createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_Ljava_7_io_7_File_s_.this.arg1); (Java.java.io.File_static.createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_Ljava_7_io_7_File_s_.this.arg2)]

  # call Java static method 'public static java.io.File[] java.io.File.listRoots()':
  #
  public listRoots fuzion.java.Array (Java.java.io.File) =>
    fuzion.java.call_static (fuzion.java.Array (Java.java.io.File)) "java.io.File" "listRoots" "()[Ljava/io/File;" []

  # short-hand to call Java method 'public static java.io.File java.io.File.createTempFile(java.lang.String,java.lang.String) throws java.io.IOException':
  #
  public createTempFile(arg0 String, arg1 String) (outcome (Java.java.io.File)) =>
    createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_ Java.java.io.File_static.createTempFile.this.arg0 Java.java.io.File_static.createTempFile.this.arg1

  # short-hand to call Java method 'public static java.io.File java.io.File.createTempFile(java.lang.String,java.lang.String,java.io.File) throws java.io.IOException':
  #
  public createTempFile(arg0 String, arg1 String, arg2 Java.java.io.File) (outcome (Java.java.io.File)) =>
    createTempFile_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_Ljava_7_io_7_File_s_ Java.java.io.File_static.createTempFile.this.arg0 Java.java.io.File_static.createTempFile.this.arg1 Java.java.io.File_static.createTempFile.this.arg2

  # read static Java field 'public static final java.lang.String java.io.File.pathSeparator':
  #
  public pathSeparator Java.java.lang.__jString =>
    fuzion.java.get_static_field (Java.java.lang.__jString) "java.io.File" "pathSeparator"

  # read static Java field 'public static final char java.io.File.pathSeparatorChar':
  #
  public pathSeparatorChar u16 =>
    fuzion.java.get_static_field (u16) "java.io.File" "pathSeparatorChar"

  # read static Java field 'public static final java.lang.String java.io.File.separator':
  #
  public separator Java.java.lang.__jString =>
    fuzion.java.get_static_field (Java.java.lang.__jString) "java.io.File" "separator"

  # read static Java field 'public static final char java.io.File.separatorChar':
  #
  public separatorChar u16 =>
    fuzion.java.get_static_field (u16) "java.io.File" "separatorChar"

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

  # call Java constructor 'public java.io.File(java.lang.String,java.lang.String)':
  #
  public new_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_(arg0 String, arg1 String) Java.java.io.File =>
    fuzion.java.call_constructor (Java.java.io.File) "java.io.File" "(Ljava/lang/String;Ljava/lang/String;)V" [(fuzion.java.string_to_java_object Java.java.io.File_static.new_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.io.File_static.new_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg1)]

  # call Java constructor 'public java.io.File(java.net.URI)':
  #
  public new_Ljava_7_net_7_URI_s_(arg0 Java.java.net.URI) Java.java.io.File =>
    fuzion.java.call_constructor (Java.java.io.File) "java.io.File" "(Ljava/net/URI;)V" [(Java.java.io.File_static.new_Ljava_7_net_7_URI_s_.this.arg0)]

  # call Java constructor 'public java.io.File(java.io.File,java.lang.String)':
  #
  public new_Ljava_7_io_7_File_s_Ljava_7_lang_7_String_s_(arg0 Java.java.io.File, arg1 String) Java.java.io.File =>
    fuzion.java.call_constructor (Java.java.io.File) "java.io.File" "(Ljava/io/File;Ljava/lang/String;)V" [(Java.java.io.File_static.new_Ljava_7_io_7_File_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.io.File_static.new_Ljava_7_io_7_File_s_Ljava_7_lang_7_String_s_.this.arg1)]

  # short-hand to call Java constructor 'public java.io.File(java.lang.String)':
  #
  public new(arg0 String) (Java.java.io.File) =>
    new_Ljava_7_lang_7_String_s_ Java.java.io.File_static.new.this.arg0

  # short-hand to call Java constructor 'public java.io.File(java.lang.String,java.lang.String)':
  #
  public new(arg0 String, arg1 String) (Java.java.io.File) =>
    new_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_ Java.java.io.File_static.new.this.arg0 Java.java.io.File_static.new.this.arg1