git.delta.rocks / jrsonnet / refs/commits / 1820422c7290

difftreelog

source

bindings/jsonnet/src/lib.rs9.1 KiBsourcehistory
1use jrsonnet_evaluator::{2	create_error, create_error_result, Error, EvaluationState, ImportResolver, LazyBinding,3	LazyVal, ObjMember, ObjValue, Result, Val,4};5use jrsonnet_parser::Visibility;6use libc::{c_char, c_double, c_int, c_uint};7use std::{8	alloc::Layout,9	any::Any,10	cell::RefCell,11	collections::HashMap,12	ffi::{CStr, CString},13	fs::File,14	io::Read,15	path::PathBuf,16	rc::Rc,17};1819#[no_mangle]20#[cfg(target = "wasm32-wasi")]21pub extern "C" fn _start() {}2223#[no_mangle]24pub extern "C" fn jsonnet_version() -> &'static [u8; 8] {25	b"v0.16.0\0"26}2728#[derive(Default)]29struct NativeImportResolver {30	library_paths: RefCell<Vec<PathBuf>>,31}32impl NativeImportResolver {33	fn add_jpath(&self, path: PathBuf) {34		self.library_paths.borrow_mut().push(path);35	}36}37impl ImportResolver for NativeImportResolver {38	fn resolve_file(&self, from: &PathBuf, path: &PathBuf) -> Result<Rc<PathBuf>> {39		let mut new_path = from.clone();40		new_path.push(path);41		if new_path.exists() {42			Ok(Rc::new(new_path))43		} else {44			for library_path in self.library_paths.borrow().iter() {45				let mut cloned = library_path.clone();46				cloned.push(path);47				if cloned.exists() {48					return Ok(Rc::new(cloned));49				}50			}51			create_error_result(Error::ImportFileNotFound(from.clone(), path.clone()))52		}53	}54	fn load_file_contents(&self, id: &PathBuf) -> Result<Rc<str>> {55		let mut file =56			File::open(id).map_err(|_e| create_error(Error::ResolvedFileNotFound(id.clone())))?;57		let mut out = String::new();58		file.read_to_string(&mut out)59			.map_err(|_e| create_error(Error::ImportBadFileUtf8(id.clone())))?;60		Ok(out.into())61	}62	unsafe fn as_any(&self) -> &dyn Any {63		self64	}65}6667#[no_mangle]68pub extern "C" fn jsonnet_make() -> *mut EvaluationState {69	let state = EvaluationState::default();70	state.with_stdlib();71	state.settings_mut().import_resolver = Box::new(NativeImportResolver::default());72	Box::into_raw(Box::new(state))73}7475/// # Safety76#[no_mangle]77#[allow(clippy::boxed_local)]78pub unsafe extern "C" fn jsonnet_destroy(vm: *mut EvaluationState) {79	Box::from_raw(vm);80}8182#[no_mangle]83pub extern "C" fn jsonnet_max_stack(vm: &EvaluationState, v: c_uint) {84	vm.settings_mut().max_stack = v as usize;85}8687// jrsonnet currently have no GC, so these functions is no-op88#[no_mangle]89pub extern "C" fn jsonnet_gc_min_objects(_vm: &EvaluationState, _v: c_uint) {}90#[no_mangle]91pub extern "C" fn jsonnet_gc_growth_trigger(_vm: &EvaluationState, _v: c_double) {}9293// TODO94#[no_mangle]95pub extern "C" fn jsonnet_string_output(_vm: &EvaluationState, _v: c_int) {96	todo!()97}9899#[no_mangle]100pub extern "C" fn jsonnet_json_extract_string(_vm: &EvaluationState, v: &Val) -> *mut c_char {101	match v.unwrap_if_lazy().unwrap() {102		Val::Str(s) => CString::new(&*s as &str).unwrap().into_raw(),103		_ => std::ptr::null_mut(),104	}105}106#[no_mangle]107pub extern "C" fn jsonnet_json_extract_number(108	_vm: &EvaluationState,109	v: &Val,110	out: &mut c_double,111) -> c_int {112	match v.unwrap_if_lazy().unwrap() {113		Val::Num(n) => {114			*out = n;115			1116		}117		_ => 0,118	}119}120#[no_mangle]121pub extern "C" fn jsonnet_json_extract_bool(_vm: &EvaluationState, v: &Val) -> c_int {122	match v.unwrap_if_lazy().unwrap() {123		Val::Bool(false) => 0,124		Val::Bool(true) => 1,125		_ => 2,126	}127}128#[no_mangle]129pub extern "C" fn jsonnet_json_extract_null(_vm: &EvaluationState, v: &Val) -> c_int {130	match v.unwrap_if_lazy().unwrap() {131		Val::Null => 1,132		_ => 0,133	}134}135136/// # Safety137///138/// This function is safe, if received v is a pointer to normal C string139#[no_mangle]140pub unsafe extern "C" fn jsonnet_json_make_string(141	_vm: &EvaluationState,142	v: *const c_char,143) -> *mut Val {144	let cstr = CStr::from_ptr(v);145	let str = cstr.to_str().unwrap();146	Box::into_raw(Box::new(Val::Str(str.into())))147}148149#[no_mangle]150pub extern "C" fn jsonnet_json_make_number(_vm: &EvaluationState, v: c_double) -> *mut Val {151	Box::into_raw(Box::new(Val::Num(v)))152}153154#[no_mangle]155pub extern "C" fn jsonnet_json_make_bool(_vm: &EvaluationState, v: c_int) -> *mut Val {156	assert!(v == 0 || v == 1);157	Box::into_raw(Box::new(Val::Bool(v == 1)))158}159160#[no_mangle]161pub extern "C" fn jsonnet_json_make_null(_vm: &EvaluationState) -> *mut Val {162	Box::into_raw(Box::new(Val::Null))163}164165#[no_mangle]166pub extern "C" fn jsonnet_json_make_array(_vm: &EvaluationState) -> *mut Val {167	Box::into_raw(Box::new(Val::Arr(Rc::new(Vec::new()))))168}169170#[no_mangle]171pub extern "C" fn jsonnet_json_array_append(_vm: &EvaluationState, arr: &mut Val, val: &Val) {172	match arr {173		Val::Arr(old) => {174			// TODO: Mutate array, instead of recreating them175			let mut new = Vec::new();176			new.extend(old.iter().cloned());177			new.push(val.clone());178			*arr = Val::Arr(Rc::new(new));179		}180		_ => panic!("should receive array"),181	}182}183184#[no_mangle]185pub extern "C" fn jsonnet_json_make_object(_vm: &EvaluationState) -> *mut Val {186	Box::into_raw(Box::new(Val::Obj(ObjValue::new_empty())))187}188189/// # Safety190///191/// This function is safe if passed name is ok192#[no_mangle]193pub unsafe extern "C" fn jsonnet_json_object_append(194	_vm: &EvaluationState,195	obj: &mut Val,196	name: *const c_char,197	val: &Val,198) {199	match obj {200		Val::Obj(old) => {201			let mut new = HashMap::new();202			new.insert(203				CStr::from_ptr(name).to_str().unwrap().into(),204				ObjMember {205					add: false,206					visibility: Visibility::Normal,207					invoke: LazyBinding::Bound(LazyVal::new_resolved(val.clone())),208					location: None,209				},210			);211			let new_obj = ObjValue::new(Some(old.clone()), Rc::new(new));212			*obj = Val::Obj(new_obj);213		}214		_ => panic!("should receive array"),215	}216}217218/// # Safety219///220/// This function is most definitely broken, but it works somehow, see TODO inside221#[no_mangle]222pub unsafe extern "C" fn jsonnet_realloc(223	_vm: &EvaluationState,224	buf: *mut u8,225	sz: usize,226) -> *mut u8 {227	if buf.is_null() {228		assert!(sz != 0);229		return std::alloc::alloc(Layout::from_size_align(sz, std::mem::align_of::<u8>()).unwrap());230	}231	// TODO: Somehow store size of allocation, because its real size is probally not 16 :D232	// OR (Alternative way of fixing this TODO)233	// TODO: Standard allocator uses malloc, and it doesn't uses allocation size,234	// TODO: so it should work in normal cases. Maybe force allocator for this library?235	let old_layout = Layout::from_size_align(16, std::mem::align_of::<u8>()).unwrap();236	if sz == 0 {237		std::alloc::dealloc(buf, old_layout);238		return std::ptr::null_mut();239	}240	std::alloc::realloc(buf, old_layout, sz)241}242243/// # Safety244#[no_mangle]245#[allow(clippy::boxed_local)]246pub unsafe extern "C" fn jsonnet_json_destroy(_vm: &EvaluationState, v: *mut Val) {247	Box::from_raw(v);248}249250#[no_mangle]251pub extern "C" fn jsonnet_import_callback() {252	todo!()253}254#[no_mangle]255pub extern "C" fn jsonnet_native_callback() {256	todo!()257}258#[no_mangle]259pub extern "C" fn jsonnet_ext_var() {260	todo!()261}262#[no_mangle]263pub extern "C" fn jsonnet_ext_code() {264	todo!()265}266#[no_mangle]267pub extern "C" fn jsonnet_tla_var() {268	todo!()269}270#[no_mangle]271pub extern "C" fn jsonnet_tla_code() {272	todo!()273}274#[no_mangle]275pub extern "C" fn jsonnet_max_trace() {276	todo!()277}278279/// # Safety280///281/// This function is safe, if received v is a pointer to normal C string282#[no_mangle]283pub unsafe extern "C" fn jsonnet_jpath_add(vm: &EvaluationState, v: *const c_char) {284	let cstr = CStr::from_ptr(v);285	let path = PathBuf::from(cstr.to_str().unwrap());286	let any_resolver = &vm.settings().import_resolver;287	let resolver = any_resolver288		.as_any()289		.downcast_ref::<NativeImportResolver>()290		.unwrap();291	resolver.add_jpath(path);292}293294/// # Safety295///296/// This function is safe, if received v is a pointer to normal C string297#[no_mangle]298pub unsafe extern "C" fn jsonnet_evaluate_file(299	vm: &EvaluationState,300	filename: *const c_char,301	error: &mut c_int,302) -> *const c_char {303	vm.run_in_state(|| {304		use std::fmt::Write;305		let filename = CStr::from_ptr(filename);306		match vm.evaluate_file_to_json(&PathBuf::from(filename.to_str().unwrap())) {307			Ok(v) => {308				*error = 0;309				CString::new(&*v as &str).unwrap().into_raw()310			}311			Err(e) => {312				*error = 1;313				let mut out = String::new();314				writeln!(out, "{:?}", e.0).unwrap();315				for i in (e.1).0.iter() {316					writeln!(out, "{:?}", i.0).unwrap();317				}318				CString::new(&out as &str).unwrap().into_raw()319			}320		}321	})322}323324/// # Safety325///326/// This function is safe, if received v is a pointer to normal C string327#[no_mangle]328pub unsafe extern "C" fn jsonnet_evaluate_snippet(329	vm: &EvaluationState,330	filename: *const c_char,331	snippet: *const c_char,332	error: &mut c_int,333) -> *const c_char {334	vm.run_in_state(|| {335		use std::fmt::Write;336		let filename = CStr::from_ptr(filename);337		let snippet = CStr::from_ptr(snippet);338		match vm.evaluate_snippet_to_json(339			&PathBuf::from(filename.to_str().unwrap()),340			&snippet.to_str().unwrap(),341		) {342			Ok(v) => {343				*error = 0;344				CString::new(&*v as &str).unwrap().into_raw()345			}346			Err(e) => {347				*error = 1;348				let mut out = String::new();349				writeln!(out, "{:?}", e.0).unwrap();350				for i in (e.1).0.iter() {351					writeln!(out, "{:?} ---- {}", i.0, i.1).unwrap();352				}353				CString::new(&out as &str).unwrap().into_raw()354			}355		}356	})357}358359#[no_mangle]360pub extern "C" fn jsonnet_evaluate_file_multi() {361	todo!()362}363#[no_mangle]364pub extern "C" fn jsonnet_evaluate_snippet_multi() {365	todo!()366}367#[no_mangle]368pub extern "C" fn jsonnet_evaluate_file_stream() {369	todo!()370}371#[no_mangle]372pub extern "C" fn jsonnet_evaluate_snippet_stream() {373	todo!()374}