//! Turn an HTML AST into a JavaScript AST. //! //! Port of , by the same //! author: //! //! (The MIT License) //! //! Copyright (c) 2016 Titus Wormer //! //! Permission is hereby granted, free of charge, to any person obtaining //! a copy of this software and associated documentation files (the //! 'Software'), to deal in the Software without restriction, including //! without limitation the rights to use, copy, modify, merge, publish, //! distribute, sublicense, and/or sell copies of the Software, and to //! permit persons to whom the Software is furnished to do so, subject to //! the following conditions: //! //! The above copyright notice and this permission notice shall be //! included in all copies or substantial portions of the Software. //! //! THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, //! EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF //! MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. //! IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY //! CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, //! TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE //! SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. extern crate swc_common; extern crate swc_ecma_ast; use crate::test_utils::{ hast, swc::{parse_esm_to_tree, parse_expression_to_tree}, swc_utils::{create_ident, position_to_span}, }; use core::str; use micromark::{Location, MdxExpressionKind}; /// Result. #[derive(Debug, PartialEq, Eq)] pub struct Program { pub path: Option, /// JS AST. pub module: swc_ecma_ast::Module, /// Comments relating to AST. pub comments: Vec, } /// Whether we’re in HTML or SVG. #[derive(Debug, Clone, Copy, PartialEq, Eq)] enum Space { Html, Svg, } #[derive(Debug)] struct Context<'a> { /// Whether we’re in HTML or SVG. /// /// Not used yet, likely useful in the future. space: Space, /// Comments we gather. comments: Vec, /// Declarations and stuff. esm: Vec, /// Optional way to turn relative positions into points. location: Option<&'a Location>, } #[allow(dead_code)] pub fn hast_util_to_swc( tree: &hast::Node, path: Option, location: Option<&Location>, ) -> Result { let mut context = Context { space: Space::Html, comments: vec![], esm: vec![], location, }; let expr = match one(&mut context, tree)? { Some(swc_ecma_ast::JSXElementChild::JSXFragment(x)) => { Some(swc_ecma_ast::Expr::JSXFragment(x)) } Some(swc_ecma_ast::JSXElementChild::JSXElement(x)) => { Some(swc_ecma_ast::Expr::JSXElement(x)) } Some(child) => Some(swc_ecma_ast::Expr::JSXFragment(create_fragment( vec![child], tree, ))), None => None, }; // Add the ESM. let mut module = swc_ecma_ast::Module { shebang: None, body: context.esm, span: position_to_span(tree.position()), }; // We have some content, wrap it. if let Some(expr) = expr { module .body .push(swc_ecma_ast::ModuleItem::Stmt(swc_ecma_ast::Stmt::Expr( swc_ecma_ast::ExprStmt { expr: Box::new(expr), span: swc_common::DUMMY_SP, }, ))); } Ok(Program { path, module, comments: context.comments, }) } /// Transform one node. fn one( context: &mut Context, node: &hast::Node, ) -> Result, String> { let value = match node { hast::Node::Comment(x) => Some(transform_comment(context, node, x)), hast::Node::Element(x) => transform_element(context, node, x)?, hast::Node::MdxJsxElement(x) => transform_mdx_jsx_element(context, node, x)?, hast::Node::MdxExpression(x) => transform_mdx_expression(context, node, x)?, hast::Node::MdxjsEsm(x) => transform_mdxjs_esm(context, node, x)?, hast::Node::Root(x) => transform_root(context, node, x)?, hast::Node::Text(x) => transform_text(context, node, x), // Ignore: hast::Node::Doctype(_) => None, }; Ok(value) } /// Transform children of `parent`. fn all( context: &mut Context, parent: &hast::Node, ) -> Result, String> { let mut result = vec![]; if let Some(children) = parent.children() { let mut index = 0; while index < children.len() { let child = &children[index]; // To do: remove line endings between table elements? // if let Some(child) = one(context, child)? { result.push(child); } index += 1; } } Ok(result) } /// [`Comment`][hast::Comment]. fn transform_comment( context: &mut Context, node: &hast::Node, comment: &hast::Comment, ) -> swc_ecma_ast::JSXElementChild { context.comments.push(swc_common::comments::Comment { kind: swc_common::comments::CommentKind::Block, text: comment.value.clone().into(), span: position_to_span(node.position()), }); // Might be useless. // Might be useful when transforming to acorn/babel later. // This is done in the JS version too: // swc_ecma_ast::JSXElementChild::JSXExprContainer(swc_ecma_ast::JSXExprContainer { expr: swc_ecma_ast::JSXExpr::JSXEmptyExpr(swc_ecma_ast::JSXEmptyExpr { span: position_to_span(node.position()), }), span: position_to_span(node.position()), }) } /// [`Element`][hast::Element]. fn transform_element( context: &mut Context, node: &hast::Node, element: &hast::Element, ) -> Result, String> { let space = context.space; if space == Space::Html && element.tag_name == "svg" { context.space = Space::Svg; } let children = all(context, node)?; context.space = space; let mut attrs = vec![]; let mut index = 0; while index < element.properties.len() { let prop = &element.properties[index]; // To do: turn style props into objects. let value = match &prop.1 { hast::PropertyValue::Boolean(x) => { // No value is same as `{true}` / Ignore `false`. if *x { None } else { index += 1; continue; } } hast::PropertyValue::String(x) => Some(swc_ecma_ast::Lit::Str(swc_ecma_ast::Str { value: x.clone().into(), span: swc_common::DUMMY_SP, raw: None, })), hast::PropertyValue::CommaSeparated(x) => { Some(swc_ecma_ast::Lit::Str(swc_ecma_ast::Str { value: x.join(", ").into(), span: swc_common::DUMMY_SP, raw: None, })) } hast::PropertyValue::SpaceSeparated(x) => { Some(swc_ecma_ast::Lit::Str(swc_ecma_ast::Str { value: x.join(" ").into(), span: swc_common::DUMMY_SP, raw: None, })) } }; // Turn property case into either React-specific case, or HTML // attribute case. // To do: create a spread if this is an invalid attr name. let attr_name = prop_to_attr_name(&prop.0); attrs.push(swc_ecma_ast::JSXAttrOrSpread::JSXAttr( swc_ecma_ast::JSXAttr { name: create_jsx_attr_name(&attr_name), value: value.map(swc_ecma_ast::JSXAttrValue::Lit), span: swc_common::DUMMY_SP, }, )); index += 1; } Ok(Some(swc_ecma_ast::JSXElementChild::JSXElement( create_element(&element.tag_name, attrs, children, node), ))) } /// [`MdxJsxElement`][hast::MdxJsxElement]. fn transform_mdx_jsx_element( context: &mut Context, node: &hast::Node, element: &hast::MdxJsxElement, ) -> Result, String> { let space = context.space; if let Some(name) = &element.name { if space == Space::Html && name == "svg" { context.space = Space::Svg; } } let children = all(context, node)?; context.space = space; let mut attrs = vec![]; let mut index = 0; while index < element.attributes.len() { let attr = match &element.attributes[index] { hast::AttributeContent::Property(prop) => { let value = match prop.value.as_ref() { Some(hast::AttributeValue::Literal(x)) => { Some(swc_ecma_ast::JSXAttrValue::Lit(swc_ecma_ast::Lit::Str( swc_ecma_ast::Str { value: x.clone().into(), span: swc_common::DUMMY_SP, raw: None, }, ))) } Some(hast::AttributeValue::Expression(value, stops)) => { Some(swc_ecma_ast::JSXAttrValue::JSXExprContainer( swc_ecma_ast::JSXExprContainer { expr: swc_ecma_ast::JSXExpr::Expr(parse_expression_to_tree( value, &MdxExpressionKind::AttributeValueExpression, stops, context.location, )?), span: swc_common::DUMMY_SP, }, )) } None => None, }; swc_ecma_ast::JSXAttrOrSpread::JSXAttr(swc_ecma_ast::JSXAttr { span: swc_common::DUMMY_SP, name: create_jsx_attr_name(&prop.name), value, }) } hast::AttributeContent::Expression(value, stops) => { let expr = parse_expression_to_tree( value, &MdxExpressionKind::AttributeExpression, stops, context.location, )?; swc_ecma_ast::JSXAttrOrSpread::SpreadElement(swc_ecma_ast::SpreadElement { dot3_token: swc_common::DUMMY_SP, expr, }) } }; attrs.push(attr); index += 1; } Ok(Some(if let Some(name) = &element.name { swc_ecma_ast::JSXElementChild::JSXElement(create_element(name, attrs, children, node)) } else { swc_ecma_ast::JSXElementChild::JSXFragment(create_fragment(children, node)) })) } /// [`MdxExpression`][hast::MdxExpression]. fn transform_mdx_expression( context: &mut Context, node: &hast::Node, expression: &hast::MdxExpression, ) -> Result, String> { Ok(Some(swc_ecma_ast::JSXElementChild::JSXExprContainer( swc_ecma_ast::JSXExprContainer { expr: swc_ecma_ast::JSXExpr::Expr(parse_expression_to_tree( &expression.value, &MdxExpressionKind::Expression, &expression.stops, context.location, )?), span: position_to_span(node.position()), }, ))) } /// [`MdxjsEsm`][hast::MdxjsEsm]. fn transform_mdxjs_esm( context: &mut Context, _node: &hast::Node, esm: &hast::MdxjsEsm, ) -> Result, String> { let mut module = parse_esm_to_tree(&esm.value, &esm.stops, context.location)?; let mut index = 0; // To do: check that identifiers are not duplicated across esm blocks. while index < module.body.len() { if !matches!(module.body[index], swc_ecma_ast::ModuleItem::ModuleDecl(_)) { return Err("Unexpected `statement` in code: only import/exports are supported".into()); } index += 1; } context.esm.append(&mut module.body); Ok(None) } /// [`Root`][hast::Root]. fn transform_root( context: &mut Context, node: &hast::Node, _root: &hast::Root, ) -> Result, String> { let mut children = all(context, node)?; let mut queue = vec![]; let mut nodes = vec![]; let mut seen = false; children.reverse(); // Remove initial/final whitespace. while let Some(child) = children.pop() { let mut stash = false; if let swc_ecma_ast::JSXElementChild::JSXExprContainer(container) = &child { if let swc_ecma_ast::JSXExpr::Expr(expr) = &container.expr { if let swc_ecma_ast::Expr::Lit(swc_ecma_ast::Lit::Str(str)) = (*expr).as_ref() { if inter_element_whitespace(str.value.as_ref()) { stash = true; } } } } if stash { if seen { queue.push(child); } } else { if !queue.is_empty() { nodes.append(&mut queue); } nodes.push(child); seen = true; } } Ok(Some(swc_ecma_ast::JSXElementChild::JSXFragment( create_fragment(nodes, node), ))) } /// [`Text`][hast::Text]. fn transform_text( _context: &mut Context, node: &hast::Node, text: &hast::Text, ) -> Option { if text.value.is_empty() { None } else { Some(swc_ecma_ast::JSXElementChild::JSXExprContainer( swc_ecma_ast::JSXExprContainer { expr: swc_ecma_ast::JSXExpr::Expr(Box::new(swc_ecma_ast::Expr::Lit( swc_ecma_ast::Lit::Str(swc_ecma_ast::Str { value: text.value.clone().into(), span: position_to_span(node.position()), raw: None, }), ))), span: position_to_span(node.position()), }, )) } } /// Create an element. /// /// Creates a void one if there are no children. fn create_element( name: &str, attrs: Vec, children: Vec, node: &hast::Node, ) -> Box { Box::new(swc_ecma_ast::JSXElement { opening: swc_ecma_ast::JSXOpeningElement { name: create_jsx_name(name), attrs, self_closing: children.is_empty(), type_args: None, span: swc_common::DUMMY_SP, }, closing: if children.is_empty() { None } else { Some(swc_ecma_ast::JSXClosingElement { name: create_jsx_name(name), span: swc_common::DUMMY_SP, }) }, children, span: position_to_span(node.position()), }) } /// Create a fragment. fn create_fragment( children: Vec, node: &hast::Node, ) -> swc_ecma_ast::JSXFragment { swc_ecma_ast::JSXFragment { opening: swc_ecma_ast::JSXOpeningFragment { span: swc_common::DUMMY_SP, }, closing: swc_ecma_ast::JSXClosingFragment { span: swc_common::DUMMY_SP, }, children, span: position_to_span(node.position()), } } /// Create a JSX element name. fn create_jsx_name(name: &str) -> swc_ecma_ast::JSXElementName { match parse_jsx_name(name) { // `` // `` JsxName::Member(parts) => { // Always two or more items. let mut member = swc_ecma_ast::JSXMemberExpr { obj: swc_ecma_ast::JSXObject::Ident(create_ident(parts[0])), prop: create_ident(parts[1]), }; let mut index = 2; while index < parts.len() { member = swc_ecma_ast::JSXMemberExpr { obj: swc_ecma_ast::JSXObject::JSXMemberExpr(Box::new(member)), prop: create_ident(parts[index]), }; index += 1; } swc_ecma_ast::JSXElementName::JSXMemberExpr(member) } // `` JsxName::Namespace(ns, name) => { swc_ecma_ast::JSXElementName::JSXNamespacedName(swc_ecma_ast::JSXNamespacedName { ns: create_ident(ns), name: create_ident(name), }) } // `` JsxName::Normal(name) => swc_ecma_ast::JSXElementName::Ident(create_ident(name)), } } /// Create a JSX attribute name. fn create_jsx_attr_name(name: &str) -> swc_ecma_ast::JSXAttrName { match parse_jsx_name(name) { JsxName::Member(_) => { unreachable!("member expressions in attribute names are not supported") } // `` JsxName::Namespace(ns, name) => { swc_ecma_ast::JSXAttrName::JSXNamespacedName(swc_ecma_ast::JSXNamespacedName { ns: create_ident(ns), name: create_ident(name), }) } // `` JsxName::Normal(name) => swc_ecma_ast::JSXAttrName::Ident(create_ident(name)), } } fn inter_element_whitespace(value: &str) -> bool { let bytes = value.as_bytes(); let mut index = 0; while index < bytes.len() { match bytes[index] { b'\t' | 0x0C | b'\r' | b'\n' | b' ' => {} _ => return false, } index += 1; } true } /// Different kinds of JSX names. enum JsxName<'a> { // `a.b.c` Member(Vec<&'a str>), // `a:b` Namespace(&'a str, &'a str), // `a` Normal(&'a str), } /// Parse a JSX name from a string. fn parse_jsx_name(name: &str) -> JsxName { let bytes = name.as_bytes(); let mut index = 0; let mut start = 0; let mut parts = vec![]; while index < bytes.len() { if bytes[index] == b'.' { parts.push(&name[start..index]); start = index + 1; } index += 1; } // `` if !parts.is_empty() { parts.push(&name[start..]); JsxName::Member(parts) } // `` else if let Some(colon) = bytes.iter().position(|d| matches!(d, b':')) { JsxName::Namespace(&name[0..colon], &name[(colon + 1)..]) } // `` else { JsxName::Normal(name) } } /// Turn a hast property into something that particularly React understands. fn prop_to_attr_name(prop: &str) -> String { // Arbitrary data props, kebab case them. if prop.len() > 4 && prop.starts_with("data") { // Assume like two dashes maybe? let mut result = String::with_capacity(prop.len() + 2); let bytes = prop.as_bytes(); let mut index = 4; let mut start = index; let mut valid = true; result.push_str("data"); while index < bytes.len() { let byte = bytes[index]; let mut dash = index == 4; match byte { b'A'..=b'Z' => dash = true, b'-' | b'.' | b':' | b'0'..=b'9' | b'a'..=b'z' => {} _ => { valid = false; break; } } if dash { if start != index { result.push_str(&prop[start..index]); } result.push('-'); result.push(byte.to_ascii_lowercase().into()); start = index + 1; } index += 1; } if valid { result.push_str(&prop[start..]); return result; } } // Look up if prop differs from attribute case. // Unknown things are passed through. PROP_TO_REACT_PROP .iter() .find(|d| d.0 == prop) .or_else(|| PROP_TO_ATTR_EXCEPTIONS_SHARED.iter().find(|d| d.0 == prop)) .map(|d| d.1.into()) .unwrap_or_else(|| prop.into()) } // Below data is generated with: // // Note: there are currently no HTML and SVG specific exceptions. // If those would start appearing, the logic that uses these lists needs // To support spaces. // // ```js // import * as x from "property-information"; // // /** @type {Record} */ // let shared = {}; // /** @type {Record} */ // let html = {}; // /** @type {Record} */ // let svg = {}; // // Object.keys(x.html.property).forEach((prop) => { // let attr = x.html.property[prop].attribute; // if (!x.html.property[prop].space && prop !== attr) { // html[prop] = attr; // } // }); // // Object.keys(x.svg.property).forEach((prop) => { // let attr = x.svg.property[prop].attribute; // if (!x.svg.property[prop].space && prop !== attr) { // // Shared. // if (prop in html && html[prop] === attr) { // shared[prop] = attr; // delete html[prop]; // } else { // svg[prop] = attr; // } // } // }); // // /** @type {Array<[string, Array<[string, string]>]>} */ // const all = [ // ["PROP_TO_REACT_PROP", Object.entries(x.hastToReact)], // ["PROP_TO_ATTR_EXCEPTIONS", Object.entries(shared)], // ["PROP_TO_ATTR_EXCEPTIONS_HTML", Object.entries(html)], // ["PROP_TO_ATTR_EXCEPTIONS_SVG", Object.entries(svg)], // ]; // // console.log( // all // .map((d) => { // return `const ${d[0]}: [(&str, &str); ${d[1].length}] = [ // ${d[1].map((d) => ` ("${d[0]}", "${d[1]}")`).join(",\n")} // ];`; // }) // .join("\n\n") // ); // ``` const PROP_TO_REACT_PROP: [(&str, &str); 17] = [ ("classId", "classID"), ("dataType", "datatype"), ("itemId", "itemID"), ("strokeDashArray", "strokeDasharray"), ("strokeDashOffset", "strokeDashoffset"), ("strokeLineCap", "strokeLinecap"), ("strokeLineJoin", "strokeLinejoin"), ("strokeMiterLimit", "strokeMiterlimit"), ("typeOf", "typeof"), ("xLinkActuate", "xlinkActuate"), ("xLinkArcRole", "xlinkArcrole"), ("xLinkHref", "xlinkHref"), ("xLinkRole", "xlinkRole"), ("xLinkShow", "xlinkShow"), ("xLinkTitle", "xlinkTitle"), ("xLinkType", "xlinkType"), ("xmlnsXLink", "xmlnsXlink"), ]; const PROP_TO_ATTR_EXCEPTIONS_SHARED: [(&str, &str); 48] = [ ("ariaActiveDescendant", "aria-activedescendant"), ("ariaAtomic", "aria-atomic"), ("ariaAutoComplete", "aria-autocomplete"), ("ariaBusy", "aria-busy"), ("ariaChecked", "aria-checked"), ("ariaColCount", "aria-colcount"), ("ariaColIndex", "aria-colindex"), ("ariaColSpan", "aria-colspan"), ("ariaControls", "aria-controls"), ("ariaCurrent", "aria-current"), ("ariaDescribedBy", "aria-describedby"), ("ariaDetails", "aria-details"), ("ariaDisabled", "aria-disabled"), ("ariaDropEffect", "aria-dropeffect"), ("ariaErrorMessage", "aria-errormessage"), ("ariaExpanded", "aria-expanded"), ("ariaFlowTo", "aria-flowto"), ("ariaGrabbed", "aria-grabbed"), ("ariaHasPopup", "aria-haspopup"), ("ariaHidden", "aria-hidden"), ("ariaInvalid", "aria-invalid"), ("ariaKeyShortcuts", "aria-keyshortcuts"), ("ariaLabel", "aria-label"), ("ariaLabelledBy", "aria-labelledby"), ("ariaLevel", "aria-level"), ("ariaLive", "aria-live"), ("ariaModal", "aria-modal"), ("ariaMultiLine", "aria-multiline"), ("ariaMultiSelectable", "aria-multiselectable"), ("ariaOrientation", "aria-orientation"), ("ariaOwns", "aria-owns"), ("ariaPlaceholder", "aria-placeholder"), ("ariaPosInSet", "aria-posinset"), ("ariaPressed", "aria-pressed"), ("ariaReadOnly", "aria-readonly"), ("ariaRelevant", "aria-relevant"), ("ariaRequired", "aria-required"), ("ariaRoleDescription", "aria-roledescription"), ("ariaRowCount", "aria-rowcount"), ("ariaRowIndex", "aria-rowindex"), ("ariaRowSpan", "aria-rowspan"), ("ariaSelected", "aria-selected"), ("ariaSetSize", "aria-setsize"), ("ariaSort", "aria-sort"), ("ariaValueMax", "aria-valuemax"), ("ariaValueMin", "aria-valuemin"), ("ariaValueNow", "aria-valuenow"), ("ariaValueText", "aria-valuetext"), ];