isl_rs/bindings/

basic_set_list.rs

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

use super::{BasicSet, Context};
use libc::uintptr_t;
use std::ffi::{CStr, CString};
use std::os::raw::c_char;

/// Wraps `isl_basic_set_list`.
pub struct BasicSetList {
    pub ptr: uintptr_t,
    pub should_free_on_drop: bool,
}

extern "C" {

    fn isl_basic_set_list_free(list: uintptr_t) -> uintptr_t;

    fn isl_basic_set_list_insert(list: uintptr_t, pos: u32, el: uintptr_t) -> uintptr_t;

    fn isl_basic_set_list_dump(list: uintptr_t) -> ();

    fn isl_basic_set_list_copy(list: uintptr_t) -> uintptr_t;

    fn isl_basic_set_list_get_ctx(list: uintptr_t) -> uintptr_t;

    fn isl_basic_set_list_get_at(list: uintptr_t, index: i32) -> uintptr_t;

    fn isl_basic_set_list_drop(list: uintptr_t, first: u32, n: u32) -> uintptr_t;

    fn isl_basic_set_list_set_basic_set(list: uintptr_t, index: i32, el: uintptr_t) -> uintptr_t;

    fn isl_basic_set_list_n_basic_set(list: uintptr_t) -> i32;

    fn isl_basic_set_list_clear(list: uintptr_t) -> uintptr_t;

    fn isl_basic_set_list_concat(list1: uintptr_t, list2: uintptr_t) -> uintptr_t;

    fn isl_basic_set_list_coefficients(list: uintptr_t) -> uintptr_t;

    fn isl_basic_set_list_swap(list: uintptr_t, pos1: u32, pos2: u32) -> uintptr_t;

    fn isl_basic_set_list_size(list: uintptr_t) -> i32;

    fn isl_basic_set_list_reverse(list: uintptr_t) -> uintptr_t;

    fn isl_basic_set_list_get_basic_set(list: uintptr_t, index: i32) -> uintptr_t;

    fn isl_basic_set_list_add(list: uintptr_t, el: uintptr_t) -> uintptr_t;

    fn isl_basic_set_list_from_basic_set(el: uintptr_t) -> uintptr_t;

    fn isl_basic_set_list_intersect(list: uintptr_t) -> uintptr_t;

    fn isl_basic_set_list_to_str(list: uintptr_t) -> *const c_char;

    fn isl_basic_set_list_set_at(list: uintptr_t, index: i32, el: uintptr_t) -> uintptr_t;

    fn isl_basic_set_list_alloc(ctx: uintptr_t, n: i32) -> uintptr_t;

}

impl BasicSetList {
    /// Wraps `isl_basic_set_list_free`.
    pub fn free(self) -> BasicSetList {
        let list = self;
        let mut list = list;
        list.do_not_free_on_drop();
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_free(list) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_insert`.
    pub fn insert(self, pos: u32, el: BasicSet) -> BasicSetList {
        let list = self;
        let mut list = list;
        list.do_not_free_on_drop();
        let list = list.ptr;
        let mut el = el;
        el.do_not_free_on_drop();
        let el = el.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_insert(list, pos, el) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_dump`.
    pub fn dump(&self) -> () {
        let list = self;
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_dump(list) };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_copy`.
    pub fn copy(&self) -> BasicSetList {
        let list = self;
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_copy(list) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

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

    /// Wraps `isl_basic_set_list_get_at`.
    pub fn get_at(&self, index: i32) -> BasicSet {
        let list = self;
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_get_at(list, index) };
        let isl_rs_result = BasicSet { ptr: isl_rs_result,
                                       should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_drop`.
    pub fn drop(self, first: u32, n: u32) -> BasicSetList {
        let list = self;
        let mut list = list;
        list.do_not_free_on_drop();
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_drop(list, first, n) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_set_basic_set`.
    pub fn set_basic_set(self, index: i32, el: BasicSet) -> BasicSetList {
        let list = self;
        let mut list = list;
        list.do_not_free_on_drop();
        let list = list.ptr;
        let mut el = el;
        el.do_not_free_on_drop();
        let el = el.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_set_basic_set(list, index, el) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_n_basic_set`.
    pub fn n_basic_set(&self) -> i32 {
        let list = self;
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_n_basic_set(list) };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_clear`.
    pub fn clear(self) -> BasicSetList {
        let list = self;
        let mut list = list;
        list.do_not_free_on_drop();
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_clear(list) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_concat`.
    pub fn concat(self, list2: BasicSetList) -> BasicSetList {
        let list1 = self;
        let mut list1 = list1;
        list1.do_not_free_on_drop();
        let list1 = list1.ptr;
        let mut list2 = list2;
        list2.do_not_free_on_drop();
        let list2 = list2.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_concat(list1, list2) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_coefficients`.
    pub fn coefficients(self) -> BasicSetList {
        let list = self;
        let mut list = list;
        list.do_not_free_on_drop();
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_coefficients(list) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_swap`.
    pub fn swap(self, pos1: u32, pos2: u32) -> BasicSetList {
        let list = self;
        let mut list = list;
        list.do_not_free_on_drop();
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_swap(list, pos1, pos2) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_size`.
    pub fn size(&self) -> i32 {
        let list = self;
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_size(list) };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_reverse`.
    pub fn reverse(self) -> BasicSetList {
        let list = self;
        let mut list = list;
        list.do_not_free_on_drop();
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_reverse(list) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_get_basic_set`.
    pub fn get_basic_set(&self, index: i32) -> BasicSet {
        let list = self;
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_get_basic_set(list, index) };
        let isl_rs_result = BasicSet { ptr: isl_rs_result,
                                       should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_add`.
    pub fn add(self, el: BasicSet) -> BasicSetList {
        let list = self;
        let mut list = list;
        list.do_not_free_on_drop();
        let list = list.ptr;
        let mut el = el;
        el.do_not_free_on_drop();
        let el = el.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_add(list, el) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_from_basic_set`.
    pub fn from_basic_set(el: BasicSet) -> BasicSetList {
        let mut el = el;
        el.do_not_free_on_drop();
        let el = el.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_from_basic_set(el) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_intersect`.
    pub fn intersect(self) -> BasicSet {
        let list = self;
        let mut list = list;
        list.do_not_free_on_drop();
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_intersect(list) };
        let isl_rs_result = BasicSet { ptr: isl_rs_result,
                                       should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_to_str`.
    pub fn to_str(&self) -> &str {
        let list = self;
        let list = list.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_to_str(list) };
        let isl_rs_result = unsafe { CStr::from_ptr(isl_rs_result) };
        let isl_rs_result = isl_rs_result.to_str().unwrap();
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_set_at`.
    pub fn set_at(self, index: i32, el: BasicSet) -> BasicSetList {
        let list = self;
        let mut list = list;
        list.do_not_free_on_drop();
        let list = list.ptr;
        let mut el = el;
        el.do_not_free_on_drop();
        let el = el.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_set_at(list, index, el) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

    /// Wraps `isl_basic_set_list_alloc`.
    pub fn alloc(ctx: &Context, n: i32) -> BasicSetList {
        let ctx = ctx.ptr;
        let isl_rs_result = unsafe { isl_basic_set_list_alloc(ctx, n) };
        let isl_rs_result = BasicSetList { ptr: isl_rs_result,
                                           should_free_on_drop: true };
        isl_rs_result
    }

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