enki-anu 0.2.2

BorrowEngine, task recording, and pipeline synthesis for the Enki runtime
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

use crate::nam_args_api::NamParamMeta;
use std::ops::Range;

#[derive(Debug, Clone, PartialEq, Eq)]
pub enum BorrowViolation {
    ArityMismatch {
        nam_name: &'static str,
        nam_file: &'static str,
        nam_line: u32,
        expected_count: usize,
        provided_count: usize,
    },

    MutabilityMismatch {
        param: NamParamMeta,
        arg_index: usize,
        provided_type_name: &'static str,
    },

    SemanticKindMismatch {
        param: NamParamMeta,
        arg_index: usize,
        expected_kind_str: &'static str,
        provided_kind_str: &'static str,
    },

    TypeMismatch {
        param: NamParamMeta,
        arg_index: usize,
        provided_type_name: &'static str,
    },

    SpaceDomainOverflow {
        arg_index: usize,
        type_name: &'static str,
        provided_elements: usize,
        required_elements: usize,
        space_dimensions: (usize, usize, usize),
    },

    OverlappingSlices {
        root_id: usize,
        type_name: &'static str,
        first_arg_index: usize,
        first_range: Range<usize>,
        first_is_mut: bool,
        second_arg_index: usize,
        second_range: Range<usize>,
        second_is_mut: bool,
        intersection: Range<usize>,
    },

    UnrestrictedSliceMutInSafeMode {
        arg_index: usize,
        type_name: &'static str,
        element_range: Range<usize>,
        total_cells: usize,
    },

    TemporalPresentationHazard {
        arg_index: usize,
        root_id: usize,
    },
}