use std::ffi::CStr;
use std::ffi::CString;
use std::os::raw::c_char;
use std::sync::Arc;
use crate::compute::cache::ComputationResultCache;
use crate::compute::cache::ParsingCache;
use crate::symbolic::core::Expr;
#[unsafe(no_mangle)]
pub extern "C" fn rssn_parsing_cache_new() -> *mut ParsingCache {
Box::into_raw(Box::new(ParsingCache::new()))
}
#[unsafe(no_mangle)]
pub extern "C" fn rssn_parsing_cache_free(cache: *mut ParsingCache) {
if cache.is_null() {
return;
}
unsafe {
let _ = Box::from_raw(cache);
}
}
#[unsafe(no_mangle)]
pub extern "C" fn rssn_parsing_cache_clear(cache: *mut ParsingCache) {
if cache.is_null() {
return;
}
unsafe {
(*cache).clear();
}
}
#[unsafe(no_mangle)]
pub extern "C" fn rssn_parsing_cache_get(
cache: *mut ParsingCache,
input: *const c_char,
) -> *mut Expr {
if cache.is_null() || input.is_null() {
return std::ptr::null_mut();
}
unsafe {
let input_str = match CStr::from_ptr(input).to_str() {
| Ok(s) => s,
| Err(_) => return std::ptr::null_mut(),
};
match (*cache).get(input_str) {
| Some(expr) => {
Box::into_raw(Box::new((*expr).clone()))
},
| None => std::ptr::null_mut(),
}
}
}
#[unsafe(no_mangle)]
pub extern "C" fn rssn_parsing_cache_set(
cache: *mut ParsingCache,
input: *const c_char,
expr: *const Expr,
) {
if cache.is_null() || input.is_null() || expr.is_null() {
return;
}
unsafe {
let input_str = match CStr::from_ptr(input).to_str() {
| Ok(s) => s.to_string(),
| Err(_) => return,
};
let expr_arc = Arc::new((*expr).clone());
(*cache).set(input_str, expr_arc);
}
}
#[unsafe(no_mangle)]
pub extern "C" fn rssn_computation_result_cache_new() -> *mut ComputationResultCache {
Box::into_raw(Box::new(ComputationResultCache::new()))
}
#[unsafe(no_mangle)]
pub extern "C" fn rssn_computation_result_cache_free(cache: *mut ComputationResultCache) {
if cache.is_null() {
return;
}
unsafe {
let _ = Box::from_raw(cache);
}
}
#[unsafe(no_mangle)]
pub extern "C" fn rssn_computation_result_cache_clear(cache: *mut ComputationResultCache) {
if cache.is_null() {
return;
}
unsafe {
(*cache).clear();
}
}
#[unsafe(no_mangle)]
pub extern "C" fn rssn_computation_result_cache_get(
cache: *mut ComputationResultCache,
expr: *const Expr,
) -> *mut c_char {
if cache.is_null() || expr.is_null() {
return std::ptr::null_mut();
}
unsafe {
let expr_arc = Arc::new((*expr).clone());
match (*cache).get(&expr_arc) {
| Some(value) => {
match CString::new(value) {
| Ok(c_str) => c_str.into_raw(),
| Err(_) => std::ptr::null_mut(),
}
},
| None => std::ptr::null_mut(),
}
}
}
#[unsafe(no_mangle)]
pub extern "C" fn rssn_computation_result_cache_set(
cache: *mut ComputationResultCache,
expr: *const Expr,
value: *const c_char,
) {
if cache.is_null() || expr.is_null() || value.is_null() {
return;
}
unsafe {
let value_str = match CStr::from_ptr(value).to_str() {
| Ok(s) => s.to_string(),
| Err(_) => return,
};
let expr_arc = Arc::new((*expr).clone());
(*cache).set(expr_arc, value_str);
}
}