Java/java/security/cert/CertStoreSpi.fz
# Fuzion interface to instance members of Java instance class 'java.security.cert.CertStoreSpi' # # !!!!!! 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.cert.CertStoreSpi(redef forbidden void) ref : Java.java.lang.Object(forbidden), fuzion.java.Java_Object(forbidden) is # call Java instance method 'public abstract java.util.Collection java.security.cert.CertStoreSpi.engineGetCRLs(java.security.cert.CRLSelector) throws java.security.cert.CertStoreException': # public engineGetCRLs_Ljava_7_security_7_cert_7_CRLSelector_s_(arg0 Java.java.security.cert.CRLSelector) outcome (Java.java.util.Collection) => fuzion.java.call_virtual (outcome (Java.java.util.Collection)) "java.security.cert.CertStoreSpi" "engineGetCRLs" "(Ljava/security/cert/CRLSelector;)Ljava/util/Collection;" CertStoreSpi.this [(Java.java.security.cert.CertStoreSpi.engineGetCRLs_Ljava_7_security_7_cert_7_CRLSelector_s_.this.arg0)] # call Java instance method 'public abstract java.util.Collection java.security.cert.CertStoreSpi.engineGetCertificates(java.security.cert.CertSelector) throws java.security.cert.CertStoreException': # public engineGetCertificates_Ljava_7_security_7_cert_7_CertSelector_s_(arg0 Java.java.security.cert.CertSelector) outcome (Java.java.util.Collection) => fuzion.java.call_virtual (outcome (Java.java.util.Collection)) "java.security.cert.CertStoreSpi" "engineGetCertificates" "(Ljava/security/cert/CertSelector;)Ljava/util/Collection;" CertStoreSpi.this [(Java.java.security.cert.CertStoreSpi.engineGetCertificates_Ljava_7_security_7_cert_7_CertSelector_s_.this.arg0)] # short-hand to call Java method 'public abstract java.util.Collection java.security.cert.CertStoreSpi.engineGetCRLs(java.security.cert.CRLSelector) throws java.security.cert.CertStoreException': # public engineGetCRLs(arg0 Java.java.security.cert.CRLSelector) (outcome (Java.java.util.Collection)) => engineGetCRLs_Ljava_7_security_7_cert_7_CRLSelector_s_ Java.java.security.cert.CertStoreSpi.engineGetCRLs.this.arg0 # short-hand to call Java method 'public abstract java.util.Collection java.security.cert.CertStoreSpi.engineGetCertificates(java.security.cert.CertSelector) throws java.security.cert.CertStoreException': # public engineGetCertificates(arg0 Java.java.security.cert.CertSelector) (outcome (Java.java.util.Collection)) => engineGetCertificates_Ljava_7_security_7_cert_7_CertSelector_s_ Java.java.security.cert.CertStoreSpi.engineGetCertificates.this.arg0