Java/java/nio/file/FileSystem.fz

# Fuzion interface to instance members of Java instance class 'java.nio.file.FileSystem'
#
# !!!!!!  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.nio.file.FileSystem(redef forbidden void) ref : Java.java.lang.Object(forbidden), fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public abstract void java.nio.file.FileSystem.close() throws java.io.IOException':
  #
  public close outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.nio.file.FileSystem" "close" "()V" FileSystem.this []

  # call Java instance method 'public abstract java.lang.Iterable java.nio.file.FileSystem.getFileStores()':
  #
  public getFileStores Java.java.lang.Iterable =>
    fuzion.java.call_virtual (Java.java.lang.Iterable) "java.nio.file.FileSystem" "getFileStores" "()Ljava/lang/Iterable;" FileSystem.this []

  # call Java instance method 'public abstract java.nio.file.PathMatcher java.nio.file.FileSystem.getPathMatcher(java.lang.String)':
  #
  public getPathMatcher_Ljava_7_lang_7_String_s_(arg0 String) Java.java.nio.file.PathMatcher =>
    fuzion.java.call_virtual (Java.java.nio.file.PathMatcher) "java.nio.file.FileSystem" "getPathMatcher" "(Ljava/lang/String;)Ljava/nio/file/PathMatcher;" FileSystem.this [(fuzion.java.string_to_java_object Java.java.nio.file.FileSystem.getPathMatcher_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public abstract java.nio.file.Path java.nio.file.FileSystem.getPath(java.lang.String,java.lang.String[])':
  #
  public getPath_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_String_s_(arg0 String, arg1 Sequence (Java.java.lang.__jString)) Java.java.nio.file.Path =>
    fuzion.java.call_virtual (Java.java.nio.file.Path) "java.nio.file.FileSystem" "getPath" "(Ljava/lang/String;[Ljava/lang/String;)Ljava/nio/file/Path;" FileSystem.this [(fuzion.java.string_to_java_object Java.java.nio.file.FileSystem.getPath_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.array_to_java_object (Java.java.lang.__jString) Java.java.nio.file.FileSystem.getPath_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_String_s_.this.arg1)]

  # call Java instance method 'public abstract java.lang.Iterable java.nio.file.FileSystem.getRootDirectories()':
  #
  public getRootDirectories Java.java.lang.Iterable =>
    fuzion.java.call_virtual (Java.java.lang.Iterable) "java.nio.file.FileSystem" "getRootDirectories" "()Ljava/lang/Iterable;" FileSystem.this []

  # call Java instance method 'public abstract java.lang.String java.nio.file.FileSystem.getSeparator()':
  #
  public getSeparator Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.nio.file.FileSystem" "getSeparator" "()Ljava/lang/String;" FileSystem.this []

  # call Java instance method 'public abstract java.nio.file.attribute.UserPrincipalLookupService java.nio.file.FileSystem.getUserPrincipalLookupService()':
  #
  public getUserPrincipalLookupService Java.java.nio.file.attribute.UserPrincipalLookupService =>
    fuzion.java.call_virtual (Java.java.nio.file.attribute.UserPrincipalLookupService) "java.nio.file.FileSystem" "getUserPrincipalLookupService" "()Ljava/nio/file/attribute/UserPrincipalLookupService;" FileSystem.this []

  # call Java instance method 'public abstract boolean java.nio.file.FileSystem.isOpen()':
  #
  public isOpen bool =>
    fuzion.java.call_virtual (bool) "java.nio.file.FileSystem" "isOpen" "()Z" FileSystem.this []

  # call Java instance method 'public abstract boolean java.nio.file.FileSystem.isReadOnly()':
  #
  public isReadOnly bool =>
    fuzion.java.call_virtual (bool) "java.nio.file.FileSystem" "isReadOnly" "()Z" FileSystem.this []

  # call Java instance method 'public abstract java.nio.file.WatchService java.nio.file.FileSystem.newWatchService() throws java.io.IOException':
  #
  public newWatchService outcome (Java.java.nio.file.WatchService) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.file.WatchService)) "java.nio.file.FileSystem" "newWatchService" "()Ljava/nio/file/WatchService;" FileSystem.this []

  # call Java instance method 'public abstract java.nio.file.spi.FileSystemProvider java.nio.file.FileSystem.provider()':
  #
  public provider Java.java.nio.file.spi.FileSystemProvider =>
    fuzion.java.call_virtual (Java.java.nio.file.spi.FileSystemProvider) "java.nio.file.FileSystem" "provider" "()Ljava/nio/file/spi/FileSystemProvider;" FileSystem.this []

  # call Java instance method 'public abstract java.util.Set java.nio.file.FileSystem.supportedFileAttributeViews()':
  #
  public supportedFileAttributeViews Java.java.util.Set =>
    fuzion.java.call_virtual (Java.java.util.Set) "java.nio.file.FileSystem" "supportedFileAttributeViews" "()Ljava/util/Set;" FileSystem.this []

  # short-hand to call Java method 'public abstract java.nio.file.Path java.nio.file.FileSystem.getPath(java.lang.String,java.lang.String[])':
  #
  public getPath(arg0 String, arg1 Sequence (Java.java.lang.__jString)) (Java.java.nio.file.Path) =>
    getPath_Ljava_7_lang_7_String_s__u00005b_Ljava_7_lang_7_String_s_ Java.java.nio.file.FileSystem.getPath.this.arg0 Java.java.nio.file.FileSystem.getPath.this.arg1

  # short-hand to call Java method 'public abstract java.nio.file.PathMatcher java.nio.file.FileSystem.getPathMatcher(java.lang.String)':
  #
  public getPathMatcher(arg0 String) (Java.java.nio.file.PathMatcher) =>
    getPathMatcher_Ljava_7_lang_7_String_s_ Java.java.nio.file.FileSystem.getPathMatcher.this.arg0