in DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/structuredencryption/ToNative.java [279:315]
public static EncryptStructureInput EncryptStructureInput(
software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types.EncryptStructureInput dafnyValue
) {
EncryptStructureInput.Builder nativeBuilder =
EncryptStructureInput.builder();
nativeBuilder.tableName(
software.amazon.smithy.dafny.conversion.ToNative.Simple.String(
dafnyValue.dtor_tableName()
)
);
nativeBuilder.plaintextStructure(
ToNative.StructuredDataMap(dafnyValue.dtor_plaintextStructure())
);
nativeBuilder.cryptoSchema(
ToNative.CryptoSchemaMap(dafnyValue.dtor_cryptoSchema())
);
nativeBuilder.cmm(
software.amazon.cryptography.materialproviders.ToNative.CryptographicMaterialsManager(
dafnyValue.dtor_cmm()
)
);
if (dafnyValue.dtor_algorithmSuiteId().is_Some()) {
nativeBuilder.algorithmSuiteId(
software.amazon.cryptography.materialproviders.ToNative.DBEAlgorithmSuiteId(
dafnyValue.dtor_algorithmSuiteId().dtor_value()
)
);
}
if (dafnyValue.dtor_encryptionContext().is_Some()) {
nativeBuilder.encryptionContext(
software.amazon.cryptography.materialproviders.ToNative.EncryptionContext(
dafnyValue.dtor_encryptionContext().dtor_value()
)
);
}
return nativeBuilder.build();
}