isl-rs 0.3.1

Rust bindings for Integer Set Library
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121

// Automatically generated by isl_bindings_generator.
// LICENSE: MIT

use super::{BasicSet, Context, Error, LibISLError, MultiAff};
use libc::uintptr_t;

/// Wraps `isl_vertex`.
pub struct Vertex {
    pub ptr: uintptr_t,
    pub should_free_on_drop: bool,
}

extern "C" {

    fn isl_vertex_free(vertex: uintptr_t) -> uintptr_t;

    fn isl_vertex_get_ctx(vertex: uintptr_t) -> uintptr_t;

    fn isl_vertex_get_domain(vertex: uintptr_t) -> uintptr_t;

    fn isl_vertex_get_expr(vertex: uintptr_t) -> uintptr_t;

    fn isl_vertex_get_id(vertex: uintptr_t) -> i32;

}

impl Vertex {
    /// Wraps `isl_vertex_free`.
    pub fn free(self) -> Result<Vertex, LibISLError> {
        let vertex = self;
        let isl_rs_ctx = vertex.get_ctx();
        let mut vertex = vertex;
        vertex.do_not_free_on_drop();
        let vertex = vertex.ptr;
        let isl_rs_result = unsafe { isl_vertex_free(vertex) };
        let isl_rs_result = Vertex { ptr: isl_rs_result,
                                     should_free_on_drop: true };
        let err = isl_rs_ctx.last_error();
        if err != Error::None_ {
            let err_msg = isl_rs_ctx.last_error_msg();
            isl_rs_ctx.reset_error();
            return Err(LibISLError::new(err, err_msg));
        }
        Ok(isl_rs_result)
    }

    /// Wraps `isl_vertex_get_ctx`.
    pub fn get_ctx(&self) -> Context {
        let vertex = self;
        let vertex = vertex.ptr;
        let isl_rs_result = unsafe { isl_vertex_get_ctx(vertex) };
        let isl_rs_result = Context { ptr: isl_rs_result,
                                      should_free_on_drop: false };
        isl_rs_result
    }

    /// Wraps `isl_vertex_get_domain`.
    pub fn get_domain(&self) -> Result<BasicSet, LibISLError> {
        let vertex = self;
        let isl_rs_ctx = vertex.get_ctx();
        let vertex = vertex.ptr;
        let isl_rs_result = unsafe { isl_vertex_get_domain(vertex) };
        let isl_rs_result = BasicSet { ptr: isl_rs_result,
                                       should_free_on_drop: true };
        let err = isl_rs_ctx.last_error();
        if err != Error::None_ {
            let err_msg = isl_rs_ctx.last_error_msg();
            isl_rs_ctx.reset_error();
            return Err(LibISLError::new(err, err_msg));
        }
        Ok(isl_rs_result)
    }

    /// Wraps `isl_vertex_get_expr`.
    pub fn get_expr(&self) -> Result<MultiAff, LibISLError> {
        let vertex = self;
        let isl_rs_ctx = vertex.get_ctx();
        let vertex = vertex.ptr;
        let isl_rs_result = unsafe { isl_vertex_get_expr(vertex) };
        let isl_rs_result = MultiAff { ptr: isl_rs_result,
                                       should_free_on_drop: true };
        let err = isl_rs_ctx.last_error();
        if err != Error::None_ {
            let err_msg = isl_rs_ctx.last_error_msg();
            isl_rs_ctx.reset_error();
            return Err(LibISLError::new(err, err_msg));
        }
        Ok(isl_rs_result)
    }

    /// Wraps `isl_vertex_get_id`.
    pub fn get_id(&self) -> Result<i32, LibISLError> {
        let vertex = self;
        let isl_rs_ctx = vertex.get_ctx();
        let vertex = vertex.ptr;
        let isl_rs_result = unsafe { isl_vertex_get_id(vertex) };
        let err = isl_rs_ctx.last_error();
        if err != Error::None_ {
            let err_msg = isl_rs_ctx.last_error_msg();
            isl_rs_ctx.reset_error();
            return Err(LibISLError::new(err, err_msg));
        }
        Ok(isl_rs_result)
    }

    /// Does not call isl_vertex_free() on being dropped. (For internal use
    /// only.)
    pub fn do_not_free_on_drop(&mut self) {
        self.should_free_on_drop = false;
    }
}

impl Drop for Vertex {
    fn drop(&mut self) {
        if self.should_free_on_drop {
            unsafe {
                isl_vertex_free(self.ptr);
            }
        }
    }
}