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

Class CompoundBeacon

java.lang.Object

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

public class CompoundBeacon
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Wrappers_Compile.Option<dafny.DafnySequence<? extends Constructor>>	_constructors
Wrappers_Compile.Option<dafny.DafnySequence<? extends EncryptedPart>>	_encrypted
dafny.DafnySequence<? extends java.lang.Character>	_name
Wrappers_Compile.Option<dafny.DafnySequence<? extends SignedPart>>	_signed
dafny.DafnySequence<? extends java.lang.Character>	_split

Constructor Summary

Constructors

Constructor and Description
CompoundBeacon(dafny.DafnySequence<? extends java.lang.Character> name, dafny.DafnySequence<? extends java.lang.Character> split, Wrappers_Compile.Option<dafny.DafnySequence<? extends EncryptedPart>> encrypted, Wrappers_Compile.Option<dafny.DafnySequence<? extends SignedPart>> signed, Wrappers_Compile.Option<dafny.DafnySequence<? extends Constructor>> constructors)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<CompoundBeacon>	_typeDescriptor()
static CompoundBeacon	create_CompoundBeacon(dafny.DafnySequence<? extends java.lang.Character> name, dafny.DafnySequence<? extends java.lang.Character> split, Wrappers_Compile.Option<dafny.DafnySequence<? extends EncryptedPart>> encrypted, Wrappers_Compile.Option<dafny.DafnySequence<? extends SignedPart>> signed, Wrappers_Compile.Option<dafny.DafnySequence<? extends Constructor>> constructors)
static CompoundBeacon	create(dafny.DafnySequence<? extends java.lang.Character> name, dafny.DafnySequence<? extends java.lang.Character> split, Wrappers_Compile.Option<dafny.DafnySequence<? extends EncryptedPart>> encrypted, Wrappers_Compile.Option<dafny.DafnySequence<? extends SignedPart>> signed, Wrappers_Compile.Option<dafny.DafnySequence<? extends Constructor>> constructors)
static CompoundBeacon	Default()
Wrappers_Compile.Option<dafny.DafnySequence<? extends Constructor>>	dtor_constructors()
Wrappers_Compile.Option<dafny.DafnySequence<? extends EncryptedPart>>	dtor_encrypted()
dafny.DafnySequence<? extends java.lang.Character>	dtor_name()
Wrappers_Compile.Option<dafny.DafnySequence<? extends SignedPart>>	dtor_signed()
dafny.DafnySequence<? extends java.lang.Character>	dtor_split()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_CompoundBeacon()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_name

public dafny.DafnySequence<? extends java.lang.Character> _name

_split

public dafny.DafnySequence<? extends java.lang.Character> _split

_encrypted

public Wrappers_Compile.Option<dafny.DafnySequence<? extends EncryptedPart>> _encrypted

_signed

public Wrappers_Compile.Option<dafny.DafnySequence<? extends SignedPart>> _signed

_constructors

public Wrappers_Compile.Option<dafny.DafnySequence<? extends Constructor>> _constructors

Constructor Detail

CompoundBeacon

public CompoundBeacon(dafny.DafnySequence<? extends java.lang.Character> name,
                      dafny.DafnySequence<? extends java.lang.Character> split,
                      Wrappers_Compile.Option<dafny.DafnySequence<? extends EncryptedPart>> encrypted,
                      Wrappers_Compile.Option<dafny.DafnySequence<? extends SignedPart>> signed,
                      Wrappers_Compile.Option<dafny.DafnySequence<? extends Constructor>> constructors)

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

_typeDescriptor

public static dafny.TypeDescriptor<CompoundBeacon> _typeDescriptor()

create

public static CompoundBeacon create(dafny.DafnySequence<? extends java.lang.Character> name,
                                    dafny.DafnySequence<? extends java.lang.Character> split,
                                    Wrappers_Compile.Option<dafny.DafnySequence<? extends EncryptedPart>> encrypted,
                                    Wrappers_Compile.Option<dafny.DafnySequence<? extends SignedPart>> signed,
                                    Wrappers_Compile.Option<dafny.DafnySequence<? extends Constructor>> constructors)

create_CompoundBeacon

public static CompoundBeacon create_CompoundBeacon(dafny.DafnySequence<? extends java.lang.Character> name,
                                                   dafny.DafnySequence<? extends java.lang.Character> split,
                                                   Wrappers_Compile.Option<dafny.DafnySequence<? extends EncryptedPart>> encrypted,
                                                   Wrappers_Compile.Option<dafny.DafnySequence<? extends SignedPart>> signed,
                                                   Wrappers_Compile.Option<dafny.DafnySequence<? extends Constructor>> constructors)

is_CompoundBeacon

public boolean is_CompoundBeacon()

dtor_name

public dafny.DafnySequence<? extends java.lang.Character> dtor_name()

dtor_split

public dafny.DafnySequence<? extends java.lang.Character> dtor_split()

dtor_encrypted

public Wrappers_Compile.Option<dafny.DafnySequence<? extends EncryptedPart>> dtor_encrypted()

dtor_signed

public Wrappers_Compile.Option<dafny.DafnySequence<? extends SignedPart>> dtor_signed()

dtor_constructors

public Wrappers_Compile.Option<dafny.DafnySequence<? extends Constructor>> dtor_constructors()