Java/javax/crypto/spec/PSource_S_PSpecified_static.fz
# Fuzion interface to static members of Java class 'javax.crypto.spec.PSource$PSpecified'
#
# !!!!!! 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.javax.crypto.spec.PSource_S_PSpecified_static is
# read static Java field 'public static final javax.crypto.spec.PSource$PSpecified javax.crypto.spec.PSource$PSpecified.DEFAULT':
#
public DEFAULT Java.javax.crypto.spec.PSource_S_PSpecified =>
fuzion.java.get_static_field (Java.javax.crypto.spec.PSource_S_PSpecified) "javax.crypto.spec.PSource\$PSpecified" "DEFAULT"
# call Java constructor 'public javax.crypto.spec.PSource$PSpecified(byte[])':
#
public new__u00005b_B(arg0 Sequence (i8)) Java.javax.crypto.spec.PSource_S_PSpecified =>
fuzion.java.call_constructor (Java.javax.crypto.spec.PSource_S_PSpecified) "javax.crypto.spec.PSource\$PSpecified" "([B)V" [(fuzion.java.array_to_java_object (i8) Java.javax.crypto.spec.PSource_S_PSpecified_static.new__u00005b_B.this.arg0)]
# short-hand to call Java constructor 'public javax.crypto.spec.PSource$PSpecified(byte[])':
#
public new(arg0 Sequence (i8)) (Java.javax.crypto.spec.PSource_S_PSpecified) =>
new__u00005b_B Java.javax.crypto.spec.PSource_S_PSpecified_static.new.this.arg0