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

Class AuthenticateSchemaContent

java.lang.Object

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

Direct Known Subclasses:

AuthenticateSchemaContent_Action, AuthenticateSchemaContent_SchemaList, AuthenticateSchemaContent_SchemaMap

public abstract class AuthenticateSchemaContent
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
AuthenticateSchemaContent()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<AuthenticateSchemaContent>	_typeDescriptor()
static AuthenticateSchemaContent	create_Action(AuthenticateAction Action)
static AuthenticateSchemaContent	create_SchemaList(dafny.DafnySequence<? extends AuthenticateSchema> SchemaList)
static AuthenticateSchemaContent	create_SchemaMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> SchemaMap)
static AuthenticateSchemaContent	Default()
AuthenticateAction	dtor_Action()
dafny.DafnySequence<? extends AuthenticateSchema>	dtor_SchemaList()
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema>	dtor_SchemaMap()
boolean	is_Action()
boolean	is_SchemaList()
boolean	is_SchemaMap()

Methods inherited from class java.lang.Object

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

Constructor Detail

AuthenticateSchemaContent

public AuthenticateSchemaContent()

Method Detail

Default

public static AuthenticateSchemaContent Default()

_typeDescriptor

public static dafny.TypeDescriptor<AuthenticateSchemaContent> _typeDescriptor()

create_Action

public static AuthenticateSchemaContent create_Action(AuthenticateAction Action)

create_SchemaMap

public static AuthenticateSchemaContent create_SchemaMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> SchemaMap)

create_SchemaList

public static AuthenticateSchemaContent create_SchemaList(dafny.DafnySequence<? extends AuthenticateSchema> SchemaList)

is_Action

public boolean is_Action()

is_SchemaMap

public boolean is_SchemaMap()

is_SchemaList

public boolean is_SchemaList()

dtor_Action

public AuthenticateAction dtor_Action()

dtor_SchemaMap

public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> dtor_SchemaMap()

dtor_SchemaList

public dafny.DafnySequence<? extends AuthenticateSchema> dtor_SchemaList()