def aws_cryptography_encryptionsdk_EncryptInput()

in AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py [0:0]

• 72 lines of code
• 9 McCabe index (conditional complexity)

def aws_cryptography_encryptionsdk_EncryptInput(native_input):
    return DafnyEncryptInput(
        plaintext=Seq(native_input.plaintext),
        encryptionContext=(
            (
                Option_Some(
                    Map(
                        {
                            Seq(key.encode("utf-8")): Seq(value.encode("utf-8"))
                            for (key, value) in native_input.encryption_context.items()
                        }
                    )
                )
            )
            if (native_input.encryption_context is not None)
            else (Option_None())
        ),
        materialsManager=(
            (
                Option_Some(
                    aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.smithy_to_dafny.aws_cryptography_materialproviders_CryptographicMaterialsManagerReference(
                        native_input.materials_manager
                    )
                )
            )
            if (
                (native_input.materials_manager is not None)
                and (
                    aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.smithy_to_dafny.aws_cryptography_materialproviders_CryptographicMaterialsManagerReference(
                        native_input.materials_manager
                    )
                    is not None
                )
            )
            else (Option_None())
        ),
        keyring=(
            (
                Option_Some(
                    aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.smithy_to_dafny.aws_cryptography_materialproviders_KeyringReference(
                        native_input.keyring
                    )
                )
            )
            if (
                (native_input.keyring is not None)
                and (
                    aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.smithy_to_dafny.aws_cryptography_materialproviders_KeyringReference(
                        native_input.keyring
                    )
                    is not None
                )
            )
            else (Option_None())
        ),
        algorithmSuiteId=(
            (
                Option_Some(
                    aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.smithy_to_dafny.aws_cryptography_materialproviders_ESDKAlgorithmSuiteId(
                        native_input.algorithm_suite_id
                    )
                )
            )
            if (native_input.algorithm_suite_id is not None)
            else (Option_None())
        ),
        frameLength=(
            (Option_Some(native_input.frame_length))
            if (native_input.frame_length is not None)
            else (Option_None())
        ),
    )