difftreelog
feat std.asciiUpper and std.asciiLower builtin
in: master
3 files changed
crates/jrsonnet-evaluator/src/builtin/mod.rsdiffbeforeafterboth1use crate::{2 equals,3 error::{Error::*, Result},4 operator::evaluate_mod_op,5 parse_args, primitive_equals, push, throw, with_state, ArrValue, Context, EvaluationState,6 FuncVal, IndexableVal, LazyVal, Val,7};8use format::{format_arr, format_obj};9use jrsonnet_gc::Gc;10use jrsonnet_interner::IStr;11use jrsonnet_parser::{ArgsDesc, ExprLocation};12use jrsonnet_types::ty;13use std::{collections::HashMap, path::PathBuf, rc::Rc};1415pub mod stdlib;16pub use stdlib::*;1718use self::manifest::{escape_string_json, manifest_json_ex, ManifestJsonOptions, ManifestType};1920pub mod format;21pub mod manifest;22pub mod sort;2324pub fn std_format(str: IStr, vals: Val) -> Result<Val> {25 push(26 Some(&ExprLocation(Rc::from(PathBuf::from("std.jsonnet")), 0, 0)),27 || format!("std.format of {}", str),28 || {29 Ok(match vals {30 Val::Arr(vals) => Val::Str(format_arr(&str, &vals.evaluated()?)?.into()),31 Val::Obj(obj) => Val::Str(format_obj(&str, &obj)?.into()),32 o => Val::Str(format_arr(&str, &[o])?.into()),33 })34 },35 )36}3738pub fn std_slice(39 indexable: IndexableVal,40 index: Option<usize>,41 end: Option<usize>,42 step: Option<usize>,43) -> Result<Val> {44 let index = index.unwrap_or(0);45 let end = end.unwrap_or_else(|| match &indexable {46 IndexableVal::Str(_) => usize::MAX,47 IndexableVal::Arr(v) => v.len(),48 });49 let step = step.unwrap_or(1);50 match &indexable {51 IndexableVal::Str(s) => Ok(Val::Str(52 (s.chars()53 .skip(index)54 .take(end - index)55 .step_by(step)56 .collect::<String>())57 .into(),58 )),59 IndexableVal::Arr(arr) => Ok(Val::Arr(60 (arr.iter()61 .skip(index)62 .take(end - index)63 .step_by(step)64 .collect::<Result<Vec<Val>>>()?)65 .into(),66 )),67 }68}6970type Builtin = fn(context: Context, loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val>;7172type BuiltinsType = HashMap<Box<str>, Builtin>;7374thread_local! {75 static BUILTINS: BuiltinsType = {76 [77 ("length".into(), builtin_length as Builtin),78 ("type".into(), builtin_type),79 ("makeArray".into(), builtin_make_array),80 ("codepoint".into(), builtin_codepoint),81 ("objectFieldsEx".into(), builtin_object_fields_ex),82 ("objectHasEx".into(), builtin_object_has_ex),83 ("slice".into(), builtin_slice),84 ("substr".into(), builtin_substr),85 ("primitiveEquals".into(), builtin_primitive_equals),86 ("equals".into(), builtin_equals),87 ("modulo".into(), builtin_modulo),88 ("mod".into(), builtin_mod),89 ("floor".into(), builtin_floor),90 ("ceil".into(), builtin_ceil),91 ("log".into(), builtin_log),92 ("pow".into(), builtin_pow),93 ("sqrt".into(), builtin_sqrt),94 ("sin".into(), builtin_sin),95 ("cos".into(), builtin_cos),96 ("tan".into(), builtin_tan),97 ("asin".into(), builtin_asin),98 ("acos".into(), builtin_acos),99 ("atan".into(), builtin_atan),100 ("exp".into(), builtin_exp),101 ("mantissa".into(), builtin_mantissa),102 ("exponent".into(), builtin_exponent),103 ("extVar".into(), builtin_ext_var),104 ("native".into(), builtin_native),105 ("filter".into(), builtin_filter),106 ("map".into(), builtin_map),107 ("flatMap".into(), builtin_flatmap),108 ("foldl".into(), builtin_foldl),109 ("foldr".into(), builtin_foldr),110 ("sortImpl".into(), builtin_sort_impl),111 ("format".into(), builtin_format),112 ("range".into(), builtin_range),113 ("char".into(), builtin_char),114 ("encodeUTF8".into(), builtin_encode_utf8),115 ("decodeUTF8".into(), builtin_decode_utf8),116 ("md5".into(), builtin_md5),117 ("base64".into(), builtin_base64),118 ("base64DecodeBytes".into(), builtin_base64_decode_bytes),119 ("base64Decode".into(), builtin_base64_decode),120 ("trace".into(), builtin_trace),121 ("join".into(), builtin_join),122 ("escapeStringJson".into(), builtin_escape_string_json),123 ("manifestJsonEx".into(), builtin_manifest_json_ex),124 ("reverse".into(), builtin_reverse),125 ("id".into(), builtin_id),126 ("strReplace".into(), builtin_str_replace),127 ("splitLimit".into(), builtin_splitlimit),128 ("parseJson".into(), builtin_parse_json),129 ].iter().cloned().collect()130 };131}132133fn builtin_length(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {134 parse_args!(context, "length", args, 1, [135 0, x: ty!((string | object | array));136 ], {137 Ok(match x {138 Val::Str(n) => Val::Num(n.chars().count() as f64),139 Val::Arr(a) => Val::Num(a.len() as f64),140 Val::Obj(o) => Val::Num(141 o.fields_visibility()142 .into_iter()143 .filter(|(_k, v)| *v)144 .count() as f64,145 ),146 _ => unreachable!(),147 })148 })149}150151fn builtin_type(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {152 parse_args!(context, "type", args, 1, [153 0, x: ty!(any);154 ], {155 Ok(Val::Str(x.value_type().name().into()))156 })157}158159fn builtin_make_array(160 context: Context,161 _loc: Option<&ExprLocation>,162 args: &ArgsDesc,163) -> Result<Val> {164 parse_args!(context, "makeArray", args, 2, [165 0, sz: ty!(BoundedNumber<(Some(0.0)), (None)>) => Val::Num;166 1, func: ty!(function) => Val::Func;167 ], {168 let mut out = Vec::with_capacity(sz as usize);169 for i in 0..sz as usize {170 out.push(LazyVal::new_resolved(func.evaluate_values(171 context.clone(),172 &[Val::Num(i as f64)]173 )?))174 }175 Ok(Val::Arr(out.into()))176 })177}178179fn builtin_codepoint(180 context: Context,181 _loc: Option<&ExprLocation>,182 args: &ArgsDesc,183) -> Result<Val> {184 parse_args!(context, "codepoint", args, 1, [185 0, str: ty!(char) => Val::Str;186 ], {187 Ok(Val::Num(str.chars().next().unwrap() as u32 as f64))188 })189}190191fn builtin_object_fields_ex(192 context: Context,193 _loc: Option<&ExprLocation>,194 args: &ArgsDesc,195) -> Result<Val> {196 parse_args!(context, "objectFieldsEx", args, 2, [197 0, obj: ty!(object) => Val::Obj;198 1, inc_hidden: ty!(boolean) => Val::Bool;199 ], {200 let out = obj.fields_ex(inc_hidden);201 Ok(Val::Arr(out.into_iter().map(Val::Str).collect::<Vec<_>>().into()))202 })203}204205fn builtin_object_has_ex(206 context: Context,207 _loc: Option<&ExprLocation>,208 args: &ArgsDesc,209) -> Result<Val> {210 parse_args!(context, "objectHasEx", args, 3, [211 0, obj: ty!(object) => Val::Obj;212 1, f: ty!(string) => Val::Str;213 2, inc_hidden: ty!(boolean) => Val::Bool;214 ], {215 Ok(Val::Bool(obj.has_field_ex(f, inc_hidden)))216 })217}218219fn builtin_parse_json(220 context: Context,221 _loc: Option<&ExprLocation>,222 args: &ArgsDesc,223) -> Result<Val> {224 parse_args!(context, "parseJson", args, 1, [225 0, s: ty!(string) => Val::Str;226 ], {227 let state = EvaluationState::default();228 let path = PathBuf::from("std.parseJson").into();229 state.evaluate_snippet_raw(path ,s)230 })231}232233fn builtin_slice(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {234 parse_args!(context, "slice", args, 4, [235 0, indexable: ty!((string | array));236 1, index: ty!((number | null));237 2, end: ty!((number | null));238 3, step: ty!((number | null));239 ], {240 std_slice(241 indexable.into_indexable()?,242 index.try_cast_nullable_num("index")?.map(|v| v as usize),243 end.try_cast_nullable_num("end")?.map(|v| v as usize),244 step.try_cast_nullable_num("step")?.map(|v| v as usize),245 )246 })247}248249fn builtin_substr(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {250 parse_args!(context, "substr", args, 3, [251 0, str: ty!(string) => Val::Str;252 1, from: ty!(BoundedNumber<(Some(0.0)), (None)>) => Val::Num;253 2, len: ty!(BoundedNumber<(Some(0.0)), (None)>) => Val::Num;254 ], {255 let out: String = str.chars().skip(from as usize).take(len as usize).collect();256 Ok(Val::Str(out.into()))257 })258}259260fn builtin_primitive_equals(261 context: Context,262 _loc: Option<&ExprLocation>,263 args: &ArgsDesc,264) -> Result<Val> {265 parse_args!(context, "primitiveEquals", args, 2, [266 0, a: ty!(any);267 1, b: ty!(any);268 ], {269 Ok(Val::Bool(primitive_equals(&a, &b)?))270 })271}272273fn builtin_equals(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {274 parse_args!(context, "equals", args, 2, [275 0, a: ty!(any);276 1, b: ty!(any);277 ], {278 Ok(Val::Bool(equals(&a, &b)?))279 })280}281282fn builtin_modulo(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {283 parse_args!(context, "modulo", args, 2, [284 0, a: ty!(number) => Val::Num;285 1, b: ty!(number) => Val::Num;286 ], {287 Ok(Val::Num(a % b))288 })289}290291fn builtin_mod(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {292 parse_args!(context, "mod", args, 2, [293 0, a: ty!((number | string));294 1, b: ty!(any);295 ], {296 evaluate_mod_op(&a, &b)297 })298}299300fn builtin_floor(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {301 parse_args!(context, "floor", args, 1, [302 0, x: ty!(number) => Val::Num;303 ], {304 Ok(Val::Num(x.floor()))305 })306}307308fn builtin_ceil(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {309 parse_args!(context, "ceil", args, 1, [310 0, x: ty!(number) => Val::Num;311 ], {312 Ok(Val::Num(x.ceil()))313 })314}315316fn builtin_log(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {317 parse_args!(context, "log", args, 1, [318 0, n: ty!(number) => Val::Num;319 ], {320 Ok(Val::Num(n.ln()))321 })322}323324fn builtin_pow(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {325 parse_args!(context, "pow", args, 2, [326 0, x: ty!(number) => Val::Num;327 1, n: ty!(number) => Val::Num;328 ], {329 Ok(Val::Num(x.powf(n)))330 })331}332333fn builtin_sqrt(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {334 parse_args!(context, "sqrt", args, 1, [335 0, x: ty!(BoundedNumber<(Some(0.0)), (None)>) => Val::Num;336 ], {337 Ok(Val::Num(x.sqrt()))338 })339}340341fn builtin_sin(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {342 parse_args!(context, "sin", args, 1, [343 0, x: ty!(number) => Val::Num;344 ], {345 Ok(Val::Num(x.sin()))346 })347}348349fn builtin_cos(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {350 parse_args!(context, "cos", args, 1, [351 0, x: ty!(number) => Val::Num;352 ], {353 Ok(Val::Num(x.cos()))354 })355}356357fn builtin_tan(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {358 parse_args!(context, "tan", args, 1, [359 0, x: ty!(number) => Val::Num;360 ], {361 Ok(Val::Num(x.tan()))362 })363}364365fn builtin_asin(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {366 parse_args!(context, "asin", args, 1, [367 0, x: ty!(number) => Val::Num;368 ], {369 Ok(Val::Num(x.asin()))370 })371}372373fn builtin_acos(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {374 parse_args!(context, "acos", args, 1, [375 0, x: ty!(number) => Val::Num;376 ], {377 Ok(Val::Num(x.acos()))378 })379}380381fn builtin_atan(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {382 parse_args!(context, "atan", args, 1, [383 0, x: ty!(number) => Val::Num;384 ], {385 Ok(Val::Num(x.atan()))386 })387}388389fn builtin_exp(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {390 parse_args!(context, "exp", args, 1, [391 0, x: ty!(number) => Val::Num;392 ], {393 Ok(Val::Num(x.exp()))394 })395}396397fn frexp(s: f64) -> (f64, i16) {398 if 0.0 == s {399 (s, 0)400 } else {401 let lg = s.abs().log2();402 let x = (lg - lg.floor() - 1.0).exp2();403 let exp = lg.floor() + 1.0;404 (s.signum() * x, exp as i16)405 }406}407408fn builtin_mantissa(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {409 parse_args!(context, "mantissa", args, 1, [410 0, x: ty!(number) => Val::Num;411 ], {412 Ok(Val::Num(frexp(x).0))413 })414}415416fn builtin_exponent(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {417 parse_args!(context, "exponent", args, 1, [418 0, x: ty!(number) => Val::Num;419 ], {420 Ok(Val::Num(frexp(x).1.into()))421 })422}423424fn builtin_ext_var(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {425 parse_args!(context, "extVar", args, 1, [426 0, x: ty!(string) => Val::Str;427 ], {428 Ok(with_state(|s| s.settings().ext_vars.get(&x).cloned()).ok_or(UndefinedExternalVariable(x))?)429 })430}431432fn builtin_native(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {433 parse_args!(context, "native", args, 1, [434 0, x: ty!(string) => Val::Str;435 ], {436 Ok(with_state(|s| s.settings().ext_natives.get(&x).cloned()).map(|v| Val::Func(Gc::new(FuncVal::NativeExt(x.clone(), v)))).ok_or(UndefinedExternalFunction(x))?)437 })438}439440fn builtin_filter(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {441 parse_args!(context, "filter", args, 2, [442 0, func: ty!(function) => Val::Func;443 1, arr: ty!(array) => Val::Arr;444 ], {445 Ok(Val::Arr(arr.filter(|val| func446 .evaluate_values(context.clone(), &[val.clone()])?447 .try_cast_bool("filter predicate"))?))448 })449}450451fn builtin_map(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {452 parse_args!(context, "map", args, 2, [453 0, func: ty!(function) => Val::Func;454 1, arr: ty!(array) => Val::Arr;455 ], {456 Ok(Val::Arr(arr.map(|val| func457 .evaluate_values(context.clone(), &[val]))?))458 })459}460461fn builtin_flatmap(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {462 parse_args!(context, "flatMap", args, 2, [463 0, func: ty!(function) => Val::Func;464 1, arr: ty!((array | string));465 ], {466 match arr {467 Val::Str(s) => {468 let mut out = String::new();469 for c in s.chars() {470 match func.evaluate_values(context.clone(), &[Val::Str(c.to_string().into())])? {471 Val::Str(o) => out.push_str(&o),472 _ => throw!(RuntimeError("in std.join all items should be strings".into())),473 };474 }475 Ok(Val::Str(out.into()))476 },477 Val::Arr(a) => {478 let mut out = Vec::new();479 for el in a.iter() {480 let el = el?;481 match func.evaluate_values(context.clone(), &[el])? {482 Val::Arr(o) => for oe in o.iter() {483 out.push(oe?)484 },485 _ => throw!(RuntimeError("in std.join all items should be arrays".into())),486 };487 }488 Ok(Val::Arr(out.into()))489 },490 _ => unreachable!(),491 }492 })493}494495fn builtin_foldl(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {496 parse_args!(context, "foldl", args, 3, [497 0, func: ty!(function) => Val::Func;498 1, arr: ty!(array) => Val::Arr;499 2, init: ty!(any);500 ], {501 let mut acc = init;502 for i in arr.iter() {503 acc = func.evaluate_values(context.clone(), &[acc, i?])?;504 }505 Ok(acc)506 })507}508509fn builtin_foldr(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {510 parse_args!(context, "foldr", args, 3, [511 0, func: ty!(function) => Val::Func;512 1, arr: ty!(array) => Val::Arr;513 2, init: ty!(any);514 ], {515 let mut acc = init;516 for i in arr.iter().rev() {517 acc = func.evaluate_values(context.clone(), &[acc, i?])?;518 }519 Ok(acc)520 })521}522523#[allow(non_snake_case)]524fn builtin_sort_impl(525 context: Context,526 _loc: Option<&ExprLocation>,527 args: &ArgsDesc,528) -> Result<Val> {529 parse_args!(context, "sort", args, 2, [530 0, arr: ty!(array) => Val::Arr;531 1, keyF: ty!(function) => Val::Func;532 ], {533 if arr.len() <= 1 {534 return Ok(Val::Arr(arr))535 }536 Ok(Val::Arr(ArrValue::Eager(sort::sort(context, arr.evaluated()?, &keyF)?)))537 })538}539540fn builtin_format(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {541 parse_args!(context, "format", args, 2, [542 0, str: ty!(string) => Val::Str;543 1, vals: ty!(any)544 ], {545 std_format(str, vals)546 })547}548549fn builtin_range(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {550 parse_args!(context, "range", args, 2, [551 0, from: ty!(number) => Val::Num;552 1, to: ty!(number) => Val::Num;553 ], {554 if to < from {555 return Ok(Val::Arr(ArrValue::new_eager()))556 }557 let mut out = Vec::with_capacity((1+to as usize-from as usize).max(0));558 for i in from as usize..=to as usize {559 out.push(Val::Num(i as f64));560 }561 Ok(Val::Arr(out.into()))562 })563}564565fn builtin_char(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {566 parse_args!(context, "char", args, 1, [567 0, n: ty!(number) => Val::Num;568 ], {569 let mut out = String::new();570 out.push(std::char::from_u32(n as u32).ok_or_else(||571 InvalidUnicodeCodepointGot(n as u32)572 )?);573 Ok(Val::Str(out.into()))574 })575}576577fn builtin_encode_utf8(578 context: Context,579 _loc: Option<&ExprLocation>,580 args: &ArgsDesc,581) -> Result<Val> {582 parse_args!(context, "encodeUTF8", args, 1, [583 0, str: ty!(string) => Val::Str;584 ], {585 Ok(Val::Arr((str.bytes().map(|b| Val::Num(b as f64)).collect::<Vec<Val>>()).into()))586 })587}588589fn builtin_decode_utf8(590 context: Context,591 _loc: Option<&ExprLocation>,592 args: &ArgsDesc,593) -> Result<Val> {594 parse_args!(context, "decodeUTF8", args, 1, [595 0, arr: ty!((Array<ubyte>)) => Val::Arr;596 ], {597 let data: Result<Vec<u8>> = arr.iter().map(|v| v.map(|v| match v{598 Val::Num(n) => n as u8,599 _ => unreachable!(),600 })).collect();601 let data = data?;602 Ok(Val::Str(String::from_utf8(data).map_err(|_| RuntimeError("bad utf8".into()))?.into()))603 })604}605606fn builtin_md5(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {607 parse_args!(context, "md5", args, 1, [608 0, str: ty!(string) => Val::Str;609 ], {610 Ok(Val::Str(format!("{:x}", md5::compute(&str.as_bytes())).into()))611 })612}613614fn builtin_trace(context: Context, loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {615 parse_args!(context, "trace", args, 2, [616 0, str: ty!(string) => Val::Str;617 1, rest: ty!(any);618 ], {619 eprint!("TRACE:");620 if let Some(loc) = loc {621 with_state(|s|{622 let locs = s.map_source_locations(&loc.0, &[loc.1]);623 eprint!(" {}:{}", loc.0.file_name().unwrap().to_str().unwrap(), locs[0].line);624 });625 }626 eprintln!(" {}", str);627 Ok(rest)628 })629}630631fn builtin_base64(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {632 parse_args!(context, "base64", args, 1, [633 0, input: ty!((string | (Array<number>)));634 ], {635 Ok(Val::Str(match input {636 Val::Str(s) => {637 base64::encode(s.bytes().collect::<Vec<_>>()).into()638 },639 Val::Arr(a) => {640 base64::encode(a.iter().map(|v| {641 Ok(v?.unwrap_num()? as u8)642 }).collect::<Result<Vec<_>>>()?).into()643 },644 _ => unreachable!()645 }))646 })647}648649fn builtin_base64_decode_bytes(650 context: Context,651 _loc: Option<&ExprLocation>,652 args: &ArgsDesc,653) -> Result<Val> {654 parse_args!(context, "base64DecodeBytes", args, 1, [655 0, input: ty!(string) => Val::Str;656 ], {657 Ok(Val::Arr(658 base64::decode(&input.as_bytes())659 .map_err(|_| RuntimeError("bad base64".into()))?660 .iter()661 .map(|v| Val::Num(*v as f64)).collect::<Vec<_>>().into()662 ))663 })664}665666fn builtin_base64_decode(667 context: Context,668 _loc: Option<&ExprLocation>,669 args: &ArgsDesc,670) -> Result<Val> {671 parse_args!(context, "base64Decode", args, 1, [672 0, input: ty!(string) => Val::Str;673 ], {674 Ok(Val::Str(675 String::from_utf8(base64::decode(&input.as_bytes())676 .map_err(|_| RuntimeError("bad base64".into()))?)677 .map_err(|_| RuntimeError("bad utf8".into()))?.into()678 ))679 })680}681682fn builtin_join(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {683 parse_args!(context, "join", args, 2, [684 0, sep: ty!((string | array));685 1, arr: ty!(array) => Val::Arr;686 ], {687 Ok(match sep {688 Val::Arr(joiner_items) => {689 let mut out = Vec::new();690691 let mut first = true;692 for item in arr.iter() {693 let item = item?.clone();694 if let Val::Arr(items) = item {695 if !first {696 out.reserve(joiner_items.len());697 // TODO: extend698 for item in joiner_items.iter() {699 out.push(item?);700 }701 }702 first = false;703 out.reserve(items.len());704 // TODO: extend705 for item in items.iter() {706 out.push(item?);707 }708 } else {709 throw!(RuntimeError("in std.join all items should be arrays".into()));710 }711 }712713 Val::Arr(out.into())714 },715 Val::Str(sep) => {716 let mut out = String::new();717718 let mut first = true;719 for item in arr.iter() {720 let item = item?.clone();721 if let Val::Str(item) = item {722 if !first {723 out += &sep;724 }725 first = false;726 out += &item;727 } else {728 throw!(RuntimeError("in std.join all items should be strings".into()));729 }730 }731732 Val::Str(out.into())733 },734 _ => unreachable!()735 })736 })737}738739fn builtin_escape_string_json(740 context: Context,741 _loc: Option<&ExprLocation>,742 args: &ArgsDesc,743) -> Result<Val> {744 parse_args!(context, "escapeStringJson", args, 1, [745 0, str_: ty!(string) => Val::Str;746 ], {747 Ok(Val::Str(escape_string_json(&str_).into()))748 })749}750751fn builtin_manifest_json_ex(752 context: Context,753 _loc: Option<&ExprLocation>,754 args: &ArgsDesc,755) -> Result<Val> {756 parse_args!(context, "manifestJsonEx", args, 2, [757 0, value: ty!(any);758 1, indent: ty!(string) => Val::Str;759 ], {760 Ok(Val::Str(manifest_json_ex(&value, &ManifestJsonOptions {761 padding: &indent,762 mtype: ManifestType::Std,763 })?.into()))764 })765}766767fn builtin_reverse(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {768 parse_args!(context, "reverse", args, 1, [769 0, value: ty!(array) => Val::Arr;770 ], {771 Ok(Val::Arr(value.reversed()))772 })773}774775fn builtin_id(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {776 parse_args!(context, "id", args, 1, [777 0, v: ty!(any);778 ], {779 Ok(v)780 })781}782783fn builtin_str_replace(784 context: Context,785 _loc: Option<&ExprLocation>,786 args: &ArgsDesc,787) -> Result<Val> {788 parse_args!(context, "strReplace", args, 3, [789 0, str: ty!(string) => Val::Str;790 1, from: ty!(string) => Val::Str;791 2, to: ty!(string) => Val::Str;792 ], {793 let mut out = String::new();794 let mut last_idx = 0;795 while let Some(idx) = (&str[last_idx..]).find(&from as &str) {796 out.push_str(&str[last_idx..last_idx+idx]);797 out.push_str(&to);798 last_idx += idx + from.len();799 }800 if last_idx == 0 {801 return Ok(Val::Str(str))802 }803 out.push_str(&str[last_idx..]);804 Ok(Val::Str(out.into()))805 })806}807808fn builtin_splitlimit(809 context: Context,810 _loc: Option<&ExprLocation>,811 args: &ArgsDesc,812) -> Result<Val> {813 parse_args!(context, "splitLimit", args, 3, [814 0, str: ty!(string) => Val::Str;815 1, c: ty!(char) => Val::Str;816 2, maxsplits: ty!(number) => Val::Num;817 ], {818 let maxsplits = maxsplits as isize;819 let c = c.chars().next().unwrap();820821 let out: Vec<Val> = if maxsplits == -1 {822 str.split(c).map(|s| Val::Str(s.into())).collect()823 } else {824 str.splitn(maxsplits as usize + 1, c).map(|s| Val::Str(s.into())).collect()825 };826827 Ok(Val::Arr(out.into()))828 })829}830831pub fn call_builtin(832 context: Context,833 loc: Option<&ExprLocation>,834 name: &str,835 args: &ArgsDesc,836) -> Result<Val> {837 BUILTINS838 .with(|builtins| builtins.get(name).copied())839 .ok_or_else(|| IntrinsicNotFound(name.into()))?(context, loc, args)840}1use crate::{2 equals,3 error::{Error::*, Result},4 operator::evaluate_mod_op,5 parse_args, primitive_equals, push, throw, with_state, ArrValue, Context, EvaluationState,6 FuncVal, IndexableVal, LazyVal, Val,7};8use format::{format_arr, format_obj};9use jrsonnet_gc::Gc;10use jrsonnet_interner::IStr;11use jrsonnet_parser::{ArgsDesc, ExprLocation};12use jrsonnet_types::ty;13use std::{collections::HashMap, path::PathBuf, rc::Rc};1415pub mod stdlib;16pub use stdlib::*;1718use self::manifest::{escape_string_json, manifest_json_ex, ManifestJsonOptions, ManifestType};1920pub mod format;21pub mod manifest;22pub mod sort;2324pub fn std_format(str: IStr, vals: Val) -> Result<Val> {25 push(26 Some(&ExprLocation(Rc::from(PathBuf::from("std.jsonnet")), 0, 0)),27 || format!("std.format of {}", str),28 || {29 Ok(match vals {30 Val::Arr(vals) => Val::Str(format_arr(&str, &vals.evaluated()?)?.into()),31 Val::Obj(obj) => Val::Str(format_obj(&str, &obj)?.into()),32 o => Val::Str(format_arr(&str, &[o])?.into()),33 })34 },35 )36}3738pub fn std_slice(39 indexable: IndexableVal,40 index: Option<usize>,41 end: Option<usize>,42 step: Option<usize>,43) -> Result<Val> {44 let index = index.unwrap_or(0);45 let end = end.unwrap_or_else(|| match &indexable {46 IndexableVal::Str(_) => usize::MAX,47 IndexableVal::Arr(v) => v.len(),48 });49 let step = step.unwrap_or(1);50 match &indexable {51 IndexableVal::Str(s) => Ok(Val::Str(52 (s.chars()53 .skip(index)54 .take(end - index)55 .step_by(step)56 .collect::<String>())57 .into(),58 )),59 IndexableVal::Arr(arr) => Ok(Val::Arr(60 (arr.iter()61 .skip(index)62 .take(end - index)63 .step_by(step)64 .collect::<Result<Vec<Val>>>()?)65 .into(),66 )),67 }68}6970type Builtin = fn(context: Context, loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val>;7172type BuiltinsType = HashMap<Box<str>, Builtin>;7374thread_local! {75 static BUILTINS: BuiltinsType = {76 [77 ("length".into(), builtin_length as Builtin),78 ("type".into(), builtin_type),79 ("makeArray".into(), builtin_make_array),80 ("codepoint".into(), builtin_codepoint),81 ("objectFieldsEx".into(), builtin_object_fields_ex),82 ("objectHasEx".into(), builtin_object_has_ex),83 ("slice".into(), builtin_slice),84 ("substr".into(), builtin_substr),85 ("primitiveEquals".into(), builtin_primitive_equals),86 ("equals".into(), builtin_equals),87 ("modulo".into(), builtin_modulo),88 ("mod".into(), builtin_mod),89 ("floor".into(), builtin_floor),90 ("ceil".into(), builtin_ceil),91 ("log".into(), builtin_log),92 ("pow".into(), builtin_pow),93 ("sqrt".into(), builtin_sqrt),94 ("sin".into(), builtin_sin),95 ("cos".into(), builtin_cos),96 ("tan".into(), builtin_tan),97 ("asin".into(), builtin_asin),98 ("acos".into(), builtin_acos),99 ("atan".into(), builtin_atan),100 ("exp".into(), builtin_exp),101 ("mantissa".into(), builtin_mantissa),102 ("exponent".into(), builtin_exponent),103 ("extVar".into(), builtin_ext_var),104 ("native".into(), builtin_native),105 ("filter".into(), builtin_filter),106 ("map".into(), builtin_map),107 ("flatMap".into(), builtin_flatmap),108 ("foldl".into(), builtin_foldl),109 ("foldr".into(), builtin_foldr),110 ("sortImpl".into(), builtin_sort_impl),111 ("format".into(), builtin_format),112 ("range".into(), builtin_range),113 ("char".into(), builtin_char),114 ("encodeUTF8".into(), builtin_encode_utf8),115 ("decodeUTF8".into(), builtin_decode_utf8),116 ("md5".into(), builtin_md5),117 ("base64".into(), builtin_base64),118 ("base64DecodeBytes".into(), builtin_base64_decode_bytes),119 ("base64Decode".into(), builtin_base64_decode),120 ("trace".into(), builtin_trace),121 ("join".into(), builtin_join),122 ("escapeStringJson".into(), builtin_escape_string_json),123 ("manifestJsonEx".into(), builtin_manifest_json_ex),124 ("reverse".into(), builtin_reverse),125 ("id".into(), builtin_id),126 ("strReplace".into(), builtin_str_replace),127 ("splitLimit".into(), builtin_splitlimit),128 ("parseJson".into(), builtin_parse_json),129 ("asciiUpper".into(), builtin_ascii_upper),130 ("asciiLower".into(), builtin_ascii_lower),131 ].iter().cloned().collect()132 };133}134135fn builtin_length(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {136 parse_args!(context, "length", args, 1, [137 0, x: ty!((string | object | array));138 ], {139 Ok(match x {140 Val::Str(n) => Val::Num(n.chars().count() as f64),141 Val::Arr(a) => Val::Num(a.len() as f64),142 Val::Obj(o) => Val::Num(143 o.fields_visibility()144 .into_iter()145 .filter(|(_k, v)| *v)146 .count() as f64,147 ),148 _ => unreachable!(),149 })150 })151}152153fn builtin_type(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {154 parse_args!(context, "type", args, 1, [155 0, x: ty!(any);156 ], {157 Ok(Val::Str(x.value_type().name().into()))158 })159}160161fn builtin_make_array(162 context: Context,163 _loc: Option<&ExprLocation>,164 args: &ArgsDesc,165) -> Result<Val> {166 parse_args!(context, "makeArray", args, 2, [167 0, sz: ty!(BoundedNumber<(Some(0.0)), (None)>) => Val::Num;168 1, func: ty!(function) => Val::Func;169 ], {170 let mut out = Vec::with_capacity(sz as usize);171 for i in 0..sz as usize {172 out.push(LazyVal::new_resolved(func.evaluate_values(173 context.clone(),174 &[Val::Num(i as f64)]175 )?))176 }177 Ok(Val::Arr(out.into()))178 })179}180181fn builtin_codepoint(182 context: Context,183 _loc: Option<&ExprLocation>,184 args: &ArgsDesc,185) -> Result<Val> {186 parse_args!(context, "codepoint", args, 1, [187 0, str: ty!(char) => Val::Str;188 ], {189 Ok(Val::Num(str.chars().next().unwrap() as u32 as f64))190 })191}192193fn builtin_object_fields_ex(194 context: Context,195 _loc: Option<&ExprLocation>,196 args: &ArgsDesc,197) -> Result<Val> {198 parse_args!(context, "objectFieldsEx", args, 2, [199 0, obj: ty!(object) => Val::Obj;200 1, inc_hidden: ty!(boolean) => Val::Bool;201 ], {202 let out = obj.fields_ex(inc_hidden);203 Ok(Val::Arr(out.into_iter().map(Val::Str).collect::<Vec<_>>().into()))204 })205}206207fn builtin_object_has_ex(208 context: Context,209 _loc: Option<&ExprLocation>,210 args: &ArgsDesc,211) -> Result<Val> {212 parse_args!(context, "objectHasEx", args, 3, [213 0, obj: ty!(object) => Val::Obj;214 1, f: ty!(string) => Val::Str;215 2, inc_hidden: ty!(boolean) => Val::Bool;216 ], {217 Ok(Val::Bool(obj.has_field_ex(f, inc_hidden)))218 })219}220221fn builtin_parse_json(222 context: Context,223 _loc: Option<&ExprLocation>,224 args: &ArgsDesc,225) -> Result<Val> {226 parse_args!(context, "parseJson", args, 1, [227 0, s: ty!(string) => Val::Str;228 ], {229 let state = EvaluationState::default();230 let path = PathBuf::from("std.parseJson").into();231 state.evaluate_snippet_raw(path ,s)232 })233}234235fn builtin_slice(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {236 parse_args!(context, "slice", args, 4, [237 0, indexable: ty!((string | array));238 1, index: ty!((number | null));239 2, end: ty!((number | null));240 3, step: ty!((number | null));241 ], {242 std_slice(243 indexable.into_indexable()?,244 index.try_cast_nullable_num("index")?.map(|v| v as usize),245 end.try_cast_nullable_num("end")?.map(|v| v as usize),246 step.try_cast_nullable_num("step")?.map(|v| v as usize),247 )248 })249}250251fn builtin_substr(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {252 parse_args!(context, "substr", args, 3, [253 0, str: ty!(string) => Val::Str;254 1, from: ty!(BoundedNumber<(Some(0.0)), (None)>) => Val::Num;255 2, len: ty!(BoundedNumber<(Some(0.0)), (None)>) => Val::Num;256 ], {257 let out: String = str.chars().skip(from as usize).take(len as usize).collect();258 Ok(Val::Str(out.into()))259 })260}261262fn builtin_primitive_equals(263 context: Context,264 _loc: Option<&ExprLocation>,265 args: &ArgsDesc,266) -> Result<Val> {267 parse_args!(context, "primitiveEquals", args, 2, [268 0, a: ty!(any);269 1, b: ty!(any);270 ], {271 Ok(Val::Bool(primitive_equals(&a, &b)?))272 })273}274275fn builtin_equals(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {276 parse_args!(context, "equals", args, 2, [277 0, a: ty!(any);278 1, b: ty!(any);279 ], {280 Ok(Val::Bool(equals(&a, &b)?))281 })282}283284fn builtin_modulo(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {285 parse_args!(context, "modulo", args, 2, [286 0, a: ty!(number) => Val::Num;287 1, b: ty!(number) => Val::Num;288 ], {289 Ok(Val::Num(a % b))290 })291}292293fn builtin_mod(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {294 parse_args!(context, "mod", args, 2, [295 0, a: ty!((number | string));296 1, b: ty!(any);297 ], {298 evaluate_mod_op(&a, &b)299 })300}301302fn builtin_floor(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {303 parse_args!(context, "floor", args, 1, [304 0, x: ty!(number) => Val::Num;305 ], {306 Ok(Val::Num(x.floor()))307 })308}309310fn builtin_ceil(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {311 parse_args!(context, "ceil", args, 1, [312 0, x: ty!(number) => Val::Num;313 ], {314 Ok(Val::Num(x.ceil()))315 })316}317318fn builtin_log(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {319 parse_args!(context, "log", args, 1, [320 0, n: ty!(number) => Val::Num;321 ], {322 Ok(Val::Num(n.ln()))323 })324}325326fn builtin_pow(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {327 parse_args!(context, "pow", args, 2, [328 0, x: ty!(number) => Val::Num;329 1, n: ty!(number) => Val::Num;330 ], {331 Ok(Val::Num(x.powf(n)))332 })333}334335fn builtin_sqrt(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {336 parse_args!(context, "sqrt", args, 1, [337 0, x: ty!(BoundedNumber<(Some(0.0)), (None)>) => Val::Num;338 ], {339 Ok(Val::Num(x.sqrt()))340 })341}342343fn builtin_sin(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {344 parse_args!(context, "sin", args, 1, [345 0, x: ty!(number) => Val::Num;346 ], {347 Ok(Val::Num(x.sin()))348 })349}350351fn builtin_cos(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {352 parse_args!(context, "cos", args, 1, [353 0, x: ty!(number) => Val::Num;354 ], {355 Ok(Val::Num(x.cos()))356 })357}358359fn builtin_tan(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {360 parse_args!(context, "tan", args, 1, [361 0, x: ty!(number) => Val::Num;362 ], {363 Ok(Val::Num(x.tan()))364 })365}366367fn builtin_asin(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {368 parse_args!(context, "asin", args, 1, [369 0, x: ty!(number) => Val::Num;370 ], {371 Ok(Val::Num(x.asin()))372 })373}374375fn builtin_acos(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {376 parse_args!(context, "acos", args, 1, [377 0, x: ty!(number) => Val::Num;378 ], {379 Ok(Val::Num(x.acos()))380 })381}382383fn builtin_atan(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {384 parse_args!(context, "atan", args, 1, [385 0, x: ty!(number) => Val::Num;386 ], {387 Ok(Val::Num(x.atan()))388 })389}390391fn builtin_exp(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {392 parse_args!(context, "exp", args, 1, [393 0, x: ty!(number) => Val::Num;394 ], {395 Ok(Val::Num(x.exp()))396 })397}398399fn frexp(s: f64) -> (f64, i16) {400 if 0.0 == s {401 (s, 0)402 } else {403 let lg = s.abs().log2();404 let x = (lg - lg.floor() - 1.0).exp2();405 let exp = lg.floor() + 1.0;406 (s.signum() * x, exp as i16)407 }408}409410fn builtin_mantissa(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {411 parse_args!(context, "mantissa", args, 1, [412 0, x: ty!(number) => Val::Num;413 ], {414 Ok(Val::Num(frexp(x).0))415 })416}417418fn builtin_exponent(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {419 parse_args!(context, "exponent", args, 1, [420 0, x: ty!(number) => Val::Num;421 ], {422 Ok(Val::Num(frexp(x).1.into()))423 })424}425426fn builtin_ext_var(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {427 parse_args!(context, "extVar", args, 1, [428 0, x: ty!(string) => Val::Str;429 ], {430 Ok(with_state(|s| s.settings().ext_vars.get(&x).cloned()).ok_or(UndefinedExternalVariable(x))?)431 })432}433434fn builtin_native(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {435 parse_args!(context, "native", args, 1, [436 0, x: ty!(string) => Val::Str;437 ], {438 Ok(with_state(|s| s.settings().ext_natives.get(&x).cloned()).map(|v| Val::Func(Gc::new(FuncVal::NativeExt(x.clone(), v)))).ok_or(UndefinedExternalFunction(x))?)439 })440}441442fn builtin_filter(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {443 parse_args!(context, "filter", args, 2, [444 0, func: ty!(function) => Val::Func;445 1, arr: ty!(array) => Val::Arr;446 ], {447 Ok(Val::Arr(arr.filter(|val| func448 .evaluate_values(context.clone(), &[val.clone()])?449 .try_cast_bool("filter predicate"))?))450 })451}452453fn builtin_map(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {454 parse_args!(context, "map", args, 2, [455 0, func: ty!(function) => Val::Func;456 1, arr: ty!(array) => Val::Arr;457 ], {458 Ok(Val::Arr(arr.map(|val| func459 .evaluate_values(context.clone(), &[val]))?))460 })461}462463fn builtin_flatmap(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {464 parse_args!(context, "flatMap", args, 2, [465 0, func: ty!(function) => Val::Func;466 1, arr: ty!((array | string));467 ], {468 match arr {469 Val::Str(s) => {470 let mut out = String::new();471 for c in s.chars() {472 match func.evaluate_values(context.clone(), &[Val::Str(c.to_string().into())])? {473 Val::Str(o) => out.push_str(&o),474 _ => throw!(RuntimeError("in std.join all items should be strings".into())),475 };476 }477 Ok(Val::Str(out.into()))478 },479 Val::Arr(a) => {480 let mut out = Vec::new();481 for el in a.iter() {482 let el = el?;483 match func.evaluate_values(context.clone(), &[el])? {484 Val::Arr(o) => for oe in o.iter() {485 out.push(oe?)486 },487 _ => throw!(RuntimeError("in std.join all items should be arrays".into())),488 };489 }490 Ok(Val::Arr(out.into()))491 },492 _ => unreachable!(),493 }494 })495}496497fn builtin_foldl(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {498 parse_args!(context, "foldl", args, 3, [499 0, func: ty!(function) => Val::Func;500 1, arr: ty!(array) => Val::Arr;501 2, init: ty!(any);502 ], {503 let mut acc = init;504 for i in arr.iter() {505 acc = func.evaluate_values(context.clone(), &[acc, i?])?;506 }507 Ok(acc)508 })509}510511fn builtin_foldr(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {512 parse_args!(context, "foldr", args, 3, [513 0, func: ty!(function) => Val::Func;514 1, arr: ty!(array) => Val::Arr;515 2, init: ty!(any);516 ], {517 let mut acc = init;518 for i in arr.iter().rev() {519 acc = func.evaluate_values(context.clone(), &[acc, i?])?;520 }521 Ok(acc)522 })523}524525#[allow(non_snake_case)]526fn builtin_sort_impl(527 context: Context,528 _loc: Option<&ExprLocation>,529 args: &ArgsDesc,530) -> Result<Val> {531 parse_args!(context, "sort", args, 2, [532 0, arr: ty!(array) => Val::Arr;533 1, keyF: ty!(function) => Val::Func;534 ], {535 if arr.len() <= 1 {536 return Ok(Val::Arr(arr))537 }538 Ok(Val::Arr(ArrValue::Eager(sort::sort(context, arr.evaluated()?, &keyF)?)))539 })540}541542fn builtin_format(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {543 parse_args!(context, "format", args, 2, [544 0, str: ty!(string) => Val::Str;545 1, vals: ty!(any)546 ], {547 std_format(str, vals)548 })549}550551fn builtin_range(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {552 parse_args!(context, "range", args, 2, [553 0, from: ty!(number) => Val::Num;554 1, to: ty!(number) => Val::Num;555 ], {556 if to < from {557 return Ok(Val::Arr(ArrValue::new_eager()))558 }559 let mut out = Vec::with_capacity((1+to as usize-from as usize).max(0));560 for i in from as usize..=to as usize {561 out.push(Val::Num(i as f64));562 }563 Ok(Val::Arr(out.into()))564 })565}566567fn builtin_char(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {568 parse_args!(context, "char", args, 1, [569 0, n: ty!(number) => Val::Num;570 ], {571 let mut out = String::new();572 out.push(std::char::from_u32(n as u32).ok_or_else(||573 InvalidUnicodeCodepointGot(n as u32)574 )?);575 Ok(Val::Str(out.into()))576 })577}578579fn builtin_encode_utf8(580 context: Context,581 _loc: Option<&ExprLocation>,582 args: &ArgsDesc,583) -> Result<Val> {584 parse_args!(context, "encodeUTF8", args, 1, [585 0, str: ty!(string) => Val::Str;586 ], {587 Ok(Val::Arr((str.bytes().map(|b| Val::Num(b as f64)).collect::<Vec<Val>>()).into()))588 })589}590591fn builtin_decode_utf8(592 context: Context,593 _loc: Option<&ExprLocation>,594 args: &ArgsDesc,595) -> Result<Val> {596 parse_args!(context, "decodeUTF8", args, 1, [597 0, arr: ty!((Array<ubyte>)) => Val::Arr;598 ], {599 let data: Result<Vec<u8>> = arr.iter().map(|v| v.map(|v| match v{600 Val::Num(n) => n as u8,601 _ => unreachable!(),602 })).collect();603 let data = data?;604 Ok(Val::Str(String::from_utf8(data).map_err(|_| RuntimeError("bad utf8".into()))?.into()))605 })606}607608fn builtin_md5(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {609 parse_args!(context, "md5", args, 1, [610 0, str: ty!(string) => Val::Str;611 ], {612 Ok(Val::Str(format!("{:x}", md5::compute(&str.as_bytes())).into()))613 })614}615616fn builtin_trace(context: Context, loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {617 parse_args!(context, "trace", args, 2, [618 0, str: ty!(string) => Val::Str;619 1, rest: ty!(any);620 ], {621 eprint!("TRACE:");622 if let Some(loc) = loc {623 with_state(|s|{624 let locs = s.map_source_locations(&loc.0, &[loc.1]);625 eprint!(" {}:{}", loc.0.file_name().unwrap().to_str().unwrap(), locs[0].line);626 });627 }628 eprintln!(" {}", str);629 Ok(rest)630 })631}632633fn builtin_base64(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {634 parse_args!(context, "base64", args, 1, [635 0, input: ty!((string | (Array<number>)));636 ], {637 Ok(Val::Str(match input {638 Val::Str(s) => {639 base64::encode(s.bytes().collect::<Vec<_>>()).into()640 },641 Val::Arr(a) => {642 base64::encode(a.iter().map(|v| {643 Ok(v?.unwrap_num()? as u8)644 }).collect::<Result<Vec<_>>>()?).into()645 },646 _ => unreachable!()647 }))648 })649}650651fn builtin_base64_decode_bytes(652 context: Context,653 _loc: Option<&ExprLocation>,654 args: &ArgsDesc,655) -> Result<Val> {656 parse_args!(context, "base64DecodeBytes", args, 1, [657 0, input: ty!(string) => Val::Str;658 ], {659 Ok(Val::Arr(660 base64::decode(&input.as_bytes())661 .map_err(|_| RuntimeError("bad base64".into()))?662 .iter()663 .map(|v| Val::Num(*v as f64)).collect::<Vec<_>>().into()664 ))665 })666}667668fn builtin_base64_decode(669 context: Context,670 _loc: Option<&ExprLocation>,671 args: &ArgsDesc,672) -> Result<Val> {673 parse_args!(context, "base64Decode", args, 1, [674 0, input: ty!(string) => Val::Str;675 ], {676 Ok(Val::Str(677 String::from_utf8(base64::decode(&input.as_bytes())678 .map_err(|_| RuntimeError("bad base64".into()))?)679 .map_err(|_| RuntimeError("bad utf8".into()))?.into()680 ))681 })682}683684fn builtin_join(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {685 parse_args!(context, "join", args, 2, [686 0, sep: ty!((string | array));687 1, arr: ty!(array) => Val::Arr;688 ], {689 Ok(match sep {690 Val::Arr(joiner_items) => {691 let mut out = Vec::new();692693 let mut first = true;694 for item in arr.iter() {695 let item = item?.clone();696 if let Val::Arr(items) = item {697 if !first {698 out.reserve(joiner_items.len());699 // TODO: extend700 for item in joiner_items.iter() {701 out.push(item?);702 }703 }704 first = false;705 out.reserve(items.len());706 // TODO: extend707 for item in items.iter() {708 out.push(item?);709 }710 } else {711 throw!(RuntimeError("in std.join all items should be arrays".into()));712 }713 }714715 Val::Arr(out.into())716 },717 Val::Str(sep) => {718 let mut out = String::new();719720 let mut first = true;721 for item in arr.iter() {722 let item = item?.clone();723 if let Val::Str(item) = item {724 if !first {725 out += &sep;726 }727 first = false;728 out += &item;729 } else {730 throw!(RuntimeError("in std.join all items should be strings".into()));731 }732 }733734 Val::Str(out.into())735 },736 _ => unreachable!()737 })738 })739}740741fn builtin_escape_string_json(742 context: Context,743 _loc: Option<&ExprLocation>,744 args: &ArgsDesc,745) -> Result<Val> {746 parse_args!(context, "escapeStringJson", args, 1, [747 0, str_: ty!(string) => Val::Str;748 ], {749 Ok(Val::Str(escape_string_json(&str_).into()))750 })751}752753fn builtin_manifest_json_ex(754 context: Context,755 _loc: Option<&ExprLocation>,756 args: &ArgsDesc,757) -> Result<Val> {758 parse_args!(context, "manifestJsonEx", args, 2, [759 0, value: ty!(any);760 1, indent: ty!(string) => Val::Str;761 ], {762 Ok(Val::Str(manifest_json_ex(&value, &ManifestJsonOptions {763 padding: &indent,764 mtype: ManifestType::Std,765 })?.into()))766 })767}768769fn builtin_reverse(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {770 parse_args!(context, "reverse", args, 1, [771 0, value: ty!(array) => Val::Arr;772 ], {773 Ok(Val::Arr(value.reversed()))774 })775}776777fn builtin_id(context: Context, _loc: Option<&ExprLocation>, args: &ArgsDesc) -> Result<Val> {778 parse_args!(context, "id", args, 1, [779 0, v: ty!(any);780 ], {781 Ok(v)782 })783}784785fn builtin_str_replace(786 context: Context,787 _loc: Option<&ExprLocation>,788 args: &ArgsDesc,789) -> Result<Val> {790 parse_args!(context, "strReplace", args, 3, [791 0, str: ty!(string) => Val::Str;792 1, from: ty!(string) => Val::Str;793 2, to: ty!(string) => Val::Str;794 ], {795 let mut out = String::new();796 let mut last_idx = 0;797 while let Some(idx) = (&str[last_idx..]).find(&from as &str) {798 out.push_str(&str[last_idx..last_idx+idx]);799 out.push_str(&to);800 last_idx += idx + from.len();801 }802 if last_idx == 0 {803 return Ok(Val::Str(str))804 }805 out.push_str(&str[last_idx..]);806 Ok(Val::Str(out.into()))807 })808}809810fn builtin_splitlimit(811 context: Context,812 _loc: Option<&ExprLocation>,813 args: &ArgsDesc,814) -> Result<Val> {815 parse_args!(context, "splitLimit", args, 3, [816 0, str: ty!(string) => Val::Str;817 1, c: ty!(char) => Val::Str;818 2, maxsplits: ty!(number) => Val::Num;819 ], {820 let maxsplits = maxsplits as isize;821 let c = c.chars().next().unwrap();822823 let out: Vec<Val> = if maxsplits == -1 {824 str.split(c).map(|s| Val::Str(s.into())).collect()825 } else {826 str.splitn(maxsplits as usize + 1, c).map(|s| Val::Str(s.into())).collect()827 };828829 Ok(Val::Arr(out.into()))830 })831}832833fn builtin_ascii_upper(834 context: Context,835 _loc: Option<&ExprLocation>,836 args: &ArgsDesc,837) -> Result<Val> {838 parse_args!(context, "asciiUpper", args, 1, [839 0, str: ty!(string) => Val::Str;840 ], {841 Ok(Val::Str(str.to_ascii_uppercase().into()))842 })843}844845fn builtin_ascii_lower(846 context: Context,847 _loc: Option<&ExprLocation>,848 args: &ArgsDesc,849) -> Result<Val> {850 parse_args!(context, "asciiLower", args, 1, [851 0, str: ty!(string) => Val::Str;852 ], {853 Ok(Val::Str(str.to_ascii_lowercase().into()))854 })855}856857pub fn call_builtin(858 context: Context,859 loc: Option<&ExprLocation>,860 name: &str,861 args: &ArgsDesc,862) -> Result<Val> {863 BUILTINS864 .with(|builtins| builtins.get(name).copied())865 .ok_or_else(|| IntrinsicNotFound(name.into()))?(context, loc, args)866}crates/jrsonnet-evaluator/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/lib.rs
+++ b/crates/jrsonnet-evaluator/src/lib.rs
@@ -1045,4 +1045,10 @@
.unwrap_err();
assert_eq!(error.error().to_string(), "assert failed: is number");
}
+
+ #[test]
+ fn test_ascii_upper_lower() {
+ assert_eval!(r#"std.assertEqual(std.asciiUpper("aBc😀"), "ABC😀")"#);
+ assert_eval!(r#"std.assertEqual(std.asciiLower("aBc😀"), "abc😀")"#);
+ }
}
crates/jrsonnet-stdlib/src/std.jsonnetdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/std.jsonnet
+++ b/crates/jrsonnet-stdlib/src/std.jsonnet
@@ -128,21 +128,9 @@
strReplace:: $intrinsic(strReplace),
- asciiUpper(str)::
- local cp = std.codepoint;
- local up_letter(c) = if cp(c) >= 97 && cp(c) < 123 then
- std.char(cp(c) - 32)
- else
- c;
- std.join('', std.map(up_letter, std.stringChars(str))),
+ asciiUpper:: $intrinsic(asciiUpper),
- asciiLower(str)::
- local cp = std.codepoint;
- local down_letter(c) = if cp(c) >= 65 && cp(c) < 91 then
- std.char(cp(c) + 32)
- else
- c;
- std.join('', std.map(down_letter, std.stringChars(str))),
+ asciiLower:: $intrinsic(asciiLower),
range:: $intrinsic(range),