solverforge-macros 0.12.1

Derive macros for SolverForge constraint solver
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
66
67
68
69

fn validate_planning_entity_field_attributes(
    fields: &syn::punctuated::Punctuated<syn::Field, syn::token::Comma>,
) -> Result<(), Error> {
    for field in fields {
        if let Some(attr) = get_attribute(&field.attrs, "planning_id") {
            validate_no_attribute_args(attr, "planning_id")?;
        }
        if let Some(attr) = get_attribute(&field.attrs, "planning_pin") {
            validate_no_attribute_args(attr, "planning_pin")?;
        }
        if let Some(attr) = get_attribute(&field.attrs, "planning_variable") {
            validate_planning_variable_attribute(attr)?;
        }
        if let Some(attr) = get_attribute(&field.attrs, "planning_list_variable") {
            validate_planning_list_variable_attribute(attr)?;
        }
        if let Some(attr) = get_attribute(&field.attrs, "inverse_relation_shadow_variable") {
            validate_shadow_variable_attribute(attr, "inverse_relation_shadow_variable")?;
        }
        if let Some(attr) = get_attribute(&field.attrs, "previous_element_shadow_variable") {
            validate_shadow_variable_attribute(attr, "previous_element_shadow_variable")?;
        }
        if let Some(attr) = get_attribute(&field.attrs, "next_element_shadow_variable") {
            validate_shadow_variable_attribute(attr, "next_element_shadow_variable")?;
        }
        if let Some(attr) = get_attribute(&field.attrs, "cascading_update_shadow_variable") {
            validate_no_attribute_args(attr, "cascading_update_shadow_variable")?;
        }
    }
    Ok(())
}

fn validate_scalar_hook_targets(planning_variables: &[&syn::Field]) -> Result<(), Error> {
    const SCALAR_HOOK_ATTRIBUTES: &[&str] = &[
        "candidate_values",
        "nearby_value_candidates",
        "nearby_entity_candidates",
        "nearby_value_distance_meter",
        "nearby_entity_distance_meter",
        "construction_entity_order_key",
        "construction_value_order_key",
    ];

    for field in planning_variables {
        let attr = get_attribute(&field.attrs, "planning_variable").unwrap();
        let has_scalar_hook = SCALAR_HOOK_ATTRIBUTES
            .iter()
            .any(|key| has_attribute_argument(attr, key));
        if !has_scalar_hook {
            continue;
        }

        if parse_attribute_bool(attr, "chained").unwrap_or(false) {
            return Err(Error::new_spanned(
                *field,
                "chained planning variables cannot declare scalar runtime hook attributes",
            ));
        }

        if !field_is_option_usize(&field.ty) {
            return Err(Error::new_spanned(
                *field,
                "scalar runtime hook attributes require a non-chained Option<usize> planning variable",
            ));
        }
    }

    Ok(())
}