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

Class EncryptItemOutput

java.lang.Object

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

public class EncryptItemOutput
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
Wrappers_Compile.Option<ParsedHeader>	_parsedHeader

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<EncryptItemOutput>	_typeDescriptor()
static EncryptItemOutput	create_EncryptItemOutput(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> encryptedItem, Wrappers_Compile.Option<ParsedHeader> parsedHeader)
static EncryptItemOutput	create(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> encryptedItem, Wrappers_Compile.Option<ParsedHeader> parsedHeader)
static EncryptItemOutput	Default()
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>	dtor_encryptedItem()
Wrappers_Compile.Option<ParsedHeader>	dtor_parsedHeader()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_EncryptItemOutput()
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

_parsedHeader

public Wrappers_Compile.Option<ParsedHeader> _parsedHeader

Constructor Detail

EncryptItemOutput

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

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

_typeDescriptor

public static dafny.TypeDescriptor<EncryptItemOutput> _typeDescriptor()

create

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

create_EncryptItemOutput

public static EncryptItemOutput create_EncryptItemOutput(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> encryptedItem,
                                                         Wrappers_Compile.Option<ParsedHeader> parsedHeader)

is_EncryptItemOutput

public boolean is_EncryptItemOutput()

dtor_encryptedItem

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

dtor_parsedHeader

public Wrappers_Compile.Option<ParsedHeader> dtor_parsedHeader()