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

Error

public static Error Error(CollectionOfErrors nativeValue)

AuthItem

public static AuthItem AuthItem(AuthItem nativeValue)

CryptoItem

public static CryptoItem CryptoItem(CryptoItem nativeValue)

DecryptPathStructureInput

public static DecryptPathStructureInput DecryptPathStructureInput(DecryptPathStructureInput nativeValue)

DecryptPathStructureOutput

public static DecryptPathStructureOutput DecryptPathStructureOutput(DecryptPathStructureOutput nativeValue)

DecryptStructureInput

public static DecryptStructureInput DecryptStructureInput(DecryptStructureInput nativeValue)

DecryptStructureOutput

public static DecryptStructureOutput DecryptStructureOutput(DecryptStructureOutput nativeValue)

EncryptPathStructureInput

public static EncryptPathStructureInput EncryptPathStructureInput(EncryptPathStructureInput nativeValue)

EncryptPathStructureOutput

public static EncryptPathStructureOutput EncryptPathStructureOutput(EncryptPathStructureOutput nativeValue)

EncryptStructureInput

public static EncryptStructureInput EncryptStructureInput(EncryptStructureInput nativeValue)

EncryptStructureOutput

public static EncryptStructureOutput EncryptStructureOutput(EncryptStructureOutput nativeValue)

ParsedHeader

public static ParsedHeader ParsedHeader(ParsedHeader nativeValue)

ResolveAuthActionsInput

public static ResolveAuthActionsInput ResolveAuthActionsInput(ResolveAuthActionsInput nativeValue)

ResolveAuthActionsOutput

public static ResolveAuthActionsOutput ResolveAuthActionsOutput(ResolveAuthActionsOutput nativeValue)

StructuredDataTerminal

public static StructuredDataTerminal StructuredDataTerminal(StructuredDataTerminal nativeValue)

StructuredEncryptionConfig

public static StructuredEncryptionConfig StructuredEncryptionConfig(StructuredEncryptionConfig nativeValue)

StructureSegment

public static StructureSegment StructureSegment(StructureSegment nativeValue)

Error

public static Error Error(StructuredEncryptionException nativeValue)

AuthenticateAction

public static AuthenticateAction AuthenticateAction(AuthenticateAction nativeValue)

CryptoAction

public static CryptoAction CryptoAction(CryptoAction nativeValue)

PathSegment

public static PathSegment PathSegment(PathSegment nativeValue)

AuthList

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

CryptoList

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

Path

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

AuthenticateSchemaMap

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

CryptoSchemaMap

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

StructuredDataMap

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

StructuredEncryption

public static IStructuredEncryptionClient StructuredEncryption(StructuredEncryption nativeValue)