DefaultClientSupplier_Compile.DefaultClientSupplier Maven / Gradle / Ivy

Go to download
// Class DefaultClientSupplier
// Dafny class DefaultClientSupplier compiled into Java
package DefaultClientSupplier_Compile;

import software.amazon.cryptography.keystore.internaldafny.types.*;
import software.amazon.cryptography.materialproviders.internaldafny.types.*;
import AwsArnParsing_Compile.*;
import AwsKmsMrkMatchForDecrypt_Compile.*;
import AwsKmsUtils_Compile.*;
import KeyStoreErrorMessages_Compile.*;
import KmsArn_Compile.*;
import Structure_Compile.*;
import KMSKeystoreOperations_Compile.*;
import DDBKeystoreOperations_Compile.*;
import CreateKeys_Compile.*;
import CreateKeyStoreTable_Compile.*;
import GetKeys_Compile.*;
import AwsCryptographyKeyStoreOperations_Compile.*;
import software.amazon.cryptography.keystore.internaldafny.*;
import AlgorithmSuites_Compile.*;
import Materials_Compile.*;
import Keyring_Compile.*;
import MultiKeyring_Compile.*;
import AwsKmsMrkAreUnique_Compile.*;
import Constants_Compile.*;
import MaterialWrapping_Compile.*;
import CanonicalEncryptionContext_Compile.*;
import IntermediateKeyWrapping_Compile.*;
import EdkWrapping_Compile.*;
import ErrorMessages_Compile.*;
import AwsKmsKeyring_Compile.*;
import StrictMultiKeyring_Compile.*;
import AwsKmsDiscoveryKeyring_Compile.*;
import DiscoveryMultiKeyring_Compile.*;
import AwsKmsMrkDiscoveryKeyring_Compile.*;
import MrkAwareDiscoveryMultiKeyring_Compile.*;
import AwsKmsMrkKeyring_Compile.*;
import MrkAwareStrictMultiKeyring_Compile.*;
import LocalCMC_Compile.*;
import StormTracker_Compile.*;
import software.amazon.cryptography.internaldafny.StormTrackingCMC.*;
import CacheConstants_Compile.*;
import AwsKmsHierarchicalKeyring_Compile.*;
import AwsKmsRsaKeyring_Compile.*;
import EcdhEdkWrapping_Compile.*;
import RawECDHKeyring_Compile.*;
import AwsKmsEcdhKeyring_Compile.*;
import RawAESKeyring_Compile.*;
import RawRSAKeyring_Compile.*;
import CMM_Compile.*;
import Defaults_Compile.*;
import Commitment_Compile.*;
import DefaultCMM_Compile.*;

@SuppressWarnings({"unchecked", "deprecation"})
public class DefaultClientSupplier implements software.amazon.cryptography.materialproviders.internaldafny.types.IClientSupplier {
  public DefaultClientSupplier() {
  }
  public Wrappers_Compile.Result GetClient(software.amazon.cryptography.materialproviders.internaldafny.types.GetClientInput input)
  {
    Wrappers_Compile.Result _out1;
    _out1 = software.amazon.cryptography.materialproviders.internaldafny.types._Companion_IClientSupplier.GetClient(this, input);
    return _out1;
  }
  public void __ctor()
  {
  }
  public Wrappers_Compile.Result GetClient_k(software.amazon.cryptography.materialproviders.internaldafny.types.GetClientInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    Wrappers_Compile.Result _0_maybeClient;
    Wrappers_Compile.Result _out0;
    _out0 = software.amazon.cryptography.services.kms.internaldafny.__default.KMSClientForRegion((input).dtor_region());
    _0_maybeClient = _out0;
    output = (_0_maybeClient).MapFailure(((dafny.TypeDescriptor)(java.lang.Object)dafny.TypeDescriptor.reference(software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient.class)), software.amazon.cryptography.services.kms.internaldafny.types.Error._typeDescriptor(), software.amazon.cryptography.materialproviders.internaldafny.types.Error._typeDescriptor(), ((java.util.function.Function)(_1_e_boxed0) -> {
      software.amazon.cryptography.services.kms.internaldafny.types.Error _1_e = ((software.amazon.cryptography.services.kms.internaldafny.types.Error)(java.lang.Object)(_1_e_boxed0));
      return software.amazon.cryptography.materialproviders.internaldafny.types.Error.create_ComAmazonawsKms(_1_e);
    }));
    return output;
  }
  private static final dafny.TypeDescriptor _TYPE = dafny.TypeDescriptor.referenceWithInitializer(DefaultClientSupplier.class, () -> (DefaultClientSupplier) null);
  public static dafny.TypeDescriptor _typeDescriptor() {
    return (dafny.TypeDescriptor) (dafny.TypeDescriptor) _TYPE;
  }
  @Override
  public java.lang.String toString() {
    return "DefaultClientSupplier.DefaultClientSupplier";
  }
}