solverforge-macros 0.15.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

#[test]
fn expansion_tracks_every_manifest_module_as_include_dependency() {
    let expanded = expand(quote! {
        root = "tests/ui/pass/scalar_multi_module/domain";

        mod plan;
        mod task;
        mod worker;

        pub use plan::Plan;
        pub use task::Task;
        pub use worker::Worker;
    })
    .expect("planning_model! should expand")
    .to_string();

    assert!(expanded.contains("include_str !"));
    assert!(expanded.contains("plan.rs"));
    assert!(expanded.contains("task.rs"));
    assert!(expanded.contains("worker.rs"));
}

#[test]
fn expansion_attaches_list_order_and_precedence_hooks_to_existing_slots() {
    let expanded = expand(quote! {
        root = "tests/ui/pass/list_hooks/domain";

        mod operation;
        mod route;
        mod plan;

        pub use operation::Operation;
        pub use route::Route;
        pub use plan::Plan;
    })
    .expect("planning_model! should expand")
    .to_string();

    assert!(expanded.contains("__solverforge_runtime_list_construction_element_order_routes"));
    assert!(expanded.contains("__solverforge_runtime_list_precedence_duration_routes"));
    assert!(expanded.contains("__solverforge_runtime_list_precedence_successors_routes"));
    assert!(expanded.contains("slot = slot . with_construction_element_order_key"));
    assert!(expanded.contains("slot = slot . with_precedence_hooks"));
    assert!(expanded.contains("route :: operation_construction_order"));
    assert!(expanded.contains("route :: operation_duration"));
    assert!(expanded.contains("route :: operation_successors"));
}