java.security
Interface Key

All Superinterfaces:

Serializable

All Known Subinterfaces:

PrivateKey, PublicKey, RSAPrivateKey, SecretKey

public interface Key

extends Serializable

JML's specification of Key.

Author:

Tabitha Johnson, Gary T. Leavens

Class Specifications

Specifications inherited from class Object

represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this);

Field Summary
static long	serialVersionUID

 

Method Summary
String	getAlgorithm()
byte[]	getEncoded()
String	getFormat()

 

Field Detail

serialVersionUID

public static final long serialVersionUID

getEncoded

public byte[] getEncoded()

Specifications:

ensures \result != null ==> \result .length != 0;

getAlgorithm

public String getAlgorithm()

Specifications: pure

ensures \result != null&&!(\result .equals(""));

getFormat

public String getFormat()

Specifications: pure

ensures \result != null ==> !(\result .equals(""));