{(cfunction_ptr)jv_setpath, "setpath", 3}, // FIXME typechecking
{(cfunction_ptr)jv_getpath, "getpath", 2},
{(cfunction_ptr)jv_delpaths, "delpaths", 2},
+ {(cfunction_ptr)jv_has, "has", 2},
{(cfunction_ptr)f_equal, "_equal", 3},
{(cfunction_ptr)f_notequal, "_notequal", 3},
{(cfunction_ptr)f_less, "_less", 3},
input: '[42,3,35]'
output: ['[0,1,2]']
+ - title: `has`
+ body: |
+
+ The builtin function `has` returns whether the input object
+ has the given key, or the input array has an element at the
+ given index.
+
+ `has($key)` has the same effect as checking whether `$key`
+ is a member of the array returned by `keys`, although `has`
+ will be faster.
+
+ examples:
+ - program: 'map(has("foo"))'
+ input: '[{"foo": 42}, {}]'
+ output: ['[true, false]']
+ - program: 'map(has(2))'
+ input: '[[0,1], ["a","b","c"]]'
+ output: ['[false, true]']
+
- title: `select`
body: |
return t;
}
+jv jv_has(jv t, jv k) {
+ assert(jv_is_valid(t));
+ assert(jv_is_valid(k));
+ jv ret;
+ if (jv_get_kind(t) == JV_KIND_NULL) {
+ jv_free(t);
+ jv_free(k);
+ ret = jv_false();
+ } else if (jv_get_kind(t) == JV_KIND_OBJECT &&
+ jv_get_kind(k) == JV_KIND_STRING) {
+ jv elem = jv_object_get(t, k);
+ ret = jv_bool(jv_is_valid(elem));
+ jv_free(elem);
+ } else if (jv_get_kind(t) == JV_KIND_ARRAY &&
+ jv_get_kind(k) == JV_KIND_NUMBER) {
+ jv elem = jv_array_get(t, (int)jv_number_value(k));
+ ret = jv_bool(jv_is_valid(elem));
+ jv_free(elem);
+ } else {
+ ret = jv_invalid_with_msg(jv_string_fmt("Cannot check whether %s has a %s key",
+ jv_kind_name(jv_get_kind(t)),
+ jv_kind_name(jv_get_kind(k))));
+ jv_free(t);
+ jv_free(k);
+ }
+ return ret;
+}
+
// assumes keys is a sorted array
jv jv_dels(jv t, jv keys) {
assert(jv_get_kind(keys) == JV_KIND_ARRAY);
jv jv_get(jv t, jv k);
jv jv_set(jv t, jv k, jv v);
+jv jv_has(jv t, jv k);
jv jv_setpath(jv root, jv path, jv value);
jv jv_getpath(jv root, jv path);
jv jv_delpaths(jv root, jv paths);