144 lines
5.1 KiB
Rust
Raw Normal View History

2024-02-05 15:53:06 +01:00
/*
* Copyright 2024 Fluence Labs Limited
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
/*
* This file is based on serde_json crate by Erick Tryzelaar and David Tolnay
* licensed under conditions of MIT License and Apache License, Version 2.0.
*/
2024-01-26 20:14:27 +01:00
use super::JValue;
2024-01-26 18:45:12 +01:00
use core::fmt::{self, Display};
use core::ops;
2024-01-26 20:14:27 +01:00
use std::string::String;
2024-01-26 18:45:12 +01:00
2024-02-05 18:47:25 +01:00
/// A type that can be used to index into a `air_interpreter_value::JValue`.
2024-01-26 18:45:12 +01:00
///
2024-02-05 18:47:25 +01:00
/// The [`get`] and [`get_mut`] methods of `JValue` accept any type that
2024-01-26 18:45:12 +01:00
/// implements `Index`, as does the [square-bracket indexing operator]. This
/// trait is implemented for strings which are used as the index into a JSON
/// map, and for `usize` which is used as the index into a JSON array.
///
2024-02-05 18:47:25 +01:00
/// [`get`]: ../enum.JValue.html#method.get
/// [`get_mut`]: ../enum.JValue.html#method.get_mut
/// [square-bracket indexing operator]: ../enum.JValue.html#impl-Index%3CI%3E
2024-01-26 18:45:12 +01:00
///
/// This trait is sealed and cannot be implemented for types outside of
2024-02-05 18:47:25 +01:00
/// `air_interpreter_value`.
2024-01-26 18:45:12 +01:00
pub trait Index: private::Sealed {
/// Return None if the key is not already in the array or object.
#[doc(hidden)]
2024-01-26 20:14:27 +01:00
fn index_into<'v>(&self, v: &'v JValue) -> Option<&'v JValue>;
2024-01-26 18:45:12 +01:00
}
impl Index for usize {
2024-01-26 20:14:27 +01:00
fn index_into<'v>(&self, v: &'v JValue) -> Option<&'v JValue> {
2024-01-26 18:45:12 +01:00
match v {
2024-01-26 20:14:27 +01:00
JValue::Array(vec) => vec.get(*self),
2024-01-26 18:45:12 +01:00
_ => None,
}
}
}
impl Index for str {
2024-01-26 20:14:27 +01:00
fn index_into<'v>(&self, v: &'v JValue) -> Option<&'v JValue> {
2024-01-26 18:45:12 +01:00
match v {
2024-01-26 20:14:27 +01:00
JValue::Object(map) => map.get(self),
2024-01-26 18:45:12 +01:00
_ => None,
}
}
}
impl Index for String {
2024-01-26 20:14:27 +01:00
fn index_into<'v>(&self, v: &'v JValue) -> Option<&'v JValue> {
2024-01-26 18:45:12 +01:00
self[..].index_into(v)
}
}
impl<T> Index for &T
where
T: ?Sized + Index,
{
2024-01-26 20:14:27 +01:00
fn index_into<'v>(&self, v: &'v JValue) -> Option<&'v JValue> {
2024-01-26 18:45:12 +01:00
(**self).index_into(v)
}
}
// Prevent users from implementing the Index trait.
mod private {
pub trait Sealed {}
impl Sealed for usize {}
impl Sealed for str {}
impl Sealed for std::string::String {}
impl<'a, T> Sealed for &'a T where T: ?Sized + Sealed {}
}
/// Used in panic messages.
2024-01-26 20:14:27 +01:00
struct Type<'a>(&'a JValue);
2024-01-26 18:45:12 +01:00
impl<'a> Display for Type<'a> {
fn fmt(&self, formatter: &mut fmt::Formatter) -> fmt::Result {
match *self.0 {
2024-01-26 20:14:27 +01:00
JValue::Null => formatter.write_str("null"),
JValue::Bool(_) => formatter.write_str("boolean"),
JValue::Number(_) => formatter.write_str("number"),
JValue::String(_) => formatter.write_str("string"),
JValue::Array(_) => formatter.write_str("array"),
JValue::Object(_) => formatter.write_str("object"),
2024-01-26 18:45:12 +01:00
}
}
}
// The usual semantics of Index is to panic on invalid indexing.
//
// That said, the usual semantics are for things like Vec and BTreeMap which
2024-02-05 18:47:25 +01:00
// have different use cases than JValue. If you are working with a Vec, you know
2024-01-26 18:45:12 +01:00
// that you are working with a Vec and you can get the len of the Vec and make
2024-02-05 18:47:25 +01:00
// sure your indices are within bounds. The JValue use cases are more
2024-01-26 18:45:12 +01:00
// loosey-goosey. You got some JSON from an endpoint and you want to pull values
// out of it. Outside of this Index impl, you already have the option of using
// value.as_array() and working with the Vec directly, or matching on
2024-02-05 18:47:25 +01:00
// JValue::Array and getting the Vec directly. The Index impl means you can skip
2024-01-26 18:45:12 +01:00
// that and index directly into the thing using a concise syntax. You don't have
// to check the type, you don't have to check the len, it is all about what you
2024-02-05 18:47:25 +01:00
// expect the JValue to look like.
2024-01-26 18:45:12 +01:00
//
// Basically the use cases that would be well served by panicking here are
// better served by using one of the other approaches: get and get_mut,
// as_array, or match. The value of this impl is that it adds a way of working
2024-02-05 18:47:25 +01:00
// with JValue that is not well served by the existing approaches: concise and
2024-01-26 18:45:12 +01:00
// careless and sometimes that is exactly what you want.
2024-01-26 20:14:27 +01:00
impl<I> ops::Index<I> for JValue
2024-01-26 18:45:12 +01:00
where
I: Index,
{
2024-01-26 20:14:27 +01:00
type Output = JValue;
2024-01-26 18:45:12 +01:00
2024-02-05 18:47:25 +01:00
/// Index into a `air_interpreter_value::JValue` using the syntax `value[0]` or
2024-01-26 18:45:12 +01:00
/// `value["k"]`.
///
2024-02-05 18:47:25 +01:00
/// Returns `JValue::Null` if the type of `self` does not match the type of
2024-01-26 18:45:12 +01:00
/// the index, for example if the index is a string and `self` is an array
2024-02-05 18:47:25 +01:00
/// or a number. Also returns `JValue::Null` if the given key does not exist
2024-01-26 18:45:12 +01:00
/// in the map or the given index is not within the bounds of the array.
///
/// For retrieving deeply nested values, you should have a look at the
2024-02-05 18:47:25 +01:00
/// `JValue::pointer` method.
2024-01-26 20:14:27 +01:00
fn index(&self, index: I) -> &JValue {
const NULL: JValue = JValue::Null;
2024-01-26 18:45:12 +01:00
index.index_into(self).unwrap_or(&NULL)
}
}