in AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToNative.java [184:225]
public static EncryptInput EncryptInput(
software.amazon.cryptography.encryptionsdk.internaldafny.types.EncryptInput dafnyValue
) {
EncryptInput.Builder nativeBuilder = EncryptInput.builder();
nativeBuilder.plaintext(
software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(
dafnyValue.dtor_plaintext()
)
);
if (dafnyValue.dtor_encryptionContext().is_Some()) {
nativeBuilder.encryptionContext(
software.amazon.cryptography.materialproviders.ToNative.EncryptionContext(
dafnyValue.dtor_encryptionContext().dtor_value()
)
);
}
if (dafnyValue.dtor_materialsManager().is_Some()) {
nativeBuilder.materialsManager(
software.amazon.cryptography.materialproviders.ToNative.CryptographicMaterialsManager(
dafnyValue.dtor_materialsManager().dtor_value()
)
);
}
if (dafnyValue.dtor_keyring().is_Some()) {
nativeBuilder.keyring(
software.amazon.cryptography.materialproviders.ToNative.Keyring(
dafnyValue.dtor_keyring().dtor_value()
)
);
}
if (dafnyValue.dtor_algorithmSuiteId().is_Some()) {
nativeBuilder.algorithmSuiteId(
software.amazon.cryptography.materialproviders.ToNative.ESDKAlgorithmSuiteId(
dafnyValue.dtor_algorithmSuiteId().dtor_value()
)
);
}
if (dafnyValue.dtor_frameLength().is_Some()) {
nativeBuilder.frameLength((dafnyValue.dtor_frameLength().dtor_value()));
}
return nativeBuilder.build();
}