Java/java/security/spec/EdDSAParameterSpec.fz
# Fuzion interface to instance members of Java instance class 'java.security.spec.EdDSAParameterSpec'
#
# !!!!!! 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.security.spec.EdDSAParameterSpec(redef forbidden void) ref : Java.java.lang.Object(forbidden), fuzion.java.Java_Object(forbidden) is
# call Java instance method 'public java.util.Optional java.security.spec.EdDSAParameterSpec.getContext()':
#
public getContext Java.java.util.Optional =>
fuzion.java.call_virtual (Java.java.util.Optional) "java.security.spec.EdDSAParameterSpec" "getContext" "()Ljava/util/Optional;" EdDSAParameterSpec.this []
# call Java instance method 'public boolean java.security.spec.EdDSAParameterSpec.isPrehash()':
#
public isPrehash bool =>
fuzion.java.call_virtual (bool) "java.security.spec.EdDSAParameterSpec" "isPrehash" "()Z" EdDSAParameterSpec.this []
last changed: 2024-03-07