in DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/ToNative.java [165:206]
public static BeaconVersion BeaconVersion(
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.BeaconVersion dafnyValue
) {
BeaconVersion.Builder nativeBuilder = BeaconVersion.builder();
nativeBuilder.version((dafnyValue.dtor_version()));
nativeBuilder.keyStore(
software.amazon.cryptography.keystore.ToNative.KeyStore(
dafnyValue.dtor_keyStore()
)
);
nativeBuilder.keySource(
ToNative.BeaconKeySource(dafnyValue.dtor_keySource())
);
nativeBuilder.standardBeacons(
ToNative.StandardBeaconList(dafnyValue.dtor_standardBeacons())
);
if (dafnyValue.dtor_compoundBeacons().is_Some()) {
nativeBuilder.compoundBeacons(
ToNative.CompoundBeaconList(
dafnyValue.dtor_compoundBeacons().dtor_value()
)
);
}
if (dafnyValue.dtor_virtualFields().is_Some()) {
nativeBuilder.virtualFields(
ToNative.VirtualFieldList(dafnyValue.dtor_virtualFields().dtor_value())
);
}
if (dafnyValue.dtor_encryptedParts().is_Some()) {
nativeBuilder.encryptedParts(
ToNative.EncryptedPartsList(
dafnyValue.dtor_encryptedParts().dtor_value()
)
);
}
if (dafnyValue.dtor_signedParts().is_Some()) {
nativeBuilder.signedParts(
ToNative.SignedPartsList(dafnyValue.dtor_signedParts().dtor_value())
);
}
return nativeBuilder.build();
}