Java/java/security/cert/PKIXCertPathValidatorResult.fz
# Fuzion interface to instance members of Java instance class 'java.security.cert.PKIXCertPathValidatorResult'
#
# !!!!!! 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.PKIXCertPathValidatorResult(redef forbidden void) ref : Java.java.lang.Object(forbidden), fuzion.java.Java_Object(forbidden) is
# call Java instance method 'public java.lang.Object java.security.cert.PKIXCertPathValidatorResult.clone()':
#
public clone Java.java.lang.Object =>
fuzion.java.call_virtual (Java.java.lang.Object) "java.security.cert.PKIXCertPathValidatorResult" "clone" "()Ljava/lang/Object;" PKIXCertPathValidatorResult.this []
# call Java instance method 'public java.security.cert.PolicyNode java.security.cert.PKIXCertPathValidatorResult.getPolicyTree()':
#
public getPolicyTree Java.java.security.cert.PolicyNode =>
fuzion.java.call_virtual (Java.java.security.cert.PolicyNode) "java.security.cert.PKIXCertPathValidatorResult" "getPolicyTree" "()Ljava/security/cert/PolicyNode;" PKIXCertPathValidatorResult.this []
# call Java instance method 'public java.security.PublicKey java.security.cert.PKIXCertPathValidatorResult.getPublicKey()':
#
public getPublicKey Java.java.security.PublicKey =>
fuzion.java.call_virtual (Java.java.security.PublicKey) "java.security.cert.PKIXCertPathValidatorResult" "getPublicKey" "()Ljava/security/PublicKey;" PKIXCertPathValidatorResult.this []
# call Java instance method 'public java.security.cert.TrustAnchor java.security.cert.PKIXCertPathValidatorResult.getTrustAnchor()':
#
public getTrustAnchor Java.java.security.cert.TrustAnchor =>
fuzion.java.call_virtual (Java.java.security.cert.TrustAnchor) "java.security.cert.PKIXCertPathValidatorResult" "getTrustAnchor" "()Ljava/security/cert/TrustAnchor;" PKIXCertPathValidatorResult.this []