FOREIGN MODULE java_security_cert;
IMPORT
java_lang,
java_security,
java_io,
java_lang_reflect,
java_util,
java_math;
TYPE
Certificate* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init!(p0 : java_lang.String) : Certificate,CONSTRUCTOR;
END;
CertificateEncodingException* = POINTER TO EXTENSIBLE RECORD (CertificateException)
STATIC
PROCEDURE Init*() : CertificateEncodingException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : CertificateEncodingException,CONSTRUCTOR;
END;
CertificateException* = POINTER TO EXTENSIBLE RECORD (java_security.GeneralSecurityException)
STATIC
PROCEDURE Init*() : CertificateException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : CertificateException,CONSTRUCTOR;
END;
CertificateExpiredException* = POINTER TO EXTENSIBLE RECORD (CertificateException)
STATIC
PROCEDURE Init*() : CertificateExpiredException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : CertificateExpiredException,CONSTRUCTOR;
END;
CertificateFactory* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
STATIC
PROCEDURE Init!(p0 : CertificateFactorySpi;
p1 : java_security.Provider;
p2 : java_lang.String) : CertificateFactory,CONSTRUCTOR;
PROCEDURE getInstance*(p0 : java_lang.String) : CertificateFactory;
PROCEDURE getInstance*(p0 : java_lang.String;
p1 : java_lang.String) : CertificateFactory;
END;
CertificateFactorySpi* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : CertificateFactorySpi,CONSTRUCTOR;
END;
CertificateNotYetValidException* = POINTER TO EXTENSIBLE RECORD (CertificateException)
STATIC
PROCEDURE Init*() : CertificateNotYetValidException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : CertificateNotYetValidException,CONSTRUCTOR;
END;
CertificateParsingException* = POINTER TO EXTENSIBLE RECORD (CertificateException)
STATIC
PROCEDURE Init*() : CertificateParsingException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : CertificateParsingException,CONSTRUCTOR;
END;
CRL* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init!(p0 : java_lang.String) : CRL,CONSTRUCTOR;
END;
CRLException* = POINTER TO EXTENSIBLE RECORD (java_security.GeneralSecurityException)
STATIC
PROCEDURE Init*() : CRLException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : CRLException,CONSTRUCTOR;
END;
X509Certificate* = POINTER TO ABSTRACT RECORD (Certificate + X509Extension)
STATIC
PROCEDURE Init!() : X509Certificate,CONSTRUCTOR;
END;
X509CRL* = POINTER TO ABSTRACT RECORD (CRL + X509Extension)
STATIC
PROCEDURE Init!() : X509CRL,CONSTRUCTOR;
END;
X509CRLEntry* = POINTER TO ABSTRACT RECORD (java_lang.Object + X509Extension)
STATIC
PROCEDURE Init*() : X509CRLEntry,CONSTRUCTOR;
END;
X509Extension* = POINTER TO INTERFACE RECORD (java_lang.Object)
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:CertificateFactory) generateCRL*(p0 : java_io.InputStream) : CRL,NEW;
PROCEDURE (self:CertificateFactory) generateCRLs*(p0 : java_io.InputStream) : java_util.Collection,NEW;
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) getProvider*() : java_security.Provider,NEW;
PROCEDURE (self:CertificateFactory) getType*() : java_lang.String,NEW;
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) engineGenerateCertificate*(p0 : java_io.InputStream) : Certificate,NEW,ABSTRACT;
PROCEDURE (self:CertificateFactorySpi) engineGenerateCertificates*(p0 : java_io.InputStream) : java_util.Collection,NEW,ABSTRACT;
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:X509Certificate) checkValidity*(),NEW,ABSTRACT;
PROCEDURE (self:X509Certificate) checkValidity*(p0 : java_util.Date),NEW,ABSTRACT;
PROCEDURE (self:X509Certificate) getBasicConstraints*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:X509Certificate) getCriticalExtensionOIDs*() : java_util.Set,NEW,ABSTRACT;
PROCEDURE (self:X509Certificate) getExtensionValue*(p0 : java_lang.String) : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;
PROCEDURE (self:X509Certificate) getIssuerDN*() : java_security.Principal,NEW,ABSTRACT;
PROCEDURE (self:X509Certificate) getIssuerUniqueID*() : POINTER TO ARRAY OF BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:X509Certificate) getKeyUsage*() : POINTER TO ARRAY OF BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:X509Certificate) getNonCriticalExtensionOIDs*() : java_util.Set,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) getSubjectDN*() : java_security.Principal,NEW,ABSTRACT;
PROCEDURE (self:X509Certificate) getSubjectUniqueID*() : POINTER TO ARRAY OF BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:X509Certificate) getTBSCertificate*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;
PROCEDURE (self:X509Certificate) getVersion*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:X509Certificate) hasUnsupportedCriticalExtension*() : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:X509CRL) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:X509CRL) getCriticalExtensionOIDs*() : java_util.Set,NEW,ABSTRACT;
PROCEDURE (self:X509CRL) getEncoded*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;
PROCEDURE (self:X509CRL) getExtensionValue*(p0 : java_lang.String) : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;
PROCEDURE (self:X509CRL) getIssuerDN*() : java_security.Principal,NEW,ABSTRACT;
PROCEDURE (self:X509CRL) getNextUpdate*() : java_util.Date,NEW,ABSTRACT;
PROCEDURE (self:X509CRL) getNonCriticalExtensionOIDs*() : java_util.Set,NEW,ABSTRACT;
PROCEDURE (self:X509CRL) getRevokedCertificate*(p0 : java_math.BigInteger) : X509CRLEntry,NEW,ABSTRACT;
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) hasUnsupportedCriticalExtension*() : BOOLEAN,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) getCriticalExtensionOIDs*() : java_util.Set,NEW,ABSTRACT;
PROCEDURE (self:X509CRLEntry) getEncoded*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;
PROCEDURE (self:X509CRLEntry) getExtensionValue*(p0 : java_lang.String) : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;
PROCEDURE (self:X509CRLEntry) getNonCriticalExtensionOIDs*() : java_util.Set,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) hasUnsupportedCriticalExtension*() : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:X509CRLEntry) hashCode*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:X509CRLEntry) toString*() : java_lang.String,ABSTRACT;
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.