FOREIGN MODULE java_security;
IMPORT
sun_security_util,
java_lang,
java_io,
java_security_spec,
java_util,
java_net,
java_security_cert,
sun_misc;
TYPE
AccessControlContext* = POINTER TO RECORD (java_lang.Object)
STATIC
PROCEDURE Init*(IN p0 : ARRAY OF ProtectionDomain) : AccessControlContext,CONSTRUCTOR;
END;
AccessControlException* = POINTER TO EXTENSIBLE RECORD (java_lang.SecurityException)
STATIC
PROCEDURE Init*(p0 : java_lang.String) : AccessControlException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String;
p1 : Permission) : AccessControlException,CONSTRUCTOR;
END;
AccessController* = POINTER TO RECORD (java_lang.Object)
STATIC
PROCEDURE checkPermission*(p0 : Permission);
PROCEDURE doPrivileged*(p0 : PrivilegedAction) : java_lang.Object;
PROCEDURE doPrivileged*(p0 : PrivilegedAction;
p1 : AccessControlContext) : java_lang.Object;
PROCEDURE doPrivileged*(p0 : PrivilegedExceptionAction) : java_lang.Object;
PROCEDURE doPrivileged*(p0 : PrivilegedExceptionAction;
p1 : AccessControlContext) : java_lang.Object;
PROCEDURE getContext*() : AccessControlContext;
END;
AlgorithmParameterGenerator* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
STATIC
PROCEDURE Init!(p0 : AlgorithmParameterGeneratorSpi;
p1 : Provider;
p2 : java_lang.String) : AlgorithmParameterGenerator,CONSTRUCTOR;
PROCEDURE getInstance*(p0 : java_lang.String) : AlgorithmParameterGenerator;
PROCEDURE getInstance*(p0 : java_lang.String;
p1 : java_lang.String) : AlgorithmParameterGenerator;
END;
AlgorithmParameterGeneratorSpi* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : AlgorithmParameterGeneratorSpi,CONSTRUCTOR;
END;
AlgorithmParameters* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
STATIC
PROCEDURE Init!(p0 : AlgorithmParametersSpi;
p1 : Provider;
p2 : java_lang.String) : AlgorithmParameters,CONSTRUCTOR;
PROCEDURE getInstance*(p0 : java_lang.String) : AlgorithmParameters;
PROCEDURE getInstance*(p0 : java_lang.String;
p1 : java_lang.String) : AlgorithmParameters;
END;
AlgorithmParametersSpi* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : AlgorithmParametersSpi,CONSTRUCTOR;
END;
AllPermission* = POINTER TO RECORD (Permission)
STATIC
PROCEDURE Init*() : AllPermission,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String;
p1 : java_lang.String) : AllPermission,CONSTRUCTOR;
END;
BasicPermission* = POINTER TO ABSTRACT RECORD (Permission + java_io.Serializable)
STATIC
PROCEDURE Init*(p0 : java_lang.String) : BasicPermission,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String;
p1 : java_lang.String) : BasicPermission,CONSTRUCTOR;
END;
Certificate* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
CodeSource* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)
STATIC
PROCEDURE Init*( p0 : java_net.URL;
IN p1 : ARRAY OF java_security_cert.Certificate) : CodeSource,CONSTRUCTOR;
END;
DigestException* = POINTER TO EXTENSIBLE RECORD (GeneralSecurityException)
STATIC
PROCEDURE Init*() : DigestException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : DigestException,CONSTRUCTOR;
END;
DigestInputStream* = POINTER TO EXTENSIBLE RECORD (java_io.FilterInputStream)
digest! : MessageDigest;
STATIC
PROCEDURE Init*(p0 : java_io.InputStream;
p1 : MessageDigest) : DigestInputStream,CONSTRUCTOR;
END;
DigestOutputStream* = POINTER TO EXTENSIBLE RECORD (java_io.FilterOutputStream)
digest! : MessageDigest;
STATIC
PROCEDURE Init*(p0 : java_io.OutputStream;
p1 : MessageDigest) : DigestOutputStream,CONSTRUCTOR;
END;
GeneralSecurityException* = POINTER TO EXTENSIBLE RECORD (java_lang.Exception)
STATIC
PROCEDURE Init*() : GeneralSecurityException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : GeneralSecurityException,CONSTRUCTOR;
END;
Guard* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
GuardedObject* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable)
STATIC
PROCEDURE Init*(p0 : java_lang.Object;
p1 : Guard) : GuardedObject,CONSTRUCTOR;
END;
Identity* = POINTER TO ABSTRACT RECORD (java_lang.Object + Principal + java_io.Serializable)
STATIC
PROCEDURE Init!() : Identity,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : Identity,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String;
p1 : IdentityScope) : Identity,CONSTRUCTOR;
END;
IdentityScope* = POINTER TO ABSTRACT RECORD (Identity)
STATIC
PROCEDURE Init!() : IdentityScope,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : IdentityScope,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String;
p1 : IdentityScope) : IdentityScope,CONSTRUCTOR;
PROCEDURE getSystemScope*() : IdentityScope;
PROCEDURE setSystemScope!(p0 : IdentityScope);
END;
InvalidAlgorithmParameterException* = POINTER TO EXTENSIBLE RECORD (GeneralSecurityException)
STATIC
PROCEDURE Init*() : InvalidAlgorithmParameterException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : InvalidAlgorithmParameterException,CONSTRUCTOR;
END;
InvalidKeyException* = POINTER TO EXTENSIBLE RECORD (KeyException)
STATIC
PROCEDURE Init*() : InvalidKeyException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : InvalidKeyException,CONSTRUCTOR;
END;
InvalidParameterException* = POINTER TO EXTENSIBLE RECORD (java_lang.IllegalArgumentException)
STATIC
PROCEDURE Init*() : InvalidParameterException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : InvalidParameterException,CONSTRUCTOR;
END;
Key* = POINTER TO INTERFACE RECORD (java_lang.Object + java_io.Serializable)
STATIC
serialVersionUID* = 6603384152749567654;
END;
KeyException* = POINTER TO EXTENSIBLE RECORD (GeneralSecurityException)
STATIC
PROCEDURE Init*() : KeyException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : KeyException,CONSTRUCTOR;
END;
KeyFactory* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
STATIC
PROCEDURE Init!(p0 : KeyFactorySpi;
p1 : Provider;
p2 : java_lang.String) : KeyFactory,CONSTRUCTOR;
PROCEDURE getInstance*(p0 : java_lang.String) : KeyFactory;
PROCEDURE getInstance*(p0 : java_lang.String;
p1 : java_lang.String) : KeyFactory;
END;
KeyFactorySpi* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : KeyFactorySpi,CONSTRUCTOR;
END;
KeyManagementException* = POINTER TO EXTENSIBLE RECORD (KeyException)
STATIC
PROCEDURE Init*() : KeyManagementException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : KeyManagementException,CONSTRUCTOR;
END;
KeyPair* = POINTER TO RECORD (java_lang.Object + java_io.Serializable)
STATIC
PROCEDURE Init*(p0 : PublicKey;
p1 : PrivateKey) : KeyPair,CONSTRUCTOR;
END;
KeyPairGenerator* = POINTER TO ABSTRACT RECORD (KeyPairGeneratorSpi)
STATIC
PROCEDURE Init!(p0 : java_lang.String) : KeyPairGenerator,CONSTRUCTOR;
PROCEDURE getInstance*(p0 : java_lang.String) : KeyPairGenerator;
PROCEDURE getInstance*(p0 : java_lang.String;
p1 : java_lang.String) : KeyPairGenerator;
END;
KeyPairGeneratorSpi* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : KeyPairGeneratorSpi,CONSTRUCTOR;
END;
KeyStore* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
STATIC
PROCEDURE Init!(p0 : KeyStoreSpi;
p1 : Provider;
p2 : java_lang.String) : KeyStore,CONSTRUCTOR;
PROCEDURE getDefaultType*() : java_lang.String;
PROCEDURE getInstance*(p0 : java_lang.String) : KeyStore;
PROCEDURE getInstance*(p0 : java_lang.String;
p1 : java_lang.String) : KeyStore;
END;
KeyStoreException* = POINTER TO EXTENSIBLE RECORD (GeneralSecurityException)
STATIC
PROCEDURE Init*() : KeyStoreException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : KeyStoreException,CONSTRUCTOR;
END;
KeyStoreSpi* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : KeyStoreSpi,CONSTRUCTOR;
END;
MessageDigest* = POINTER TO ABSTRACT RECORD (MessageDigestSpi)
STATIC
PROCEDURE Init!(p0 : java_lang.String) : MessageDigest,CONSTRUCTOR;
PROCEDURE getInstance*(p0 : java_lang.String) : MessageDigest;
PROCEDURE getInstance*(p0 : java_lang.String;
p1 : java_lang.String) : MessageDigest;
PROCEDURE isEqual*(IN p0 : ARRAY OF BYTE;
IN p1 : ARRAY OF BYTE) : BOOLEAN;
END;
MessageDigestSpi* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : MessageDigestSpi,CONSTRUCTOR;
END;
NoSuchAlgorithmException* = POINTER TO EXTENSIBLE RECORD (GeneralSecurityException)
STATIC
PROCEDURE Init*() : NoSuchAlgorithmException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : NoSuchAlgorithmException,CONSTRUCTOR;
END;
NoSuchProviderException* = POINTER TO EXTENSIBLE RECORD (GeneralSecurityException)
STATIC
PROCEDURE Init*() : NoSuchProviderException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : NoSuchProviderException,CONSTRUCTOR;
END;
Permission* = POINTER TO ABSTRACT RECORD (java_lang.Object + Guard + java_io.Serializable)
STATIC
PROCEDURE Init*(p0 : java_lang.String) : Permission,CONSTRUCTOR;
END;
PermissionCollection* = POINTER TO ABSTRACT RECORD (java_lang.Object + java_awt.Insets)
STATIC
PROCEDURE Init*() : PermissionCollection,CONSTRUCTOR;
END;
Permissions* = POINTER TO RECORD (PermissionCollection + java_awt.Insets)
STATIC
PROCEDURE Init*() : Permissions,CONSTRUCTOR;
END;
Policy* = POINTER TO ABSTRACT RECORD (java_lang.Object)
STATIC
PROCEDURE Init*() : Policy,CONSTRUCTOR;
PROCEDURE getPolicy*() : Policy;
PROCEDURE setPolicy*(p0 : Policy);
END;
Principal* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
PrivateKey* = POINTER TO INTERFACE RECORD (java_lang.Object + java_awt.Cursor)
STATIC
serialVersionUID* = 6034044314589513430;
END;
PrivilegedAction* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
PrivilegedActionException* = POINTER TO EXTENSIBLE RECORD (java_lang.Exception)
STATIC
PROCEDURE Init*(p0 : java_lang.Exception) : PrivilegedActionException,CONSTRUCTOR;
END;
PrivilegedExceptionAction* = POINTER TO INTERFACE RECORD (java_lang.Object)
END;
ProtectionDomain* = POINTER TO EXTENSIBLE RECORD (java_lang.Object)
STATIC
PROCEDURE Init*(p0 : CodeSource;
p1 : PermissionCollection) : ProtectionDomain,CONSTRUCTOR;
END;
Provider* = POINTER TO ABSTRACT RECORD (java_util.Properties)
STATIC
PROCEDURE Init!(p0 : java_lang.String;
p1 : REAL;
p2 : java_lang.String) : Provider,CONSTRUCTOR;
END;
ProviderException* = POINTER TO EXTENSIBLE RECORD (java_lang.RuntimeException)
STATIC
PROCEDURE Init*() : ProviderException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : ProviderException,CONSTRUCTOR;
END;
PublicKey* = POINTER TO INTERFACE RECORD (java_lang.Object + java_awt.Cursor)
STATIC
serialVersionUID* = 7187392471159151072;
END;
SecureClassLoader* = POINTER TO EXTENSIBLE RECORD (java_lang.ClassLoader)
STATIC
PROCEDURE Init!() : SecureClassLoader,CONSTRUCTOR;
PROCEDURE Init!(p0 : java_lang.ClassLoader) : SecureClassLoader,CONSTRUCTOR;
END;
SecureRandom* = POINTER TO EXTENSIBLE RECORD (java_util.Random)
STATIC
PROCEDURE Init*() : SecureRandom,CONSTRUCTOR;
PROCEDURE Init!(p0 : SecureRandomSpi;
p1 : Provider) : SecureRandom,CONSTRUCTOR;
PROCEDURE Init*(IN p0 : ARRAY OF BYTE) : SecureRandom,CONSTRUCTOR;
PROCEDURE getInstance*(p0 : java_lang.String) : SecureRandom;
PROCEDURE getInstance*(p0 : java_lang.String;
p1 : java_lang.String) : SecureRandom;
PROCEDURE getSeed*(p0 : INTEGER) : POINTER TO ARRAY OF BYTE;
END;
SecureRandomSpi* = POINTER TO ABSTRACT RECORD (java_lang.Object + java_awt.Insets)
STATIC
PROCEDURE Init*() : SecureRandomSpi,CONSTRUCTOR;
END;
Security* = POINTER TO RECORD (java_lang.Object)
STATIC
PROCEDURE addProvider*(p0 : Provider) : INTEGER;
PROCEDURE getAlgorithmProperty*(p0 : java_lang.String;
p1 : java_lang.String) : java_lang.String;
PROCEDURE getProperty*(p0 : java_lang.String) : java_lang.String;
PROCEDURE getProvider*(p0 : java_lang.String) : Provider;
PROCEDURE getProviders*() : POINTER TO ARRAY OF Provider;
PROCEDURE insertProviderAt*(p0 : Provider;
p1 : INTEGER) : INTEGER;
PROCEDURE removeProvider*(p0 : java_lang.String);
PROCEDURE setProperty*(p0 : java_lang.String;
p1 : java_lang.String);
END;
SecurityPermission* = POINTER TO RECORD (BasicPermission)
STATIC
PROCEDURE Init*(p0 : java_lang.String) : SecurityPermission,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String;
p1 : java_lang.String) : SecurityPermission,CONSTRUCTOR;
END;
Signature* = POINTER TO ABSTRACT RECORD (SignatureSpi)
state! : INTEGER;
STATIC
UNINITIALIZED! = 0;
SIGN! = 2;
VERIFY! = 3;
PROCEDURE Init!(p0 : java_lang.String) : Signature,CONSTRUCTOR;
PROCEDURE getInstance*(p0 : java_lang.String) : Signature;
PROCEDURE getInstance*(p0 : java_lang.String;
p1 : java_lang.String) : Signature;
END;
SignatureException* = POINTER TO EXTENSIBLE RECORD (GeneralSecurityException)
STATIC
PROCEDURE Init*() : SignatureException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : SignatureException,CONSTRUCTOR;
END;
SignatureSpi* = POINTER TO ABSTRACT RECORD (java_lang.Object)
appRandom! : SecureRandom;
STATIC
PROCEDURE Init*() : SignatureSpi,CONSTRUCTOR;
END;
SignedObject* = POINTER TO RECORD (java_lang.Object + java_awt.Insets)
STATIC
PROCEDURE Init*(p0 : java_io.Serializable;
p1 : PrivateKey;
p2 : Signature) : SignedObject,CONSTRUCTOR;
END;
Signer* = POINTER TO ABSTRACT RECORD (Identity)
STATIC
PROCEDURE Init!() : Signer,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : Signer,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String;
p1 : IdentityScope) : Signer,CONSTRUCTOR;
END;
UnrecoverableKeyException* = POINTER TO EXTENSIBLE RECORD (GeneralSecurityException)
STATIC
PROCEDURE Init*() : UnrecoverableKeyException,CONSTRUCTOR;
PROCEDURE Init*(p0 : java_lang.String) : UnrecoverableKeyException,CONSTRUCTOR;
END;
UnresolvedPermission* = POINTER TO RECORD (Permission + java_awt.Insets)
STATIC
PROCEDURE Init*( p0 : java_lang.String;
p1 : java_lang.String;
p2 : java_lang.String;
IN p3 : ARRAY OF java_security_cert.Certificate) : UnresolvedPermission,CONSTRUCTOR;
END;
PROCEDURE (self:AccessControlContext) checkPermission*(p0 : Permission),NEW,EXTENSIBLE;
PROCEDURE (self:AccessControlContext) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:AccessControlContext) hashCode*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:AccessControlException) getPermission*() : Permission,NEW,EXTENSIBLE;
PROCEDURE (self:AlgorithmParameterGenerator) generateParameters*() : AlgorithmParameters,NEW;
PROCEDURE (self:AlgorithmParameterGenerator) getAlgorithm*() : java_lang.String,NEW;
PROCEDURE (self:AlgorithmParameterGenerator) getProvider*() : Provider,NEW;
PROCEDURE (self:AlgorithmParameterGenerator) init*(p0 : INTEGER),NEW;
PROCEDURE (self:AlgorithmParameterGenerator) init*(p0 : INTEGER;
p1 : SecureRandom),NEW;
PROCEDURE (self:AlgorithmParameterGenerator) init*(p0 : java_security_spec.AlgorithmParameterSpec),NEW;
PROCEDURE (self:AlgorithmParameterGenerator) init*(p0 : java_security_spec.AlgorithmParameterSpec;
p1 : SecureRandom),NEW;
PROCEDURE (self:AlgorithmParameterGeneratorSpi) engineGenerateParameters!() : AlgorithmParameters,NEW,ABSTRACT;
PROCEDURE (self:AlgorithmParameterGeneratorSpi) engineInit!(p0 : INTEGER;
p1 : SecureRandom),NEW,ABSTRACT;
PROCEDURE (self:AlgorithmParameterGeneratorSpi) engineInit!(p0 : java_security_spec.AlgorithmParameterSpec;
p1 : SecureRandom),NEW,ABSTRACT;
PROCEDURE (self:AlgorithmParameters) getAlgorithm*() : java_lang.String,NEW;
PROCEDURE (self:AlgorithmParameters) getEncoded*() : POINTER TO ARRAY OF BYTE,NEW;
PROCEDURE (self:AlgorithmParameters) getEncoded*(p0 : java_lang.String) : POINTER TO ARRAY OF BYTE,NEW;
PROCEDURE (self:AlgorithmParameters) getParameterSpec*(p0 : java_lang.Class) : java_security_spec.AlgorithmParameterSpec,NEW;
PROCEDURE (self:AlgorithmParameters) getProvider*() : Provider,NEW;
PROCEDURE (self:AlgorithmParameters) init*(p0 : java_security_spec.AlgorithmParameterSpec),NEW;
PROCEDURE (self:AlgorithmParameters) init*(IN p0 : ARRAY OF BYTE),NEW;
PROCEDURE (self:AlgorithmParameters) init*(IN p0 : ARRAY OF BYTE;
p1 : java_lang.String),NEW;
PROCEDURE (self:AlgorithmParameters) toString*() : java_lang.String;
PROCEDURE (self:AlgorithmParametersSpi) engineGetEncoded!() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;
PROCEDURE (self:AlgorithmParametersSpi) engineGetEncoded!(p0 : java_lang.String) : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;
PROCEDURE (self:AlgorithmParametersSpi) engineGetParameterSpec!(p0 : java_lang.Class) : java_security_spec.AlgorithmParameterSpec,NEW,ABSTRACT;
PROCEDURE (self:AlgorithmParametersSpi) engineInit!(p0 : java_security_spec.AlgorithmParameterSpec),NEW,ABSTRACT;
PROCEDURE (self:AlgorithmParametersSpi) engineInit!(IN p0 : ARRAY OF BYTE),NEW,ABSTRACT;
PROCEDURE (self:AlgorithmParametersSpi) engineInit!(IN p0 : ARRAY OF BYTE;
p1 : java_lang.String),NEW,ABSTRACT;
PROCEDURE (self:AlgorithmParametersSpi) engineToString!() : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:AllPermission) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:AllPermission) getActions*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:AllPermission) hashCode*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:AllPermission) implies*(p0 : Permission) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:AllPermission) newPermissionCollection*() : PermissionCollection,EXTENSIBLE;
PROCEDURE (self:BasicPermission) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:BasicPermission) getActions*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:BasicPermission) hashCode*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:BasicPermission) implies*(p0 : Permission) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:BasicPermission) newPermissionCollection*() : PermissionCollection,EXTENSIBLE;
PROCEDURE (self:Certificate) decode*(p0 : java_io.InputStream),NEW,ABSTRACT;
PROCEDURE (self:Certificate) encode*(p0 : java_io.OutputStream),NEW,ABSTRACT;
PROCEDURE (self:Certificate) getFormat*() : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:Certificate) getGuarantor*() : Principal,NEW,ABSTRACT;
PROCEDURE (self:Certificate) getPrincipal*() : Principal,NEW,ABSTRACT;
PROCEDURE (self:Certificate) getPublicKey*() : PublicKey,NEW,ABSTRACT;
PROCEDURE (self:Certificate) toString*(p0 : BOOLEAN) : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:CodeSource) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:CodeSource) getCertificates*() : POINTER TO ARRAY OF java_security_cert.Certificate,NEW;
PROCEDURE (self:CodeSource) getLocation*() : java_net.URL,NEW;
PROCEDURE (self:CodeSource) hashCode*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:CodeSource) implies*(p0 : CodeSource) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:CodeSource) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:DigestInputStream) getMessageDigest*() : MessageDigest,NEW,EXTENSIBLE;
PROCEDURE (self:DigestInputStream) on*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:DigestInputStream) read*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:DigestInputStream) read*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,EXTENSIBLE;
PROCEDURE (self:DigestInputStream) setMessageDigest*(p0 : MessageDigest),NEW,EXTENSIBLE;
PROCEDURE (self:DigestInputStream) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:DigestOutputStream) getMessageDigest*() : MessageDigest,NEW,EXTENSIBLE;
PROCEDURE (self:DigestOutputStream) on*(p0 : BOOLEAN),NEW,EXTENSIBLE;
PROCEDURE (self:DigestOutputStream) setMessageDigest*(p0 : MessageDigest),NEW,EXTENSIBLE;
PROCEDURE (self:DigestOutputStream) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:DigestOutputStream) write*(p0 : INTEGER),EXTENSIBLE;
PROCEDURE (self:DigestOutputStream) write*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),EXTENSIBLE;
PROCEDURE (self:Guard) checkGuard*(p0 : java_lang.Object),NEW,ABSTRACT;
PROCEDURE (self:GuardedObject) getObject*() : java_lang.Object,NEW,EXTENSIBLE;
PROCEDURE (self:Identity) addCertificate*(p0 : Certificate),NEW,EXTENSIBLE;
PROCEDURE (self:Identity) certificates*() : POINTER TO ARRAY OF Certificate,NEW,EXTENSIBLE;
PROCEDURE (self:Identity) equals*(p0 : java_lang.Object) : BOOLEAN;
PROCEDURE (self:Identity) getInfo*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:Identity) getName*() : java_lang.String,NEW;
PROCEDURE (self:Identity) getPublicKey*() : PublicKey,NEW,EXTENSIBLE;
PROCEDURE (self:Identity) getScope*() : IdentityScope,NEW;
PROCEDURE (self:Identity) hashCode*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:Identity) identityEquals!(p0 : Identity) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:Identity) removeCertificate*(p0 : Certificate),NEW,EXTENSIBLE;
PROCEDURE (self:Identity) setInfo*(p0 : java_lang.String),NEW,EXTENSIBLE;
PROCEDURE (self:Identity) setPublicKey*(p0 : PublicKey),NEW,EXTENSIBLE;
PROCEDURE (self:Identity) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:Identity) toString*(p0 : BOOLEAN) : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:IdentityScope) addIdentity*(p0 : Identity),NEW,ABSTRACT;
PROCEDURE (self:IdentityScope) getIdentity*(p0 : java_lang.String) : Identity,NEW,ABSTRACT;
PROCEDURE (self:IdentityScope) getIdentity*(p0 : Principal) : Identity,NEW,EXTENSIBLE;
PROCEDURE (self:IdentityScope) getIdentity*(p0 : PublicKey) : Identity,NEW,ABSTRACT;
PROCEDURE (self:IdentityScope) identities*() : java_util.Enumeration,NEW,ABSTRACT;
PROCEDURE (self:IdentityScope) removeIdentity*(p0 : Identity),NEW,ABSTRACT;
PROCEDURE (self:IdentityScope) size*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:IdentityScope) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:Key) getAlgorithm*() : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:Key) getEncoded*() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;
PROCEDURE (self:Key) getFormat*() : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:KeyFactory) generatePrivate*(p0 : java_security_spec.KeySpec) : PrivateKey,NEW;
PROCEDURE (self:KeyFactory) generatePublic*(p0 : java_security_spec.KeySpec) : PublicKey,NEW;
PROCEDURE (self:KeyFactory) getAlgorithm*() : java_lang.String,NEW;
PROCEDURE (self:KeyFactory) getKeySpec*(p0 : Key;
p1 : java_lang.Class) : java_security_spec.KeySpec,NEW;
PROCEDURE (self:KeyFactory) getProvider*() : Provider,NEW;
PROCEDURE (self:KeyFactory) translateKey*(p0 : Key) : Key,NEW;
PROCEDURE (self:KeyFactorySpi) engineGeneratePrivate!(p0 : java_security_spec.KeySpec) : PrivateKey,NEW,ABSTRACT;
PROCEDURE (self:KeyFactorySpi) engineGeneratePublic!(p0 : java_security_spec.KeySpec) : PublicKey,NEW,ABSTRACT;
PROCEDURE (self:KeyFactorySpi) engineGetKeySpec!(p0 : Key;
p1 : java_lang.Class) : java_security_spec.KeySpec,NEW,ABSTRACT;
PROCEDURE (self:KeyFactorySpi) engineTranslateKey!(p0 : Key) : Key,NEW,ABSTRACT;
PROCEDURE (self:KeyPair) getPrivate*() : PrivateKey,NEW,EXTENSIBLE;
PROCEDURE (self:KeyPair) getPublic*() : PublicKey,NEW,EXTENSIBLE;
PROCEDURE (self:KeyPairGenerator) genKeyPair*() : KeyPair,NEW;
PROCEDURE (self:KeyPairGenerator) getAlgorithm*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:KeyPairGenerator) getProvider*() : Provider,NEW;
PROCEDURE (self:KeyPairGenerator) initialize*(p0 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:KeyPairGenerator) initialize*(p0 : INTEGER;
p1 : SecureRandom),EXTENSIBLE;
PROCEDURE (self:KeyPairGenerator) initialize*(p0 : java_security_spec.AlgorithmParameterSpec),NEW,EXTENSIBLE;
PROCEDURE (self:KeyPairGenerator) initialize*(p0 : java_security_spec.AlgorithmParameterSpec;
p1 : SecureRandom),EXTENSIBLE;
PROCEDURE (self:KeyPairGeneratorSpi) generateKeyPair*() : KeyPair,NEW,ABSTRACT;
PROCEDURE (self:KeyPairGeneratorSpi) initialize*(p0 : INTEGER;
p1 : SecureRandom),NEW,ABSTRACT;
PROCEDURE (self:KeyPairGeneratorSpi) initialize*(p0 : java_security_spec.AlgorithmParameterSpec;
p1 : SecureRandom),NEW,EXTENSIBLE;
PROCEDURE (self:KeyStore) aliases*() : java_util.Enumeration,NEW;
PROCEDURE (self:KeyStore) containsAlias*(p0 : java_lang.String) : BOOLEAN,NEW;
PROCEDURE (self:KeyStore) deleteEntry*(p0 : java_lang.String),NEW;
PROCEDURE (self:KeyStore) getCertificate*(p0 : java_lang.String) : java_security_cert.Certificate,NEW;
PROCEDURE (self:KeyStore) getCertificateAlias*(p0 : java_security_cert.Certificate) : java_lang.String,NEW;
PROCEDURE (self:KeyStore) getCertificateChain*(p0 : java_lang.String) : POINTER TO ARRAY OF java_security_cert.Certificate,NEW;
PROCEDURE (self:KeyStore) getCreationDate*(p0 : java_lang.String) : java_util.Date,NEW;
PROCEDURE (self:KeyStore) getKey*( p0 : java_lang.String;
IN p1 : ARRAY OF CHAR) : Key,NEW;
PROCEDURE (self:KeyStore) getProvider*() : Provider,NEW;
PROCEDURE (self:KeyStore) getType*() : java_lang.String,NEW;
PROCEDURE (self:KeyStore) isCertificateEntry*(p0 : java_lang.String) : BOOLEAN,NEW;
PROCEDURE (self:KeyStore) isKeyEntry*(p0 : java_lang.String) : BOOLEAN,NEW;
PROCEDURE (self:KeyStore) load*( p0 : java_io.InputStream;
IN p1 : ARRAY OF CHAR),NEW;
PROCEDURE (self:KeyStore) setCertificateEntry*(p0 : java_lang.String;
p1 : java_security_cert.Certificate),NEW;
PROCEDURE (self:KeyStore) setKeyEntry*( p0 : java_lang.String;
p1 : Key;
IN p2 : ARRAY OF CHAR;
IN p3 : ARRAY OF java_security_cert.Certificate),NEW;
PROCEDURE (self:KeyStore) setKeyEntry*( p0 : java_lang.String;
IN p1 : ARRAY OF BYTE;
IN p2 : ARRAY OF java_security_cert.Certificate),NEW;
PROCEDURE (self:KeyStore) size*() : INTEGER,NEW;
PROCEDURE (self:KeyStore) store*( p0 : java_io.OutputStream;
IN p1 : ARRAY OF CHAR),NEW;
PROCEDURE (self:KeyStoreSpi) engineAliases*() : java_util.Enumeration,NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineContainsAlias*(p0 : java_lang.String) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineDeleteEntry*(p0 : java_lang.String),NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineGetCertificate*(p0 : java_lang.String) : java_security_cert.Certificate,NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineGetCertificateAlias*(p0 : java_security_cert.Certificate) : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineGetCertificateChain*(p0 : java_lang.String) : POINTER TO ARRAY OF java_security_cert.Certificate,NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineGetCreationDate*(p0 : java_lang.String) : java_util.Date,NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineGetKey*( p0 : java_lang.String;
IN p1 : ARRAY OF CHAR) : Key,NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineIsCertificateEntry*(p0 : java_lang.String) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineIsKeyEntry*(p0 : java_lang.String) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineLoad*( p0 : java_io.InputStream;
IN p1 : ARRAY OF CHAR),NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineSetCertificateEntry*(p0 : java_lang.String;
p1 : java_security_cert.Certificate),NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineSetKeyEntry*( p0 : java_lang.String;
p1 : Key;
IN p2 : ARRAY OF CHAR;
IN p3 : ARRAY OF java_security_cert.Certificate),NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineSetKeyEntry*( p0 : java_lang.String;
IN p1 : ARRAY OF BYTE;
IN p2 : ARRAY OF java_security_cert.Certificate),NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineSize*() : INTEGER,NEW,ABSTRACT;
PROCEDURE (self:KeyStoreSpi) engineStore*( p0 : java_io.OutputStream;
IN p1 : ARRAY OF CHAR),NEW,ABSTRACT;
PROCEDURE (self:MessageDigest) clone*() : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:MessageDigest) digest*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;
PROCEDURE (self:MessageDigest) digest*(IN p0 : ARRAY OF BYTE) : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;
PROCEDURE (self:MessageDigest) digest*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:MessageDigest) getAlgorithm*() : java_lang.String,NEW;
PROCEDURE (self:MessageDigest) getDigestLength*() : INTEGER,NEW;
PROCEDURE (self:MessageDigest) getProvider*() : Provider,NEW;
PROCEDURE (self:MessageDigest) reset*(),NEW,EXTENSIBLE;
PROCEDURE (self:MessageDigest) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:MessageDigest) update*(p0 : BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:MessageDigest) update*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:MessageDigest) update*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,EXTENSIBLE;
PROCEDURE (self:MessageDigestSpi) clone*() : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:MessageDigestSpi) engineDigest!() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;
PROCEDURE (self:MessageDigestSpi) engineDigest!(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:MessageDigestSpi) engineGetDigestLength!() : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:MessageDigestSpi) engineReset!(),NEW,ABSTRACT;
PROCEDURE (self:MessageDigestSpi) engineUpdate!(p0 : BYTE),NEW,ABSTRACT;
PROCEDURE (self:MessageDigestSpi) engineUpdate!(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:Permission) checkGuard*(p0 : java_lang.Object),NEW,EXTENSIBLE;
PROCEDURE (self:Permission) equals*(p0 : java_lang.Object) : BOOLEAN,ABSTRACT;
PROCEDURE (self:Permission) getActions*() : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:Permission) getName*() : java_lang.String,NEW;
PROCEDURE (self:Permission) hashCode*() : INTEGER,ABSTRACT;
PROCEDURE (self:Permission) implies*(p0 : Permission) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:Permission) newPermissionCollection*() : PermissionCollection,NEW,EXTENSIBLE;
PROCEDURE (self:Permission) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:PermissionCollection) add*(p0 : Permission),NEW,ABSTRACT;
PROCEDURE (self:PermissionCollection) elements*() : java_util.Enumeration,NEW,ABSTRACT;
PROCEDURE (self:PermissionCollection) implies*(p0 : Permission) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:PermissionCollection) isReadOnly*() : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:PermissionCollection) setReadOnly*(),NEW,EXTENSIBLE;
PROCEDURE (self:PermissionCollection) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:Permissions) add*(p0 : Permission),EXTENSIBLE;
PROCEDURE (self:Permissions) elements*() : java_util.Enumeration,EXTENSIBLE;
PROCEDURE (self:Permissions) implies*(p0 : Permission) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:Policy) getPermissions*(p0 : CodeSource) : PermissionCollection,NEW,ABSTRACT;
PROCEDURE (self:Policy) refresh*(),NEW,ABSTRACT;
PROCEDURE (self:Principal) equals*(p0 : java_lang.Object) : BOOLEAN,ABSTRACT;
PROCEDURE (self:Principal) getName*() : java_lang.String,NEW,ABSTRACT;
PROCEDURE (self:Principal) hashCode*() : INTEGER,ABSTRACT;
PROCEDURE (self:Principal) toString*() : java_lang.String,ABSTRACT;
PROCEDURE (self:PrivilegedAction) run*() : java_lang.Object,NEW,ABSTRACT;
PROCEDURE (self:PrivilegedActionException) getException*() : java_lang.Exception,NEW,EXTENSIBLE;
PROCEDURE (self:PrivilegedActionException) printStackTrace*(),EXTENSIBLE;
PROCEDURE (self:PrivilegedActionException) printStackTrace*(p0 : java_io.PrintStream),EXTENSIBLE;
PROCEDURE (self:PrivilegedActionException) printStackTrace*(p0 : java_io.PrintWriter),EXTENSIBLE;
PROCEDURE (self:PrivilegedExceptionAction) run*() : java_lang.Object,NEW,ABSTRACT;
PROCEDURE (self:ProtectionDomain) getCodeSource*() : CodeSource,NEW;
PROCEDURE (self:ProtectionDomain) getPermissions*() : PermissionCollection,NEW;
PROCEDURE (self:ProtectionDomain) implies*(p0 : Permission) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:ProtectionDomain) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:Provider) clear*(),EXTENSIBLE;
PROCEDURE (self:Provider) entrySet*() : java_util.Set,EXTENSIBLE;
PROCEDURE (self:Provider) getInfo*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:Provider) getName*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:Provider) getVersion*() : REAL,NEW,EXTENSIBLE;
PROCEDURE (self:Provider) keySet*() : java_util.Set,EXTENSIBLE;
PROCEDURE (self:Provider) load*(p0 : java_io.InputStream),EXTENSIBLE;
PROCEDURE (self:Provider) put*(p0 : java_lang.Object;
p1 : java_lang.Object) : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:Provider) putAll*(p0 : java_util.Map),EXTENSIBLE;
PROCEDURE (self:Provider) remove*(p0 : java_lang.Object) : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:Provider) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:Provider) values*() : java_util.Collection,EXTENSIBLE;
PROCEDURE (self:SecureClassLoader) defineClass!( p0 : java_lang.String;
IN p1 : ARRAY OF BYTE;
p2 : INTEGER;
p3 : INTEGER;
p4 : CodeSource) : java_lang.Class,NEW;
PROCEDURE (self:SecureClassLoader) getPermissions!(p0 : CodeSource) : PermissionCollection,NEW,EXTENSIBLE;
PROCEDURE (self:SecureRandom) generateSeed*(p0 : INTEGER) : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;
PROCEDURE (self:SecureRandom) getProvider*() : Provider,NEW;
PROCEDURE (self:SecureRandom) next!(p0 : INTEGER) : INTEGER;
PROCEDURE (self:SecureRandom) nextBytes*(IN p0 : ARRAY OF BYTE),EXTENSIBLE;
PROCEDURE (self:SecureRandom) setSeed*(p0 : LONGINT),EXTENSIBLE;
PROCEDURE (self:SecureRandom) setSeed*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE;
PROCEDURE (self:SecureRandomSpi) engineGenerateSeed!(p0 : INTEGER) : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;
PROCEDURE (self:SecureRandomSpi) engineNextBytes!(IN p0 : ARRAY OF BYTE),NEW,ABSTRACT;
PROCEDURE (self:SecureRandomSpi) engineSetSeed!(IN p0 : ARRAY OF BYTE),NEW,ABSTRACT;
PROCEDURE (self:Signature) clone*() : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:Signature) getAlgorithm*() : java_lang.String,NEW;
PROCEDURE (self:Signature) getParameter*(p0 : java_lang.String) : java_lang.Object,NEW;
PROCEDURE (self:Signature) getProvider*() : Provider,NEW;
PROCEDURE (self:Signature) initSign*(p0 : PrivateKey),NEW;
PROCEDURE (self:Signature) initSign*(p0 : PrivateKey;
p1 : SecureRandom),NEW;
PROCEDURE (self:Signature) initVerify*(p0 : PublicKey),NEW;
PROCEDURE (self:Signature) setParameter*(p0 : java_lang.String;
p1 : java_lang.Object),NEW;
PROCEDURE (self:Signature) setParameter*(p0 : java_security_spec.AlgorithmParameterSpec),NEW;
PROCEDURE (self:Signature) sign*() : POINTER TO ARRAY OF BYTE,NEW;
PROCEDURE (self:Signature) sign*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,NEW;
PROCEDURE (self:Signature) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:Signature) update*(p0 : BYTE),NEW;
PROCEDURE (self:Signature) update*(IN p0 : ARRAY OF BYTE),NEW;
PROCEDURE (self:Signature) update*(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW;
PROCEDURE (self:Signature) verify*(IN p0 : ARRAY OF BYTE) : BOOLEAN,NEW;
PROCEDURE (self:SignatureSpi) clone*() : java_lang.Object,EXTENSIBLE;
PROCEDURE (self:SignatureSpi) engineGetParameter!(p0 : java_lang.String) : java_lang.Object,NEW,ABSTRACT;
PROCEDURE (self:SignatureSpi) engineInitSign!(p0 : PrivateKey),NEW,ABSTRACT;
PROCEDURE (self:SignatureSpi) engineInitSign!(p0 : PrivateKey;
p1 : SecureRandom),NEW,EXTENSIBLE;
PROCEDURE (self:SignatureSpi) engineInitVerify!(p0 : PublicKey),NEW,ABSTRACT;
PROCEDURE (self:SignatureSpi) engineSetParameter!(p0 : java_lang.String;
p1 : java_lang.Object),NEW,ABSTRACT;
PROCEDURE (self:SignatureSpi) engineSetParameter!(p0 : java_security_spec.AlgorithmParameterSpec),NEW,EXTENSIBLE;
PROCEDURE (self:SignatureSpi) engineSign!() : POINTER TO ARRAY OF BYTE,NEW,ABSTRACT;
PROCEDURE (self:SignatureSpi) engineSign!(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER) : INTEGER,NEW,EXTENSIBLE;
PROCEDURE (self:SignatureSpi) engineUpdate!(p0 : BYTE),NEW,ABSTRACT;
PROCEDURE (self:SignatureSpi) engineUpdate!(IN p0 : ARRAY OF BYTE;
p1 : INTEGER;
p2 : INTEGER),NEW,ABSTRACT;
PROCEDURE (self:SignatureSpi) engineVerify!(IN p0 : ARRAY OF BYTE) : BOOLEAN,NEW,ABSTRACT;
PROCEDURE (self:SignedObject) getAlgorithm*() : java_lang.String,NEW,EXTENSIBLE;
PROCEDURE (self:SignedObject) getObject*() : java_lang.Object,NEW,EXTENSIBLE;
PROCEDURE (self:SignedObject) getSignature*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE;
PROCEDURE (self:SignedObject) verify*(p0 : PublicKey;
p1 : Signature) : BOOLEAN,NEW,EXTENSIBLE;
PROCEDURE (self:Signer) getPrivateKey*() : PrivateKey,NEW,EXTENSIBLE;
PROCEDURE (self:Signer) setKeyPair*(p0 : KeyPair),NEW;
PROCEDURE (self:Signer) toString*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:UnresolvedPermission) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:UnresolvedPermission) getActions*() : java_lang.String,EXTENSIBLE;
PROCEDURE (self:UnresolvedPermission) hashCode*() : INTEGER,EXTENSIBLE;
PROCEDURE (self:UnresolvedPermission) implies*(p0 : Permission) : BOOLEAN,EXTENSIBLE;
PROCEDURE (self:UnresolvedPermission) newPermissionCollection*() : PermissionCollection,EXTENSIBLE;
PROCEDURE (self:UnresolvedPermission) toString*() : java_lang.String,EXTENSIBLE;
END java_security.