SearchableEncryptionInfo_Compile

Class BeaconType

java.lang.Object

SearchableEncryptionInfo_Compile.BeaconType

Direct Known Subclasses:

BeaconType_AnyBeacon, BeaconType_EncryptedBeacon, BeaconType_SignedBeacon

public abstract class BeaconType
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
BeaconType()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<BeaconType>	_typeDescriptor()
static java.util.ArrayList<BeaconType>	AllSingletonConstructors()
static BeaconType	create_AnyBeacon()
static BeaconType	create_EncryptedBeacon()
static BeaconType	create_SignedBeacon()
static BeaconType	Default()
boolean	is_AnyBeacon()
boolean	is_EncryptedBeacon()
boolean	is_SignedBeacon()

Methods inherited from class java.lang.Object

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

Constructor Detail

BeaconType

public BeaconType()

Method Detail

Default

public static BeaconType Default()

_typeDescriptor

public static dafny.TypeDescriptor<BeaconType> _typeDescriptor()

create_AnyBeacon

public static BeaconType create_AnyBeacon()

create_SignedBeacon

public static BeaconType create_SignedBeacon()

create_EncryptedBeacon

public static BeaconType create_EncryptedBeacon()

is_AnyBeacon

public boolean is_AnyBeacon()

is_SignedBeacon

public boolean is_SignedBeacon()

is_EncryptedBeacon

public boolean is_EncryptedBeacon()

AllSingletonConstructors

public static java.util.ArrayList<BeaconType> AllSingletonConstructors()