in DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/ToDafny.java [125:193]
public static BeaconVersion BeaconVersion(
software.amazon.cryptography.dbencryptionsdk.dynamodb.model.BeaconVersion nativeValue
) {
Integer version;
version = (nativeValue.version());
IKeyStoreClient keyStore;
keyStore =
software.amazon.cryptography.keystore.ToDafny.KeyStore(
nativeValue.keyStore()
);
BeaconKeySource keySource;
keySource = ToDafny.BeaconKeySource(nativeValue.keySource());
DafnySequence<? extends StandardBeacon> standardBeacons;
standardBeacons = ToDafny.StandardBeaconList(nativeValue.standardBeacons());
Option<DafnySequence<? extends CompoundBeacon>> compoundBeacons;
compoundBeacons =
(Objects.nonNull(nativeValue.compoundBeacons()) &&
nativeValue.compoundBeacons().size() > 0)
? Option.create_Some(
DafnySequence._typeDescriptor(CompoundBeacon._typeDescriptor()),
ToDafny.CompoundBeaconList(nativeValue.compoundBeacons())
)
: Option.create_None(
DafnySequence._typeDescriptor(CompoundBeacon._typeDescriptor())
);
Option<DafnySequence<? extends VirtualField>> virtualFields;
virtualFields =
(Objects.nonNull(nativeValue.virtualFields()) &&
nativeValue.virtualFields().size() > 0)
? Option.create_Some(
DafnySequence._typeDescriptor(VirtualField._typeDescriptor()),
ToDafny.VirtualFieldList(nativeValue.virtualFields())
)
: Option.create_None(
DafnySequence._typeDescriptor(VirtualField._typeDescriptor())
);
Option<DafnySequence<? extends EncryptedPart>> encryptedParts;
encryptedParts =
(Objects.nonNull(nativeValue.encryptedParts()) &&
nativeValue.encryptedParts().size() > 0)
? Option.create_Some(
DafnySequence._typeDescriptor(EncryptedPart._typeDescriptor()),
ToDafny.EncryptedPartsList(nativeValue.encryptedParts())
)
: Option.create_None(
DafnySequence._typeDescriptor(EncryptedPart._typeDescriptor())
);
Option<DafnySequence<? extends SignedPart>> signedParts;
signedParts =
(Objects.nonNull(nativeValue.signedParts()) &&
nativeValue.signedParts().size() > 0)
? Option.create_Some(
DafnySequence._typeDescriptor(SignedPart._typeDescriptor()),
ToDafny.SignedPartsList(nativeValue.signedParts())
)
: Option.create_None(
DafnySequence._typeDescriptor(SignedPart._typeDescriptor())
);
return new BeaconVersion(
version,
keyStore,
keySource,
standardBeacons,
compoundBeacons,
virtualFields,
encryptedParts,
signedParts
);
}