Java/java/nio/file/FileStore.fz
# Fuzion interface to instance members of Java instance class 'java.nio.file.FileStore'
#
# !!!!!! 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.FileStore(redef forbidden void) ref : Java.java.lang.Object(forbidden), fuzion.java.Java_Object(forbidden) is
# call Java instance method 'public abstract java.lang.String java.nio.file.FileStore.type()':
#
public __k__type Java.java.lang.__jString =>
fuzion.java.call_virtual (Java.java.lang.__jString) "java.nio.file.FileStore" "type" "()Ljava/lang/String;" FileStore.this []
# call Java instance method 'public abstract java.lang.Object java.nio.file.FileStore.getAttribute(java.lang.String) throws java.io.IOException':
#
public getAttribute_Ljava_7_lang_7_String_s_(arg0 String) outcome (Java.java.lang.Object) =>
fuzion.java.call_virtual (outcome (Java.java.lang.Object)) "java.nio.file.FileStore" "getAttribute" "(Ljava/lang/String;)Ljava/lang/Object;" FileStore.this [(fuzion.java.string_to_java_object Java.java.nio.file.FileStore.getAttribute_Ljava_7_lang_7_String_s_.this.arg0)]
# call Java instance method 'public long java.nio.file.FileStore.getBlockSize() throws java.io.IOException':
#
public getBlockSize outcome (i64) =>
fuzion.java.call_virtual (outcome (i64)) "java.nio.file.FileStore" "getBlockSize" "()J" FileStore.this []
# call Java instance method 'public abstract java.nio.file.attribute.FileStoreAttributeView java.nio.file.FileStore.getFileStoreAttributeView(java.lang.Class)':
#
public getFileStoreAttributeView_Ljava_7_lang_7_Class_s_(arg0 Java.java.lang.Class) Java.java.nio.file.attribute.FileStoreAttributeView =>
fuzion.java.call_virtual (Java.java.nio.file.attribute.FileStoreAttributeView) "java.nio.file.FileStore" "getFileStoreAttributeView" "(Ljava/lang/Class;)Ljava/nio/file/attribute/FileStoreAttributeView;" FileStore.this [(Java.java.nio.file.FileStore.getFileStoreAttributeView_Ljava_7_lang_7_Class_s_.this.arg0)]
# call Java instance method 'public abstract long java.nio.file.FileStore.getTotalSpace() throws java.io.IOException':
#
public getTotalSpace outcome (i64) =>
fuzion.java.call_virtual (outcome (i64)) "java.nio.file.FileStore" "getTotalSpace" "()J" FileStore.this []
# call Java instance method 'public abstract long java.nio.file.FileStore.getUnallocatedSpace() throws java.io.IOException':
#
public getUnallocatedSpace outcome (i64) =>
fuzion.java.call_virtual (outcome (i64)) "java.nio.file.FileStore" "getUnallocatedSpace" "()J" FileStore.this []
# call Java instance method 'public abstract long java.nio.file.FileStore.getUsableSpace() throws java.io.IOException':
#
public getUsableSpace outcome (i64) =>
fuzion.java.call_virtual (outcome (i64)) "java.nio.file.FileStore" "getUsableSpace" "()J" FileStore.this []
# call Java instance method 'public abstract boolean java.nio.file.FileStore.isReadOnly()':
#
public isReadOnly bool =>
fuzion.java.call_virtual (bool) "java.nio.file.FileStore" "isReadOnly" "()Z" FileStore.this []
# call Java instance method 'public abstract java.lang.String java.nio.file.FileStore.name()':
#
public name Java.java.lang.__jString =>
fuzion.java.call_virtual (Java.java.lang.__jString) "java.nio.file.FileStore" "name" "()Ljava/lang/String;" FileStore.this []
# call Java instance method 'public abstract boolean java.nio.file.FileStore.supportsFileAttributeView(java.lang.Class)':
#
public supportsFileAttributeView_Ljava_7_lang_7_Class_s_(arg0 Java.java.lang.Class) bool =>
fuzion.java.call_virtual (bool) "java.nio.file.FileStore" "supportsFileAttributeView" "(Ljava/lang/Class;)Z" FileStore.this [(Java.java.nio.file.FileStore.supportsFileAttributeView_Ljava_7_lang_7_Class_s_.this.arg0)]
# call Java instance method 'public abstract boolean java.nio.file.FileStore.supportsFileAttributeView(java.lang.String)':
#
public supportsFileAttributeView_Ljava_7_lang_7_String_s_(arg0 String) bool =>
fuzion.java.call_virtual (bool) "java.nio.file.FileStore" "supportsFileAttributeView" "(Ljava/lang/String;)Z" FileStore.this [(fuzion.java.string_to_java_object Java.java.nio.file.FileStore.supportsFileAttributeView_Ljava_7_lang_7_String_s_.this.arg0)]
# short-hand to call Java method 'public abstract java.lang.Object java.nio.file.FileStore.getAttribute(java.lang.String) throws java.io.IOException':
#
public getAttribute(arg0 String) (outcome (Java.java.lang.Object)) =>
getAttribute_Ljava_7_lang_7_String_s_ Java.java.nio.file.FileStore.getAttribute.this.arg0
# short-hand to call Java method 'public abstract java.nio.file.attribute.FileStoreAttributeView java.nio.file.FileStore.getFileStoreAttributeView(java.lang.Class)':
#
public getFileStoreAttributeView(arg0 Java.java.lang.Class) (Java.java.nio.file.attribute.FileStoreAttributeView) =>
getFileStoreAttributeView_Ljava_7_lang_7_Class_s_ Java.java.nio.file.FileStore.getFileStoreAttributeView.this.arg0
# short-hand to call Java method 'public abstract boolean java.nio.file.FileStore.supportsFileAttributeView(java.lang.String)':
#
public supportsFileAttributeView(arg0 String) (bool) =>
supportsFileAttributeView_Ljava_7_lang_7_String_s_ Java.java.nio.file.FileStore.supportsFileAttributeView.this.arg0