software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types

Class AuthenticateAction

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types.AuthenticateAction

Direct Known Subclasses:

AuthenticateAction_DO__NOT__SIGN, AuthenticateAction_SIGN

public abstract class AuthenticateAction
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
AuthenticateAction()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<AuthenticateAction>	_typeDescriptor()
static java.util.ArrayList<AuthenticateAction>	AllSingletonConstructors()
static AuthenticateAction	create_DO__NOT__SIGN()
static AuthenticateAction	create_SIGN()
static AuthenticateAction	Default()
boolean	is_DO__NOT__SIGN()
boolean	is_SIGN()

Methods inherited from class java.lang.Object

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

Constructor Detail

AuthenticateAction

public AuthenticateAction()

Method Detail

Default

public static AuthenticateAction Default()

_typeDescriptor

public static dafny.TypeDescriptor<AuthenticateAction> _typeDescriptor()

create_SIGN

public static AuthenticateAction create_SIGN()

create_DO__NOT__SIGN

public static AuthenticateAction create_DO__NOT__SIGN()

is_SIGN

public boolean is_SIGN()

is_DO__NOT__SIGN

public boolean is_DO__NOT__SIGN()

AllSingletonConstructors

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