Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

javax.crypto
Class SecretKeyFactory

java.lang.Object
  extended byjavax.crypto.SecretKeyFactory
public class SecretKeyFactory
extends Object

Class Specifications

Specifications inherited from class Object
represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT;
public represents _getClass <- \typeof(this);

Model Field Summary
 
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
 
Ghost Field Summary
 
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
 
Constructor Summary
protected SecretKeyFactory(non_null SecretKeyFactorySpi keyFacSpi, non_null Provider provider, non_null String algorithm)
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
 SecretKey generateSecret(non_null KeySpec keySpec)
           
 String getAlgorithm()
           
static SecretKeyFactory getInstance(non_null String algorithm)
           
static SecretKeyFactory getInstance(non_null String algorithm, non_null String provider)
           
static SecretKeyFactory getInstance(non_null String algorithm, non_null Provider provider)
           
 KeySpec getKeySpec(non_null SecretKey key, non_null Class keySpec)
           
 Provider getProvider()
           
 SecretKey translateKey(non_null SecretKey key)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SecretKeyFactory

protected SecretKeyFactory(non_null SecretKeyFactorySpi keyFacSpi,
                           non_null Provider provider,
                           non_null String algorithm)
Method Detail

getInstance

public static final SecretKeyFactory getInstance(non_null String algorithm)
                                          throws NoSuchAlgorithmException
Throws:
NoSuchAlgorithmException
Specifications: non_null

getInstance

public static final SecretKeyFactory getInstance(non_null String algorithm,
                                                 non_null String provider)
                                          throws NoSuchAlgorithmException,
                                                 NoSuchProviderException
Throws:
NoSuchAlgorithmException
NoSuchProviderException
Specifications: non_null

getInstance

public static final SecretKeyFactory getInstance(non_null String algorithm,
                                                 non_null Provider provider)
                                          throws NoSuchAlgorithmException
Throws:
NoSuchAlgorithmException
Specifications: non_null

getAlgorithm

public final String getAlgorithm()
Specifications: non_null

getProvider

public final Provider getProvider()
Specifications: non_null

generateSecret

public final SecretKey generateSecret(non_null KeySpec keySpec)
                               throws InvalidKeySpecException
Throws:
InvalidKeySpecException
Specifications: non_null

getKeySpec

public final KeySpec getKeySpec(non_null SecretKey key,
                                non_null Class keySpec)
                         throws InvalidKeySpecException
Throws:
InvalidKeySpecException
Specifications: non_null

translateKey

public final SecretKey translateKey(non_null SecretKey key)
                             throws InvalidKeyException
Throws:
InvalidKeyException
Specifications: non_null
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
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.