Cipher (JML and MultiJava documentation)

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 Cipher

java.lang.Object
  javax.crypto.Cipher

public class Cipher
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

Field Summary

static int DECRYPT_MODE


static int ENCRYPT_MODE


static int PRIVATE_KEY


static int PUBLIC_KEY


static int SECRET_KEY


static int UNWRAP_MODE


static int WRAP_MODE


Constructor Summary

protected Cipher(non_null CipherSpi Param0, non_null Provider Param1, non_null String Param2)


Model Method Summary

Model methods inherited from class java.lang.Object

hashValue

Method Summary

byte[] doFinal()


byte[] doFinal(non_null byte[] input)


int doFinal(non_null byte[] Param0, int Param1)


byte[] doFinal(non_null byte[] Param0, int Param1, int Param2)


int doFinal(non_null byte[] Param0, int Param1, int Param2, non_null byte[] Param3)


int doFinal(non_null byte[] Param0, int Param1, int Param2, non_null byte[] Param3, int Param4)


String getAlgorithm()


int getBlockSize()


ExemptionMechanism getExemptionMechanism()


static Cipher getInstance(non_null String transformation)


static Cipher getInstance(non_null String transformation, non_null String provider)


static Cipher getInstance(non_null String Param0, non_null Provider Param1)


byte[] getIV()


int getOutputSize(int Param0)


AlgorithmParameters getParameters()


Provider getProvider()


void init(int Param0, Certificate Param1)


void init(int Param0, Certificate Param1, SecureRandom Param2)


void init(int Param0, non_null Key Param1)


void init(int Param0, non_null Key Param1, non_null AlgorithmParameters Param2)


void init(int Param0, non_null Key Param1, non_null AlgorithmParameters Param2, non_null SecureRandom Param3)


void init(int Param0, non_null Key Param1, non_null SecureRandom Param2)


void init(int Param0, non_null Key Param1, non_null AlgorithmParameterSpec Param2)


void init(int Param0, non_null Key Param1, non_null AlgorithmParameterSpec Param2, SecureRandom Param3)


Key unwrap(non_null byte[] Param0, non_null String Param1, int Param2)


byte[] update(non_null byte[] Param0)


byte[] update(non_null byte[] Param0, int Param1, int Param2)


int update(non_null byte[] Param0, int Param1, int Param2, non_null byte[] Param3)


int update(non_null byte[] Param0, int Param1, int Param2, non_null byte[] Param3, int Param4)


byte[] wrap(non_null Key Param0)


Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

PRIVATE_KEY

public static final int PRIVATE_KEY

PUBLIC_KEY

public static final int PUBLIC_KEY

SECRET_KEY

public static final int SECRET_KEY

ENCRYPT_MODE

public static final int ENCRYPT_MODE

WRAP_MODE

public static final int WRAP_MODE

UNWRAP_MODE

public static final int UNWRAP_MODE

DECRYPT_MODE

public static final int DECRYPT_MODE

Constructor Detail

Cipher

protected Cipher(non_null CipherSpi Param0,
                 non_null Provider Param1,
                 non_null String Param2)

Method Detail

getInstance

public static final Cipher getInstance(non_null String transformation)
                                throws NoSuchAlgorithmException,
                                       NoSuchPaddingException

Throws:: NoSuchAlgorithmException; NoSuchPaddingException

Specifications: non_null

getInstance

public static final Cipher getInstance(non_null String transformation,
                                       non_null String provider)
                                throws NoSuchAlgorithmException,
                                       NoSuchProviderException,
                                       NoSuchPaddingException

Throws:: NoSuchAlgorithmException; NoSuchProviderException; NoSuchPaddingException

Specifications: non_null

getInstance

public static final Cipher getInstance(non_null String Param0,
                                       non_null Provider Param1)
                                throws NoSuchAlgorithmException,
                                       NoSuchPaddingException

Throws:: NoSuchAlgorithmException; NoSuchPaddingException

Specifications: non_null

getProvider

public final Provider getProvider()

Specifications: non_null

getAlgorithm

public final String getAlgorithm()

Specifications: non_null

getBlockSize

public final int getBlockSize()

getOutputSize

public final int getOutputSize(int Param0)
                        throws IllegalStateException

Throws:: IllegalStateException

getIV

public final byte[] getIV()

Specifications: non_null

getParameters

public final AlgorithmParameters getParameters()

Specifications: non_null

getExemptionMechanism

public final ExemptionMechanism getExemptionMechanism()

Specifications: non_null

init

public final void init(int Param0,
                       non_null Key Param1)
                throws InvalidKeyException

Throws:: InvalidKeyException

init

public final void init(int Param0,
                       non_null Key Param1,
                       non_null SecureRandom Param2)
                throws InvalidKeyException

Throws:: InvalidKeyException

init

public final void init(int Param0,
                       non_null Key Param1,
                       non_null AlgorithmParameterSpec Param2)
                throws InvalidKeyException,
                       InvalidAlgorithmParameterException

Throws:: InvalidKeyException; InvalidAlgorithmParameterException

init

public final void init(int Param0,
                       non_null Key Param1,
                       non_null AlgorithmParameterSpec Param2,
                       SecureRandom Param3)
                throws InvalidKeyException,
                       InvalidAlgorithmParameterException

Throws:: InvalidKeyException; InvalidAlgorithmParameterException

init

public final void init(int Param0,
                       non_null Key Param1,
                       non_null AlgorithmParameters Param2)
                throws InvalidKeyException,
                       InvalidAlgorithmParameterException

Throws:: InvalidKeyException; InvalidAlgorithmParameterException

init

public final void init(int Param0,
                       non_null Key Param1,
                       non_null AlgorithmParameters Param2,
                       non_null SecureRandom Param3)
                throws InvalidKeyException,
                       InvalidAlgorithmParameterException

Throws:: InvalidKeyException; InvalidAlgorithmParameterException

init

public final void init(int Param0,
                       Certificate Param1)
                throws InvalidKeyException

Throws:: InvalidKeyException

init

public final void init(int Param0,
                       Certificate Param1,
                       SecureRandom Param2)
                throws InvalidKeyException

Throws:: InvalidKeyException

update

public final byte[] update(non_null byte[] Param0)
                    throws IllegalStateException

Throws:: IllegalStateException

Specifications: non_null

update

public final byte[] update(non_null byte[] Param0,
                           int Param1,
                           int Param2)
                    throws IllegalStateException

Throws:: IllegalStateException

Specifications: non_null

update

public final int update(non_null byte[] Param0,
                        int Param1,
                        int Param2,
                        non_null byte[] Param3)
                 throws IllegalStateException,
                        ShortBufferException

Throws:: IllegalStateException; ShortBufferException

update

public final int update(non_null byte[] Param0,
                        int Param1,
                        int Param2,
                        non_null byte[] Param3,
                        int Param4)
                 throws IllegalStateException,
                        ShortBufferException

Throws:: IllegalStateException; ShortBufferException

doFinal

public final byte[] doFinal()
                     throws IllegalStateException,
                            IllegalBlockSizeException,
                            BadPaddingException

Throws:: IllegalStateException; IllegalBlockSizeException; BadPaddingException

Specifications: non_null

doFinal

public final int doFinal(non_null byte[] Param0,
                         int Param1)
                  throws IllegalStateException,
                         IllegalBlockSizeException,
                         ShortBufferException,
                         BadPaddingException

Throws:: IllegalStateException; IllegalBlockSizeException; ShortBufferException; BadPaddingException

doFinal

public final byte[] doFinal(non_null byte[] input)
                     throws IllegalStateException,
                            IllegalBlockSizeException,
                            BadPaddingException

Throws:: IllegalStateException; IllegalBlockSizeException; BadPaddingException

Specifications: non_null

doFinal

public final byte[] doFinal(non_null byte[] Param0,
                            int Param1,
                            int Param2)
                     throws IllegalStateException,
                            IllegalBlockSizeException,
                            BadPaddingException

Throws:: IllegalStateException; IllegalBlockSizeException; BadPaddingException

Specifications: non_null

doFinal

public final int doFinal(non_null byte[] Param0,
                         int Param1,
                         int Param2,
                         non_null byte[] Param3)
                  throws IllegalStateException,
                         ShortBufferException,
                         IllegalBlockSizeException,
                         BadPaddingException

Throws:: IllegalStateException; ShortBufferException; IllegalBlockSizeException; BadPaddingException

doFinal

public final int doFinal(non_null byte[] Param0,
                         int Param1,
                         int Param2,
                         non_null byte[] Param3,
                         int Param4)
                  throws IllegalStateException,
                         ShortBufferException,
                         IllegalBlockSizeException,
                         BadPaddingException

Throws:: IllegalStateException; ShortBufferException; IllegalBlockSizeException; BadPaddingException

wrap

public final byte[] wrap(non_null Key Param0)
                  throws IllegalStateException,
                         IllegalBlockSizeException,
                         InvalidKeyException

Throws:: IllegalStateException; IllegalBlockSizeException; InvalidKeyException

Specifications: non_null

unwrap

public final Key unwrap(non_null byte[] Param0,
                        non_null String Param1,
                        int Param2)
                 throws IllegalStateException,
                        InvalidKeyException,
                        NoSuchAlgorithmException

Throws:: IllegalStateException; InvalidKeyException; NoSuchAlgorithmException

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.

Field Summary
`static int`	`DECRYPT_MODE`
`static int`	`ENCRYPT_MODE`
`static int`	`PRIVATE_KEY`
`static int`	`PUBLIC_KEY`
`static int`	`SECRET_KEY`
`static int`	`UNWRAP_MODE`
`static int`	`WRAP_MODE`

Constructor Summary
`protected`	`Cipher(non_null CipherSpi Param0, non_null Provider Param1, non_null String Param2)`

Method Summary
`byte[]`	`doFinal()`
`byte[]`	`doFinal(non_null byte[] input)`
`int`	`doFinal(non_null byte[] Param0, int Param1)`
`byte[]`	`doFinal(non_null byte[] Param0, int Param1, int Param2)`
`int`	`doFinal(non_null byte[] Param0, int Param1, int Param2, non_null byte[] Param3)`
`int`	`doFinal(non_null byte[] Param0, int Param1, int Param2, non_null byte[] Param3, int Param4)`
`String`	`getAlgorithm()`
`int`	`getBlockSize()`
`ExemptionMechanism`	`getExemptionMechanism()`
`static Cipher`	`getInstance(non_null String transformation)`
`static Cipher`	`getInstance(non_null String transformation, non_null String provider)`
`static Cipher`	`getInstance(non_null String Param0, non_null Provider Param1)`
`byte[]`	`getIV()`
`int`	`getOutputSize(int Param0)`
`AlgorithmParameters`	`getParameters()`
`Provider`	`getProvider()`
`void`	`init(int Param0, Certificate Param1)`
`void`	`init(int Param0, Certificate Param1, SecureRandom Param2)`
`void`	`init(int Param0, non_null Key Param1)`
`void`	`init(int Param0, non_null Key Param1, non_null AlgorithmParameters Param2)`
`void`	`init(int Param0, non_null Key Param1, non_null AlgorithmParameters Param2, non_null SecureRandom Param3)`
`void`	`init(int Param0, non_null Key Param1, non_null SecureRandom Param2)`
`void`	`init(int Param0, non_null Key Param1, non_null AlgorithmParameterSpec Param2)`
`void`	`init(int Param0, non_null Key Param1, non_null AlgorithmParameterSpec Param2, SecureRandom Param3)`
`Key`	`unwrap(non_null byte[] Param0, non_null String Param1, int Param2)`
`byte[]`	`update(non_null byte[] Param0)`
`byte[]`	`update(non_null byte[] Param0, int Param1, int Param2)`
`int`	`update(non_null byte[] Param0, int Param1, int Param2, non_null byte[] Param3)`
`int`	`update(non_null byte[] Param0, int Param1, int Param2, non_null byte[] Param3, int Param4)`
`byte[]`	`wrap(non_null Key Param0)`

javax.crypto Class Cipher

PRIVATE_KEY

PUBLIC_KEY

SECRET_KEY

ENCRYPT_MODE

WRAP_MODE

UNWRAP_MODE

DECRYPT_MODE

Cipher

getInstance

getInstance

getInstance

getProvider

getAlgorithm

getBlockSize

getOutputSize

getIV

getParameters

getExemptionMechanism

init

init

init

init

init

init

init

init

update

update

update

update

doFinal

doFinal

doFinal

doFinal

doFinal

doFinal

wrap

unwrap

javax.crypto
Class Cipher