BaseBeacon_Compile

Class BeaconBase

java.lang.Object

BaseBeacon_Compile.BeaconBase

public class BeaconBase
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
dafny.DafnySequence<? extends java.lang.Character>	_beaconName
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	_client
dafny.DafnySequence<? extends java.lang.Character>	_name

Constructor Summary

Constructors

Constructor and Description
BeaconBase(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, dafny.DafnySequence<? extends java.lang.Character> name, dafny.DafnySequence<? extends java.lang.Character> beaconName)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<BeaconBase>	_typeDescriptor()
static BeaconBase	create_BeaconBase(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, dafny.DafnySequence<? extends java.lang.Character> name, dafny.DafnySequence<? extends java.lang.Character> beaconName)
static BeaconBase	create(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, dafny.DafnySequence<? extends java.lang.Character> name, dafny.DafnySequence<? extends java.lang.Character> beaconName)
static BeaconBase	Default()
dafny.DafnySequence<? extends java.lang.Character>	dtor_beaconName()
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	dtor_client()
dafny.DafnySequence<? extends java.lang.Character>	dtor_name()
boolean	equals(java.lang.Object other)
Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error>	getHmac(dafny.DafnySequence<? extends java.lang.Byte> data, dafny.DafnySequence<? extends java.lang.Byte> key)
Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,Error>	hash(dafny.DafnySequence<? extends java.lang.Byte> val, dafny.DafnySequence<? extends java.lang.Byte> key, byte length)
int	hashCode()
Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,Error>	hashStr(dafny.DafnySequence<? extends java.lang.Character> val, dafny.DafnySequence<? extends java.lang.Byte> key, byte length)
boolean	is_BeaconBase()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_client

public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _client

_name

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

_beaconName

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

Constructor Detail

BeaconBase

public BeaconBase(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
                  dafny.DafnySequence<? extends java.lang.Character> name,
                  dafny.DafnySequence<? extends java.lang.Character> beaconName)

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

_typeDescriptor

public static dafny.TypeDescriptor<BeaconBase> _typeDescriptor()

create

public static BeaconBase create(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
                                dafny.DafnySequence<? extends java.lang.Character> name,
                                dafny.DafnySequence<? extends java.lang.Character> beaconName)

create_BeaconBase

public static BeaconBase create_BeaconBase(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
                                           dafny.DafnySequence<? extends java.lang.Character> name,
                                           dafny.DafnySequence<? extends java.lang.Character> beaconName)

is_BeaconBase

public boolean is_BeaconBase()

dtor_client

public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient dtor_client()

dtor_name

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

dtor_beaconName

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

hash

public Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,Error> hash(dafny.DafnySequence<? extends java.lang.Byte> val,
                                                                                              dafny.DafnySequence<? extends java.lang.Byte> key,
                                                                                              byte length)

hashStr

public Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,Error> hashStr(dafny.DafnySequence<? extends java.lang.Character> val,
                                                                                                 dafny.DafnySequence<? extends java.lang.Byte> key,
                                                                                                 byte length)

getHmac

public Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> getHmac(dafny.DafnySequence<? extends java.lang.Byte> data,
                                                                                            dafny.DafnySequence<? extends java.lang.Byte> key)