Java/java/nio/charset/StandardCharsets_static.fz

# Fuzion interface to static members of Java class 'java.nio.charset.StandardCharsets'
#
# !!!!!!  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.charset.StandardCharsets_static is

  # read static Java field 'public static final java.nio.charset.Charset java.nio.charset.StandardCharsets.ISO_8859_1':
  #
  public ISO__8859__1 Java.java.nio.charset.Charset =>
    fuzion.java.get_static_field (Java.java.nio.charset.Charset) "java.nio.charset.StandardCharsets" "ISO_8859_1"

  # read static Java field 'public static final java.nio.charset.Charset java.nio.charset.StandardCharsets.US_ASCII':
  #
  public US__ASCII Java.java.nio.charset.Charset =>
    fuzion.java.get_static_field (Java.java.nio.charset.Charset) "java.nio.charset.StandardCharsets" "US_ASCII"

  # read static Java field 'public static final java.nio.charset.Charset java.nio.charset.StandardCharsets.UTF_16':
  #
  public UTF__16 Java.java.nio.charset.Charset =>
    fuzion.java.get_static_field (Java.java.nio.charset.Charset) "java.nio.charset.StandardCharsets" "UTF_16"

  # read static Java field 'public static final java.nio.charset.Charset java.nio.charset.StandardCharsets.UTF_16BE':
  #
  public UTF__16BE Java.java.nio.charset.Charset =>
    fuzion.java.get_static_field (Java.java.nio.charset.Charset) "java.nio.charset.StandardCharsets" "UTF_16BE"

  # read static Java field 'public static final java.nio.charset.Charset java.nio.charset.StandardCharsets.UTF_16LE':
  #
  public UTF__16LE Java.java.nio.charset.Charset =>
    fuzion.java.get_static_field (Java.java.nio.charset.Charset) "java.nio.charset.StandardCharsets" "UTF_16LE"

  # read static Java field 'public static final java.nio.charset.Charset java.nio.charset.StandardCharsets.UTF_8':
  #
  public UTF__8 Java.java.nio.charset.Charset =>
    fuzion.java.get_static_field (Java.java.nio.charset.Charset) "java.nio.charset.StandardCharsets" "UTF_8"