Canonize_Compile

Class EncryptionSelector

java.lang.Object

Canonize_Compile.EncryptionSelector

Direct Known Subclasses:

EncryptionSelector_DoDecrypt, EncryptionSelector_DoEncrypt

public abstract class EncryptionSelector
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
EncryptionSelector()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<EncryptionSelector>	_typeDescriptor()
static java.util.ArrayList<EncryptionSelector>	AllSingletonConstructors()
static EncryptionSelector	create_DoDecrypt()
static EncryptionSelector	create_DoEncrypt()
static EncryptionSelector	Default()
boolean	is_DoDecrypt()
boolean	is_DoEncrypt()

Methods inherited from class java.lang.Object

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

Constructor Detail

EncryptionSelector

public EncryptionSelector()

Method Detail

_typeDescriptor

public static dafny.TypeDescriptor<EncryptionSelector> _typeDescriptor()

Default

public static EncryptionSelector Default()

create_DoEncrypt

public static EncryptionSelector create_DoEncrypt()

create_DoDecrypt

public static EncryptionSelector create_DoDecrypt()

is_DoEncrypt

public boolean is_DoEncrypt()

is_DoDecrypt

public boolean is_DoDecrypt()

AllSingletonConstructors

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