mirror of
https://github.com/RustPython/RustPython.git
synced 2026-06-09 22:49:57 +09:00
251 lines
9.0 KiB
Rust
251 lines
9.0 KiB
Rust
use std::fmt;
|
|
|
|
use serde;
|
|
use serde::de::{DeserializeSeed, Visitor};
|
|
use serde::ser::{SerializeMap, SerializeSeq};
|
|
use serde_json;
|
|
|
|
use super::super::obj::{objbool, objdict, objfloat, objint, objsequence, objstr, objtype};
|
|
use super::super::pyobject::{
|
|
create_type, DictProtocol, PyContext, PyFuncArgs, PyObjectPayload, PyObjectRef, PyResult,
|
|
TypeProtocol,
|
|
};
|
|
use super::super::VirtualMachine;
|
|
use num_bigint::ToBigInt;
|
|
use num_traits::cast::ToPrimitive;
|
|
|
|
// We need to have a VM available to serialise a PyObject based on its subclass, so we implement
|
|
// PyObject serialisation via a proxy object which holds a reference to a VM
|
|
struct PyObjectSerializer<'s> {
|
|
pyobject: &'s PyObjectRef,
|
|
ctx: &'s PyContext,
|
|
}
|
|
|
|
impl<'s> PyObjectSerializer<'s> {
|
|
fn clone_with_object(&self, pyobject: &'s PyObjectRef) -> PyObjectSerializer {
|
|
PyObjectSerializer {
|
|
pyobject,
|
|
ctx: self.ctx,
|
|
}
|
|
}
|
|
}
|
|
|
|
impl<'s> serde::Serialize for PyObjectSerializer<'s> {
|
|
fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
|
|
where
|
|
S: serde::Serializer,
|
|
{
|
|
let serialize_seq_elements =
|
|
|serializer: S, elements: &Vec<PyObjectRef>| -> Result<S::Ok, S::Error> {
|
|
let mut seq = serializer.serialize_seq(Some(elements.len()))?;
|
|
for e in elements.iter() {
|
|
seq.serialize_element(&self.clone_with_object(e))?;
|
|
}
|
|
seq.end()
|
|
};
|
|
if objtype::isinstance(self.pyobject, &self.ctx.str_type()) {
|
|
serializer.serialize_str(&objstr::get_value(&self.pyobject))
|
|
} else if objtype::isinstance(self.pyobject, &self.ctx.float_type()) {
|
|
serializer.serialize_f64(objfloat::get_value(self.pyobject))
|
|
} else if objtype::isinstance(self.pyobject, &self.ctx.bool_type()) {
|
|
serializer.serialize_bool(objbool::get_value(self.pyobject))
|
|
} else if objtype::isinstance(self.pyobject, &self.ctx.int_type()) {
|
|
let v = objint::get_value(self.pyobject);
|
|
serializer.serialize_i64(v.to_i64().unwrap())
|
|
// Allthough this may seem nice, it does not give the right result:
|
|
// v.serialize(serializer)
|
|
} else if objtype::isinstance(self.pyobject, &self.ctx.list_type()) {
|
|
let elements = objsequence::get_elements(self.pyobject);
|
|
serialize_seq_elements(serializer, &elements)
|
|
} else if objtype::isinstance(self.pyobject, &self.ctx.tuple_type()) {
|
|
let elements = objsequence::get_elements(self.pyobject);
|
|
serialize_seq_elements(serializer, &elements)
|
|
} else if objtype::isinstance(self.pyobject, &self.ctx.dict_type()) {
|
|
let pairs = objdict::get_elements(self.pyobject);
|
|
let mut map = serializer.serialize_map(Some(pairs.len()))?;
|
|
for (key, e) in pairs.iter() {
|
|
map.serialize_entry(&key, &self.clone_with_object(&e.1))?;
|
|
}
|
|
map.end()
|
|
} else if let PyObjectPayload::None = self.pyobject.borrow().payload {
|
|
serializer.serialize_none()
|
|
} else {
|
|
Err(serde::ser::Error::custom(format!(
|
|
"Object of type '{:?}' is not serializable",
|
|
self.pyobject.typ()
|
|
)))
|
|
}
|
|
}
|
|
}
|
|
|
|
// This object is used as the seed for deserialization so we have access to the PyContext for type
|
|
// creation
|
|
#[derive(Clone)]
|
|
struct PyObjectDeserializer<'c> {
|
|
ctx: &'c PyContext,
|
|
}
|
|
|
|
impl<'de> serde::de::DeserializeSeed<'de> for PyObjectDeserializer<'de> {
|
|
type Value = PyObjectRef;
|
|
|
|
fn deserialize<D>(self, deserializer: D) -> Result<Self::Value, D::Error>
|
|
where
|
|
D: serde::Deserializer<'de>,
|
|
{
|
|
impl<'de> Visitor<'de> for PyObjectDeserializer<'de> {
|
|
type Value = PyObjectRef;
|
|
|
|
fn expecting(&self, formatter: &mut fmt::Formatter) -> fmt::Result {
|
|
formatter.write_str("a type that can deserialise in Python")
|
|
}
|
|
|
|
fn visit_str<E>(self, value: &str) -> Result<Self::Value, E>
|
|
where
|
|
E: serde::de::Error,
|
|
{
|
|
Ok(self.ctx.new_str(value.to_string()))
|
|
}
|
|
|
|
fn visit_string<E>(self, value: String) -> Result<Self::Value, E>
|
|
where
|
|
E: serde::de::Error,
|
|
{
|
|
Ok(self.ctx.new_str(value))
|
|
}
|
|
|
|
fn visit_i64<E>(self, value: i64) -> Result<Self::Value, E>
|
|
where
|
|
E: serde::de::Error,
|
|
{
|
|
// The JSON deserialiser always uses the i64/u64 deserialisers, so we only need to
|
|
// implement those for now
|
|
Ok(self.ctx.new_int(value.to_bigint().unwrap()))
|
|
}
|
|
|
|
fn visit_u64<E>(self, value: u64) -> Result<Self::Value, E>
|
|
where
|
|
E: serde::de::Error,
|
|
{
|
|
// The JSON deserialiser always uses the i64/u64 deserialisers, so we only need to
|
|
// implement those for now
|
|
Ok(self.ctx.new_int(value.to_bigint().unwrap()))
|
|
}
|
|
|
|
fn visit_f64<E>(self, value: f64) -> Result<Self::Value, E>
|
|
where
|
|
E: serde::de::Error,
|
|
{
|
|
Ok(self.ctx.new_float(value))
|
|
}
|
|
|
|
fn visit_bool<E>(self, value: bool) -> Result<Self::Value, E>
|
|
where
|
|
E: serde::de::Error,
|
|
{
|
|
Ok(self.ctx.new_bool(value))
|
|
}
|
|
|
|
fn visit_seq<A>(self, mut access: A) -> Result<Self::Value, A::Error>
|
|
where
|
|
A: serde::de::SeqAccess<'de>,
|
|
{
|
|
let mut seq = Vec::with_capacity(access.size_hint().unwrap_or(0));
|
|
while let Some(value) = access.next_element_seed(self.clone())? {
|
|
seq.push(value);
|
|
}
|
|
Ok(self.ctx.new_list(seq))
|
|
}
|
|
|
|
fn visit_map<M>(self, mut access: M) -> Result<Self::Value, M::Error>
|
|
where
|
|
M: serde::de::MapAccess<'de>,
|
|
{
|
|
let dict = self.ctx.new_dict();
|
|
// TODO: Given keys must be strings, we can probably do something more efficient
|
|
// than wrapping the given object up and then unwrapping it to determine whether or
|
|
// not it is a string
|
|
while let Some((key_obj, value)) =
|
|
access.next_entry_seed(self.clone(), self.clone())?
|
|
{
|
|
let key = match key_obj.borrow().payload {
|
|
PyObjectPayload::String { ref value } => value.clone(),
|
|
_ => unimplemented!("map keys must be strings"),
|
|
};
|
|
self.ctx.set_item(&dict, &key, value);
|
|
}
|
|
Ok(dict)
|
|
}
|
|
|
|
fn visit_unit<E>(self) -> Result<Self::Value, E>
|
|
where
|
|
E: serde::de::Error,
|
|
{
|
|
Ok(self.ctx.none.clone())
|
|
}
|
|
}
|
|
|
|
deserializer.deserialize_any(self.clone())
|
|
}
|
|
}
|
|
|
|
fn dumps(vm: &mut VirtualMachine, args: PyFuncArgs) -> PyResult {
|
|
// TODO: Implement non-trivial serialisation case
|
|
arg_check!(vm, args, required = [(obj, None)]);
|
|
let res = {
|
|
let serializer = PyObjectSerializer {
|
|
pyobject: obj,
|
|
ctx: &vm.ctx,
|
|
};
|
|
serde_json::to_string(&serializer)
|
|
};
|
|
let string = res.map_err(|err| vm.new_type_error(format!("{}", err)))?;
|
|
Ok(vm.context().new_str(string))
|
|
}
|
|
|
|
fn loads(vm: &mut VirtualMachine, args: PyFuncArgs) -> PyResult {
|
|
// TODO: Implement non-trivial deserialisation case
|
|
arg_check!(vm, args, required = [(string, Some(vm.ctx.str_type()))]);
|
|
let res = {
|
|
let de = PyObjectDeserializer { ctx: &vm.ctx };
|
|
// TODO: Support deserializing string sub-classes
|
|
de.deserialize(&mut serde_json::Deserializer::from_str(&objstr::get_value(
|
|
&string,
|
|
)))
|
|
};
|
|
|
|
res.map_err(|err| {
|
|
let json_decode_error = vm
|
|
.sys_module
|
|
.get_item("modules")
|
|
.unwrap()
|
|
.get_item("json")
|
|
.unwrap()
|
|
.get_item("JSONDecodeError")
|
|
.unwrap();
|
|
let exc = vm.new_exception(json_decode_error, format!("{}", err));
|
|
vm.ctx
|
|
.set_item(&exc, "lineno", vm.ctx.new_int(err.line().into()));
|
|
vm.ctx
|
|
.set_item(&exc, "colno", vm.ctx.new_int(err.column().into()));
|
|
exc
|
|
})
|
|
}
|
|
|
|
pub fn mk_module(ctx: &PyContext) -> PyObjectRef {
|
|
let json_mod = ctx.new_module("json", ctx.new_scope(None));
|
|
|
|
ctx.set_attr(&json_mod, "dumps", ctx.new_rustfunc(dumps));
|
|
ctx.set_attr(&json_mod, "loads", ctx.new_rustfunc(loads));
|
|
|
|
// TODO: Make this a proper type with a constructor
|
|
let json_decode_error = create_type(
|
|
"JSONDecodeError",
|
|
&ctx.type_type,
|
|
&ctx.exceptions.exception_type,
|
|
&ctx.dict_type,
|
|
);
|
|
ctx.set_attr(&json_mod, "JSONDecodeError", json_decode_error);
|
|
|
|
json_mod
|
|
}
|