software.amazon.cryptography.dbencryptionsdk.structuredencryption

Class ToDafny

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.structuredencryption.ToDafny

public class ToDafny
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ToDafny()

Method Summary

Modifier and Type	Method and Description
static AuthenticateAction	AuthenticateAction(AuthenticateAction nativeValue)
static AuthenticateSchema	AuthenticateSchema(AuthenticateSchema nativeValue)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateAction>	AuthenticateSchemaAttributes(java.util.Map<java.lang.String,AuthenticateAction> nativeValue)
static AuthenticateSchemaContent	AuthenticateSchemaContent(AuthenticateSchemaContent nativeValue)
static dafny.DafnySequence<? extends AuthenticateSchema>	AuthenticateSchemaList(java.util.List<AuthenticateSchema> nativeValue)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema>	AuthenticateSchemaMap(java.util.Map<java.lang.String,AuthenticateSchema> nativeValue)
static CryptoAction	CryptoAction(CryptoAction nativeValue)
static CryptoSchema	CryptoSchema(CryptoSchema nativeValue)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateAction>	CryptoSchemaAttributes(java.util.Map<java.lang.String,AuthenticateAction> nativeValue)
static CryptoSchemaContent	CryptoSchemaContent(CryptoSchemaContent nativeValue)
static dafny.DafnySequence<? extends CryptoSchema>	CryptoSchemaList(java.util.List<CryptoSchema> nativeValue)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoSchema>	CryptoSchemaMap(java.util.Map<java.lang.String,CryptoSchema> nativeValue)
static DecryptStructureInput	DecryptStructureInput(DecryptStructureInput nativeValue)
static DecryptStructureOutput	DecryptStructureOutput(DecryptStructureOutput nativeValue)
static EncryptStructureInput	EncryptStructureInput(EncryptStructureInput nativeValue)
static EncryptStructureOutput	EncryptStructureOutput(EncryptStructureOutput nativeValue)
static Error	Error(CollectionOfErrors nativeValue)
static Error	Error(OpaqueError nativeValue)
static Error	Error(java.lang.RuntimeException nativeValue)
static Error	Error(StructuredEncryptionException nativeValue)
static ParsedHeader	ParsedHeader(ParsedHeader nativeValue)
static StructuredData	StructuredData(StructuredData nativeValue)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredDataTerminal>	StructuredDataAttributes(java.util.Map<java.lang.String,StructuredDataTerminal> nativeValue)
static StructuredDataContent	StructuredDataContent(StructuredDataContent nativeValue)
static dafny.DafnySequence<? extends StructuredData>	StructuredDataList(java.util.List<StructuredData> nativeValue)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData>	StructuredDataMap(java.util.Map<java.lang.String,StructuredData> nativeValue)
static StructuredDataTerminal	StructuredDataTerminal(StructuredDataTerminal nativeValue)
static IStructuredEncryptionClient	StructuredEncryption(StructuredEncryption nativeValue)
static StructuredEncryptionConfig	StructuredEncryptionConfig(StructuredEncryptionConfig nativeValue)

Methods inherited from class java.lang.Object

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

Constructor Detail

ToDafny

public ToDafny()

Method Detail

Error

public static Error Error(java.lang.RuntimeException nativeValue)

Error

public static Error Error(OpaqueError nativeValue)

Error

public static Error Error(CollectionOfErrors nativeValue)

AuthenticateSchema

public static AuthenticateSchema AuthenticateSchema(AuthenticateSchema nativeValue)

CryptoSchema

public static CryptoSchema CryptoSchema(CryptoSchema nativeValue)

DecryptStructureInput

public static DecryptStructureInput DecryptStructureInput(DecryptStructureInput nativeValue)

DecryptStructureOutput

public static DecryptStructureOutput DecryptStructureOutput(DecryptStructureOutput nativeValue)

EncryptStructureInput

public static EncryptStructureInput EncryptStructureInput(EncryptStructureInput nativeValue)

EncryptStructureOutput

public static EncryptStructureOutput EncryptStructureOutput(EncryptStructureOutput nativeValue)

ParsedHeader

public static ParsedHeader ParsedHeader(ParsedHeader nativeValue)

StructuredData

public static StructuredData StructuredData(StructuredData nativeValue)

StructuredDataTerminal

public static StructuredDataTerminal StructuredDataTerminal(StructuredDataTerminal nativeValue)

StructuredEncryptionConfig

public static StructuredEncryptionConfig StructuredEncryptionConfig(StructuredEncryptionConfig nativeValue)

Error

public static Error Error(StructuredEncryptionException nativeValue)

AuthenticateAction

public static AuthenticateAction AuthenticateAction(AuthenticateAction nativeValue)

CryptoAction

public static CryptoAction CryptoAction(CryptoAction nativeValue)

AuthenticateSchemaContent

public static AuthenticateSchemaContent AuthenticateSchemaContent(AuthenticateSchemaContent nativeValue)

CryptoSchemaContent

public static CryptoSchemaContent CryptoSchemaContent(CryptoSchemaContent nativeValue)

StructuredDataContent

public static StructuredDataContent StructuredDataContent(StructuredDataContent nativeValue)

AuthenticateSchemaList

public static dafny.DafnySequence<? extends AuthenticateSchema> AuthenticateSchemaList(java.util.List<AuthenticateSchema> nativeValue)

CryptoSchemaList

public static dafny.DafnySequence<? extends CryptoSchema> CryptoSchemaList(java.util.List<CryptoSchema> nativeValue)

StructuredDataList

public static dafny.DafnySequence<? extends StructuredData> StructuredDataList(java.util.List<StructuredData> nativeValue)

AuthenticateSchemaAttributes

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateAction> AuthenticateSchemaAttributes(java.util.Map<java.lang.String,AuthenticateAction> nativeValue)

AuthenticateSchemaMap

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> AuthenticateSchemaMap(java.util.Map<java.lang.String,AuthenticateSchema> nativeValue)

CryptoSchemaAttributes

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateAction> CryptoSchemaAttributes(java.util.Map<java.lang.String,AuthenticateAction> nativeValue)

CryptoSchemaMap

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoSchema> CryptoSchemaMap(java.util.Map<java.lang.String,CryptoSchema> nativeValue)

StructuredDataAttributes

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredDataTerminal> StructuredDataAttributes(java.util.Map<java.lang.String,StructuredDataTerminal> nativeValue)

StructuredDataMap

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> StructuredDataMap(java.util.Map<java.lang.String,StructuredData> nativeValue)

StructuredEncryption

public static IStructuredEncryptionClient StructuredEncryption(StructuredEncryption nativeValue)