StructuredEncryptionFooter_Compile

Class Footer

java.lang.Object

StructuredEncryptionFooter_Compile.Footer

public class Footer
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	_sig
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>	_tags

Constructor Summary

Constructors

Constructor and Description
Footer(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> tags, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> sig)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<Footer>	_typeDescriptor()
static Footer	create_Footer(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> tags, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> sig)
static Footer	create(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> tags, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> sig)
static Footer	Default()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	dtor_sig()
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>	dtor_tags()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_Footer()
StructuredData	makeTerminal()
dafny.DafnySequence<? extends java.lang.Byte>	serialize()
java.lang.String	toString()
Wrappers_Compile.Result<java.lang.Boolean,Error>	validate(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, software.amazon.cryptography.materialproviders.internaldafny.types.DecryptionMaterials mat, dafny.DafnySequence<? extends software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey> edks, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> signedFields, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> encFields, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> encData, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> allData, dafny.DafnySequence<? extends java.lang.Byte> header)

Methods inherited from class java.lang.Object

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

Field Detail

_tags

public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> _tags

_sig

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> _sig

Constructor Detail

Footer

public Footer(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> tags,
              Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> sig)

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

_typeDescriptor

public static dafny.TypeDescriptor<Footer> _typeDescriptor()

create

public static Footer create(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> tags,
                            Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> sig)

create_Footer

public static Footer create_Footer(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> tags,
                                   Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> sig)

is_Footer

public boolean is_Footer()

dtor_tags

public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> dtor_tags()

dtor_sig

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> dtor_sig()

serialize

public dafny.DafnySequence<? extends java.lang.Byte> serialize()

makeTerminal

public StructuredData makeTerminal()

validate

public Wrappers_Compile.Result<java.lang.Boolean,Error> validate(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
                                                                 software.amazon.cryptography.materialproviders.internaldafny.types.DecryptionMaterials mat,
                                                                 dafny.DafnySequence<? extends software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey> edks,
                                                                 dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> signedFields,
                                                                 dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> encFields,
                                                                 dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> encData,
                                                                 dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> allData,
                                                                 dafny.DafnySequence<? extends java.lang.Byte> header)