SearchableEncryptionInfo_Compile

Class Beacon

java.lang.Object

SearchableEncryptionInfo_Compile.Beacon

Direct Known Subclasses:

Beacon_Compound, Beacon_Standard

public abstract class Beacon
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Beacon()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<Beacon>	_typeDescriptor()
Wrappers_Compile.Result<Wrappers_Compile.Option<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error>	attrHash(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> vf, MaybeKeyMap keys)
static Beacon	create_Compound(CompoundBeacon cmp)
static Beacon	create_Standard(StandardBeacon std)
static Beacon	Default()
CompoundBeacon	dtor_cmp()
StandardBeacon	dtor_std()
dafny.DafnySequence<? extends java.lang.Character>	getBeaconName()
Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue,Error>	GetBeaconValue(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue value, MaybeKeyMap keys, boolean forEquality)
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	GetFields(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> virtualFields)
dafny.DafnySequence<? extends java.lang.Character>	getName()
Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>,Error>	hash(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> vf, MaybeKeyMap keys)
boolean	is_Compound()
boolean	is_Standard()
boolean	isEncrypted()
Wrappers_Compile.Result<Wrappers_Compile.Option<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error>	naked(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> vf)

Methods inherited from class java.lang.Object

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

Constructor Detail

Beacon

public Beacon()

Method Detail

Default

public static Beacon Default()

_typeDescriptor

public static dafny.TypeDescriptor<Beacon> _typeDescriptor()

create_Standard

public static Beacon create_Standard(StandardBeacon std)

create_Compound

public static Beacon create_Compound(CompoundBeacon cmp)

is_Standard

public boolean is_Standard()

is_Compound

public boolean is_Compound()

dtor_std

public StandardBeacon dtor_std()

dtor_cmp

public CompoundBeacon dtor_cmp()

isEncrypted

public boolean isEncrypted()

hash

public Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>,Error> hash(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item,
                                                                                                                       dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> vf,
                                                                                                                       MaybeKeyMap keys)

naked

public Wrappers_Compile.Result<Wrappers_Compile.Option<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error> naked(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item,
                                                                                                                                                       dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> vf)

attrHash

public Wrappers_Compile.Result<Wrappers_Compile.Option<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error> attrHash(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item,
                                                                                                                                                          dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> vf,
                                                                                                                                                          MaybeKeyMap keys)

getName

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

getBeaconName

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

GetFields

public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> GetFields(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> virtualFields)

GetBeaconValue

public Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue,Error> GetBeaconValue(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue value,
                                                                                                                                       MaybeKeyMap keys,
                                                                                                                                       boolean forEquality)