Java/java/nio/file/attribute/UserPrincipalLookupService.fz

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

  # call Java instance method 'public abstract java.nio.file.attribute.GroupPrincipal java.nio.file.attribute.UserPrincipalLookupService.lookupPrincipalByGroupName(java.lang.String) throws java.io.IOException':
  #
  public lookupPrincipalByGroupName_Ljava_7_lang_7_String_s_(arg0 String) outcome (Java.java.nio.file.attribute.GroupPrincipal) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.file.attribute.GroupPrincipal)) "java.nio.file.attribute.UserPrincipalLookupService" "lookupPrincipalByGroupName" "(Ljava/lang/String;)Ljava/nio/file/attribute/GroupPrincipal;" UserPrincipalLookupService.this [(fuzion.java.string_to_java_object Java.java.nio.file.attribute.UserPrincipalLookupService.lookupPrincipalByGroupName_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public abstract java.nio.file.attribute.UserPrincipal java.nio.file.attribute.UserPrincipalLookupService.lookupPrincipalByName(java.lang.String) throws java.io.IOException':
  #
  public lookupPrincipalByName_Ljava_7_lang_7_String_s_(arg0 String) outcome (Java.java.nio.file.attribute.UserPrincipal) =>
    fuzion.java.call_virtual (outcome (Java.java.nio.file.attribute.UserPrincipal)) "java.nio.file.attribute.UserPrincipalLookupService" "lookupPrincipalByName" "(Ljava/lang/String;)Ljava/nio/file/attribute/UserPrincipal;" UserPrincipalLookupService.this [(fuzion.java.string_to_java_object Java.java.nio.file.attribute.UserPrincipalLookupService.lookupPrincipalByName_Ljava_7_lang_7_String_s_.this.arg0)]

  # short-hand to call Java method 'public abstract java.nio.file.attribute.GroupPrincipal java.nio.file.attribute.UserPrincipalLookupService.lookupPrincipalByGroupName(java.lang.String) throws java.io.IOException':
  #
  public lookupPrincipalByGroupName(arg0 String) (outcome (Java.java.nio.file.attribute.GroupPrincipal)) =>
    lookupPrincipalByGroupName_Ljava_7_lang_7_String_s_ Java.java.nio.file.attribute.UserPrincipalLookupService.lookupPrincipalByGroupName.this.arg0

  # short-hand to call Java method 'public abstract java.nio.file.attribute.UserPrincipal java.nio.file.attribute.UserPrincipalLookupService.lookupPrincipalByName(java.lang.String) throws java.io.IOException':
  #
  public lookupPrincipalByName(arg0 String) (outcome (Java.java.nio.file.attribute.UserPrincipal)) =>
    lookupPrincipalByName_Ljava_7_lang_7_String_s_ Java.java.nio.file.attribute.UserPrincipalLookupService.lookupPrincipalByName.this.arg0