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 java.util.Map<java.lang.String,AuthenticateAction>	AuthenticateSchemaMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateAction> dafnyValue)
static AuthItem	AuthItem(AuthItem dafnyValue)
static java.util.List<AuthItem>	AuthList(dafny.DafnySequence<? extends AuthItem> dafnyValue)
static CryptoAction	CryptoAction(CryptoAction dafnyValue)
static CryptoItem	CryptoItem(CryptoItem dafnyValue)
static java.util.List<CryptoItem>	CryptoList(dafny.DafnySequence<? extends CryptoItem> dafnyValue)
static java.util.Map<java.lang.String,CryptoAction>	CryptoSchemaMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> dafnyValue)
static DecryptPathStructureInput	DecryptPathStructureInput(DecryptPathStructureInput dafnyValue)
static DecryptPathStructureOutput	DecryptPathStructureOutput(DecryptPathStructureOutput dafnyValue)
static DecryptStructureInput	DecryptStructureInput(DecryptStructureInput dafnyValue)
static DecryptStructureOutput	DecryptStructureOutput(DecryptStructureOutput dafnyValue)
static EncryptPathStructureInput	EncryptPathStructureInput(EncryptPathStructureInput dafnyValue)
static EncryptPathStructureOutput	EncryptPathStructureOutput(EncryptPathStructureOutput dafnyValue)
static EncryptStructureInput	EncryptStructureInput(EncryptStructureInput dafnyValue)
static EncryptStructureOutput	EncryptStructureOutput(EncryptStructureOutput dafnyValue)
static CollectionOfErrors	Error(Error_CollectionOfErrors dafnyValue)
static OpaqueError	Error(Error_Opaque dafnyValue)
static OpaqueWithTextError	Error(Error_OpaqueWithText dafnyValue)
static StructuredEncryptionException	Error(Error_StructuredEncryptionException dafnyValue)
static java.lang.RuntimeException	Error(Error dafnyValue)
static ParsedHeader	ParsedHeader(ParsedHeader dafnyValue)
static java.util.List<PathSegment>	Path(dafny.DafnySequence<? extends PathSegment> dafnyValue)
static PathSegment	PathSegment(PathSegment dafnyValue)
static ResolveAuthActionsInput	ResolveAuthActionsInput(ResolveAuthActionsInput dafnyValue)
static ResolveAuthActionsOutput	ResolveAuthActionsOutput(ResolveAuthActionsOutput dafnyValue)
static java.util.Map<java.lang.String,StructuredDataTerminal>	StructuredDataMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredDataTerminal> dafnyValue)
static StructuredDataTerminal	StructuredDataTerminal(StructuredDataTerminal dafnyValue)
static StructuredEncryption	StructuredEncryption(IStructuredEncryptionClient dafnyValue)
static StructuredEncryptionConfig	StructuredEncryptionConfig(StructuredEncryptionConfig dafnyValue)
static StructureSegment	StructureSegment(StructureSegment 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 OpaqueWithTextError Error(Error_OpaqueWithText 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)

AuthItem

public static AuthItem AuthItem(AuthItem dafnyValue)

CryptoItem

public static CryptoItem CryptoItem(CryptoItem dafnyValue)

DecryptPathStructureInput

public static DecryptPathStructureInput DecryptPathStructureInput(DecryptPathStructureInput dafnyValue)

DecryptPathStructureOutput

public static DecryptPathStructureOutput DecryptPathStructureOutput(DecryptPathStructureOutput dafnyValue)

DecryptStructureInput

public static DecryptStructureInput DecryptStructureInput(DecryptStructureInput dafnyValue)

DecryptStructureOutput

public static DecryptStructureOutput DecryptStructureOutput(DecryptStructureOutput dafnyValue)

EncryptPathStructureInput

public static EncryptPathStructureInput EncryptPathStructureInput(EncryptPathStructureInput dafnyValue)

EncryptPathStructureOutput

public static EncryptPathStructureOutput EncryptPathStructureOutput(EncryptPathStructureOutput dafnyValue)

EncryptStructureInput

public static EncryptStructureInput EncryptStructureInput(EncryptStructureInput dafnyValue)

EncryptStructureOutput

public static EncryptStructureOutput EncryptStructureOutput(EncryptStructureOutput dafnyValue)

ParsedHeader

public static ParsedHeader ParsedHeader(ParsedHeader dafnyValue)

ResolveAuthActionsInput

public static ResolveAuthActionsInput ResolveAuthActionsInput(ResolveAuthActionsInput dafnyValue)

ResolveAuthActionsOutput

public static ResolveAuthActionsOutput ResolveAuthActionsOutput(ResolveAuthActionsOutput dafnyValue)

StructuredDataTerminal

public static StructuredDataTerminal StructuredDataTerminal(StructuredDataTerminal dafnyValue)

StructuredEncryptionConfig

public static StructuredEncryptionConfig StructuredEncryptionConfig(StructuredEncryptionConfig dafnyValue)

StructureSegment

public static StructureSegment StructureSegment(StructureSegment dafnyValue)

AuthenticateAction

public static AuthenticateAction AuthenticateAction(AuthenticateAction dafnyValue)

CryptoAction

public static CryptoAction CryptoAction(CryptoAction dafnyValue)

PathSegment

public static PathSegment PathSegment(PathSegment dafnyValue)

AuthList

public static java.util.List<AuthItem> AuthList(dafny.DafnySequence<? extends AuthItem> dafnyValue)

CryptoList

public static java.util.List<CryptoItem> CryptoList(dafny.DafnySequence<? extends CryptoItem> dafnyValue)

Path

public static java.util.List<PathSegment> Path(dafny.DafnySequence<? extends PathSegment> dafnyValue)

AuthenticateSchemaMap

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

CryptoSchemaMap

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

StructuredDataMap

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

StructuredEncryption

public static StructuredEncryption StructuredEncryption(IStructuredEncryptionClient dafnyValue)