software.amazon.cryptography.keystore

Class ToNative

java.lang.Object

software.amazon.cryptography.keystore.ToNative

public class ToNative
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ToNative()

Method Summary

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

Error

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

BeaconKeyMaterials

public static BeaconKeyMaterials BeaconKeyMaterials(BeaconKeyMaterials dafnyValue)

BranchKeyMaterials

public static BranchKeyMaterials BranchKeyMaterials(BranchKeyMaterials dafnyValue)

CreateKeyInput

public static CreateKeyInput CreateKeyInput(CreateKeyInput dafnyValue)

CreateKeyOutput

public static CreateKeyOutput CreateKeyOutput(CreateKeyOutput dafnyValue)

CreateKeyStoreInput

public static CreateKeyStoreInput CreateKeyStoreInput(CreateKeyStoreInput dafnyValue)

CreateKeyStoreOutput

public static CreateKeyStoreOutput CreateKeyStoreOutput(CreateKeyStoreOutput dafnyValue)

GetActiveBranchKeyInput

public static GetActiveBranchKeyInput GetActiveBranchKeyInput(GetActiveBranchKeyInput dafnyValue)

GetActiveBranchKeyOutput

public static GetActiveBranchKeyOutput GetActiveBranchKeyOutput(GetActiveBranchKeyOutput dafnyValue)

GetBeaconKeyInput

public static GetBeaconKeyInput GetBeaconKeyInput(GetBeaconKeyInput dafnyValue)

GetBeaconKeyOutput

public static GetBeaconKeyOutput GetBeaconKeyOutput(GetBeaconKeyOutput dafnyValue)

GetBranchKeyVersionInput

public static GetBranchKeyVersionInput GetBranchKeyVersionInput(GetBranchKeyVersionInput dafnyValue)

GetBranchKeyVersionOutput

public static GetBranchKeyVersionOutput GetBranchKeyVersionOutput(GetBranchKeyVersionOutput dafnyValue)

GetKeyStoreInfoOutput

public static GetKeyStoreInfoOutput GetKeyStoreInfoOutput(GetKeyStoreInfoOutput dafnyValue)

KeyStoreConfig

public static KeyStoreConfig KeyStoreConfig(KeyStoreConfig dafnyValue)

VersionKeyInput

public static VersionKeyInput VersionKeyInput(VersionKeyInput dafnyValue)

VersionKeyOutput

public static VersionKeyOutput VersionKeyOutput(VersionKeyOutput dafnyValue)

KMSConfiguration

public static KMSConfiguration KMSConfiguration(KMSConfiguration dafnyValue)

GrantTokenList

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

EncryptionContext

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

HmacKeyMap

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

KeyStore

public static KeyStore KeyStore(IKeyStoreClient dafnyValue)