2023-10-27 17:08:58 -04:00
|
|
|
use serde::Serialize;
|
|
|
|
|
|
2023-12-19 15:42:37 -05:00
|
|
|
use super::render_context::RenderContext;
|
2023-10-27 17:08:58 -04:00
|
|
|
use crate::error::CustomError;
|
|
|
|
|
use crate::intermediate::IFootnoteDefinition;
|
2023-10-29 15:36:15 -04:00
|
|
|
use crate::intermediate::IRealFootnoteDefinition;
|
|
|
|
|
|
|
|
|
|
use super::ast_node::IntoRenderAstNode;
|
|
|
|
|
use super::ast_node::RenderAstNode;
|
2023-10-31 19:48:05 -04:00
|
|
|
use super::macros::render;
|
|
|
|
|
use super::macros::rnoop;
|
2023-10-27 17:08:58 -04:00
|
|
|
|
|
|
|
|
#[derive(Debug, Serialize)]
|
|
|
|
|
#[serde(tag = "type")]
|
|
|
|
|
#[serde(rename = "footnote_definition")]
|
|
|
|
|
pub(crate) struct RenderFootnoteDefinition {}
|
|
|
|
|
|
2023-10-31 19:48:05 -04:00
|
|
|
rnoop!(RenderFootnoteDefinition, IFootnoteDefinition);
|
2023-10-29 15:36:15 -04:00
|
|
|
|
|
|
|
|
#[derive(Debug, Serialize)]
|
|
|
|
|
#[serde(tag = "type")]
|
|
|
|
|
#[serde(rename = "footnote_reference")]
|
|
|
|
|
pub(crate) struct RenderRealFootnoteDefinition {
|
|
|
|
|
definition_id: String,
|
|
|
|
|
reference_link: String,
|
2023-10-29 15:50:09 -04:00
|
|
|
label: String,
|
2023-10-29 15:36:15 -04:00
|
|
|
contents: Vec<RenderAstNode>,
|
|
|
|
|
}
|
|
|
|
|
|
2023-10-31 19:48:05 -04:00
|
|
|
render!(
|
|
|
|
|
RenderRealFootnoteDefinition,
|
|
|
|
|
IRealFootnoteDefinition,
|
|
|
|
|
original,
|
2023-12-19 15:42:37 -05:00
|
|
|
render_context,
|
2023-10-31 19:48:05 -04:00
|
|
|
{
|
2023-10-29 15:36:15 -04:00
|
|
|
let contents = {
|
|
|
|
|
let mut ret = Vec::new();
|
|
|
|
|
for obj in original.contents.iter() {
|
2023-12-19 15:42:37 -05:00
|
|
|
ret.push(obj.into_render_ast_node(render_context.clone())?);
|
2023-10-29 15:36:15 -04:00
|
|
|
}
|
|
|
|
|
ret
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
Ok(RenderRealFootnoteDefinition {
|
|
|
|
|
definition_id: original.get_definition_id(),
|
|
|
|
|
reference_link: format!("#{}", original.get_reference_id()),
|
2023-10-29 15:50:09 -04:00
|
|
|
label: original.get_display_label(),
|
2023-10-29 15:36:15 -04:00
|
|
|
contents,
|
|
|
|
|
})
|
|
|
|
|
}
|
2023-10-31 19:48:05 -04:00
|
|
|
);
|