Uses of Class

Packages that use Provider JML Specifications for the corresponding types in the Java Developement Kit (JDK). 

Uses of Provider in

Fields in declared as Provider
private  Provider Signature.provider
private  Provider SecureRandom.provider
private  Provider AlgorithmParameters.provider

Methods in that return Provider
 Provider Signature.getProvider()
(package private) static Provider Provider.loadProvider(String)
 Provider SecureRandom.getProvider()
 Provider AlgorithmParameters.getProvider()

Methods in with parameters of type Provider
static Signature Signature.getInstance(String algorithm, Provider provider)
static SecureRandom SecureRandom.getInstance(String, Provider)
static AlgorithmParameters AlgorithmParameters.getInstance(String, Provider)

Constructors in with parameters of type Provider
SecureRandom(SecureRandomSpi, Provider)
AlgorithmParameters(AlgorithmParametersSpi, Provider, String)

Uses of Provider in javax.crypto

Fields in javax.crypto declared as Provider
private  Provider ExemptionMechanism.provider

Methods in javax.crypto that return Provider
 Provider SecretKeyFactory.getProvider()
 Provider Cipher.getProvider()
 Provider ExemptionMechanism.getProvider()

Methods in javax.crypto with parameters of type Provider
static SecretKeyFactory SecretKeyFactory.getInstance(String algorithm, Provider provider)
static Cipher Cipher.getInstance(String Param0, Provider Param1)
static ExemptionMechanism ExemptionMechanism.getInstance(String, Provider)

Constructors in javax.crypto with parameters of type Provider
SecretKeyFactory(SecretKeyFactorySpi keyFacSpi, Provider provider, String algorithm)
Cipher(CipherSpi Param0, Provider Param1, String Param2)
ExemptionMechanism(ExemptionMechanismSpi, Provider, String)


JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.