2023-12-29 15:03:36 -05:00
|
|
|
use serde::Deserialize;
|
2023-12-25 11:33:43 -05:00
|
|
|
use serde::Serialize;
|
|
|
|
|
2023-12-29 15:03:36 -05:00
|
|
|
use super::ast_node::WasmAstNode;
|
2023-12-25 11:33:43 -05:00
|
|
|
use super::macros::to_wasm;
|
|
|
|
use super::to_wasm::ToWasm;
|
2023-12-27 11:36:47 -05:00
|
|
|
use crate::types::RadioLink;
|
2024-01-01 18:34:10 -05:00
|
|
|
use crate::util::elisp_fact::ElispFact;
|
2023-12-25 11:33:43 -05:00
|
|
|
use crate::wasm::to_wasm::ToWasmStandardProperties;
|
|
|
|
|
2023-12-29 15:03:36 -05:00
|
|
|
#[derive(Debug, Serialize, Deserialize)]
|
2023-12-30 12:14:03 -05:00
|
|
|
#[serde(tag = "format")]
|
|
|
|
#[serde(rename = "plain")]
|
2023-12-29 12:49:43 -05:00
|
|
|
pub struct WasmRadioLink {
|
2023-12-30 12:14:03 -05:00
|
|
|
#[serde(rename = "type")]
|
|
|
|
pub(crate) link_type: String,
|
|
|
|
pub(crate) path: String,
|
|
|
|
#[serde(rename = "raw-link")]
|
|
|
|
pub(crate) raw_link: String,
|
|
|
|
pub(crate) application: Option<String>, // Always None
|
|
|
|
#[serde(rename = "search-option")]
|
|
|
|
pub(crate) search_option: Option<String>, // Always None
|
2023-12-25 11:33:43 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
to_wasm!(
|
2023-12-29 12:49:43 -05:00
|
|
|
WasmRadioLink,
|
2023-12-25 11:51:39 -05:00
|
|
|
RadioLink<'s>,
|
2023-12-25 12:32:35 -05:00
|
|
|
original,
|
2023-12-25 11:33:43 -05:00
|
|
|
wasm_context,
|
2023-12-29 15:03:36 -05:00
|
|
|
{ WasmAstNode::RadioLink(original) },
|
2023-12-30 12:14:03 -05:00
|
|
|
{ "link".into() },
|
2023-12-25 11:33:43 -05:00
|
|
|
{
|
2023-12-29 15:03:36 -05:00
|
|
|
let children = original
|
|
|
|
.children
|
|
|
|
.iter()
|
|
|
|
.map(|child| {
|
|
|
|
child
|
|
|
|
.to_wasm(wasm_context.clone())
|
|
|
|
.map(Into::<WasmAstNode>::into)
|
|
|
|
})
|
|
|
|
.collect::<Result<Vec<_>, _>>()?;
|
2023-12-27 19:53:07 -05:00
|
|
|
|
2023-12-29 15:03:36 -05:00
|
|
|
Ok((
|
|
|
|
children,
|
|
|
|
WasmRadioLink {
|
2023-12-30 12:14:03 -05:00
|
|
|
link_type: "radio".to_owned(),
|
|
|
|
path: original.path.to_owned(),
|
|
|
|
raw_link: original.get_raw_link().to_owned(),
|
|
|
|
application: None,
|
|
|
|
search_option: None,
|
2023-12-29 15:03:36 -05:00
|
|
|
},
|
|
|
|
))
|
2023-12-27 19:53:07 -05:00
|
|
|
}
|
2023-12-29 15:03:36 -05:00
|
|
|
);
|