FOREIGN MODULE java_security_cert;

IMPORT
    java_io := "java.io",
    java_lang := "java.lang",
    java_security := "java.security",
    java_util := "java.util",
    sun_security_util := "sun.security.util",
    javax_security_auth_x500 := "javax.security.auth.x500",
    sun_security_provider_certpath := "sun.security.provider.certpath",
    sun_security_x509 := "sun.security.x509",
    java_math := "java.math";

TYPE

  Certificate* = POINTER TO ABSTRACT RECORD (java_lang.Object + java_io.Serializable)    (* Typebound Procedures *)
                 STATIC
                   PROCEDURE Init!(p0 : java_lang.String) : Certificate,CONSTRUCTOR;
                 END;

  Certificate$CertificateRep* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)    (* Typebound Procedures *)
                                STATIC
                                  PROCEDURE Init!(    p0 : java_lang.String;
                                                  IN  p1 : ARRAY OF BYTE) : Certificate$CertificateRep,CONSTRUCTOR;
                                END;

  CertificateEncodingException* = POINTER TO EXTENSIBLE RECORD (CertificateException)
                                  STATIC
                                    PROCEDURE Init*(p0 : java_lang.String;
                                                    p1 : java_lang.Throwable) : CertificateEncodingException,CONSTRUCTOR;
                                    PROCEDURE Init*(p0 : java_lang.Throwable) : CertificateEncodingException,CONSTRUCTOR;
                                    PROCEDURE Init*() : CertificateEncodingException,CONSTRUCTOR;
                                    PROCEDURE Init*(p0 : java_lang.String) : CertificateEncodingException,CONSTRUCTOR;
                                  END;

  CertificateException* = POINTER TO EXTENSIBLE RECORD (java_security.GeneralSecurityException)
                          STATIC
                            PROCEDURE Init*(p0 : java_lang.String;
                                            p1 : java_lang.Throwable) : CertificateException,CONSTRUCTOR;
                            PROCEDURE Init*(p0 : java_lang.Throwable) : CertificateException,CONSTRUCTOR;
                            PROCEDURE Init*() : CertificateException,CONSTRUCTOR;
                            PROCEDURE Init*(p0 : java_lang.String) : CertificateException,CONSTRUCTOR;
                          END;

  CertificateExpiredException* = POINTER TO EXTENSIBLE RECORD (CertificateException)
                                 STATIC
                                   PROCEDURE Init*(p0 : java_lang.String) : CertificateExpiredException,CONSTRUCTOR;
                                   PROCEDURE Init*() : CertificateExpiredException,CONSTRUCTOR;
                                 END;

  CertificateFactory* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                        STATIC
                          PROCEDURE getInstance*(p0 : java_lang.String;
                                                 p1 : java_lang.String) : CertificateFactory;
                          PROCEDURE getInstance*(p0 : java_lang.String;
                                                 p1 : java_security.Provider) : CertificateFactory;
                          PROCEDURE getInstance*(p0 : java_lang.String) : CertificateFactory;
                          PROCEDURE Init!(p0 : CertificateFactorySpi;
                                          p1 : java_security.Provider;
                                          p2 : java_lang.String) : CertificateFactory,CONSTRUCTOR;
                        END;

  CertificateFactorySpi* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                           STATIC
                             PROCEDURE Init*() : CertificateFactorySpi,CONSTRUCTOR;
                           END;

  CertificateNotYetValidException* = POINTER TO EXTENSIBLE RECORD (CertificateException)
                                     STATIC
                                       PROCEDURE Init*(p0 : java_lang.String) : CertificateNotYetValidException,CONSTRUCTOR;
                                       PROCEDURE Init*() : CertificateNotYetValidException,CONSTRUCTOR;
                                     END;

  CertificateParsingException* = POINTER TO EXTENSIBLE RECORD (CertificateException)
                                 STATIC
                                   PROCEDURE Init*(p0 : java_lang.String;
                                                   p1 : java_lang.Throwable) : CertificateParsingException,CONSTRUCTOR;
                                   PROCEDURE Init*(p0 : java_lang.Throwable) : CertificateParsingException,CONSTRUCTOR;
                                   PROCEDURE Init*() : CertificateParsingException,CONSTRUCTOR;
                                   PROCEDURE Init*(p0 : java_lang.String) : CertificateParsingException,CONSTRUCTOR;
                                 END;

  CertPath* = POINTER TO ABSTRACT RECORD (java_lang.Object + java_io.Serializable)    (* Typebound Procedures *)
              STATIC
                PROCEDURE Init!(p0 : java_lang.String) : CertPath,CONSTRUCTOR;
              END;

  CertPath$CertPathRep* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)    (* Typebound Procedures *)
                          STATIC
                            PROCEDURE Init!(    p0 : java_lang.String;
                                            IN  p1 : ARRAY OF BYTE) : CertPath$CertPathRep,CONSTRUCTOR;
                          END;

  CertPathBuilder* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                     STATIC
                       PROCEDURE getDefaultType*() : java_lang.String;
                       PROCEDURE getInstance*(p0 : java_lang.String;
                                              p1 : java_security.Provider) : CertPathBuilder;
                       PROCEDURE getInstance*(p0 : java_lang.String;
                                              p1 : java_lang.String) : CertPathBuilder;
                       PROCEDURE getInstance*(p0 : java_lang.String) : CertPathBuilder;
                       PROCEDURE Init!(p0 : CertPathBuilderSpi;
                                       p1 : java_security.Provider;
                                       p2 : java_lang.String) : CertPathBuilder,CONSTRUCTOR;
                     END;

  CertPathBuilderException* = POINTER TO EXTENSIBLE RECORD (java_security.GeneralSecurityException)
                              STATIC
                                PROCEDURE Init*(p0 : java_lang.Throwable) : CertPathBuilderException,CONSTRUCTOR;
                                PROCEDURE Init*(p0 : java_lang.String;
                                                p1 : java_lang.Throwable) : CertPathBuilderException,CONSTRUCTOR;
                                PROCEDURE Init*() : CertPathBuilderException,CONSTRUCTOR;
                                PROCEDURE Init*(p0 : java_lang.String) : CertPathBuilderException,CONSTRUCTOR;
                              END;

  CertPathBuilderResult* = POINTER TO INTERFACE RECORD (java_lang.Object + java_lang.Cloneable)    (* Typebound Procedures *)
                           END;

  CertPathBuilderSpi* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                        STATIC
                          PROCEDURE Init*() : CertPathBuilderSpi,CONSTRUCTOR;
                        END;

  CertPathParameters* = POINTER TO INTERFACE RECORD (java_lang.Object + java_lang.Cloneable)    (* Typebound Procedures *)
                        END;

  CertPathValidator* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                       STATIC
                         PROCEDURE getDefaultType*() : java_lang.String;
                         PROCEDURE getInstance*(p0 : java_lang.String;
                                                p1 : java_security.Provider) : CertPathValidator;
                         PROCEDURE getInstance*(p0 : java_lang.String;
                                                p1 : java_lang.String) : CertPathValidator;
                         PROCEDURE getInstance*(p0 : java_lang.String) : CertPathValidator;
                         PROCEDURE Init!(p0 : CertPathValidatorSpi;
                                         p1 : java_security.Provider;
                                         p2 : java_lang.String) : CertPathValidator,CONSTRUCTOR;
                       END;

  CertPathValidatorException* = POINTER TO EXTENSIBLE RECORD (java_security.GeneralSecurityException)    (* Typebound Procedures *)
                                STATIC
                                  PROCEDURE Init*(p0 : java_lang.String;
                                                  p1 : java_lang.Throwable) : CertPathValidatorException,CONSTRUCTOR;
                                  PROCEDURE Init*(p0 : java_lang.String;
                                                  p1 : java_lang.Throwable;
                                                  p2 : CertPath;
                                                  p3 : INTEGER) : CertPathValidatorException,CONSTRUCTOR;
                                  PROCEDURE Init*(p0 : java_lang.Throwable) : CertPathValidatorException,CONSTRUCTOR;
                                  PROCEDURE Init*() : CertPathValidatorException,CONSTRUCTOR;
                                  PROCEDURE Init*(p0 : java_lang.String) : CertPathValidatorException,CONSTRUCTOR;
                                END;

  CertPathValidatorResult* = POINTER TO INTERFACE RECORD (java_lang.Object + java_lang.Cloneable)    (* Typebound Procedures *)
                             END;

  CertPathValidatorSpi* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                          STATIC
                            PROCEDURE Init*() : CertPathValidatorSpi,CONSTRUCTOR;
                          END;

  CertSelector* = POINTER TO INTERFACE RECORD (java_lang.Object + java_lang.Cloneable)    (* Typebound Procedures *)
                  END;

  CertStore* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
               STATIC
                 PROCEDURE getDefaultType*() : java_lang.String;
                 PROCEDURE getInstance*(p0 : java_lang.String;
                                        p1 : CertStoreParameters;
                                        p2 : java_security.Provider) : CertStore;
                 PROCEDURE getInstance*(p0 : java_lang.String;
                                        p1 : CertStoreParameters;
                                        p2 : java_lang.String) : CertStore;
                 PROCEDURE getInstance*(p0 : java_lang.String;
                                        p1 : CertStoreParameters) : CertStore;
                 PROCEDURE Init!(p0 : CertStoreSpi;
                                 p1 : java_security.Provider;
                                 p2 : java_lang.String;
                                 p3 : CertStoreParameters) : CertStore,CONSTRUCTOR;
               END;

  CertStoreException* = POINTER TO EXTENSIBLE RECORD (java_security.GeneralSecurityException)
                        STATIC
                          PROCEDURE Init*(p0 : java_lang.Throwable) : CertStoreException,CONSTRUCTOR;
                          PROCEDURE Init*(p0 : java_lang.String;
                                          p1 : java_lang.Throwable) : CertStoreException,CONSTRUCTOR;
                          PROCEDURE Init*() : CertStoreException,CONSTRUCTOR;
                          PROCEDURE Init*(p0 : java_lang.String) : CertStoreException,CONSTRUCTOR;
                        END;

  CertStoreParameters* = POINTER TO INTERFACE RECORD (java_lang.Object + java_lang.Cloneable)    (* Typebound Procedures *)
                         END;

  CertStoreSpi* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                  STATIC
                    PROCEDURE Init*(p0 : CertStoreParameters) : CertStoreSpi,CONSTRUCTOR;
                  END;

  CollectionCertStoreParameters* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + CertStoreParameters)    (* Typebound Procedures *)
                                   STATIC
                                     PROCEDURE Init*() : CollectionCertStoreParameters,CONSTRUCTOR;
                                     PROCEDURE Init*(p0 : java_util.Collection) : CollectionCertStoreParameters,CONSTRUCTOR;
                                   END;

  CRL* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
         STATIC
           PROCEDURE Init!(p0 : java_lang.String) : CRL,CONSTRUCTOR;
         END;

  CRLException* = POINTER TO EXTENSIBLE RECORD (java_security.GeneralSecurityException)
                  STATIC
                    PROCEDURE Init*(p0 : java_lang.String;
                                    p1 : java_lang.Throwable) : CRLException,CONSTRUCTOR;
                    PROCEDURE Init*(p0 : java_lang.Throwable) : CRLException,CONSTRUCTOR;
                    PROCEDURE Init*() : CRLException,CONSTRUCTOR;
                    PROCEDURE Init*(p0 : java_lang.String) : CRLException,CONSTRUCTOR;
                  END;

  CRLSelector* = POINTER TO INTERFACE RECORD (java_lang.Object + java_lang.Cloneable)    (* Typebound Procedures *)
                 END;

  LDAPCertStoreParameters* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + CertStoreParameters)    (* Typebound Procedures *)
                             STATIC
                               PROCEDURE Init*() : LDAPCertStoreParameters,CONSTRUCTOR;
                               PROCEDURE Init*(p0 : java_lang.String) : LDAPCertStoreParameters,CONSTRUCTOR;
                               PROCEDURE Init*(p0 : java_lang.String;
                                               p1 : INTEGER) : LDAPCertStoreParameters,CONSTRUCTOR;
                             END;

  PKIXBuilderParameters* = POINTER TO EXTENSIBLE RECORD (PKIXParameters)    (* Typebound Procedures *)
                           STATIC
                             PROCEDURE Init*(p0 : java_security.KeyStore;
                                             p1 : CertSelector) : PKIXBuilderParameters,CONSTRUCTOR;
                             PROCEDURE Init*(p0 : java_util.Set;
                                             p1 : CertSelector) : PKIXBuilderParameters,CONSTRUCTOR;
                           END;

  PKIXCertPathBuilderResult* = POINTER TO EXTENSIBLE RECORD (PKIXCertPathValidatorResult + CertPathBuilderResult)    (* Typebound Procedures *)
                               STATIC
                                 PROCEDURE Init*(p0 : CertPath;
                                                 p1 : TrustAnchor;
                                                 p2 : PolicyNode;
                                                 p3 : java_security.PublicKey) : PKIXCertPathBuilderResult,CONSTRUCTOR;
                               END;

  PKIXCertPathChecker* = POINTER TO ABSTRACT RECORD (java_lang.Object + java_lang.Cloneable)    (* Typebound Procedures *)
                         STATIC
                           PROCEDURE Init!() : PKIXCertPathChecker,CONSTRUCTOR;
                         END;

  PKIXCertPathValidatorResult* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + CertPathValidatorResult)    (* Typebound Procedures *)
                                 STATIC
                                   PROCEDURE Init*(p0 : TrustAnchor;
                                                   p1 : PolicyNode;
                                                   p2 : java_security.PublicKey) : PKIXCertPathValidatorResult,CONSTRUCTOR;
                                 END;

  PKIXParameters* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + CertPathParameters)    (* Typebound Procedures *)
                    STATIC
                      PROCEDURE Init*(p0 : java_security.KeyStore) : PKIXParameters,CONSTRUCTOR;
                      PROCEDURE Init*(p0 : java_util.Set) : PKIXParameters,CONSTRUCTOR;
                    END;

  PolicyNode* = POINTER TO INTERFACE RECORD (java_lang.Object)    (* Typebound Procedures *)
                END;

  PolicyQualifierInfo* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                         STATIC
                           PROCEDURE Init*(IN  p0 : ARRAY OF BYTE) : PolicyQualifierInfo,CONSTRUCTOR;
                         END;

  TrustAnchor* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)    (* Typebound Procedures *)
                 STATIC
                   PROCEDURE Init*(    p0 : java_lang.String;
                                       p1 : java_security.PublicKey;
                                   IN  p2 : ARRAY OF BYTE) : TrustAnchor,CONSTRUCTOR;
                   PROCEDURE Init*(    p0 : javax_security_auth_x500.X500Principal;
                                       p1 : java_security.PublicKey;
                                   IN  p2 : ARRAY OF BYTE) : TrustAnchor,CONSTRUCTOR;
                   PROCEDURE Init*(    p0 : X509Certificate;
                                   IN  p1 : ARRAY OF BYTE) : TrustAnchor,CONSTRUCTOR;
                 END;

  X509Certificate* = POINTER TO ABSTRACT RECORD (Certificate + X509Extension)    (* Typebound Procedures *)
                     STATIC
                       PROCEDURE Init!() : X509Certificate,CONSTRUCTOR;
                     END;

  X509CertSelector* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + CertSelector)    (* Typebound Procedures *)
                      STATIC
                        PROCEDURE Init*() : X509CertSelector,CONSTRUCTOR;
                      END;

  X509CRL* = POINTER TO ABSTRACT RECORD (CRL + X509Extension)    (* Typebound Procedures *)
             STATIC
               PROCEDURE Init!() : X509CRL,CONSTRUCTOR;
             END;

  X509CRLEntry* = POINTER TO ABSTRACT RECORD (java_lang.Object + X509Extension)    (* Typebound Procedures *)
                  STATIC
                    PROCEDURE Init*() : X509CRLEntry,CONSTRUCTOR;
                  END;

  X509CRLSelector* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + CRLSelector)    (* Typebound Procedures *)
                     STATIC
                       PROCEDURE Init*() : X509CRLSelector,CONSTRUCTOR;
                     END;

  X509Extension* = POINTER TO INTERFACE RECORD (java_lang.Object)    (* Typebound Procedures *)
                   END;




PROCEDURE (self:Certificate) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:Certificate) getEncoded*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;

PROCEDURE (self:Certificate) getPublicKey*() : java_security.PublicKey,NEW,ABSTRACT;

PROCEDURE (self:Certificate) getType*() : java_lang.String,NEW;

PROCEDURE (self:Certificate) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:Certificate) toString*() : java_lang.String,ABSTRACT;

PROCEDURE (self:Certificate) verify*(p0 : java_security.PublicKey),NEW,ABSTRACT;

PROCEDURE (self:Certificate) verify*(p0 : java_security.PublicKey;
                                     p1 : java_lang.String),NEW,ABSTRACT;

PROCEDURE (self:Certificate) writeReplace!() : java_lang.Object,NEW,EXTENSIBLE;

PROCEDURE (self:Certificate$CertificateRep) readResolve!() : java_lang.Object,NEW,EXTENSIBLE;

PROCEDURE (self:CertificateFactory) generateCertificate*(p0 : java_io.InputStream) : Certificate,NEW;

PROCEDURE (self:CertificateFactory) generateCertificates*(p0 : java_io.InputStream) : java_util.Collection,NEW;

PROCEDURE (self:CertificateFactory) generateCertPath*(p0 : java_io.InputStream;
                                                      p1 : java_lang.String) : CertPath,NEW;

PROCEDURE (self:CertificateFactory) generateCertPath*(p0 : java_util.List) : CertPath,NEW;

PROCEDURE (self:CertificateFactory) generateCertPath*(p0 : java_io.InputStream) : CertPath,NEW;

PROCEDURE (self:CertificateFactory) generateCRL*(p0 : java_io.InputStream) : CRL,NEW;

PROCEDURE (self:CertificateFactory) generateCRLs*(p0 : java_io.InputStream) : java_util.Collection,NEW;

PROCEDURE (self:CertificateFactory) getCertPathEncodings*() : java_util.Iterator,NEW;

PROCEDURE (self:CertificateFactory) getProvider*() : java_security.Provider,NEW;

PROCEDURE (self:CertificateFactory) getType*() : java_lang.String,NEW;

PROCEDURE (self:CertificateFactorySpi) engineGenerateCertificate*(p0 : java_io.InputStream) : Certificate,NEW,ABSTRACT;

PROCEDURE (self:CertificateFactorySpi) engineGenerateCertificates*(p0 : java_io.InputStream) : java_util.Collection,NEW,ABSTRACT;

PROCEDURE (self:CertificateFactorySpi) engineGenerateCertPath*(p0 : java_util.List) : CertPath,NEW,EXTENSIBLE;

PROCEDURE (self:CertificateFactorySpi) engineGenerateCertPath*(p0 : java_io.InputStream) : CertPath,NEW,EXTENSIBLE;

PROCEDURE (self:CertificateFactorySpi) engineGenerateCertPath*(p0 : java_io.InputStream;
                                                               p1 : java_lang.String) : CertPath,NEW,EXTENSIBLE;

PROCEDURE (self:CertificateFactorySpi) engineGenerateCRL*(p0 : java_io.InputStream) : CRL,NEW,ABSTRACT;

PROCEDURE (self:CertificateFactorySpi) engineGenerateCRLs*(p0 : java_io.InputStream) : java_util.Collection,NEW,ABSTRACT;

PROCEDURE (self:CertificateFactorySpi) engineGetCertPathEncodings*() : java_util.Iterator,NEW,EXTENSIBLE;

PROCEDURE (self:CertPath) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:CertPath) getCertificates*() : java_util.List,NEW,ABSTRACT;

PROCEDURE (self:CertPath) getEncoded*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;

PROCEDURE (self:CertPath) getEncoded*(p0 : java_lang.String) : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;

PROCEDURE (self:CertPath) getEncodings*() : java_util.Iterator,NEW,ABSTRACT;

PROCEDURE (self:CertPath) getType*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:CertPath) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:CertPath) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:CertPath) writeReplace!() : java_lang.Object,NEW,EXTENSIBLE;

PROCEDURE (self:CertPath$CertPathRep) readResolve!() : java_lang.Object,NEW,EXTENSIBLE;

PROCEDURE (self:CertPathBuilder) build*(p0 : CertPathParameters) : CertPathBuilderResult,NEW;

PROCEDURE (self:CertPathBuilder) getAlgorithm*() : java_lang.String,NEW;

PROCEDURE (self:CertPathBuilder) getProvider*() : java_security.Provider,NEW;

PROCEDURE (self:CertPathBuilderResult) clone*() : java_lang.Object,ABSTRACT;

PROCEDURE (self:CertPathBuilderResult) getCertPath*() : CertPath,NEW,ABSTRACT;

PROCEDURE (self:CertPathBuilderSpi) engineBuild*(p0 : CertPathParameters) : CertPathBuilderResult,NEW,ABSTRACT;

PROCEDURE (self:CertPathParameters) clone*() : java_lang.Object,ABSTRACT;

PROCEDURE (self:CertPathValidator) getAlgorithm*() : java_lang.String,NEW;

PROCEDURE (self:CertPathValidator) getProvider*() : java_security.Provider,NEW;

PROCEDURE (self:CertPathValidator) validate*(p0 : CertPath;
                                             p1 : CertPathParameters) : CertPathValidatorResult,NEW;

PROCEDURE (self:CertPathValidatorException) getCertPath*() : CertPath,NEW,EXTENSIBLE;

PROCEDURE (self:CertPathValidatorException) getIndex*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:CertPathValidatorResult) clone*() : java_lang.Object,ABSTRACT;

PROCEDURE (self:CertPathValidatorSpi) engineValidate*(p0 : CertPath;
                                                      p1 : CertPathParameters) : CertPathValidatorResult,NEW,ABSTRACT;

PROCEDURE (self:CertSelector) clone*() : java_lang.Object,ABSTRACT;

PROCEDURE (self:CertSelector) match*(p0 : Certificate) : BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:CertStore) getCertificates*(p0 : CertSelector) : java_util.Collection,NEW;

PROCEDURE (self:CertStore) getCertStoreParameters*() : CertStoreParameters,NEW;

PROCEDURE (self:CertStore) getCRLs*(p0 : CRLSelector) : java_util.Collection,NEW;

PROCEDURE (self:CertStore) getProvider*() : java_security.Provider,NEW;

PROCEDURE (self:CertStore) getType*() : java_lang.String,NEW;

PROCEDURE (self:CertStoreParameters) clone*() : java_lang.Object,ABSTRACT;

PROCEDURE (self:CertStoreSpi) engineGetCertificates*(p0 : CertSelector) : java_util.Collection,NEW,ABSTRACT;

PROCEDURE (self:CertStoreSpi) engineGetCRLs*(p0 : CRLSelector) : java_util.Collection,NEW,ABSTRACT;

PROCEDURE (self:CollectionCertStoreParameters) clone*() : java_lang.Object,EXTENSIBLE;

PROCEDURE (self:CollectionCertStoreParameters) getCollection*() : java_util.Collection,NEW,EXTENSIBLE;

PROCEDURE (self:CollectionCertStoreParameters) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:CRL) getType*() : java_lang.String,NEW;

PROCEDURE (self:CRL) isRevoked*(p0 : Certificate) : BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:CRL) toString*() : java_lang.String,ABSTRACT;

PROCEDURE (self:CRLSelector) clone*() : java_lang.Object,ABSTRACT;

PROCEDURE (self:CRLSelector) match*(p0 : CRL) : BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:LDAPCertStoreParameters) clone*() : java_lang.Object,EXTENSIBLE;

PROCEDURE (self:LDAPCertStoreParameters) getPort*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:LDAPCertStoreParameters) getServerName*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:LDAPCertStoreParameters) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:PKIXBuilderParameters) getMaxPathLength*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXBuilderParameters) setMaxPathLength*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXBuilderParameters) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:PKIXCertPathBuilderResult) getCertPath*() : CertPath,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXCertPathBuilderResult) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:PKIXCertPathChecker) check*(p0 : Certificate;
                                            p1 : java_util.Collection),NEW,ABSTRACT;

PROCEDURE (self:PKIXCertPathChecker) clone*() : java_lang.Object,EXTENSIBLE;

PROCEDURE (self:PKIXCertPathChecker) getSupportedExtensions*() : java_util.Set,NEW,ABSTRACT;

PROCEDURE (self:PKIXCertPathChecker) init*(p0 : BOOLEAN),NEW,ABSTRACT;

PROCEDURE (self:PKIXCertPathChecker) isForwardCheckingSupported*() : BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:PKIXCertPathValidatorResult) clone*() : java_lang.Object,EXTENSIBLE;

PROCEDURE (self:PKIXCertPathValidatorResult) getPolicyTree*() : PolicyNode,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXCertPathValidatorResult) getPublicKey*() : java_security.PublicKey,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXCertPathValidatorResult) getTrustAnchor*() : TrustAnchor,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXCertPathValidatorResult) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) addCertPathChecker*(p0 : PKIXCertPathChecker),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) addCertStore*(p0 : CertStore),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) clone*() : java_lang.Object,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) getCertPathCheckers*() : java_util.List,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) getCertStores*() : java_util.List,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) getDate*() : java_util.Date,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) getInitialPolicies*() : java_util.Set,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) getPolicyQualifiersRejected*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) getSigProvider*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) getTargetCertConstraints*() : CertSelector,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) getTrustAnchors*() : java_util.Set,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) isAnyPolicyInhibited*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) isExplicitPolicyRequired*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) isPolicyMappingInhibited*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) isRevocationEnabled*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) setAnyPolicyInhibited*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) setCertPathCheckers*(p0 : java_util.List),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) setCertStores*(p0 : java_util.List),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) setDate*(p0 : java_util.Date),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) setExplicitPolicyRequired*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) setInitialPolicies*(p0 : java_util.Set),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) setPolicyMappingInhibited*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) setPolicyQualifiersRejected*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) setRevocationEnabled*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) setSigProvider*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) setTargetCertConstraints*(p0 : CertSelector),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) setTrustAnchors*(p0 : java_util.Set),NEW,EXTENSIBLE;

PROCEDURE (self:PKIXParameters) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:PolicyNode) getChildren*() : java_util.Iterator,NEW,ABSTRACT;

PROCEDURE (self:PolicyNode) getDepth*() : INTEGER,NEW,ABSTRACT;

PROCEDURE (self:PolicyNode) getExpectedPolicies*() : java_util.Set,NEW,ABSTRACT;

PROCEDURE (self:PolicyNode) getParent*() : PolicyNode,NEW,ABSTRACT;

PROCEDURE (self:PolicyNode) getPolicyQualifiers*() : java_util.Set,NEW,ABSTRACT;

PROCEDURE (self:PolicyNode) getValidPolicy*() : java_lang.String,NEW,ABSTRACT;

PROCEDURE (self:PolicyNode) isCritical*() : BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:PolicyQualifierInfo) getEncoded*() : POINTER TO ARRAY OF BYTE,NEW;

PROCEDURE (self:PolicyQualifierInfo) getPolicyQualifier*() : POINTER TO ARRAY OF BYTE,NEW;

PROCEDURE (self:PolicyQualifierInfo) getPolicyQualifierId*() : java_lang.String,NEW;

PROCEDURE (self:PolicyQualifierInfo) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:TrustAnchor) getCA*() : javax_security_auth_x500.X500Principal,NEW;

PROCEDURE (self:TrustAnchor) getCAName*() : java_lang.String,NEW;

PROCEDURE (self:TrustAnchor) getCAPublicKey*() : java_security.PublicKey,NEW;

PROCEDURE (self:TrustAnchor) getNameConstraints*() : POINTER TO ARRAY OF BYTE,NEW;

PROCEDURE (self:TrustAnchor) getTrustedCert*() : X509Certificate,NEW;

PROCEDURE (self:TrustAnchor) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:X509Certificate) checkValidity*(p0 : java_util.Date),NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) checkValidity*(),NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getBasicConstraints*() : INTEGER,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getExtendedKeyUsage*() : java_util.List,NEW,EXTENSIBLE;

PROCEDURE (self:X509Certificate) getIssuerAlternativeNames*() : java_util.Collection,NEW,EXTENSIBLE;

PROCEDURE (self:X509Certificate) getIssuerDN*() : java_security.Principal,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getIssuerUniqueID*() : POINTER TO ARRAY OF BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getIssuerX500Principal*() : javax_security_auth_x500.X500Principal,NEW,EXTENSIBLE;

PROCEDURE (self:X509Certificate) getKeyUsage*() : POINTER TO ARRAY OF BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getNotAfter*() : java_util.Date,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getNotBefore*() : java_util.Date,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getSerialNumber*() : java_math.BigInteger,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getSigAlgName*() : java_lang.String,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getSigAlgOID*() : java_lang.String,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getSigAlgParams*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getSignature*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getSubjectAlternativeNames*() : java_util.Collection,NEW,EXTENSIBLE;

PROCEDURE (self:X509Certificate) getSubjectDN*() : java_security.Principal,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getSubjectUniqueID*() : POINTER TO ARRAY OF BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getSubjectX500Principal*() : javax_security_auth_x500.X500Principal,NEW,EXTENSIBLE;

PROCEDURE (self:X509Certificate) getTBSCertificate*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;

PROCEDURE (self:X509Certificate) getVersion*() : INTEGER,NEW,ABSTRACT;

PROCEDURE (self:X509CertSelector) addPathToName*(p0 : INTEGER;
                                                 p1 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) addPathToName*(    p0 : INTEGER;
                                                 IN  p1 : ARRAY OF BYTE),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) addSubjectAlternativeName*(p0 : INTEGER;
                                                             p1 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) addSubjectAlternativeName*(    p0 : INTEGER;
                                                             IN  p1 : ARRAY OF BYTE),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) clone*() : java_lang.Object,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getAuthorityKeyIdentifier*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getBasicConstraints*() : INTEGER,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getCertificate*() : X509Certificate,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getCertificateValid*() : java_util.Date,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getExtendedKeyUsage*() : java_util.Set,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getIssuer*() : javax_security_auth_x500.X500Principal,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getIssuerAsBytes*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getIssuerAsString*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getKeyUsage*() : POINTER TO ARRAY OF BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getMatchAllSubjectAltNames*() : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getNameConstraints*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getPathToNames*() : java_util.Collection,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getPolicy*() : java_util.Set,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getPrivateKeyValid*() : java_util.Date,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getSerialNumber*() : java_math.BigInteger,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getSubject*() : javax_security_auth_x500.X500Principal,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getSubjectAlternativeNames*() : java_util.Collection,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getSubjectAsBytes*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getSubjectAsString*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getSubjectKeyIdentifier*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getSubjectPublicKey*() : java_security.PublicKey,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) getSubjectPublicKeyAlgID*() : java_lang.String,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) match*(p0 : Certificate) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setAuthorityKeyIdentifier*(IN  p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setBasicConstraints*(p0 : INTEGER),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setCertificate*(p0 : X509Certificate),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setCertificateValid*(p0 : java_util.Date),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setExtendedKeyUsage*(p0 : java_util.Set),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setIssuer*(p0 : javax_security_auth_x500.X500Principal),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setIssuer*(IN  p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setIssuer*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setKeyUsage*(IN  p0 : ARRAY OF BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setMatchAllSubjectAltNames*(p0 : BOOLEAN),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setNameConstraints*(IN  p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setPathToNames*(p0 : java_util.Collection),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setPolicy*(p0 : java_util.Set),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setPrivateKeyValid*(p0 : java_util.Date),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setSerialNumber*(p0 : java_math.BigInteger),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setSubject*(IN  p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setSubject*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setSubject*(p0 : javax_security_auth_x500.X500Principal),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setSubjectAlternativeNames*(p0 : java_util.Collection),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setSubjectKeyIdentifier*(IN  p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setSubjectPublicKey*(p0 : java_security.PublicKey),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setSubjectPublicKey*(IN  p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) setSubjectPublicKeyAlgID*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:X509CertSelector) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:X509CRL) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:X509CRL) getEncoded*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;

PROCEDURE (self:X509CRL) getIssuerDN*() : java_security.Principal,NEW,ABSTRACT;

PROCEDURE (self:X509CRL) getIssuerX500Principal*() : javax_security_auth_x500.X500Principal,NEW,EXTENSIBLE;

PROCEDURE (self:X509CRL) getNextUpdate*() : java_util.Date,NEW,ABSTRACT;

PROCEDURE (self:X509CRL) getRevokedCertificate*(p0 : java_math.BigInteger) : X509CRLEntry,NEW,ABSTRACT;

PROCEDURE (self:X509CRL) getRevokedCertificate*(p0 : X509Certificate) : X509CRLEntry,NEW,EXTENSIBLE;

PROCEDURE (self:X509CRL) getRevokedCertificates*() : java_util.Set,NEW,ABSTRACT;

PROCEDURE (self:X509CRL) getSigAlgName*() : java_lang.String,NEW,ABSTRACT;

PROCEDURE (self:X509CRL) getSigAlgOID*() : java_lang.String,NEW,ABSTRACT;

PROCEDURE (self:X509CRL) getSigAlgParams*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;

PROCEDURE (self:X509CRL) getSignature*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;

PROCEDURE (self:X509CRL) getTBSCertList*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;

PROCEDURE (self:X509CRL) getThisUpdate*() : java_util.Date,NEW,ABSTRACT;

PROCEDURE (self:X509CRL) getVersion*() : INTEGER,NEW,ABSTRACT;

PROCEDURE (self:X509CRL) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:X509CRL) verify*(p0 : java_security.PublicKey),NEW,ABSTRACT;

PROCEDURE (self:X509CRL) verify*(p0 : java_security.PublicKey;
                                 p1 : java_lang.String),NEW,ABSTRACT;

PROCEDURE (self:X509CRLEntry) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;

PROCEDURE (self:X509CRLEntry) getCertificateIssuer*() : javax_security_auth_x500.X500Principal,NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLEntry) getEncoded*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;

PROCEDURE (self:X509CRLEntry) getRevocationDate*() : java_util.Date,NEW,ABSTRACT;

PROCEDURE (self:X509CRLEntry) getSerialNumber*() : java_math.BigInteger,NEW,ABSTRACT;

PROCEDURE (self:X509CRLEntry) hasExtensions*() : BOOLEAN,NEW,ABSTRACT;

PROCEDURE (self:X509CRLEntry) hashCode*() : INTEGER,EXTENSIBLE;

PROCEDURE (self:X509CRLEntry) toString*() : java_lang.String,ABSTRACT;

PROCEDURE (self:X509CRLSelector) addIssuer*(p0 : javax_security_auth_x500.X500Principal),NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) addIssuerName*(p0 : java_lang.String),NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) addIssuerName*(IN  p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) clone*() : java_lang.Object,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) getCertificateChecking*() : X509Certificate,NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) getDateAndTime*() : java_util.Date,NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) getIssuerNames*() : java_util.Collection,NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) getIssuers*() : java_util.Collection,NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) getMaxCRL*() : java_math.BigInteger,NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) getMinCRL*() : java_math.BigInteger,NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) match*(p0 : CRL) : BOOLEAN,NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) setCertificateChecking*(p0 : X509Certificate),NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) setDateAndTime*(p0 : java_util.Date),NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) setIssuerNames*(p0 : java_util.Collection),NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) setIssuers*(p0 : java_util.Collection),NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) setMaxCRLNumber*(p0 : java_math.BigInteger),NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) setMinCRLNumber*(p0 : java_math.BigInteger),NEW,EXTENSIBLE;

PROCEDURE (self:X509CRLSelector) toString*() : java_lang.String,EXTENSIBLE;

PROCEDURE (self:X509Extension) getCriticalExtensionOIDs*() : java_util.Set,NEW,ABSTRACT;

PROCEDURE (self:X509Extension) getExtensionValue*(p0 : java_lang.String) : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;

PROCEDURE (self:X509Extension) getNonCriticalExtensionOIDs*() : java_util.Set,NEW,ABSTRACT;

PROCEDURE (self:X509Extension) hasUnsupportedCriticalExtension*() : BOOLEAN,NEW,ABSTRACT;

END java_security_cert.