fieldwork-borrow 0.1.0

Field-level borrow splitting for Rust
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

use fieldwork_borrow::with_;

struct Database {
    models: Vec<Model>,
}

struct Model {
    objects: Vec<Object>,
}

struct Object {
    matrix: f64,
}

struct Viewer {
    db: Database,
    model_id: usize,
    object_mats: Vec<f64>,
}

impl Viewer {
    fn problem(&mut self) {
        with_!(self, {
            methods {
                cur_model(&db, copy model_id) -> &Model {
                    &db.models[model_id]
                }
            }
            fields {
                mut object_mats
            }
            body {
                for obj in &self.cur_model().objects {
                    self.object_mats.push(obj.matrix);
                }
            }
        });
    }
}

#[test]
fn test_viewer() {
    let mut viewer = Viewer {
        db: Database {
            models: vec![Model {
                objects: vec![
                    Object { matrix: 1.0 },
                    Object { matrix: 2.0 },
                ],
            }],
        },
        model_id: 0,
        object_mats: vec![],
    };

    viewer.problem();

    assert_eq!(viewer.object_mats, vec![1.0, 2.0]);
}