software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types

Class EncryptItemInput

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.EncryptItemInput

public class EncryptItemInput
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>	_plaintextItem

Constructor Summary

Constructors

Constructor and Description
EncryptItemInput(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> plaintextItem)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<EncryptItemInput>	_typeDescriptor()
static EncryptItemInput	create_EncryptItemInput(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> plaintextItem)
static EncryptItemInput	create(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> plaintextItem)
static EncryptItemInput	Default()
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>	dtor_plaintextItem()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_EncryptItemInput()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_plaintextItem

public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> _plaintextItem

Constructor Detail

EncryptItemInput

public EncryptItemInput(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> plaintextItem)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

Default

public static EncryptItemInput Default()

_typeDescriptor

public static dafny.TypeDescriptor<EncryptItemInput> _typeDescriptor()

create

public static EncryptItemInput create(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> plaintextItem)

create_EncryptItemInput

public static EncryptItemInput create_EncryptItemInput(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> plaintextItem)

is_EncryptItemInput

public boolean is_EncryptItemInput()

dtor_plaintextItem

public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> dtor_plaintextItem()