public class BeaconBase
extends java.lang.Object
| 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 and Description |
|---|
BeaconBase(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
dafny.DafnySequence<? extends java.lang.Character> name,
dafny.DafnySequence<? extends java.lang.Character> beaconName) |
| 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() |
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _client
public dafny.DafnySequence<? extends java.lang.Character> _name
public dafny.DafnySequence<? extends java.lang.Character> _beaconName
public BeaconBase(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
dafny.DafnySequence<? extends java.lang.Character> name,
dafny.DafnySequence<? extends java.lang.Character> beaconName)
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 BeaconBase Default()
public static dafny.TypeDescriptor<BeaconBase> _typeDescriptor()
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)
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)
public boolean is_BeaconBase()
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient dtor_client()
public dafny.DafnySequence<? extends java.lang.Character> dtor_name()
public dafny.DafnySequence<? extends java.lang.Character> dtor_beaconName()
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)
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)
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)