1use std::{cell::RefCell, rc::Rc};23use jrsonnet_evaluator::{4 bail,5 error::{ErrorKind::*, Result},6 function::{builtin, ArgLike, CallLocation, FuncVal},7 manifest::JsonFormat,8 typed::{Either2, Either4},9 val::{equals, ArrValue},10 Context, Either, IStr, ObjValue, Thunk, Val,11};1213use crate::{extvar_source, Settings};1415#[builtin]16pub fn builtin_length(x: Either![IStr, ArrValue, ObjValue, FuncVal]) -> usize {17 use Either4::*;18 match x {19 A(x) => x.chars().count(),20 B(x) => x.len(),21 C(x) => x.len(),22 D(f) => f.params_len(),23 }24}2526#[builtin(fields(27 settings: Rc<RefCell<Settings>>,28))]29pub fn builtin_ext_var(this: &builtin_ext_var, ctx: Context, x: IStr) -> Result<Val> {30 let ctx = ctx.state().create_default_context(extvar_source(&x, ""));31 this.settings32 .borrow()33 .ext_vars34 .get(&x)35 .cloned()36 .ok_or_else(|| UndefinedExternalVariable(x))?37 .evaluate_arg(ctx, true)?38 .evaluate()39}4041#[builtin(fields(42 settings: Rc<RefCell<Settings>>,43))]44pub fn builtin_native(this: &builtin_native, x: IStr) -> Val {45 this.settings46 .borrow()47 .ext_natives48 .get(&x)49 .cloned()50 .map_or(Val::Null, Val::Func)51}5253#[builtin(fields(54 settings: Rc<RefCell<Settings>>,55))]56pub fn builtin_trace(57 this: &builtin_trace,58 loc: CallLocation,59 str: Val,60 rest: Option<Thunk<Val>>,61) -> Result<Val> {62 this.settings.borrow().trace_printer.print_trace(63 loc,64 match &str {65 Val::Str(s) => s.clone().into_flat(),66 Val::Func(f) => format!("{f:?}").into(),67 v => v.manifest(JsonFormat::debug())?.into(),68 },69 );70 if let Some(rest) = rest {71 rest.evaluate()72 } else {73 Ok(str)74 }75}7677#[allow(clippy::comparison_chain)]78#[builtin]79pub fn builtin_starts_with(a: Either![IStr, ArrValue], b: Either![IStr, ArrValue]) -> Result<bool> {80 Ok(match (a, b) {81 (Either2::A(a), Either2::A(b)) => a.starts_with(b.as_str()),82 (Either2::B(a), Either2::B(b)) => {83 if b.len() > a.len() {84 return Ok(false);85 } else if b.len() == a.len() {86 return equals(&Val::Arr(a), &Val::Arr(b));87 } else {88 for (a, b) in a.iter().take(b.len()).zip(b.iter()) {89 let a = a?;90 let b = b?;91 if !equals(&a, &b)? {92 return Ok(false);93 }94 }95 true96 }97 }98 _ => bail!("both arguments should be of the same type"),99 })100}101102#[allow(clippy::comparison_chain)]103#[builtin]104pub fn builtin_ends_with(a: Either![IStr, ArrValue], b: Either![IStr, ArrValue]) -> Result<bool> {105 Ok(match (a, b) {106 (Either2::A(a), Either2::A(b)) => a.ends_with(b.as_str()),107 (Either2::B(a), Either2::B(b)) => {108 if b.len() > a.len() {109 return Ok(false);110 } else if b.len() == a.len() {111 return equals(&Val::Arr(a), &Val::Arr(b));112 } else {113 let a_len = a.len();114 for (a, b) in a.iter().skip(a_len - b.len()).zip(b.iter()) {115 let a = a?;116 let b = b?;117 if !equals(&a, &b)? {118 return Ok(false);119 }120 }121 true122 }123 }124 _ => bail!("both arguments should be of the same type"),125 })126}