AwsArnParsing_Compile.AwsKmsArn 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

The newest version!

// Class AwsKmsArn
// Dafny class AwsKmsArn compiled into Java
package AwsArnParsing_Compile;

import software.amazon.cryptography.keystore.internaldafny.types.*;
import software.amazon.cryptography.materialproviders.internaldafny.types.*;

@SuppressWarnings({"unchecked", "deprecation"})
public class AwsKmsArn {
  public AwsKmsArn() {
  }
  public static boolean _Is(AwsArn __source) {
    AwsArn _2_a = __source;
    return __default.ValidAwsKmsArn(_2_a);
  }
  private static final dafny.TypeDescriptor _TYPE = dafny.TypeDescriptor.referenceWithInitializer(AwsArn.class, () -> AwsArn.Default());
  public static dafny.TypeDescriptor _typeDescriptor() {
    return (dafny.TypeDescriptor) (dafny.TypeDescriptor) _TYPE;
  }
}