use crate::err::ProcessingResult; use crate::proc::{Processor, ProcessorRange}; use crate::spec::codepoint::is_whitespace; use crate::spec::tag::content::CONTENT_TAGS; use crate::spec::tag::contentfirst::CONTENT_FIRST_TAGS; use crate::spec::tag::formatting::FORMATTING_TAGS; use crate::spec::tag::wss::WSS_TAGS; use crate::unit::bang::process_bang; use crate::unit::comment::process_comment; use crate::unit::entity::{EntityType, parse_entity}; use crate::unit::tag::process_tag; #[derive(Copy, Clone, PartialEq, Eq)] enum ContentType { Comment, Bang, OpeningTag, Start, End, Entity, Whitespace, Text, } impl ContentType { fn is_comment_bang_opening_tag(&self) -> bool { match self { ContentType::Comment | ContentType::Bang | ContentType::OpeningTag => true, _ => false, } } fn peek(proc: &mut Processor) -> ContentType { // Manually write out matching for fast performance as this is hot spot; don't use generated trie. match proc.peek_offset_eof(0) { None => ContentType::End, Some(b'<') => match proc.peek_offset_eof(1) { Some(b'/') => ContentType::End, Some(b'!') => match proc.peek_slice_offset_eof(2, 2) { Some(b"--") => ContentType::Comment, _ => ContentType::Bang, }, _ => ContentType::OpeningTag }, Some(b'&') => ContentType::Entity, Some(c) => if is_whitespace(c) { ContentType::Whitespace } else { ContentType::Text }, } } } macro_rules! handle_content_type { ($proc:ident, $content_type: expr, $on_entity: block, $on_whitespace: block) => { // Process and consume next character(s). match $content_type { ContentType::Comment => { process_comment($proc)?; } ContentType::Bang => { process_bang($proc)?; } ContentType::OpeningTag => { process_tag($proc)?; } ContentType::End => { break; } ContentType::Entity => $on_entity, ContentType::Text => { $proc.accept()?; } ContentType::Whitespace => $on_whitespace, _ => unreachable!(), } }; } fn process_wss_content(proc: &mut Processor) -> ProcessingResult<()> { loop { handle_content_type!(proc, ContentType::peek(proc), { parse_entity(proc, false)?.keep(proc); }, { proc.accept()?; }); }; Ok(()) } pub fn process_content(proc: &mut Processor, parent: Option) -> ProcessingResult<()> { let collapse_whitespace = match parent { Some(tag_name) => !WSS_TAGS.contains(&proc[tag_name]), // Should collapse whitespace for root content. None => true, }; let destroy_whole_whitespace = match parent { Some(tag_name) => !WSS_TAGS.contains(&proc[tag_name]) && !CONTENT_TAGS.contains(&proc[tag_name]) && !CONTENT_FIRST_TAGS.contains(&proc[tag_name]) && !FORMATTING_TAGS.contains(&proc[tag_name]), // Should destroy whole whitespace for root content. None => true, }; let trim_whitespace = match parent { Some(tag_name) => !WSS_TAGS.contains(&proc[tag_name]) && !FORMATTING_TAGS.contains(&proc[tag_name]), // Should trim whitespace for root content. None => true, }; if !(collapse_whitespace || destroy_whole_whitespace || trim_whitespace) { // Normally whitespace entities are decoded and then ignored. // However, if whitespace cannot be minified in any way, // and we can't actually do anything but write whitespace as is, // we would have to simply write skipped whitespace. This would cause // issues when skipped whitespace includes encoded entities, so use // function that does no whitespace handling. It's probably faster too. return process_wss_content(proc); }; let mut last_non_whitespace_content_type = ContentType::Start; // Whether or not currently in whitespace. let mut currently_in_whitespace = false; let mut entity: Option = None; loop { let next_content_type = match ContentType::peek(proc) { ContentType::Entity => { // Entity could decode to whitespace. entity = Some(parse_entity(proc, false)?); let ws = match entity { Some(EntityType::Ascii(c)) => is_whitespace(c), _ => false, }; if ws { // Skip whitespace char, and mark as whitespace. ContentType::Whitespace } else { // Not whitespace, but don't write yet until any previously ignored whitespace has been processed later. ContentType::Entity } } ContentType::Whitespace => { // Whitespace is always ignored and then processed afterwards, even if not minifying. proc.skip_expect(); ContentType::Whitespace } other_type => other_type, }; if next_content_type == ContentType::Whitespace { if !currently_in_whitespace { // This is the start of one or more whitespace characters. currently_in_whitespace = true; } else { // This is part of a contiguous whitespace, but not the start of, so simply ignore. } continue; } // Next character is not whitespace, so handle any previously ignored whitespace. if currently_in_whitespace { if destroy_whole_whitespace && last_non_whitespace_content_type.is_comment_bang_opening_tag() && next_content_type.is_comment_bang_opening_tag() { // Whitespace is between two tags, comments, or bangs. // destroy_whole_whitespace is on, so don't write it. } else if trim_whitespace && (last_non_whitespace_content_type == ContentType::Start || next_content_type == ContentType::End) { // Whitespace is leading or trailing. // trim_whitespace is on, so don't write it. } else if collapse_whitespace { // Current contiguous whitespace needs to be reduced to a single space character. proc.write(b' '); } else { unreachable!(); }; // Reset whitespace marker. currently_in_whitespace = false; }; // Process and consume next character(s). handle_content_type!(proc, next_content_type, { entity.unwrap().keep(proc); }, { unreachable!(); }); last_non_whitespace_content_type = next_content_type; }; Ok(()) }