Java/jdk/internal/access/JavaIOFilePermissionAccess.fz
# Fuzion interface to instance members of Java instance class 'jdk.internal.access.JavaIOFilePermissionAccess'
#
# !!!!!! 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.access.JavaIOFilePermissionAccess(forbidden void) ref : fuzion.java.Java_Object(forbidden) is
# call Java instance method 'public abstract java.io.FilePermission jdk.internal.access.JavaIOFilePermissionAccess.newPermPlusAltPath(java.io.FilePermission)':
#
public newPermPlusAltPath_Ljava_7_io_7_FilePermission_s_(arg0 Java.java.io.FilePermission) Java.java.io.FilePermission =>
fuzion.java.call_virtual (Java.java.io.FilePermission) "jdk.internal.access.JavaIOFilePermissionAccess" "newPermPlusAltPath" "(Ljava/io/FilePermission;)Ljava/io/FilePermission;" JavaIOFilePermissionAccess.this [(Java.jdk.internal.access.JavaIOFilePermissionAccess.newPermPlusAltPath_Ljava_7_io_7_FilePermission_s_.this.arg0)]
# call Java instance method 'public abstract java.io.FilePermission jdk.internal.access.JavaIOFilePermissionAccess.newPermUsingAltPath(java.io.FilePermission)':
#
public newPermUsingAltPath_Ljava_7_io_7_FilePermission_s_(arg0 Java.java.io.FilePermission) Java.java.io.FilePermission =>
fuzion.java.call_virtual (Java.java.io.FilePermission) "jdk.internal.access.JavaIOFilePermissionAccess" "newPermUsingAltPath" "(Ljava/io/FilePermission;)Ljava/io/FilePermission;" JavaIOFilePermissionAccess.this [(Java.jdk.internal.access.JavaIOFilePermissionAccess.newPermUsingAltPath_Ljava_7_io_7_FilePermission_s_.this.arg0)]
# short-hand to call Java method 'public abstract java.io.FilePermission jdk.internal.access.JavaIOFilePermissionAccess.newPermPlusAltPath(java.io.FilePermission)':
#
public newPermPlusAltPath(arg0 Java.java.io.FilePermission) (Java.java.io.FilePermission) =>
newPermPlusAltPath_Ljava_7_io_7_FilePermission_s_ Java.jdk.internal.access.JavaIOFilePermissionAccess.newPermPlusAltPath.this.arg0
# short-hand to call Java method 'public abstract java.io.FilePermission jdk.internal.access.JavaIOFilePermissionAccess.newPermUsingAltPath(java.io.FilePermission)':
#
public newPermUsingAltPath(arg0 Java.java.io.FilePermission) (Java.java.io.FilePermission) =>
newPermUsingAltPath_Ljava_7_io_7_FilePermission_s_ Java.jdk.internal.access.JavaIOFilePermissionAccess.newPermUsingAltPath.this.arg0