ErrorMessages_Compile

Class __default

java.lang.Object

ErrorMessages_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,Error>	IncorrectDataKeys(dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeys, AlgorithmSuiteInfo material, dafny.DafnySequence<? extends java.lang.Character> errMsg)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,Error>	IncorrectDataKeysExpectedValues(dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeys, AlgorithmSuiteInfo material, dafny.DafnySequence<? extends java.lang.Character> errMsg)
static dafny.DafnySequence<? extends java.lang.Character>	IncorrectRawDataKeys(dafny.DafnySequence<? extends java.lang.Character> datakey, dafny.DafnySequence<? extends java.lang.Character> keyringName, dafny.DafnySequence<? extends java.lang.Character> keyProviderId)
static java.math.BigInteger	IV__LENGTH()
static dafny.DafnySequence<? extends java.lang.Character>	KMS__ECDH__DISCOVERY__ENCRYPT__ERROR()
static dafny.DafnySequence<? extends java.lang.Character>	RAW__ECDH__DISCOVERY__ENCRYPT__ERROR()
static dafny.DafnySequence<? extends java.lang.Character>	RAW__ECDH__EPHEMERAL__DECRYPT__ERROR()
static java.math.BigInteger	SALT__LENGTH()
java.lang.String	toString()
static java.math.BigInteger	VERSION__LENGTH()

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

IncorrectRawDataKeys

public static dafny.DafnySequence<? extends java.lang.Character> IncorrectRawDataKeys(dafny.DafnySequence<? extends java.lang.Character> datakey,
                                                                                      dafny.DafnySequence<? extends java.lang.Character> keyringName,
                                                                                      dafny.DafnySequence<? extends java.lang.Character> keyProviderId)

IncorrectDataKeys

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,Error> IncorrectDataKeys(dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeys,
                                                                                                                  AlgorithmSuiteInfo material,
                                                                                                                  dafny.DafnySequence<? extends java.lang.Character> errMsg)

IncorrectDataKeysExpectedValues

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,Error> IncorrectDataKeysExpectedValues(dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeys,
                                                                                                                                AlgorithmSuiteInfo material,
                                                                                                                                dafny.DafnySequence<? extends java.lang.Character> errMsg)

SALT__LENGTH

public static java.math.BigInteger SALT__LENGTH()

IV__LENGTH

public static java.math.BigInteger IV__LENGTH()

VERSION__LENGTH

public static java.math.BigInteger VERSION__LENGTH()

KMS__ECDH__DISCOVERY__ENCRYPT__ERROR

public static dafny.DafnySequence<? extends java.lang.Character> KMS__ECDH__DISCOVERY__ENCRYPT__ERROR()

RAW__ECDH__DISCOVERY__ENCRYPT__ERROR

public static dafny.DafnySequence<? extends java.lang.Character> RAW__ECDH__DISCOVERY__ENCRYPT__ERROR()

RAW__ECDH__EPHEMERAL__DECRYPT__ERROR

public static dafny.DafnySequence<? extends java.lang.Character> RAW__ECDH__EPHEMERAL__DECRYPT__ERROR()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object