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::FootnoteReference;
|
2023-12-30 16:05:41 -05:00
|
|
|
use crate::types::FootnoteReferenceType;
|
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-29 12:49:43 -05:00
|
|
|
pub struct WasmFootnoteReference {
|
2023-12-30 16:05:41 -05:00
|
|
|
pub(crate) label: Option<String>,
|
|
|
|
|
#[serde(rename = "type")]
|
|
|
|
|
pub(crate) footnote_reference_type: String,
|
2023-12-25 11:33:43 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
to_wasm!(
|
2023-12-29 12:49:43 -05:00
|
|
|
WasmFootnoteReference,
|
2023-12-25 11:51:39 -05:00
|
|
|
FootnoteReference<'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::FootnoteReference(original) },
|
2023-12-30 16:05:41 -05:00
|
|
|
{ "footnote-reference".into() },
|
2023-12-25 11:33:43 -05:00
|
|
|
{
|
2023-12-30 16:05:41 -05:00
|
|
|
let children = original
|
|
|
|
|
.definition
|
|
|
|
|
.iter()
|
|
|
|
|
.map(|child| {
|
|
|
|
|
child
|
|
|
|
|
.to_wasm(wasm_context.clone())
|
|
|
|
|
.map(Into::<WasmAstNode>::into)
|
|
|
|
|
})
|
|
|
|
|
.collect::<Result<Vec<_>, _>>()?;
|
|
|
|
|
|
2023-12-29 15:03:36 -05:00
|
|
|
Ok((
|
2023-12-30 16:05:41 -05:00
|
|
|
children,
|
2023-12-29 15:03:36 -05:00
|
|
|
WasmFootnoteReference {
|
2023-12-30 16:05:41 -05:00
|
|
|
label: original.label.map(|s| s.to_owned()),
|
|
|
|
|
footnote_reference_type: match original.get_type() {
|
|
|
|
|
FootnoteReferenceType::Standard => "standard",
|
|
|
|
|
FootnoteReferenceType::Inline => "inline",
|
|
|
|
|
}
|
|
|
|
|
.to_owned(),
|
2023-12-29 15:03:36 -05:00
|
|
|
},
|
|
|
|
|
))
|
2023-12-25 11:33:43 -05:00
|
|
|
}
|
|
|
|
|
);
|