def com_amazonaws_dynamodb_ImportTableDescription()

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

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

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

    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.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.S3BucketSource.is_Some:
        output["S3BucketSource"] = (
            aws_cryptography_internal_dynamodb.smithygenerated.com_amazonaws_dynamodb.dafny_to_aws_sdk.com_amazonaws_dynamodb_S3BucketSource(
                dafny_input.S3BucketSource.value
            )
        )

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

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

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

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

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

    if dafny_input.TableCreationParameters.is_Some:
        output["TableCreationParameters"] = (
            aws_cryptography_internal_dynamodb.smithygenerated.com_amazonaws_dynamodb.dafny_to_aws_sdk.com_amazonaws_dynamodb_TableCreationParameters(
                dafny_input.TableCreationParameters.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.ProcessedSizeBytes.is_Some:
        output["ProcessedSizeBytes"] = dafny_input.ProcessedSizeBytes.value

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

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

    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")

    return output