Constants_Compile.AwsKmsEncryptedDataKey Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of aws-cryptographic-material-providers Show documentation

The AWS Cryptographic Material Providers Library for Java

There is a newer version: 1.9.0

Show newest version

// Class AwsKmsEncryptedDataKey
// Dafny class AwsKmsEncryptedDataKey compiled into Java
package Constants_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.*;

@SuppressWarnings({"unchecked", "deprecation"})
public class AwsKmsEncryptedDataKey {
  public AwsKmsEncryptedDataKey() {
  }
  public static boolean _Is(software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey __source) {
    software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey _0_edk = __source;
    return (((_0_edk).dtor_keyProviderId()).equals(__default.PROVIDER__ID())) && (UTF8.__default.ValidUTF8Seq((_0_edk).dtor_keyProviderInfo()));
  }
  private static final dafny.TypeDescriptor _TYPE = dafny.TypeDescriptor.referenceWithInitializer(software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey.class, () -> software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey.Default());
  public static dafny.TypeDescriptor _typeDescriptor() {
    return (dafny.TypeDescriptor) (dafny.TypeDescriptor) _TYPE;
  }
}