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

Class CryptoSchemaContent

java.lang.Object

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

Direct Known Subclasses:

CryptoSchemaContent_Action, CryptoSchemaContent_SchemaList, CryptoSchemaContent_SchemaMap

public abstract class CryptoSchemaContent
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CryptoSchemaContent()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<CryptoSchemaContent>	_typeDescriptor()
static CryptoSchemaContent	create_Action(CryptoAction Action)
static CryptoSchemaContent	create_SchemaList(dafny.DafnySequence<? extends CryptoSchema> SchemaList)
static CryptoSchemaContent	create_SchemaMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoSchema> SchemaMap)
static CryptoSchemaContent	Default()
CryptoAction	dtor_Action()
dafny.DafnySequence<? extends CryptoSchema>	dtor_SchemaList()
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoSchema>	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

CryptoSchemaContent

public CryptoSchemaContent()

Method Detail

Default

public static CryptoSchemaContent Default()

_typeDescriptor

public static dafny.TypeDescriptor<CryptoSchemaContent> _typeDescriptor()

create_Action

public static CryptoSchemaContent create_Action(CryptoAction Action)

create_SchemaMap

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

create_SchemaList

public static CryptoSchemaContent create_SchemaList(dafny.DafnySequence<? extends CryptoSchema> SchemaList)

is_Action

public boolean is_Action()

is_SchemaMap

public boolean is_SchemaMap()

is_SchemaList

public boolean is_SchemaList()

dtor_Action

public CryptoAction dtor_Action()

dtor_SchemaMap

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

dtor_SchemaList

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