AwsKmsDiscoveryKeyring_Compile.__default 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 __default
// Dafny class __default compiled into Java
package AwsKmsDiscoveryKeyring_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.*;

@SuppressWarnings({"unchecked", "deprecation"})
public class __default {
  public __default() {
  }
  public static boolean DiscoveryMatch(AwsArnParsing_Compile.AwsArn arn, Wrappers_Compile.Option discoveryFilter)
  {
    AwsArnParsing_Compile.AwsArn _pat_let_tv0 = arn;
    AwsArnParsing_Compile.AwsArn _pat_let_tv1 = arn;
    return (true) && (((java.util.function.Function, Boolean>)(_source0_boxed0) -> {
      Wrappers_Compile.Option _source0 = ((Wrappers_Compile.Option)(java.lang.Object)(_source0_boxed0));
      if (_source0.is_None()) {
        return true;
      } else {
        software.amazon.cryptography.materialproviders.internaldafny.types.DiscoveryFilter _0___mcc_h0 = ((Wrappers_Compile.Option_Some)_source0)._value;
        software.amazon.cryptography.materialproviders.internaldafny.types.DiscoveryFilter _1_filter = _0___mcc_h0;
        return (((_1_filter).dtor_partition()).equals((_pat_let_tv0).dtor_partition())) && (((_1_filter).dtor_accountIds()).isPrefixOf(dafny.DafnySequence.> of(dafny.DafnySequence._typeDescriptor(dafny.TypeDescriptor.CHAR), (_pat_let_tv1).dtor_account())));
      }
    }).apply(discoveryFilter));
  }
  @Override
  public java.lang.String toString() {
    return "AwsKmsDiscoveryKeyring._default";
  }
}