• Home
• software.amazon.cryptography
• aws-cryptographic-material-providers
• 1.8.0
• source code
• MaterialProvidersClient.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient Maven / Gradle / Ivy

// Class MaterialProvidersClient
// Dafny class MaterialProvidersClient compiled into Java
package software.amazon.cryptography.materialproviders.internaldafny;

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.*;
import DefaultClientSupplier_Compile.*;
import Utils_Compile.*;
import RequiredEncryptionContextCMM_Compile.*;
import AwsCryptographyMaterialProvidersOperations_Compile.*;

@SuppressWarnings({"unchecked", "deprecation"})
public class MaterialProvidersClient implements software.amazon.cryptography.materialproviders.internaldafny.types.IAwsCryptographicMaterialProvidersClient {
  public MaterialProvidersClient() {
    this._config = (AwsCryptographyMaterialProvidersOperations_Compile.Config)null;
  }
  public void __ctor(AwsCryptographyMaterialProvidersOperations_Compile.Config config)
  {
    (this)._config = config;
  }
  public Wrappers_Compile.Result CreateAwsKmsKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateAwsKmsKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateAwsKmsDiscoveryKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsDiscoveryKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateAwsKmsDiscoveryKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateAwsKmsMultiKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsMultiKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateAwsKmsMultiKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateAwsKmsDiscoveryMultiKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsDiscoveryMultiKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateAwsKmsDiscoveryMultiKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateAwsKmsMrkKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsMrkKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateAwsKmsMrkKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateAwsKmsMrkMultiKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsMrkMultiKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateAwsKmsMrkMultiKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateAwsKmsMrkDiscoveryKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsMrkDiscoveryKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateAwsKmsMrkDiscoveryKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateAwsKmsMrkDiscoveryMultiKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsMrkDiscoveryMultiKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateAwsKmsMrkDiscoveryMultiKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateAwsKmsHierarchicalKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsHierarchicalKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateAwsKmsHierarchicalKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateAwsKmsRsaKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsRsaKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateAwsKmsRsaKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateAwsKmsEcdhKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsEcdhKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateAwsKmsEcdhKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateMultiKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateMultiKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateMultiKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateRawAesKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateRawAesKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateRawAesKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateRawRsaKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateRawRsaKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateRawRsaKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateRawEcdhKeyring(software.amazon.cryptography.materialproviders.internaldafny.types.CreateRawEcdhKeyringInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateRawEcdhKeyring((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateDefaultCryptographicMaterialsManager(software.amazon.cryptography.materialproviders.internaldafny.types.CreateDefaultCryptographicMaterialsManagerInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateDefaultCryptographicMaterialsManager((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateRequiredEncryptionContextCMM(software.amazon.cryptography.materialproviders.internaldafny.types.CreateRequiredEncryptionContextCMMInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateRequiredEncryptionContextCMM((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateCryptographicMaterialsCache(software.amazon.cryptography.materialproviders.internaldafny.types.CreateCryptographicMaterialsCacheInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateCryptographicMaterialsCache((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result CreateDefaultClientSupplier(software.amazon.cryptography.materialproviders.internaldafny.types.CreateDefaultClientSupplierInput input)
  {
    Wrappers_Compile.Result output = (Wrappers_Compile.Result)null;
    if(true) {
      Wrappers_Compile.Result _out0;
      _out0 = AwsCryptographyMaterialProvidersOperations_Compile.__default.CreateDefaultClientSupplier((this).config(), input);
      output = _out0;
    }
    return output;
  }
  public Wrappers_Compile.Result InitializeEncryptionMaterials(software.amazon.cryptography.materialproviders.internaldafny.types.InitializeEncryptionMaterialsInput input) {
    return AwsCryptographyMaterialProvidersOperations_Compile.__default.InitializeEncryptionMaterials((this).config(), input);
  }
  public Wrappers_Compile.Result InitializeDecryptionMaterials(software.amazon.cryptography.materialproviders.internaldafny.types.InitializeDecryptionMaterialsInput input) {
    return AwsCryptographyMaterialProvidersOperations_Compile.__default.InitializeDecryptionMaterials((this).config(), input);
  }
  public Wrappers_Compile.Result ValidEncryptionMaterialsTransition(software.amazon.cryptography.materialproviders.internaldafny.types.ValidEncryptionMaterialsTransitionInput input) {
    return AwsCryptographyMaterialProvidersOperations_Compile.__default.ValidEncryptionMaterialsTransition((this).config(), input);
  }
  public Wrappers_Compile.Result ValidDecryptionMaterialsTransition(software.amazon.cryptography.materialproviders.internaldafny.types.ValidDecryptionMaterialsTransitionInput input) {
    return AwsCryptographyMaterialProvidersOperations_Compile.__default.ValidDecryptionMaterialsTransition((this).config(), input);
  }
  public Wrappers_Compile.Result EncryptionMaterialsHasPlaintextDataKey(software.amazon.cryptography.materialproviders.internaldafny.types.EncryptionMaterials input) {
    return AwsCryptographyMaterialProvidersOperations_Compile.__default.EncryptionMaterialsHasPlaintextDataKey((this).config(), input);
  }
  public Wrappers_Compile.Result DecryptionMaterialsWithPlaintextDataKey(software.amazon.cryptography.materialproviders.internaldafny.types.DecryptionMaterials input) {
    return AwsCryptographyMaterialProvidersOperations_Compile.__default.DecryptionMaterialsWithPlaintextDataKey((this).config(), input);
  }
  public Wrappers_Compile.Result GetAlgorithmSuiteInfo(dafny.DafnySequence input) {
    return AwsCryptographyMaterialProvidersOperations_Compile.__default.GetAlgorithmSuiteInfo((this).config(), input);
  }
  public Wrappers_Compile.Result ValidAlgorithmSuiteInfo(software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo input) {
    return AwsCryptographyMaterialProvidersOperations_Compile.__default.ValidAlgorithmSuiteInfo((this).config(), input);
  }
  public Wrappers_Compile.Result ValidateCommitmentPolicyOnEncrypt(software.amazon.cryptography.materialproviders.internaldafny.types.ValidateCommitmentPolicyOnEncryptInput input) {
    return AwsCryptographyMaterialProvidersOperations_Compile.__default.ValidateCommitmentPolicyOnEncrypt((this).config(), input);
  }
  public Wrappers_Compile.Result ValidateCommitmentPolicyOnDecrypt(software.amazon.cryptography.materialproviders.internaldafny.types.ValidateCommitmentPolicyOnDecryptInput input) {
    return AwsCryptographyMaterialProvidersOperations_Compile.__default.ValidateCommitmentPolicyOnDecrypt((this).config(), input);
  }
  public AwsCryptographyMaterialProvidersOperations_Compile.Config _config;
  public AwsCryptographyMaterialProvidersOperations_Compile.Config config()
  {
    return this._config;
  }
  private static final dafny.TypeDescriptor _TYPE = dafny.TypeDescriptor.referenceWithInitializer(MaterialProvidersClient.class, () -> (MaterialProvidersClient) null);
  public static dafny.TypeDescriptor _typeDescriptor() {
    return (dafny.TypeDescriptor) (dafny.TypeDescriptor) _TYPE;
  }
  @Override
  public java.lang.String toString() {
    return "MaterialProviders.MaterialProvidersClient";
  }
}