1use crate::bindings::Context;
5use libc::uintptr_t;
6use std::ffi::{CStr, CString};
7use std::os::raw::c_char;
8
9pub struct Id {
11 pub ptr: uintptr_t,
12 pub should_free_on_drop: bool,
13}
14
15extern "C" {
16
17 fn isl_id_get_ctx(id: uintptr_t) -> uintptr_t;
18
19 fn isl_id_get_hash(id: uintptr_t) -> u32;
20
21 fn isl_id_copy(id: uintptr_t) -> uintptr_t;
22
23 fn isl_id_free(id: uintptr_t) -> uintptr_t;
24
25 fn isl_id_get_name(id: uintptr_t) -> *const c_char;
26
27 fn isl_id_read_from_str(ctx: uintptr_t, str_: *const c_char) -> uintptr_t;
28
29 fn isl_id_to_str(id: uintptr_t) -> *const c_char;
30
31 fn isl_id_dump(id: uintptr_t);
32
33}
34
35impl Id {
36 pub fn get_ctx(&self) -> Context {
38 let id = self;
39 let id = id.ptr;
40 let isl_rs_result = unsafe { isl_id_get_ctx(id) };
41 let isl_rs_result = Context { ptr: isl_rs_result,
42 should_free_on_drop: true };
43 let mut isl_rs_result = isl_rs_result;
44 isl_rs_result.do_not_free_on_drop();
45 isl_rs_result
46 }
47
48 pub fn get_hash(&self) -> u32 {
50 let id = self;
51 let id = id.ptr;
52 let isl_rs_result = unsafe { isl_id_get_hash(id) };
53 isl_rs_result
54 }
55
56 pub fn copy(&self) -> Id {
58 let id = self;
59 let id = id.ptr;
60 let isl_rs_result = unsafe { isl_id_copy(id) };
61 let isl_rs_result = Id { ptr: isl_rs_result,
62 should_free_on_drop: true };
63 isl_rs_result
64 }
65
66 pub fn free(self) -> Id {
68 let id = self;
69 let mut id = id;
70 id.do_not_free_on_drop();
71 let id = id.ptr;
72 let isl_rs_result = unsafe { isl_id_free(id) };
73 let isl_rs_result = Id { ptr: isl_rs_result,
74 should_free_on_drop: true };
75 isl_rs_result
76 }
77
78 pub fn get_name(&self) -> &str {
80 let id = self;
81 let id = id.ptr;
82 let isl_rs_result = unsafe { isl_id_get_name(id) };
83 let isl_rs_result = unsafe { CStr::from_ptr(isl_rs_result) };
84 let isl_rs_result = isl_rs_result.to_str().unwrap();
85 isl_rs_result
86 }
87
88 pub fn read_from_str(ctx: &Context, str_: &str) -> Id {
90 let ctx = ctx.ptr;
91 let str_ = CString::new(str_).unwrap();
92 let str_ = str_.as_ptr();
93 let isl_rs_result = unsafe { isl_id_read_from_str(ctx, str_) };
94 let isl_rs_result = Id { ptr: isl_rs_result,
95 should_free_on_drop: true };
96 isl_rs_result
97 }
98
99 pub fn to_str(&self) -> &str {
101 let id = self;
102 let id = id.ptr;
103 let isl_rs_result = unsafe { isl_id_to_str(id) };
104 let isl_rs_result = unsafe { CStr::from_ptr(isl_rs_result) };
105 let isl_rs_result = isl_rs_result.to_str().unwrap();
106 isl_rs_result
107 }
108
109 pub fn dump(&self) {
111 let id = self;
112 let id = id.ptr;
113 let isl_rs_result = unsafe { isl_id_dump(id) };
114 isl_rs_result
115 }
116
117 pub fn do_not_free_on_drop(&mut self) {
119 self.should_free_on_drop = false;
120 }
121}
122
123impl Drop for Id {
124 fn drop(&mut self) {
125 if self.should_free_on_drop {
126 unsafe {
127 isl_id_free(self.ptr);
128 }
129 }
130 }
131}