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