def com_amazonaws_kms_CustomKeyStoresListEntry()

in ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/aws_sdk_to_dafny.py [0:0]
136 lines of code
14 McCabe index (conditional complexity)

def com_amazonaws_kms_CustomKeyStoresListEntry(native_input):
    return DafnyCustomKeyStoresListEntry(
        CustomKeyStoreId=(
            Option_Some(
                Seq(
                    "".join(
                        [
                            chr(int.from_bytes(pair, "big"))
                            for pair in zip(
                                *[
                                    iter(
                                        native_input["CustomKeyStoreId"].encode(
                                            "utf-16-be"
                                        )
                                    )
                                ]
                                * 2
                            )
                        ]
                    )
                )
            )
            if "CustomKeyStoreId" in native_input.keys()
            else Option_None()
        ),
        CustomKeyStoreName=(
            Option_Some(
                Seq(
                    "".join(
                        [
                            chr(int.from_bytes(pair, "big"))
                            for pair in zip(
                                *[
                                    iter(
                                        native_input["CustomKeyStoreName"].encode(
                                            "utf-16-be"
                                        )
                                    )
                                ]
                                * 2
                            )
                        ]
                    )
                )
            )
            if "CustomKeyStoreName" in native_input.keys()
            else Option_None()
        ),
        CloudHsmClusterId=(
            Option_Some(
                Seq(
                    "".join(
                        [
                            chr(int.from_bytes(pair, "big"))
                            for pair in zip(
                                *[
                                    iter(
                                        native_input["CloudHsmClusterId"].encode(
                                            "utf-16-be"
                                        )
                                    )
                                ]
                                * 2
                            )
                        ]
                    )
                )
            )
            if "CloudHsmClusterId" in native_input.keys()
            else Option_None()
        ),
        TrustAnchorCertificate=(
            Option_Some(
                Seq(
                    "".join(
                        [
                            chr(int.from_bytes(pair, "big"))
                            for pair in zip(
                                *[
                                    iter(
                                        native_input["TrustAnchorCertificate"].encode(
                                            "utf-16-be"
                                        )
                                    )
                                ]
                                * 2
                            )
                        ]
                    )
                )
            )
            if "TrustAnchorCertificate" in native_input.keys()
            else Option_None()
        ),
        ConnectionState=(
            Option_Some(
                aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_ConnectionStateType(
                    native_input["ConnectionState"]
                )
            )
            if "ConnectionState" in native_input.keys()
            else Option_None()
        ),
        ConnectionErrorCode=(
            Option_Some(
                aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_ConnectionErrorCodeType(
                    native_input["ConnectionErrorCode"]
                )
            )
            if "ConnectionErrorCode" in native_input.keys()
            else Option_None()
        ),
        CreationDate=(
            Option_Some(_dafny.Seq(native_input["CreationDate"].isoformat()))
            if "CreationDate" in native_input.keys()
            else Option_None()
        ),
        CustomKeyStoreType=(
            Option_Some(
                aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_CustomKeyStoreType(
                    native_input["CustomKeyStoreType"]
                )
            )
            if "CustomKeyStoreType" in native_input.keys()
            else Option_None()
        ),
        XksProxyConfiguration=(
            Option_Some(
                aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksProxyConfigurationType(
                    native_input["XksProxyConfiguration"]
                )
            )
            if "XksProxyConfiguration" in native_input.keys()
            else Option_None()
        ),
    )