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
);
}