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.