Java/java/security/cert/X509CRLSelector.fz
# Fuzion interface to instance members of Java instance class 'java.security.cert.X509CRLSelector'
#
# !!!!!! 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.X509CRLSelector(redef forbidden void) ref : Java.java.lang.Object(forbidden), fuzion.java.Java_Object(forbidden) is
# call Java instance method 'public boolean java.security.cert.X509CRLSelector.match(java.security.cert.CRL)':
#
public __k__match_Ljava_7_security_7_cert_7_CRL_s_(arg0 Java.java.security.cert.CRL) bool =>
fuzion.java.call_virtual (bool) "java.security.cert.X509CRLSelector" "match" "(Ljava/security/cert/CRL;)Z" X509CRLSelector.this [(Java.java.security.cert.X509CRLSelector.__k__match_Ljava_7_security_7_cert_7_CRL_s_.this.arg0)]
# call Java instance method 'public void java.security.cert.X509CRLSelector.addIssuerName(java.lang.String) throws java.io.IOException':
#
public addIssuerName_Ljava_7_lang_7_String_s_(arg0 String) outcome (unit) =>
fuzion.java.call_virtual (outcome (unit)) "java.security.cert.X509CRLSelector" "addIssuerName" "(Ljava/lang/String;)V" X509CRLSelector.this [(fuzion.java.string_to_java_object Java.java.security.cert.X509CRLSelector.addIssuerName_Ljava_7_lang_7_String_s_.this.arg0)]
# call Java instance method 'public void java.security.cert.X509CRLSelector.addIssuerName(byte[]) throws java.io.IOException':
#
public addIssuerName__u00005b_B(arg0 Sequence (i8)) outcome (unit) =>
fuzion.java.call_virtual (outcome (unit)) "java.security.cert.X509CRLSelector" "addIssuerName" "([B)V" X509CRLSelector.this [(fuzion.java.array_to_java_object (i8) Java.java.security.cert.X509CRLSelector.addIssuerName__u00005b_B.this.arg0)]
# call Java instance method 'public void java.security.cert.X509CRLSelector.addIssuer(javax.security.auth.x500.X500Principal)':
#
public addIssuer_Ljavax_7_security_7_auth_7_x500_7_X500Principal_s_(arg0 Java.javax.security.auth.x500.X500Principal) unit =>
fuzion.java.call_virtual (unit) "java.security.cert.X509CRLSelector" "addIssuer" "(Ljavax/security/auth/x500/X500Principal;)V" X509CRLSelector.this [(Java.java.security.cert.X509CRLSelector.addIssuer_Ljavax_7_security_7_auth_7_x500_7_X500Principal_s_.this.arg0)]
# call Java instance method 'public java.lang.Object java.security.cert.X509CRLSelector.clone()':
#
public clone Java.java.lang.Object =>
fuzion.java.call_virtual (Java.java.lang.Object) "java.security.cert.X509CRLSelector" "clone" "()Ljava/lang/Object;" X509CRLSelector.this []
# call Java instance method 'public java.security.cert.X509Certificate java.security.cert.X509CRLSelector.getCertificateChecking()':
#
public getCertificateChecking Java.java.security.cert.X509Certificate =>
fuzion.java.call_virtual (Java.java.security.cert.X509Certificate) "java.security.cert.X509CRLSelector" "getCertificateChecking" "()Ljava/security/cert/X509Certificate;" X509CRLSelector.this []
# call Java instance method 'public java.util.Date java.security.cert.X509CRLSelector.getDateAndTime()':
#
public getDateAndTime Java.java.util.Date =>
fuzion.java.call_virtual (Java.java.util.Date) "java.security.cert.X509CRLSelector" "getDateAndTime" "()Ljava/util/Date;" X509CRLSelector.this []
# call Java instance method 'public java.util.Collection java.security.cert.X509CRLSelector.getIssuerNames()':
#
public getIssuerNames Java.java.util.Collection =>
fuzion.java.call_virtual (Java.java.util.Collection) "java.security.cert.X509CRLSelector" "getIssuerNames" "()Ljava/util/Collection;" X509CRLSelector.this []
# call Java instance method 'public java.util.Collection java.security.cert.X509CRLSelector.getIssuers()':
#
public getIssuers Java.java.util.Collection =>
fuzion.java.call_virtual (Java.java.util.Collection) "java.security.cert.X509CRLSelector" "getIssuers" "()Ljava/util/Collection;" X509CRLSelector.this []
# call Java instance method 'public java.math.BigInteger java.security.cert.X509CRLSelector.getMaxCRL()':
#
public getMaxCRL Java.java.math.BigInteger =>
fuzion.java.call_virtual (Java.java.math.BigInteger) "java.security.cert.X509CRLSelector" "getMaxCRL" "()Ljava/math/BigInteger;" X509CRLSelector.this []
# call Java instance method 'public java.math.BigInteger java.security.cert.X509CRLSelector.getMinCRL()':
#
public getMinCRL Java.java.math.BigInteger =>
fuzion.java.call_virtual (Java.java.math.BigInteger) "java.security.cert.X509CRLSelector" "getMinCRL" "()Ljava/math/BigInteger;" X509CRLSelector.this []
# call Java instance method 'public void java.security.cert.X509CRLSelector.setCertificateChecking(java.security.cert.X509Certificate)':
#
public setCertificateChecking_Ljava_7_security_7_cert_7_X509Certificate_s_(arg0 Java.java.security.cert.X509Certificate) unit =>
fuzion.java.call_virtual (unit) "java.security.cert.X509CRLSelector" "setCertificateChecking" "(Ljava/security/cert/X509Certificate;)V" X509CRLSelector.this [(Java.java.security.cert.X509CRLSelector.setCertificateChecking_Ljava_7_security_7_cert_7_X509Certificate_s_.this.arg0)]
# call Java instance method 'public void java.security.cert.X509CRLSelector.setDateAndTime(java.util.Date)':
#
public setDateAndTime_Ljava_7_util_7_Date_s_(arg0 Java.java.util.Date) unit =>
fuzion.java.call_virtual (unit) "java.security.cert.X509CRLSelector" "setDateAndTime" "(Ljava/util/Date;)V" X509CRLSelector.this [(Java.java.security.cert.X509CRLSelector.setDateAndTime_Ljava_7_util_7_Date_s_.this.arg0)]
# call Java instance method 'public void java.security.cert.X509CRLSelector.setIssuerNames(java.util.Collection) throws java.io.IOException':
#
public setIssuerNames_Ljava_7_util_7_Collection_s_(arg0 Java.java.util.Collection) outcome (unit) =>
fuzion.java.call_virtual (outcome (unit)) "java.security.cert.X509CRLSelector" "setIssuerNames" "(Ljava/util/Collection;)V" X509CRLSelector.this [(Java.java.security.cert.X509CRLSelector.setIssuerNames_Ljava_7_util_7_Collection_s_.this.arg0)]
# call Java instance method 'public void java.security.cert.X509CRLSelector.setIssuers(java.util.Collection)':
#
public setIssuers_Ljava_7_util_7_Collection_s_(arg0 Java.java.util.Collection) unit =>
fuzion.java.call_virtual (unit) "java.security.cert.X509CRLSelector" "setIssuers" "(Ljava/util/Collection;)V" X509CRLSelector.this [(Java.java.security.cert.X509CRLSelector.setIssuers_Ljava_7_util_7_Collection_s_.this.arg0)]
# call Java instance method 'public void java.security.cert.X509CRLSelector.setMaxCRLNumber(java.math.BigInteger)':
#
public setMaxCRLNumber_Ljava_7_math_7_BigInteger_s_(arg0 Java.java.math.BigInteger) unit =>
fuzion.java.call_virtual (unit) "java.security.cert.X509CRLSelector" "setMaxCRLNumber" "(Ljava/math/BigInteger;)V" X509CRLSelector.this [(Java.java.security.cert.X509CRLSelector.setMaxCRLNumber_Ljava_7_math_7_BigInteger_s_.this.arg0)]
# call Java instance method 'public void java.security.cert.X509CRLSelector.setMinCRLNumber(java.math.BigInteger)':
#
public setMinCRLNumber_Ljava_7_math_7_BigInteger_s_(arg0 Java.java.math.BigInteger) unit =>
fuzion.java.call_virtual (unit) "java.security.cert.X509CRLSelector" "setMinCRLNumber" "(Ljava/math/BigInteger;)V" X509CRLSelector.this [(Java.java.security.cert.X509CRLSelector.setMinCRLNumber_Ljava_7_math_7_BigInteger_s_.this.arg0)]
# short-hand to call Java method 'public void java.security.cert.X509CRLSelector.addIssuer(javax.security.auth.x500.X500Principal)':
#
public addIssuer(arg0 Java.javax.security.auth.x500.X500Principal) (unit) =>
addIssuer_Ljavax_7_security_7_auth_7_x500_7_X500Principal_s_ Java.java.security.cert.X509CRLSelector.addIssuer.this.arg0
# short-hand to call Java method 'public void java.security.cert.X509CRLSelector.addIssuerName(java.lang.String) throws java.io.IOException':
#
public addIssuerName(arg0 String) (outcome (unit)) =>
addIssuerName_Ljava_7_lang_7_String_s_ Java.java.security.cert.X509CRLSelector.addIssuerName.this.arg0
# short-hand to call Java method 'public boolean java.security.cert.X509CRLSelector.match(java.security.cert.CRL)':
#
public __k__match(arg0 Java.java.security.cert.CRL) (bool) =>
__k__match_Ljava_7_security_7_cert_7_CRL_s_ Java.java.security.cert.X509CRLSelector.__k__match.this.arg0
# short-hand to call Java method 'public void java.security.cert.X509CRLSelector.setCertificateChecking(java.security.cert.X509Certificate)':
#
public setCertificateChecking(arg0 Java.java.security.cert.X509Certificate) (unit) =>
setCertificateChecking_Ljava_7_security_7_cert_7_X509Certificate_s_ Java.java.security.cert.X509CRLSelector.setCertificateChecking.this.arg0
# short-hand to call Java method 'public void java.security.cert.X509CRLSelector.setDateAndTime(java.util.Date)':
#
public setDateAndTime(arg0 Java.java.util.Date) (unit) =>
setDateAndTime_Ljava_7_util_7_Date_s_ Java.java.security.cert.X509CRLSelector.setDateAndTime.this.arg0
# short-hand to call Java method 'public void java.security.cert.X509CRLSelector.setIssuerNames(java.util.Collection) throws java.io.IOException':
#
public setIssuerNames(arg0 Java.java.util.Collection) (outcome (unit)) =>
setIssuerNames_Ljava_7_util_7_Collection_s_ Java.java.security.cert.X509CRLSelector.setIssuerNames.this.arg0
# short-hand to call Java method 'public void java.security.cert.X509CRLSelector.setIssuers(java.util.Collection)':
#
public setIssuers(arg0 Java.java.util.Collection) (unit) =>
setIssuers_Ljava_7_util_7_Collection_s_ Java.java.security.cert.X509CRLSelector.setIssuers.this.arg0
# short-hand to call Java method 'public void java.security.cert.X509CRLSelector.setMaxCRLNumber(java.math.BigInteger)':
#
public setMaxCRLNumber(arg0 Java.java.math.BigInteger) (unit) =>
setMaxCRLNumber_Ljava_7_math_7_BigInteger_s_ Java.java.security.cert.X509CRLSelector.setMaxCRLNumber.this.arg0
# short-hand to call Java method 'public void java.security.cert.X509CRLSelector.setMinCRLNumber(java.math.BigInteger)':
#
public setMinCRLNumber(arg0 Java.java.math.BigInteger) (unit) =>
setMinCRLNumber_Ljava_7_math_7_BigInteger_s_ Java.java.security.cert.X509CRLSelector.setMinCRLNumber.this.arg0