software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types

Class ParsedHeader

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types.ParsedHeader

public class ParsedHeader
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId	_algorithmSuiteId
CryptoSchema	_cryptoSchema
dafny.DafnySequence<? extends software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey>	_encryptedDataKeys
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>	_storedEncryptionContext

Constructor Summary

Constructors

Constructor and Description

ParsedHeader(CryptoSchema cryptoSchema, software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId algorithmSuiteId, dafny.DafnySequence<? extends software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey> encryptedDataKeys, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> storedEncryptionContext)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<ParsedHeader>	_typeDescriptor()
static ParsedHeader	create_ParsedHeader(CryptoSchema cryptoSchema, software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId algorithmSuiteId, dafny.DafnySequence<? extends software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey> encryptedDataKeys, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> storedEncryptionContext)
static ParsedHeader	create(CryptoSchema cryptoSchema, software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId algorithmSuiteId, dafny.DafnySequence<? extends software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey> encryptedDataKeys, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> storedEncryptionContext)
static ParsedHeader	Default()
software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId	dtor_algorithmSuiteId()
CryptoSchema	dtor_cryptoSchema()
dafny.DafnySequence<? extends software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey>	dtor_encryptedDataKeys()
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>	dtor_storedEncryptionContext()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_ParsedHeader()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_cryptoSchema

public CryptoSchema _cryptoSchema

_algorithmSuiteId

public software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId _algorithmSuiteId

_encryptedDataKeys

public dafny.DafnySequence<? extends software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey> _encryptedDataKeys

_storedEncryptionContext

public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> _storedEncryptionContext

Constructor Detail

ParsedHeader

public ParsedHeader(CryptoSchema cryptoSchema,
                    software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId algorithmSuiteId,
                    dafny.DafnySequence<? extends software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey> encryptedDataKeys,
                    dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> storedEncryptionContext)

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

_typeDescriptor

public static dafny.TypeDescriptor<ParsedHeader> _typeDescriptor()

create

public static ParsedHeader create(CryptoSchema cryptoSchema,
                                  software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId algorithmSuiteId,
                                  dafny.DafnySequence<? extends software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey> encryptedDataKeys,
                                  dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> storedEncryptionContext)

create_ParsedHeader

public static ParsedHeader create_ParsedHeader(CryptoSchema cryptoSchema,
                                               software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId algorithmSuiteId,
                                               dafny.DafnySequence<? extends software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey> encryptedDataKeys,
                                               dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> storedEncryptionContext)

is_ParsedHeader

public boolean is_ParsedHeader()

dtor_cryptoSchema

public CryptoSchema dtor_cryptoSchema()

dtor_algorithmSuiteId

public software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId dtor_algorithmSuiteId()

dtor_encryptedDataKeys

public dafny.DafnySequence<? extends software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey> dtor_encryptedDataKeys()

dtor_storedEncryptionContext

public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> dtor_storedEncryptionContext()