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

Class DecryptItemInput

java.lang.Object

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

public class DecryptItemInput
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>	_encryptedItem

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

_encryptedItem

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

Constructor Detail

DecryptItemInput

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

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 DecryptItemInput Default()

_typeDescriptor

public static dafny.TypeDescriptor<DecryptItemInput> _typeDescriptor()

create

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

create_DecryptItemInput

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

is_DecryptItemInput

public boolean is_DecryptItemInput()

dtor_encryptedItem

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