cairo-lang-plugins 2.5.0-dev.1

Cairo core plugin implementations.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65

use cairo_lang_syntax::node::ids::SyntaxStablePtrId;
use indent::indent_by;
use indoc::formatdoc;
use itertools::Itertools;

use super::{unsupported_for_extern_diagnostic, DeriveInfo, DeriveResult};
use crate::plugins::derive::TypeVariantInfo;

/// Adds derive result for the `Serde` trait.
pub fn handle_hash(info: &DeriveInfo, stable_ptr: SyntaxStablePtrId, result: &mut DeriveResult) {
    let full_typename = info.full_typename();
    let ty = &info.name;
    let body = indent_by(
        8,
        match &info.specific_info {
            TypeVariantInfo::Enum(variants) => {
                formatdoc! {"
                    match value {{
                        {}
                    }}",
                    indent_by(4,
                    variants.iter().enumerate().map(|(idx, variant)| formatdoc!{"
                            {ty}::{variant}(x) => {{
                                let state = core::hash::Hash::update_state(state, {idx});
                                core::hash::Hash::update_state(state, x)
                            }},",
                            variant=variant.name,
                        }
                    ).join("\n"))
                }
            }
            TypeVariantInfo::Struct(members) => format!(
                "{}\nstate",
                members
                    .iter()
                    .map(|member| {
                        format!(
                            "let state = core::hash::Hash::update_state(state, value.{});",
                            member.name
                        )
                    })
                    .join("\n")
            ),
            TypeVariantInfo::Extern => {
                return result.diagnostics.push(unsupported_for_extern_diagnostic(stable_ptr));
            }
        },
    );
    let impl_additional_generics = info.generics.format_generics_with_trait_params_only(|t| {
        vec![format!("+core::hash::Hash<{t}, __State, __SHashState>"), format!("+Drop<{t}>")]
    });
    let extra_comma = if impl_additional_generics.is_empty() { "" } else { ",\n    " };
    result.impls.push(formatdoc! {"
        impl {ty}Hash<
            __State,
            impl __SHashState: core::hash::HashStateTrait<__State>,
            +Drop<__State>{extra_comma}{impl_additional_generics}
        > of core::hash::Hash<{full_typename}, __State, __SHashState> {{
            #[inline(always)]
            fn update_state(state: __State, value: {full_typename}) -> __State {{
                {body}
            }}
        }}
    "});
}