def aws_cryptography_encryptionsdk_EncryptInput()

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

• 48 lines of code
• 7 McCabe index (conditional complexity)

def aws_cryptography_encryptionsdk_EncryptInput(dafny_input):
    return aws_encryption_sdk_dafny.smithygenerated.aws_cryptography_encryptionsdk.models.EncryptInput(
        plaintext=bytes(dafny_input.plaintext),
        encryption_context=(
            (
                {
                    bytes(key.Elements)
                    .decode("utf-8"): bytes(value.Elements)
                    .decode("utf-8")
                    for (key, value) in dafny_input.encryptionContext.value.items
                }
            )
            if (dafny_input.encryptionContext.is_Some)
            else None
        ),
        materials_manager=(
            (
                aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.dafny_to_smithy.aws_cryptography_materialproviders_CryptographicMaterialsManagerReference(
                    dafny_input.materialsManager.UnwrapOr(None)
                )
            )
            if (dafny_input.materialsManager.UnwrapOr(None) is not None)
            else None
        ),
        keyring=(
            (
                aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.dafny_to_smithy.aws_cryptography_materialproviders_KeyringReference(
                    dafny_input.keyring.UnwrapOr(None)
                )
            )
            if (dafny_input.keyring.UnwrapOr(None) is not None)
            else None
        ),
        algorithm_suite_id=(
            (
                aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.dafny_to_smithy.aws_cryptography_materialproviders_ESDKAlgorithmSuiteId(
                    dafny_input.algorithmSuiteId.value
                )
            )
            if (dafny_input.algorithmSuiteId.is_Some)
            else None
        ),
        frame_length=(
            (dafny_input.frameLength.value)
            if (dafny_input.frameLength.is_Some)
            else None
        ),
    )