AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/KeyStore.cs

// 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.
using System;
using System.IO;
using System.Collections.Generic;
using AWS.Cryptography.KeyStore;
using software.amazon.cryptography.keystore.internaldafny.types;
namespace AWS.Cryptography.KeyStore
{
  public class KeyStore
  {
    private readonly software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient _impl;
    public KeyStore(software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient impl)
    {
      this._impl = impl;
    }
    public software.amazon.cryptography.keystore.internaldafny.types.IKeyStoreClient impl()
    {
      return this._impl;
    }
    public KeyStore(AWS.Cryptography.KeyStore.KeyStoreConfig input)
    {
      software.amazon.cryptography.keystore.internaldafny.types._IKeyStoreConfig internalInput = TypeConversion.ToDafny_N3_aws__N12_cryptography__N8_keyStore__S14_KeyStoreConfig(input);
      var result = software.amazon.cryptography.keystore.internaldafny.__default.KeyStore(internalInput);
      if (result.is_Failure) throw TypeConversion.FromDafny_CommonError(result.dtor_error);
      this._impl = result.dtor_value;
    }
    public AWS.Cryptography.KeyStore.GetKeyStoreInfoOutput GetKeyStoreInfo()
    {

      Wrappers_Compile._IResult<software.amazon.cryptography.keystore.internaldafny.types._IGetKeyStoreInfoOutput, software.amazon.cryptography.keystore.internaldafny.types._IError> result = _impl.GetKeyStoreInfo();
      if (result.is_Failure) throw TypeConversion.FromDafny_CommonError(result.dtor_error);
      return TypeConversion.FromDafny_N3_aws__N12_cryptography__N8_keyStore__S21_GetKeyStoreInfoOutput(result.dtor_value);
    }
    public AWS.Cryptography.KeyStore.CreateKeyStoreOutput CreateKeyStore(AWS.Cryptography.KeyStore.CreateKeyStoreInput input)
    {
      software.amazon.cryptography.keystore.internaldafny.types._ICreateKeyStoreInput internalInput = TypeConversion.ToDafny_N3_aws__N12_cryptography__N8_keyStore__S19_CreateKeyStoreInput(input);
      Wrappers_Compile._IResult<software.amazon.cryptography.keystore.internaldafny.types._ICreateKeyStoreOutput, software.amazon.cryptography.keystore.internaldafny.types._IError> result = _impl.CreateKeyStore(internalInput);
      if (result.is_Failure) throw TypeConversion.FromDafny_CommonError(result.dtor_error);
      return TypeConversion.FromDafny_N3_aws__N12_cryptography__N8_keyStore__S20_CreateKeyStoreOutput(result.dtor_value);
    }
    public AWS.Cryptography.KeyStore.CreateKeyOutput CreateKey(AWS.Cryptography.KeyStore.CreateKeyInput input)
    {
      software.amazon.cryptography.keystore.internaldafny.types._ICreateKeyInput internalInput = TypeConversion.ToDafny_N3_aws__N12_cryptography__N8_keyStore__S14_CreateKeyInput(input);
      Wrappers_Compile._IResult<software.amazon.cryptography.keystore.internaldafny.types._ICreateKeyOutput, software.amazon.cryptography.keystore.internaldafny.types._IError> result = _impl.CreateKey(internalInput);
      if (result.is_Failure) throw TypeConversion.FromDafny_CommonError(result.dtor_error);
      return TypeConversion.FromDafny_N3_aws__N12_cryptography__N8_keyStore__S15_CreateKeyOutput(result.dtor_value);
    }
    public AWS.Cryptography.KeyStore.VersionKeyOutput VersionKey(AWS.Cryptography.KeyStore.VersionKeyInput input)
    {
      software.amazon.cryptography.keystore.internaldafny.types._IVersionKeyInput internalInput = TypeConversion.ToDafny_N3_aws__N12_cryptography__N8_keyStore__S15_VersionKeyInput(input);
      Wrappers_Compile._IResult<software.amazon.cryptography.keystore.internaldafny.types._IVersionKeyOutput, software.amazon.cryptography.keystore.internaldafny.types._IError> result = _impl.VersionKey(internalInput);
      if (result.is_Failure) throw TypeConversion.FromDafny_CommonError(result.dtor_error);
      return TypeConversion.FromDafny_N3_aws__N12_cryptography__N8_keyStore__S16_VersionKeyOutput(result.dtor_value);
    }
    public AWS.Cryptography.KeyStore.GetActiveBranchKeyOutput GetActiveBranchKey(AWS.Cryptography.KeyStore.GetActiveBranchKeyInput input)
    {
      software.amazon.cryptography.keystore.internaldafny.types._IGetActiveBranchKeyInput internalInput = TypeConversion.ToDafny_N3_aws__N12_cryptography__N8_keyStore__S23_GetActiveBranchKeyInput(input);
      Wrappers_Compile._IResult<software.amazon.cryptography.keystore.internaldafny.types._IGetActiveBranchKeyOutput, software.amazon.cryptography.keystore.internaldafny.types._IError> result = _impl.GetActiveBranchKey(internalInput);
      if (result.is_Failure) throw TypeConversion.FromDafny_CommonError(result.dtor_error);
      return TypeConversion.FromDafny_N3_aws__N12_cryptography__N8_keyStore__S24_GetActiveBranchKeyOutput(result.dtor_value);
    }
    public AWS.Cryptography.KeyStore.GetBranchKeyVersionOutput GetBranchKeyVersion(AWS.Cryptography.KeyStore.GetBranchKeyVersionInput input)
    {
      software.amazon.cryptography.keystore.internaldafny.types._IGetBranchKeyVersionInput internalInput = TypeConversion.ToDafny_N3_aws__N12_cryptography__N8_keyStore__S24_GetBranchKeyVersionInput(input);
      Wrappers_Compile._IResult<software.amazon.cryptography.keystore.internaldafny.types._IGetBranchKeyVersionOutput, software.amazon.cryptography.keystore.internaldafny.types._IError> result = _impl.GetBranchKeyVersion(internalInput);
      if (result.is_Failure) throw TypeConversion.FromDafny_CommonError(result.dtor_error);
      return TypeConversion.FromDafny_N3_aws__N12_cryptography__N8_keyStore__S25_GetBranchKeyVersionOutput(result.dtor_value);
    }
    public AWS.Cryptography.KeyStore.GetBeaconKeyOutput GetBeaconKey(AWS.Cryptography.KeyStore.GetBeaconKeyInput input)
    {
      software.amazon.cryptography.keystore.internaldafny.types._IGetBeaconKeyInput internalInput = TypeConversion.ToDafny_N3_aws__N12_cryptography__N8_keyStore__S17_GetBeaconKeyInput(input);
      Wrappers_Compile._IResult<software.amazon.cryptography.keystore.internaldafny.types._IGetBeaconKeyOutput, software.amazon.cryptography.keystore.internaldafny.types._IError> result = _impl.GetBeaconKey(internalInput);
      if (result.is_Failure) throw TypeConversion.FromDafny_CommonError(result.dtor_error);
      return TypeConversion.FromDafny_N3_aws__N12_cryptography__N8_keyStore__S18_GetBeaconKeyOutput(result.dtor_value);
    }
  }
}