software.amazon.cryptography.materialproviders.internaldafny

Class MaterialProvidersClient

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient

All Implemented Interfaces:

IAwsCryptographicMaterialProvidersClient

public class MaterialProvidersClient
extends java.lang.Object
implements IAwsCryptographicMaterialProvidersClient

Field Summary

Fields

Modifier and Type	Field and Description
Config	_config

Constructor Summary

Constructors

Constructor and Description
MaterialProvidersClient()

Method Summary

Modifier and Type	Method and Description
void	__ctor(Config config)
static dafny.TypeDescriptor<MaterialProvidersClient>	_typeDescriptor()
Config	config()
Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsDiscoveryKeyring(CreateAwsKmsDiscoveryKeyringInput input)
Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsDiscoveryMultiKeyring(CreateAwsKmsDiscoveryMultiKeyringInput input)
Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsHierarchicalKeyring(CreateAwsKmsHierarchicalKeyringInput input)
Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsKeyring(CreateAwsKmsKeyringInput input)
Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsMrkDiscoveryKeyring(CreateAwsKmsMrkDiscoveryKeyringInput input)
Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsMrkDiscoveryMultiKeyring(CreateAwsKmsMrkDiscoveryMultiKeyringInput input)
Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsMrkKeyring(CreateAwsKmsMrkKeyringInput input)
Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsMrkMultiKeyring(CreateAwsKmsMrkMultiKeyringInput input)
Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsMultiKeyring(CreateAwsKmsMultiKeyringInput input)
Wrappers_Compile.Result<IKeyring,Error>	CreateAwsKmsRsaKeyring(CreateAwsKmsRsaKeyringInput input)
Wrappers_Compile.Result<ICryptographicMaterialsCache,Error>	CreateCryptographicMaterialsCache(CreateCryptographicMaterialsCacheInput input)
Wrappers_Compile.Result<IClientSupplier,Error>	CreateDefaultClientSupplier(CreateDefaultClientSupplierInput input)
Wrappers_Compile.Result<ICryptographicMaterialsManager,Error>	CreateDefaultCryptographicMaterialsManager(CreateDefaultCryptographicMaterialsManagerInput input)
Wrappers_Compile.Result<IKeyring,Error>	CreateMultiKeyring(CreateMultiKeyringInput input)
Wrappers_Compile.Result<IKeyring,Error>	CreateRawAesKeyring(CreateRawAesKeyringInput input)
Wrappers_Compile.Result<IKeyring,Error>	CreateRawRsaKeyring(CreateRawRsaKeyringInput input)
Wrappers_Compile.Result<ICryptographicMaterialsManager,Error>	CreateRequiredEncryptionContextCMM(CreateRequiredEncryptionContextCMMInput input)
Wrappers_Compile.Result<dafny.Tuple0,Error>	DecryptionMaterialsWithPlaintextDataKey(DecryptionMaterials input)
Wrappers_Compile.Result<dafny.Tuple0,Error>	EncryptionMaterialsHasPlaintextDataKey(EncryptionMaterials input)
Wrappers_Compile.Result<AlgorithmSuiteInfo,Error>	GetAlgorithmSuiteInfo(dafny.DafnySequence<? extends java.lang.Byte> input)
Wrappers_Compile.Result<DecryptionMaterials,Error>	InitializeDecryptionMaterials(InitializeDecryptionMaterialsInput input)
Wrappers_Compile.Result<EncryptionMaterials,Error>	InitializeEncryptionMaterials(InitializeEncryptionMaterialsInput input)
java.lang.String	toString()
Wrappers_Compile.Result<dafny.Tuple0,Error>	ValidAlgorithmSuiteInfo(AlgorithmSuiteInfo input)
Wrappers_Compile.Result<dafny.Tuple0,Error>	ValidateCommitmentPolicyOnDecrypt(ValidateCommitmentPolicyOnDecryptInput input)
Wrappers_Compile.Result<dafny.Tuple0,Error>	ValidateCommitmentPolicyOnEncrypt(ValidateCommitmentPolicyOnEncryptInput input)
Wrappers_Compile.Result<dafny.Tuple0,Error>	ValidDecryptionMaterialsTransition(ValidDecryptionMaterialsTransitionInput input)
Wrappers_Compile.Result<dafny.Tuple0,Error>	ValidEncryptionMaterialsTransition(ValidEncryptionMaterialsTransitionInput 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

MaterialProvidersClient

public MaterialProvidersClient()

Method Detail

__ctor

public void __ctor(Config config)

CreateAwsKmsKeyring

public Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsKeyring(CreateAwsKmsKeyringInput input)

Specified by:

CreateAwsKmsKeyring in interface IAwsCryptographicMaterialProvidersClient

CreateAwsKmsDiscoveryKeyring

public Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsDiscoveryKeyring(CreateAwsKmsDiscoveryKeyringInput input)

Specified by:

CreateAwsKmsDiscoveryKeyring in interface IAwsCryptographicMaterialProvidersClient

CreateAwsKmsMultiKeyring

public Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsMultiKeyring(CreateAwsKmsMultiKeyringInput input)

Specified by:

CreateAwsKmsMultiKeyring in interface IAwsCryptographicMaterialProvidersClient

CreateAwsKmsDiscoveryMultiKeyring

public Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsDiscoveryMultiKeyring(CreateAwsKmsDiscoveryMultiKeyringInput input)

Specified by:

CreateAwsKmsDiscoveryMultiKeyring in interface IAwsCryptographicMaterialProvidersClient

CreateAwsKmsMrkKeyring

public Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsMrkKeyring(CreateAwsKmsMrkKeyringInput input)

Specified by:

CreateAwsKmsMrkKeyring in interface IAwsCryptographicMaterialProvidersClient

CreateAwsKmsMrkMultiKeyring

public Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsMrkMultiKeyring(CreateAwsKmsMrkMultiKeyringInput input)

Specified by:

CreateAwsKmsMrkMultiKeyring in interface IAwsCryptographicMaterialProvidersClient

CreateAwsKmsMrkDiscoveryKeyring

public Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsMrkDiscoveryKeyring(CreateAwsKmsMrkDiscoveryKeyringInput input)

Specified by:

CreateAwsKmsMrkDiscoveryKeyring in interface IAwsCryptographicMaterialProvidersClient

CreateAwsKmsMrkDiscoveryMultiKeyring

public Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsMrkDiscoveryMultiKeyring(CreateAwsKmsMrkDiscoveryMultiKeyringInput input)

Specified by:

CreateAwsKmsMrkDiscoveryMultiKeyring in interface IAwsCryptographicMaterialProvidersClient

CreateAwsKmsHierarchicalKeyring

public Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsHierarchicalKeyring(CreateAwsKmsHierarchicalKeyringInput input)

Specified by:

CreateAwsKmsHierarchicalKeyring in interface IAwsCryptographicMaterialProvidersClient

CreateMultiKeyring

public Wrappers_Compile.Result<IKeyring,Error> CreateMultiKeyring(CreateMultiKeyringInput input)

Specified by:

CreateMultiKeyring in interface IAwsCryptographicMaterialProvidersClient

CreateRawAesKeyring

public Wrappers_Compile.Result<IKeyring,Error> CreateRawAesKeyring(CreateRawAesKeyringInput input)

Specified by:

CreateRawAesKeyring in interface IAwsCryptographicMaterialProvidersClient

CreateRawRsaKeyring

public Wrappers_Compile.Result<IKeyring,Error> CreateRawRsaKeyring(CreateRawRsaKeyringInput input)

Specified by:

CreateRawRsaKeyring in interface IAwsCryptographicMaterialProvidersClient

CreateAwsKmsRsaKeyring

public Wrappers_Compile.Result<IKeyring,Error> CreateAwsKmsRsaKeyring(CreateAwsKmsRsaKeyringInput input)

Specified by:

CreateAwsKmsRsaKeyring in interface IAwsCryptographicMaterialProvidersClient

CreateDefaultCryptographicMaterialsManager

public Wrappers_Compile.Result<ICryptographicMaterialsManager,Error> CreateDefaultCryptographicMaterialsManager(CreateDefaultCryptographicMaterialsManagerInput input)

Specified by:

CreateDefaultCryptographicMaterialsManager in interface IAwsCryptographicMaterialProvidersClient

CreateRequiredEncryptionContextCMM

public Wrappers_Compile.Result<ICryptographicMaterialsManager,Error> CreateRequiredEncryptionContextCMM(CreateRequiredEncryptionContextCMMInput input)

Specified by:

CreateRequiredEncryptionContextCMM in interface IAwsCryptographicMaterialProvidersClient

CreateCryptographicMaterialsCache

public Wrappers_Compile.Result<ICryptographicMaterialsCache,Error> CreateCryptographicMaterialsCache(CreateCryptographicMaterialsCacheInput input)

Specified by:

CreateCryptographicMaterialsCache in interface IAwsCryptographicMaterialProvidersClient

CreateDefaultClientSupplier

public Wrappers_Compile.Result<IClientSupplier,Error> CreateDefaultClientSupplier(CreateDefaultClientSupplierInput input)

Specified by:

CreateDefaultClientSupplier in interface IAwsCryptographicMaterialProvidersClient

InitializeEncryptionMaterials

public Wrappers_Compile.Result<EncryptionMaterials,Error> InitializeEncryptionMaterials(InitializeEncryptionMaterialsInput input)

Specified by:

InitializeEncryptionMaterials in interface IAwsCryptographicMaterialProvidersClient

InitializeDecryptionMaterials

public Wrappers_Compile.Result<DecryptionMaterials,Error> InitializeDecryptionMaterials(InitializeDecryptionMaterialsInput input)

Specified by:

InitializeDecryptionMaterials in interface IAwsCryptographicMaterialProvidersClient

ValidEncryptionMaterialsTransition

public Wrappers_Compile.Result<dafny.Tuple0,Error> ValidEncryptionMaterialsTransition(ValidEncryptionMaterialsTransitionInput input)

Specified by:

ValidEncryptionMaterialsTransition in interface IAwsCryptographicMaterialProvidersClient

ValidDecryptionMaterialsTransition

public Wrappers_Compile.Result<dafny.Tuple0,Error> ValidDecryptionMaterialsTransition(ValidDecryptionMaterialsTransitionInput input)

Specified by:

ValidDecryptionMaterialsTransition in interface IAwsCryptographicMaterialProvidersClient

EncryptionMaterialsHasPlaintextDataKey

public Wrappers_Compile.Result<dafny.Tuple0,Error> EncryptionMaterialsHasPlaintextDataKey(EncryptionMaterials input)

Specified by:

EncryptionMaterialsHasPlaintextDataKey in interface IAwsCryptographicMaterialProvidersClient

DecryptionMaterialsWithPlaintextDataKey

public Wrappers_Compile.Result<dafny.Tuple0,Error> DecryptionMaterialsWithPlaintextDataKey(DecryptionMaterials input)

Specified by:

DecryptionMaterialsWithPlaintextDataKey in interface IAwsCryptographicMaterialProvidersClient

GetAlgorithmSuiteInfo

public Wrappers_Compile.Result<AlgorithmSuiteInfo,Error> GetAlgorithmSuiteInfo(dafny.DafnySequence<? extends java.lang.Byte> input)

Specified by:

GetAlgorithmSuiteInfo in interface IAwsCryptographicMaterialProvidersClient

ValidAlgorithmSuiteInfo

public Wrappers_Compile.Result<dafny.Tuple0,Error> ValidAlgorithmSuiteInfo(AlgorithmSuiteInfo input)

Specified by:

ValidAlgorithmSuiteInfo in interface IAwsCryptographicMaterialProvidersClient

ValidateCommitmentPolicyOnEncrypt

public Wrappers_Compile.Result<dafny.Tuple0,Error> ValidateCommitmentPolicyOnEncrypt(ValidateCommitmentPolicyOnEncryptInput input)

Specified by:

ValidateCommitmentPolicyOnEncrypt in interface IAwsCryptographicMaterialProvidersClient

ValidateCommitmentPolicyOnDecrypt

public Wrappers_Compile.Result<dafny.Tuple0,Error> ValidateCommitmentPolicyOnDecrypt(ValidateCommitmentPolicyOnDecryptInput input)

Specified by:

ValidateCommitmentPolicyOnDecrypt in interface IAwsCryptographicMaterialProvidersClient

config

public Config config()

_typeDescriptor

public static dafny.TypeDescriptor<MaterialProvidersClient> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object