vize_l1 0.615.0

//! Markup profiles: the host rules a markup grammar is read under.
//!
//! Every difference between an HTML document (in-DOM template) and an SFC
//! template is one associated constant here, so the list lives in one place
//! and each branch folds away under static dispatch. The lexer reads
//! [`Profile::TOLERATE_DECLARATIONS`] and folds special opening-tag names
//! under [`Profile::FOLD_NAME_CASE`]. The Document HTML structure builder
//! reads the name, self-closing, implied-end, select and table rules.

/// Which profile a generic function was instantiated with.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum ProfileKind {
    Document,
    Component,
}

/// Host rules for one markup profile. Implemented by zero-sized markers only.
pub trait Profile: Copy + Default + 'static {
    const KIND: ProfileKind;
    /// `<!DOCTYPE …>` and other top-level declarations are skipped silently
    /// instead of reporting `IncorrectlyOpenedComment`.
    const TOLERATE_DECLARATIONS: bool;
    /// Element names compare ASCII-case-insensitively (`<MyComp>` is
    /// `<mycomp>` once the browser has parsed the document).
    const FOLD_NAME_CASE: bool;
    /// `<x />` closes any element; otherwise only void and foreign elements.
    const SELF_CLOSING_ANY_ELEMENT: bool;
    /// HTML implied end tags (`<p>` closed by a block, `<li>` by `<li>`).
    const IMPLIED_END_TAGS: bool;
    /// HTML select/option/optgroup stack rules, rather than authored nesting.
    /// Existing custom profiles keep authored nesting unless they opt in.
    const SELECT_CONTENT_MODEL: bool = false;
    /// The table content model (foster parenting, `is="vue:…"` workarounds).
    const TABLE_CONTENT_MODEL: bool;
}

/// HTML documents and in-DOM templates (petite-vue, standalone HTML).
#[derive(Debug, Clone, Copy, Default, PartialEq, Eq)]
pub struct Document;

/// SFC `<template>` content, the default Vue compile path.
#[derive(Debug, Clone, Copy, Default, PartialEq, Eq)]
pub struct Component;

impl Profile for Document {
    const KIND: ProfileKind = ProfileKind::Document;
    const TOLERATE_DECLARATIONS: bool = true;
    const FOLD_NAME_CASE: bool = true;
    const SELF_CLOSING_ANY_ELEMENT: bool = false;
    const IMPLIED_END_TAGS: bool = true;
    const SELECT_CONTENT_MODEL: bool = true;
    const TABLE_CONTENT_MODEL: bool = true;
}

impl Profile for Component {
    const KIND: ProfileKind = ProfileKind::Component;
    const TOLERATE_DECLARATIONS: bool = false;
    const FOLD_NAME_CASE: bool = false;
    const SELF_CLOSING_ANY_ELEMENT: bool = true;
    const IMPLIED_END_TAGS: bool = false;
    const SELECT_CONTENT_MODEL: bool = false;
    const TABLE_CONTENT_MODEL: bool = false;
}

#[cfg(test)]
mod tests {
    use super::{Component, Document, Profile, ProfileKind};

    #[derive(Clone, Copy, Default)]
    struct ExistingProfile;

    impl Profile for ExistingProfile {
        const KIND: ProfileKind = ProfileKind::Component;
        const TOLERATE_DECLARATIONS: bool = false;
        const FOLD_NAME_CASE: bool = false;
        const SELF_CLOSING_ANY_ELEMENT: bool = true;
        const IMPLIED_END_TAGS: bool = false;
        const TABLE_CONTENT_MODEL: bool = false;
    }

    #[test]
    fn existing_profile_implementations_need_no_new_required_constant() {
        assert_eq!(
            (
                ExistingProfile::SELECT_CONTENT_MODEL,
                Component::SELECT_CONTENT_MODEL,
                Document::SELECT_CONTENT_MODEL,
            ),
            (false, false, true)
        );
    }
}