software.amazon.cryptography.keystore.internaldafny

Class KeyStoreClient

java.lang.Object

software.amazon.cryptography.keystore.internaldafny.KeyStoreClient

All Implemented Interfaces:

IKeyStoreClient

public class KeyStoreClient
extends java.lang.Object
implements IKeyStoreClient

Field Summary

Fields

Modifier and Type	Field and Description
Config	_config

Constructor Summary

Constructors

Constructor and Description
KeyStoreClient()

Method Summary

Modifier and Type	Method and Description
void	__ctor(Config config)
static dafny.TypeDescriptor<KeyStoreClient>	_typeDescriptor()
Config	config()
Wrappers_Compile.Result<CreateKeyOutput,Error>	CreateKey(CreateKeyInput input)
Wrappers_Compile.Result<CreateKeyStoreOutput,Error>	CreateKeyStore(CreateKeyStoreInput input)
Wrappers_Compile.Result<GetActiveBranchKeyOutput,Error>	GetActiveBranchKey(GetActiveBranchKeyInput input)
Wrappers_Compile.Result<GetBeaconKeyOutput,Error>	GetBeaconKey(GetBeaconKeyInput input)
Wrappers_Compile.Result<GetBranchKeyVersionOutput,Error>	GetBranchKeyVersion(GetBranchKeyVersionInput input)
Wrappers_Compile.Result<GetKeyStoreInfoOutput,Error>	GetKeyStoreInfo()
java.lang.String	toString()
Wrappers_Compile.Result<VersionKeyOutput,Error>	VersionKey(VersionKeyInput input)

Methods inherited from class java.lang.Object

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

Field Detail

_config

public Config _config

Constructor Detail

KeyStoreClient

public KeyStoreClient()

Method Detail

__ctor

public void __ctor(Config config)

GetKeyStoreInfo

public Wrappers_Compile.Result<GetKeyStoreInfoOutput,Error> GetKeyStoreInfo()

Specified by:

GetKeyStoreInfo in interface IKeyStoreClient

CreateKeyStore

public Wrappers_Compile.Result<CreateKeyStoreOutput,Error> CreateKeyStore(CreateKeyStoreInput input)

Specified by:

CreateKeyStore in interface IKeyStoreClient

CreateKey

public Wrappers_Compile.Result<CreateKeyOutput,Error> CreateKey(CreateKeyInput input)

Specified by:

CreateKey in interface IKeyStoreClient

VersionKey

public Wrappers_Compile.Result<VersionKeyOutput,Error> VersionKey(VersionKeyInput input)

Specified by:

VersionKey in interface IKeyStoreClient

GetActiveBranchKey

public Wrappers_Compile.Result<GetActiveBranchKeyOutput,Error> GetActiveBranchKey(GetActiveBranchKeyInput input)

Specified by:

GetActiveBranchKey in interface IKeyStoreClient

GetBranchKeyVersion

public Wrappers_Compile.Result<GetBranchKeyVersionOutput,Error> GetBranchKeyVersion(GetBranchKeyVersionInput input)

Specified by:

GetBranchKeyVersion in interface IKeyStoreClient

GetBeaconKey

public Wrappers_Compile.Result<GetBeaconKeyOutput,Error> GetBeaconKey(GetBeaconKeyInput input)

Specified by:

GetBeaconKey in interface IKeyStoreClient

config

public Config config()

_typeDescriptor

public static dafny.TypeDescriptor<KeyStoreClient> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object