public static KeyMetadata KeyMetadata()

in ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java [2349:2566]


  public static KeyMetadata KeyMetadata(
    software.amazon.awssdk.services.kms.model.KeyMetadata nativeValue
  ) {
    Option<DafnySequence<? extends Character>> aWSAccountId;
    aWSAccountId =
      Objects.nonNull(nativeValue.awsAccountId())
        ? Option.create_Some(
          software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(
            nativeValue.awsAccountId()
          )
        )
        : Option.create_None();
    DafnySequence<? extends Character> keyId;
    keyId =
      software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(
        nativeValue.keyId()
      );
    Option<DafnySequence<? extends Character>> arn;
    arn =
      Objects.nonNull(nativeValue.arn())
        ? Option.create_Some(
          software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(
            nativeValue.arn()
          )
        )
        : Option.create_None();
    Option<DafnySequence<? extends Character>> creationDate;
    creationDate =
      Objects.nonNull(nativeValue.creationDate())
        ? Option.create_Some(
          software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(
            nativeValue.creationDate()
          )
        )
        : Option.create_None();
    Option<Boolean> enabled;
    enabled =
      Objects.nonNull(nativeValue.enabled())
        ? Option.create_Some((nativeValue.enabled()))
        : Option.create_None();
    Option<DafnySequence<? extends Character>> description;
    description =
      Objects.nonNull(nativeValue.description())
        ? Option.create_Some(
          software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(
            nativeValue.description()
          )
        )
        : Option.create_None();
    Option<KeyUsageType> keyUsage;
    keyUsage =
      Objects.nonNull(nativeValue.keyUsage())
        ? Option.create_Some(ToDafny.KeyUsageType(nativeValue.keyUsage()))
        : Option.create_None();
    Option<KeyState> keyState;
    keyState =
      Objects.nonNull(nativeValue.keyState())
        ? Option.create_Some(ToDafny.KeyState(nativeValue.keyState()))
        : Option.create_None();
    Option<DafnySequence<? extends Character>> deletionDate;
    deletionDate =
      Objects.nonNull(nativeValue.deletionDate())
        ? Option.create_Some(
          software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(
            nativeValue.deletionDate()
          )
        )
        : Option.create_None();
    Option<DafnySequence<? extends Character>> validTo;
    validTo =
      Objects.nonNull(nativeValue.validTo())
        ? Option.create_Some(
          software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(
            nativeValue.validTo()
          )
        )
        : Option.create_None();
    Option<OriginType> origin;
    origin =
      Objects.nonNull(nativeValue.origin())
        ? Option.create_Some(ToDafny.OriginType(nativeValue.origin()))
        : Option.create_None();
    Option<DafnySequence<? extends Character>> customKeyStoreId;
    customKeyStoreId =
      Objects.nonNull(nativeValue.customKeyStoreId())
        ? Option.create_Some(
          software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(
            nativeValue.customKeyStoreId()
          )
        )
        : Option.create_None();
    Option<DafnySequence<? extends Character>> cloudHsmClusterId;
    cloudHsmClusterId =
      Objects.nonNull(nativeValue.cloudHsmClusterId())
        ? Option.create_Some(
          software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(
            nativeValue.cloudHsmClusterId()
          )
        )
        : Option.create_None();
    Option<ExpirationModelType> expirationModel;
    expirationModel =
      Objects.nonNull(nativeValue.expirationModel())
        ? Option.create_Some(
          ToDafny.ExpirationModelType(nativeValue.expirationModel())
        )
        : Option.create_None();
    Option<KeyManagerType> keyManager;
    keyManager =
      Objects.nonNull(nativeValue.keyManager())
        ? Option.create_Some(ToDafny.KeyManagerType(nativeValue.keyManager()))
        : Option.create_None();
    Option<CustomerMasterKeySpec> customerMasterKeySpec;
    customerMasterKeySpec =
      Objects.nonNull(nativeValue.customerMasterKeySpec())
        ? Option.create_Some(
          ToDafny.CustomerMasterKeySpec(nativeValue.customerMasterKeySpec())
        )
        : Option.create_None();
    Option<KeySpec> keySpec;
    keySpec =
      Objects.nonNull(nativeValue.keySpec())
        ? Option.create_Some(ToDafny.KeySpec(nativeValue.keySpec()))
        : Option.create_None();
    Option<
      DafnySequence<? extends EncryptionAlgorithmSpec>
    > encryptionAlgorithms;
    encryptionAlgorithms =
      (Objects.nonNull(nativeValue.encryptionAlgorithms()) &&
          nativeValue.encryptionAlgorithms().size() > 0)
        ? Option.create_Some(
          ToDafny.EncryptionAlgorithmSpecList(
            nativeValue.encryptionAlgorithms()
          )
        )
        : Option.create_None();
    Option<DafnySequence<? extends SigningAlgorithmSpec>> signingAlgorithms;
    signingAlgorithms =
      (Objects.nonNull(nativeValue.signingAlgorithms()) &&
          nativeValue.signingAlgorithms().size() > 0)
        ? Option.create_Some(
          ToDafny.SigningAlgorithmSpecList(nativeValue.signingAlgorithms())
        )
        : Option.create_None();
    Option<
      DafnySequence<? extends KeyAgreementAlgorithmSpec>
    > keyAgreementAlgorithms;
    keyAgreementAlgorithms =
      (Objects.nonNull(nativeValue.keyAgreementAlgorithms()) &&
          nativeValue.keyAgreementAlgorithms().size() > 0)
        ? Option.create_Some(
          ToDafny.KeyAgreementAlgorithmSpecList(
            nativeValue.keyAgreementAlgorithms()
          )
        )
        : Option.create_None();
    Option<Boolean> multiRegion;
    multiRegion =
      Objects.nonNull(nativeValue.multiRegion())
        ? Option.create_Some((nativeValue.multiRegion()))
        : Option.create_None();
    Option<MultiRegionConfiguration> multiRegionConfiguration;
    multiRegionConfiguration =
      Objects.nonNull(nativeValue.multiRegionConfiguration())
        ? Option.create_Some(
          ToDafny.MultiRegionConfiguration(
            nativeValue.multiRegionConfiguration()
          )
        )
        : Option.create_None();
    Option<Integer> pendingDeletionWindowInDays;
    pendingDeletionWindowInDays =
      Objects.nonNull(nativeValue.pendingDeletionWindowInDays())
        ? Option.create_Some((nativeValue.pendingDeletionWindowInDays()))
        : Option.create_None();
    Option<DafnySequence<? extends MacAlgorithmSpec>> macAlgorithms;
    macAlgorithms =
      (Objects.nonNull(nativeValue.macAlgorithms()) &&
          nativeValue.macAlgorithms().size() > 0)
        ? Option.create_Some(
          ToDafny.MacAlgorithmSpecList(nativeValue.macAlgorithms())
        )
        : Option.create_None();
    Option<XksKeyConfigurationType> xksKeyConfiguration;
    xksKeyConfiguration =
      Objects.nonNull(nativeValue.xksKeyConfiguration())
        ? Option.create_Some(
          ToDafny.XksKeyConfigurationType(nativeValue.xksKeyConfiguration())
        )
        : Option.create_None();
    return new KeyMetadata(
      aWSAccountId,
      keyId,
      arn,
      creationDate,
      enabled,
      description,
      keyUsage,
      keyState,
      deletionDate,
      validTo,
      origin,
      customKeyStoreId,
      cloudHsmClusterId,
      expirationModel,
      keyManager,
      customerMasterKeySpec,
      keySpec,
      encryptionAlgorithms,
      signingAlgorithms,
      keyAgreementAlgorithms,
      multiRegion,
      multiRegionConfiguration,
      pendingDeletionWindowInDays,
      macAlgorithms,
      xksKeyConfiguration
    );
  }