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

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

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

/// Wraps `isl_cell`.
pub struct Cell {
    pub ptr: uintptr_t,
    pub should_free_on_drop: bool,
}

extern "C" {

    fn isl_cell_free(cell: uintptr_t) -> uintptr_t;

    fn isl_cell_get_ctx(cell: uintptr_t) -> uintptr_t;

    fn isl_cell_get_domain(cell: uintptr_t) -> uintptr_t;

}

impl Cell {
    /// Wraps `isl_cell_free`.
    pub fn free(self) -> Result<Cell, LibISLError> {
        let cell = self;
        let isl_rs_ctx = cell.get_ctx();
        let mut cell = cell;
        cell.do_not_free_on_drop();
        let cell = cell.ptr;
        let isl_rs_result = unsafe { isl_cell_free(cell) };
        let isl_rs_result = Cell { 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_cell_get_ctx`.
    pub fn get_ctx(&self) -> Context {
        let cell = self;
        let cell = cell.ptr;
        let isl_rs_result = unsafe { isl_cell_get_ctx(cell) };
        let isl_rs_result = Context { ptr: isl_rs_result,
                                      should_free_on_drop: false };
        isl_rs_result
    }

    /// Wraps `isl_cell_get_domain`.
    pub fn get_domain(&self) -> Result<BasicSet, LibISLError> {
        let cell = self;
        let isl_rs_ctx = cell.get_ctx();
        let cell = cell.ptr;
        let isl_rs_result = unsafe { isl_cell_get_domain(cell) };
        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)
    }

    /// Does not call isl_cell_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 Cell {
    fn drop(&mut self) {
        if self.should_free_on_drop {
            unsafe {
                isl_cell_free(self.ptr);
            }
        }
    }
}