def com_amazonaws_dynamodb_ExportDescription()

in ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/dafny_to_aws_sdk.py [0:0]
93 lines of code
33 McCabe index (conditional complexity)

def com_amazonaws_dynamodb_ExportDescription(dafny_input):
    output = {}
    if dafny_input.ExportArn.is_Some:
        output["ExportArn"] = b"".join(
            ord(c).to_bytes(2, "big") for c in dafny_input.ExportArn.value
        ).decode("utf-16-be")

    if dafny_input.ExportStatus.is_Some:
        output["ExportStatus"] = (
            aws_cryptography_internal_dynamodb.smithygenerated.com_amazonaws_dynamodb.dafny_to_aws_sdk.com_amazonaws_dynamodb_ExportStatus(
                dafny_input.ExportStatus.value
            )
        )

    if dafny_input.StartTime.is_Some:
        output["StartTime"] = datetime.fromisoformat(
            dafny_input.StartTime.value.VerbatimString(False)
        )

    if dafny_input.EndTime.is_Some:
        output["EndTime"] = datetime.fromisoformat(
            dafny_input.EndTime.value.VerbatimString(False)
        )

    if dafny_input.ExportManifest.is_Some:
        output["ExportManifest"] = b"".join(
            ord(c).to_bytes(2, "big") for c in dafny_input.ExportManifest.value
        ).decode("utf-16-be")

    if dafny_input.TableArn.is_Some:
        output["TableArn"] = b"".join(
            ord(c).to_bytes(2, "big") for c in dafny_input.TableArn.value
        ).decode("utf-16-be")

    if dafny_input.TableId.is_Some:
        output["TableId"] = b"".join(
            ord(c).to_bytes(2, "big") for c in dafny_input.TableId.value
        ).decode("utf-16-be")

    if dafny_input.ExportTime.is_Some:
        output["ExportTime"] = datetime.fromisoformat(
            dafny_input.ExportTime.value.VerbatimString(False)
        )

    if dafny_input.ClientToken.is_Some:
        output["ClientToken"] = b"".join(
            ord(c).to_bytes(2, "big") for c in dafny_input.ClientToken.value
        ).decode("utf-16-be")

    if dafny_input.S3Bucket.is_Some:
        output["S3Bucket"] = b"".join(
            ord(c).to_bytes(2, "big") for c in dafny_input.S3Bucket.value
        ).decode("utf-16-be")

    if dafny_input.S3BucketOwner.is_Some:
        output["S3BucketOwner"] = b"".join(
            ord(c).to_bytes(2, "big") for c in dafny_input.S3BucketOwner.value
        ).decode("utf-16-be")

    if dafny_input.S3Prefix.is_Some:
        output["S3Prefix"] = b"".join(
            ord(c).to_bytes(2, "big") for c in dafny_input.S3Prefix.value
        ).decode("utf-16-be")

    if dafny_input.S3SseAlgorithm.is_Some:
        output["S3SseAlgorithm"] = (
            aws_cryptography_internal_dynamodb.smithygenerated.com_amazonaws_dynamodb.dafny_to_aws_sdk.com_amazonaws_dynamodb_S3SseAlgorithm(
                dafny_input.S3SseAlgorithm.value
            )
        )

    if dafny_input.S3SseKmsKeyId.is_Some:
        output["S3SseKmsKeyId"] = b"".join(
            ord(c).to_bytes(2, "big") for c in dafny_input.S3SseKmsKeyId.value
        ).decode("utf-16-be")

    if dafny_input.FailureCode.is_Some:
        output["FailureCode"] = b"".join(
            ord(c).to_bytes(2, "big") for c in dafny_input.FailureCode.value
        ).decode("utf-16-be")

    if dafny_input.FailureMessage.is_Some:
        output["FailureMessage"] = b"".join(
            ord(c).to_bytes(2, "big") for c in dafny_input.FailureMessage.value
        ).decode("utf-16-be")

    if dafny_input.ExportFormat.is_Some:
        output["ExportFormat"] = (
            aws_cryptography_internal_dynamodb.smithygenerated.com_amazonaws_dynamodb.dafny_to_aws_sdk.com_amazonaws_dynamodb_ExportFormat(
                dafny_input.ExportFormat.value
            )
        )

    if dafny_input.BilledSizeBytes.is_Some:
        output["BilledSizeBytes"] = dafny_input.BilledSizeBytes.value

    if dafny_input.ItemCount.is_Some:
        output["ItemCount"] = dafny_input.ItemCount.value

    if dafny_input.ExportType.is_Some:
        output["ExportType"] = (
            aws_cryptography_internal_dynamodb.smithygenerated.com_amazonaws_dynamodb.dafny_to_aws_sdk.com_amazonaws_dynamodb_ExportType(
                dafny_input.ExportType.value
            )
        )

    if dafny_input.IncrementalExportSpecification.is_Some:
        output["IncrementalExportSpecification"] = (
            aws_cryptography_internal_dynamodb.smithygenerated.com_amazonaws_dynamodb.dafny_to_aws_sdk.com_amazonaws_dynamodb_IncrementalExportSpecification(
                dafny_input.IncrementalExportSpecification.value
            )
        )

    return output