software.amazon.cryptography.materialproviders.MaterialProviders Maven / Gradle / Ivy
// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
// SPDX-License-Identifier: Apache-2.0
// Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
package software.amazon.cryptography.materialproviders;
import Wrappers_Compile.Result;
import dafny.DafnySequence;
import dafny.Tuple0;
import java.lang.Byte;
import java.lang.IllegalArgumentException;
import java.nio.ByteBuffer;
import java.util.Objects;
import software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient;
import software.amazon.cryptography.materialproviders.internaldafny.__default;
import software.amazon.cryptography.materialproviders.internaldafny.types.Error;
import software.amazon.cryptography.materialproviders.internaldafny.types.IAwsCryptographicMaterialProvidersClient;
import software.amazon.cryptography.materialproviders.model.AlgorithmSuiteInfo;
import software.amazon.cryptography.materialproviders.model.CreateAwsKmsDiscoveryKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateAwsKmsDiscoveryMultiKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateAwsKmsEcdhKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateAwsKmsHierarchicalKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateAwsKmsKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateAwsKmsMrkDiscoveryKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateAwsKmsMrkDiscoveryMultiKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateAwsKmsMrkKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateAwsKmsMrkMultiKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateAwsKmsMultiKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateAwsKmsRsaKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateCryptographicMaterialsCacheInput;
import software.amazon.cryptography.materialproviders.model.CreateDefaultClientSupplierInput;
import software.amazon.cryptography.materialproviders.model.CreateDefaultCryptographicMaterialsManagerInput;
import software.amazon.cryptography.materialproviders.model.CreateMultiKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateRawAesKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateRawEcdhKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateRawRsaKeyringInput;
import software.amazon.cryptography.materialproviders.model.CreateRequiredEncryptionContextCMMInput;
import software.amazon.cryptography.materialproviders.model.DecryptionMaterials;
import software.amazon.cryptography.materialproviders.model.EncryptionMaterials;
import software.amazon.cryptography.materialproviders.model.InitializeDecryptionMaterialsInput;
import software.amazon.cryptography.materialproviders.model.InitializeEncryptionMaterialsInput;
import software.amazon.cryptography.materialproviders.model.MaterialProvidersConfig;
import software.amazon.cryptography.materialproviders.model.ValidDecryptionMaterialsTransitionInput;
import software.amazon.cryptography.materialproviders.model.ValidEncryptionMaterialsTransitionInput;
import software.amazon.cryptography.materialproviders.model.ValidateCommitmentPolicyOnDecryptInput;
import software.amazon.cryptography.materialproviders.model.ValidateCommitmentPolicyOnEncryptInput;
public class MaterialProviders {
private final IAwsCryptographicMaterialProvidersClient _impl;
protected MaterialProviders(BuilderImpl builder) {
MaterialProvidersConfig input = builder.MaterialProvidersConfig();
software.amazon.cryptography.materialproviders.internaldafny.types.MaterialProvidersConfig dafnyValue =
ToDafny.MaterialProvidersConfig(input);
Result result = __default.MaterialProviders(
dafnyValue
);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
this._impl = result.dtor_value();
}
MaterialProviders(IAwsCryptographicMaterialProvidersClient impl) {
this._impl = impl;
}
public static Builder builder() {
return new BuilderImpl();
}
/**
* Creates an AWS KMS Discovery Keyring, which supports unwrapping data keys wrapped by a symmetric AWS KMS Key for a single region.
*
* @param input Inputs for for creating a AWS KMS Discovery Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateAwsKmsDiscoveryKeyring(
CreateAwsKmsDiscoveryKeyringInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsDiscoveryKeyringInput dafnyValue =
ToDafny.CreateAwsKmsDiscoveryKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateAwsKmsDiscoveryKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates an AWS KMS Discovery Multi-Keyring, which supports unwrapping data keys wrapped by a symmetric AWS KMS Key, for multiple regions.
*
* @param input Inputs for for creating an AWS KMS Discovery Multi-Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateAwsKmsDiscoveryMultiKeyring(
CreateAwsKmsDiscoveryMultiKeyringInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsDiscoveryMultiKeyringInput dafnyValue =
ToDafny.CreateAwsKmsDiscoveryMultiKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateAwsKmsDiscoveryMultiKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates an AWS KMS ECDH Keyring, which wraps and unwraps data keys by deriving a shared data key from the established shared secret between parties through the ECDH protocol.
*
* @param input Inputs for creating an AWS KMS ECDH Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateAwsKmsEcdhKeyring(CreateAwsKmsEcdhKeyringInput input) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsEcdhKeyringInput dafnyValue =
ToDafny.CreateAwsKmsEcdhKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateAwsKmsEcdhKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates a Hierarchical Keyring, which supports wrapping and unwrapping data keys using Branch Keys persisted in DynamoDB and protected by a symmetric AWS KMS Key or AWS KMS Multi-Region Key.
*
* @param input Inputs for creating a Hierarchical Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateAwsKmsHierarchicalKeyring(
CreateAwsKmsHierarchicalKeyringInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsHierarchicalKeyringInput dafnyValue =
ToDafny.CreateAwsKmsHierarchicalKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateAwsKmsHierarchicalKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates an AWS KMS Keyring, which wraps and unwraps data keys using single symmetric AWS KMS Key.
*
* @param input Inputs for for creating a AWS KMS Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateAwsKmsKeyring(CreateAwsKmsKeyringInput input) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsKeyringInput dafnyValue =
ToDafny.CreateAwsKmsKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateAwsKmsKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates an AWS KMS MRK Discovery Keyring, which supports unwrapping data keys wrapped by a symmetric AWS KMS Key or AWS KMS Multi-Region Key in a particular region.
*
* @param input Inputs for for creating a AWS KMS MRK Discovery Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateAwsKmsMrkDiscoveryKeyring(
CreateAwsKmsMrkDiscoveryKeyringInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsMrkDiscoveryKeyringInput dafnyValue =
ToDafny.CreateAwsKmsMrkDiscoveryKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateAwsKmsMrkDiscoveryKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates an AWS KMS MRK Discovery Multi-Keyring that supports unwrapping data keys wrapped by a symmetric AWS KMS Key or AWS KMS Multi-Region Key, for a single region.
*
* @param input Inputs for for creating a AWS KMS MRK Discovery Multi-Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateAwsKmsMrkDiscoveryMultiKeyring(
CreateAwsKmsMrkDiscoveryMultiKeyringInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsMrkDiscoveryMultiKeyringInput dafnyValue =
ToDafny.CreateAwsKmsMrkDiscoveryMultiKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateAwsKmsMrkDiscoveryMultiKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates an AWS KMS MRK Keyring, which wraps and unwraps data keys using single symmetric AWS KMS Key or AWS KMS Multi-Region Key.
*
* @param input Inputs for for creating an AWS KMS MRK Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateAwsKmsMrkKeyring(CreateAwsKmsMrkKeyringInput input) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsMrkKeyringInput dafnyValue =
ToDafny.CreateAwsKmsMrkKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateAwsKmsMrkKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates an AWS KMS MRK Multi-Keyring, which wraps and unwraps data keys using one or more symmetric AWS KMS Keys or AWS KMS Multi-Region Keys.
*
* @param input Inputs for for creating a AWS KMS MRK Multi-Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateAwsKmsMrkMultiKeyring(
CreateAwsKmsMrkMultiKeyringInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsMrkMultiKeyringInput dafnyValue =
ToDafny.CreateAwsKmsMrkMultiKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateAwsKmsMrkMultiKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates an AWS KMS Multi-Keyring, which wraps and unwraps data keys using one or more symmetric AWS KMS Keys.
*
* @param input Inputs for for creating a AWS KMS Multi-Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateAwsKmsMultiKeyring(
CreateAwsKmsMultiKeyringInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsMultiKeyringInput dafnyValue =
ToDafny.CreateAwsKmsMultiKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateAwsKmsMultiKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates an AWS KMS RSA Keyring, which wraps and unwraps data keys using a single asymmetric AWS KMS Key for RSA.
*
* @param input Inputs for creating a AWS KMS RSA Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateAwsKmsRsaKeyring(CreateAwsKmsRsaKeyringInput input) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsRsaKeyringInput dafnyValue =
ToDafny.CreateAwsKmsRsaKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateAwsKmsRsaKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
public ICryptographicMaterialsCache CreateCryptographicMaterialsCache(
CreateCryptographicMaterialsCacheInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateCryptographicMaterialsCacheInput dafnyValue =
ToDafny.CreateCryptographicMaterialsCacheInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache,
Error
> result = this._impl.CreateCryptographicMaterialsCache(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return CryptographicMaterialsCache.wrap(result.dtor_value());
}
public IClientSupplier CreateDefaultClientSupplier(
CreateDefaultClientSupplierInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateDefaultClientSupplierInput dafnyValue =
ToDafny.CreateDefaultClientSupplierInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IClientSupplier,
Error
> result = this._impl.CreateDefaultClientSupplier(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return ClientSupplier.wrap(result.dtor_value());
}
/**
* Creates a Default Cryptographic Materials Manager.
*
* @param input Inputs for creating a Default Cryptographic Materials Manager.
* @return Outputs for creating a Default Cryptographic Materials Manager.
*/
public ICryptographicMaterialsManager CreateDefaultCryptographicMaterialsManager(
CreateDefaultCryptographicMaterialsManagerInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateDefaultCryptographicMaterialsManagerInput dafnyValue =
ToDafny.CreateDefaultCryptographicMaterialsManagerInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager,
Error
> result =
this._impl.CreateDefaultCryptographicMaterialsManager(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return CryptographicMaterialsManager.wrap(result.dtor_value());
}
/**
* Creates a Multi-Keyring comprised of one or more other Keyrings.
*
* @param input Inputs for creating a Multi-Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateMultiKeyring(CreateMultiKeyringInput input) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateMultiKeyringInput dafnyValue =
ToDafny.CreateMultiKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateMultiKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates a Raw AES Keyring, which wraps and unwraps data keys locally using AES_GCM.
*
* @param input Inputs for creating a Raw AES Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateRawAesKeyring(CreateRawAesKeyringInput input) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateRawAesKeyringInput dafnyValue =
ToDafny.CreateRawAesKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateRawAesKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates a Raw ECDH Keyring, which wraps and unwraps data keys by deriving a shared data key from the established shared secret between parties through the ECDH protocol.
*
* @param input Inputs for creating a raw ECDH Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateRawEcdhKeyring(CreateRawEcdhKeyringInput input) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateRawEcdhKeyringInput dafnyValue =
ToDafny.CreateRawEcdhKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateRawEcdhKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates a Raw RSA Keyring, which wraps and unwraps data keys locally using RSA.
*
* @param input Inputs for creating a Raw RAW Keyring.
* @return Outputs for creating a Keyring.
*/
public IKeyring CreateRawRsaKeyring(CreateRawRsaKeyringInput input) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateRawRsaKeyringInput dafnyValue =
ToDafny.CreateRawRsaKeyringInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring,
Error
> result = this._impl.CreateRawRsaKeyring(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return Keyring.wrap(result.dtor_value());
}
/**
* Creates an Required Encryption Context Cryptographic Materials Manager.
*
* @param input Inputs for creating an Required Encryption Context Cryptographic Materials Manager.
* @return Outputs for creating an Required Encryption Context Cryptographic Materials Manager.
*/
public ICryptographicMaterialsManager CreateRequiredEncryptionContextCMM(
CreateRequiredEncryptionContextCMMInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.CreateRequiredEncryptionContextCMMInput dafnyValue =
ToDafny.CreateRequiredEncryptionContextCMMInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager,
Error
> result = this._impl.CreateRequiredEncryptionContextCMM(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return CryptographicMaterialsManager.wrap(result.dtor_value());
}
public void DecryptionMaterialsWithPlaintextDataKey(
DecryptionMaterials input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.DecryptionMaterials dafnyValue =
ToDafny.DecryptionMaterials(input);
Result result =
this._impl.DecryptionMaterialsWithPlaintextDataKey(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
}
public void EncryptionMaterialsHasPlaintextDataKey(
EncryptionMaterials input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.EncryptionMaterials dafnyValue =
ToDafny.EncryptionMaterials(input);
Result result =
this._impl.EncryptionMaterialsHasPlaintextDataKey(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
}
public AlgorithmSuiteInfo GetAlgorithmSuiteInfo(ByteBuffer input) {
DafnySequence dafnyValue =
ToDafny.GetAlgorithmSuiteInfoInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo,
Error
> result = this._impl.GetAlgorithmSuiteInfo(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return ToNative.AlgorithmSuiteInfo(result.dtor_value());
}
public DecryptionMaterials InitializeDecryptionMaterials(
InitializeDecryptionMaterialsInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.InitializeDecryptionMaterialsInput dafnyValue =
ToDafny.InitializeDecryptionMaterialsInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.DecryptionMaterials,
Error
> result = this._impl.InitializeDecryptionMaterials(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return ToNative.DecryptionMaterials(result.dtor_value());
}
public EncryptionMaterials InitializeEncryptionMaterials(
InitializeEncryptionMaterialsInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.InitializeEncryptionMaterialsInput dafnyValue =
ToDafny.InitializeEncryptionMaterialsInput(input);
Result<
software.amazon.cryptography.materialproviders.internaldafny.types.EncryptionMaterials,
Error
> result = this._impl.InitializeEncryptionMaterials(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
return ToNative.EncryptionMaterials(result.dtor_value());
}
public void ValidAlgorithmSuiteInfo(AlgorithmSuiteInfo input) {
software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo dafnyValue =
ToDafny.AlgorithmSuiteInfo(input);
Result result =
this._impl.ValidAlgorithmSuiteInfo(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
}
public void ValidateCommitmentPolicyOnDecrypt(
ValidateCommitmentPolicyOnDecryptInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.ValidateCommitmentPolicyOnDecryptInput dafnyValue =
ToDafny.ValidateCommitmentPolicyOnDecryptInput(input);
Result result =
this._impl.ValidateCommitmentPolicyOnDecrypt(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
}
public void ValidateCommitmentPolicyOnEncrypt(
ValidateCommitmentPolicyOnEncryptInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.ValidateCommitmentPolicyOnEncryptInput dafnyValue =
ToDafny.ValidateCommitmentPolicyOnEncryptInput(input);
Result result =
this._impl.ValidateCommitmentPolicyOnEncrypt(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
}
public void ValidDecryptionMaterialsTransition(
ValidDecryptionMaterialsTransitionInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.ValidDecryptionMaterialsTransitionInput dafnyValue =
ToDafny.ValidDecryptionMaterialsTransitionInput(input);
Result result =
this._impl.ValidDecryptionMaterialsTransition(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
}
public void ValidEncryptionMaterialsTransition(
ValidEncryptionMaterialsTransitionInput input
) {
software.amazon.cryptography.materialproviders.internaldafny.types.ValidEncryptionMaterialsTransitionInput dafnyValue =
ToDafny.ValidEncryptionMaterialsTransitionInput(input);
Result result =
this._impl.ValidEncryptionMaterialsTransition(dafnyValue);
if (result.is_Failure()) {
throw ToNative.Error(result.dtor_error());
}
}
protected IAwsCryptographicMaterialProvidersClient impl() {
return this._impl;
}
public interface Builder {
Builder MaterialProvidersConfig(
MaterialProvidersConfig MaterialProvidersConfig
);
MaterialProvidersConfig MaterialProvidersConfig();
MaterialProviders build();
}
static class BuilderImpl implements Builder {
protected MaterialProvidersConfig MaterialProvidersConfig;
protected BuilderImpl() {}
public Builder MaterialProvidersConfig(
MaterialProvidersConfig MaterialProvidersConfig
) {
this.MaterialProvidersConfig = MaterialProvidersConfig;
return this;
}
public MaterialProvidersConfig MaterialProvidersConfig() {
return this.MaterialProvidersConfig;
}
public MaterialProviders build() {
if (Objects.isNull(this.MaterialProvidersConfig())) {
throw new IllegalArgumentException(
"Missing value for required field `MaterialProvidersConfig`"
);
}
return new MaterialProviders(this);
}
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy