software.amazon.cryptography.keystore

Class ToDafny

java.lang.Object

software.amazon.cryptography.keystore.ToDafny

public class ToDafny
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ToDafny()

Method Summary

Modifier and Type	Method and Description
static BeaconKeyMaterials	BeaconKeyMaterials(BeaconKeyMaterials nativeValue)
static BranchKeyMaterials	BranchKeyMaterials(BranchKeyMaterials nativeValue)
static CreateKeyInput	CreateKeyInput(CreateKeyInput nativeValue)
static CreateKeyOutput	CreateKeyOutput(CreateKeyOutput nativeValue)
static CreateKeyStoreInput	CreateKeyStoreInput(CreateKeyStoreInput nativeValue)
static CreateKeyStoreOutput	CreateKeyStoreOutput(CreateKeyStoreOutput nativeValue)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>	EncryptionContext(java.util.Map<java.lang.String,java.lang.String> nativeValue)
static Error	Error(CollectionOfErrors nativeValue)
static Error	Error(KeyStoreException nativeValue)
static Error	Error(OpaqueError nativeValue)
static Error	Error(java.lang.RuntimeException nativeValue)
static GetActiveBranchKeyInput	GetActiveBranchKeyInput(GetActiveBranchKeyInput nativeValue)
static GetActiveBranchKeyOutput	GetActiveBranchKeyOutput(GetActiveBranchKeyOutput nativeValue)
static GetBeaconKeyInput	GetBeaconKeyInput(GetBeaconKeyInput nativeValue)
static GetBeaconKeyOutput	GetBeaconKeyOutput(GetBeaconKeyOutput nativeValue)
static GetBranchKeyVersionInput	GetBranchKeyVersionInput(GetBranchKeyVersionInput nativeValue)
static GetBranchKeyVersionOutput	GetBranchKeyVersionOutput(GetBranchKeyVersionOutput nativeValue)
static GetKeyStoreInfoOutput	GetKeyStoreInfoOutput(GetKeyStoreInfoOutput nativeValue)
static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	GrantTokenList(java.util.List<java.lang.String> nativeValue)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>>	HmacKeyMap(java.util.Map<java.lang.String,java.nio.ByteBuffer> nativeValue)
static IKeyStoreClient	KeyStore(KeyStore nativeValue)
static KeyStoreConfig	KeyStoreConfig(KeyStoreConfig nativeValue)
static KMSConfiguration	KMSConfiguration(KMSConfiguration nativeValue)
static VersionKeyInput	VersionKeyInput(VersionKeyInput nativeValue)
static VersionKeyOutput	VersionKeyOutput(VersionKeyOutput 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)

BeaconKeyMaterials

public static BeaconKeyMaterials BeaconKeyMaterials(BeaconKeyMaterials nativeValue)

BranchKeyMaterials

public static BranchKeyMaterials BranchKeyMaterials(BranchKeyMaterials nativeValue)

CreateKeyInput

public static CreateKeyInput CreateKeyInput(CreateKeyInput nativeValue)

CreateKeyOutput

public static CreateKeyOutput CreateKeyOutput(CreateKeyOutput nativeValue)

CreateKeyStoreInput

public static CreateKeyStoreInput CreateKeyStoreInput(CreateKeyStoreInput nativeValue)

CreateKeyStoreOutput

public static CreateKeyStoreOutput CreateKeyStoreOutput(CreateKeyStoreOutput nativeValue)

GetActiveBranchKeyInput

public static GetActiveBranchKeyInput GetActiveBranchKeyInput(GetActiveBranchKeyInput nativeValue)

GetActiveBranchKeyOutput

public static GetActiveBranchKeyOutput GetActiveBranchKeyOutput(GetActiveBranchKeyOutput nativeValue)

GetBeaconKeyInput

public static GetBeaconKeyInput GetBeaconKeyInput(GetBeaconKeyInput nativeValue)

GetBeaconKeyOutput

public static GetBeaconKeyOutput GetBeaconKeyOutput(GetBeaconKeyOutput nativeValue)

GetBranchKeyVersionInput

public static GetBranchKeyVersionInput GetBranchKeyVersionInput(GetBranchKeyVersionInput nativeValue)

GetBranchKeyVersionOutput

public static GetBranchKeyVersionOutput GetBranchKeyVersionOutput(GetBranchKeyVersionOutput nativeValue)

GetKeyStoreInfoOutput

public static GetKeyStoreInfoOutput GetKeyStoreInfoOutput(GetKeyStoreInfoOutput nativeValue)

KeyStoreConfig

public static KeyStoreConfig KeyStoreConfig(KeyStoreConfig nativeValue)

VersionKeyInput

public static VersionKeyInput VersionKeyInput(VersionKeyInput nativeValue)

VersionKeyOutput

public static VersionKeyOutput VersionKeyOutput(VersionKeyOutput nativeValue)

Error

public static Error Error(KeyStoreException nativeValue)

KMSConfiguration

public static KMSConfiguration KMSConfiguration(KMSConfiguration nativeValue)

GrantTokenList

public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> GrantTokenList(java.util.List<java.lang.String> nativeValue)

EncryptionContext

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> EncryptionContext(java.util.Map<java.lang.String,java.lang.String> nativeValue)

HmacKeyMap

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>> HmacKeyMap(java.util.Map<java.lang.String,java.nio.ByteBuffer> nativeValue)

KeyStore

public static IKeyStoreClient KeyStore(KeyStore nativeValue)