public class EncryptItemOutput
extends java.lang.Object
| 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 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) |
| 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() |
public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> _encryptedItem
public Wrappers_Compile.Option<ParsedHeader> _parsedHeader
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)
public boolean equals(java.lang.Object other)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Objectpublic static EncryptItemOutput Default()
public static dafny.TypeDescriptor<EncryptItemOutput> _typeDescriptor()
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)
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)
public boolean is_EncryptItemOutput()
public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> dtor_encryptedItem()
public Wrappers_Compile.Option<ParsedHeader> dtor_parsedHeader()