DynamoDbEncryptionUtil_Compile

Class MaybeKeyId

java.lang.Object

DynamoDbEncryptionUtil_Compile.MaybeKeyId

Direct Known Subclasses:

MaybeKeyId_DontUseKeyId, MaybeKeyId_KeyId, MaybeKeyId_ShouldHaveKeyId

public abstract class MaybeKeyId
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MaybeKeyId()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<MaybeKeyId>	_typeDescriptor()
static MaybeKeyId	create_DontUseKeyId()
static MaybeKeyId	create_KeyId(dafny.DafnySequence<? extends java.lang.Character> value)
static MaybeKeyId	create_ShouldHaveKeyId()
static MaybeKeyId	Default()
dafny.DafnySequence<? extends java.lang.Character>	dtor_value()
boolean	is_DontUseKeyId()
boolean	is_KeyId()
boolean	is_ShouldHaveKeyId()

Methods inherited from class java.lang.Object

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

Constructor Detail

MaybeKeyId

public MaybeKeyId()

Method Detail

Default

public static MaybeKeyId Default()

_typeDescriptor

public static dafny.TypeDescriptor<MaybeKeyId> _typeDescriptor()

create_DontUseKeyId

public static MaybeKeyId create_DontUseKeyId()

create_ShouldHaveKeyId

public static MaybeKeyId create_ShouldHaveKeyId()

create_KeyId

public static MaybeKeyId create_KeyId(dafny.DafnySequence<? extends java.lang.Character> value)

is_DontUseKeyId

public boolean is_DontUseKeyId()

is_ShouldHaveKeyId

public boolean is_ShouldHaveKeyId()

is_KeyId

public boolean is_KeyId()

dtor_value

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