software.amazon.cryptography.dbencryptionsdk.structuredencryption

Class ToNative

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.structuredencryption.ToNative

public class ToNative
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ToNative()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ToNative

public ToNative()

Method Detail

Error

public static OpaqueError Error(Error_Opaque dafnyValue)

Error

public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue)

Error

public static StructuredEncryptionException Error(Error_StructuredEncryptionException dafnyValue)

Error

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

AuthenticateSchema

public static AuthenticateSchema AuthenticateSchema(AuthenticateSchema dafnyValue)

CryptoSchema

public static CryptoSchema CryptoSchema(CryptoSchema dafnyValue)

DecryptStructureInput

public static DecryptStructureInput DecryptStructureInput(DecryptStructureInput dafnyValue)

DecryptStructureOutput

public static DecryptStructureOutput DecryptStructureOutput(DecryptStructureOutput dafnyValue)

EncryptStructureInput

public static EncryptStructureInput EncryptStructureInput(EncryptStructureInput dafnyValue)

EncryptStructureOutput

public static EncryptStructureOutput EncryptStructureOutput(EncryptStructureOutput dafnyValue)

ParsedHeader

public static ParsedHeader ParsedHeader(ParsedHeader dafnyValue)

StructuredData

public static StructuredData StructuredData(StructuredData dafnyValue)

StructuredDataTerminal

public static StructuredDataTerminal StructuredDataTerminal(StructuredDataTerminal dafnyValue)

StructuredEncryptionConfig

public static StructuredEncryptionConfig StructuredEncryptionConfig(StructuredEncryptionConfig dafnyValue)

AuthenticateAction

public static AuthenticateAction AuthenticateAction(AuthenticateAction dafnyValue)

CryptoAction

public static CryptoAction CryptoAction(CryptoAction dafnyValue)

AuthenticateSchemaContent

public static AuthenticateSchemaContent AuthenticateSchemaContent(AuthenticateSchemaContent dafnyValue)

CryptoSchemaContent

public static CryptoSchemaContent CryptoSchemaContent(CryptoSchemaContent dafnyValue)

StructuredDataContent

public static StructuredDataContent StructuredDataContent(StructuredDataContent dafnyValue)

AuthenticateSchemaList

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

CryptoSchemaList

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

StructuredDataList

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

AuthenticateSchemaAttributes

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

AuthenticateSchemaMap

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

CryptoSchemaAttributes

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

CryptoSchemaMap

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

StructuredDataAttributes

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

StructuredDataMap

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

StructuredEncryption

public static StructuredEncryption StructuredEncryption(IStructuredEncryptionClient dafnyValue)