BaseBeacon_Compile

Class __default

java.lang.Object

BaseBeacon_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<__default>	_typeDescriptor()
static java.math.BigInteger	BytesFromBeaconLength(byte bits)
static dafny.DafnySequence<? extends java.lang.Character>	BytesToHex(dafny.DafnySequence<? extends java.lang.Byte> bytes, byte bits)
static java.math.BigInteger	CharsFromBeaconLength(byte bits)
static Wrappers_Compile.Result<StandardBeacon,Error>	MakeStandardBeacon(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client, dafny.DafnySequence<? extends java.lang.Character> name, byte length, dafny.DafnySequence<? extends java.lang.Character> loc)
static byte	TopBits(byte bits)
java.lang.String	toString()
static byte	TruncateNibble(byte nibble, byte length)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

__default

public __default()

Method Detail

MakeStandardBeacon

public static Wrappers_Compile.Result<StandardBeacon,Error> MakeStandardBeacon(software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient client,
                                                                               dafny.DafnySequence<? extends java.lang.Character> name,
                                                                               byte length,
                                                                               dafny.DafnySequence<? extends java.lang.Character> loc)

CharsFromBeaconLength

public static java.math.BigInteger CharsFromBeaconLength(byte bits)

TopBits

public static byte TopBits(byte bits)

BytesFromBeaconLength

public static java.math.BigInteger BytesFromBeaconLength(byte bits)

TruncateNibble

public static byte TruncateNibble(byte nibble,
                                  byte length)

BytesToHex

public static dafny.DafnySequence<? extends java.lang.Character> BytesToHex(dafny.DafnySequence<? extends java.lang.Byte> bytes,
                                                                            byte bits)

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object