KeyStoreErrorMessages_Compile

Class __default

java.lang.Object

KeyStoreErrorMessages_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 dafny.DafnySequence<? extends java.lang.Character>	ALIAS__NOT__ALLOWED()
static dafny.DafnySequence<? extends java.lang.Character>	BRANCH__KEY__ID__NEEDED()
static dafny.DafnySequence<? extends java.lang.Character>	CUSTOM__BRANCH__KEY__ID__NEED__EC()
static dafny.DafnySequence<? extends java.lang.Character>	DISCOVERY__CREATE__KEY__NOT__SUPPORTED()
static dafny.DafnySequence<? extends java.lang.Character>	DISCOVERY__VERSION__KEY__NOT__SUPPORTED()
static dafny.DafnySequence<? extends java.lang.Character>	GET__KEY__ARN__DISAGREEMENT()
static dafny.DafnySequence<? extends java.lang.Character>	KMS__CONFIG__KMS__ARN__INVALID()
static dafny.DafnySequence<? extends java.lang.Character>	NO__CORRESPONDING__BRANCH__KEY()
static dafny.DafnySequence<? extends java.lang.Character>	RETRIEVED__KEYSTORE__ITEM__INVALID__KMS__ARN()
java.lang.String	toString()
static dafny.DafnySequence<? extends java.lang.Character>	UTF8__ENCODING__ENCRYPTION__CONTEXT__ERROR()
static dafny.DafnySequence<? extends java.lang.Character>	VERSION__KEY__KMS__KEY__ARN__DISAGREEMENT()

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

GET__KEY__ARN__DISAGREEMENT

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

VERSION__KEY__KMS__KEY__ARN__DISAGREEMENT

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

KMS__CONFIG__KMS__ARN__INVALID

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

CUSTOM__BRANCH__KEY__ID__NEED__EC

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

DISCOVERY__CREATE__KEY__NOT__SUPPORTED

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

DISCOVERY__VERSION__KEY__NOT__SUPPORTED

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

UTF8__ENCODING__ENCRYPTION__CONTEXT__ERROR

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

ALIAS__NOT__ALLOWED

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

NO__CORRESPONDING__BRANCH__KEY

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

BRANCH__KEY__ID__NEEDED

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

RETRIEVED__KEYSTORE__ITEM__INVALID__KMS__ARN

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object