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

Class StructuredDataContent

java.lang.Object

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

Direct Known Subclasses:

StructuredDataContent_DataList, StructuredDataContent_DataMap, StructuredDataContent_Terminal

public abstract class StructuredDataContent
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
StructuredDataContent()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<StructuredDataContent>	_typeDescriptor()
static StructuredDataContent	create_DataList(dafny.DafnySequence<? extends StructuredData> DataList)
static StructuredDataContent	create_DataMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> DataMap)
static StructuredDataContent	create_Terminal(StructuredDataTerminal Terminal)
static StructuredDataContent	Default()
dafny.DafnySequence<? extends StructuredData>	dtor_DataList()
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData>	dtor_DataMap()
StructuredDataTerminal	dtor_Terminal()
boolean	is_DataList()
boolean	is_DataMap()
boolean	is_Terminal()

Methods inherited from class java.lang.Object

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

Constructor Detail

StructuredDataContent

public StructuredDataContent()

Method Detail

Default

public static StructuredDataContent Default()

_typeDescriptor

public static dafny.TypeDescriptor<StructuredDataContent> _typeDescriptor()

create_Terminal

public static StructuredDataContent create_Terminal(StructuredDataTerminal Terminal)

create_DataList

public static StructuredDataContent create_DataList(dafny.DafnySequence<? extends StructuredData> DataList)

create_DataMap

public static StructuredDataContent create_DataMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> DataMap)

is_Terminal

public boolean is_Terminal()

is_DataList

public boolean is_DataList()

is_DataMap

public boolean is_DataMap()

dtor_Terminal

public StructuredDataTerminal dtor_Terminal()

dtor_DataList

public dafny.DafnySequence<? extends StructuredData> dtor_DataList()

dtor_DataMap

public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> dtor_DataMap()