rust/tests/ui/macros/html-literals.rs

// run-pass

#![allow(non_camel_case_types)]
// A test of the macro system. Can we do HTML literals?

/*

This is an HTML parser written as a macro. It's all CPS, and we have
to carry around a bunch of state. The arguments to macros all look like this:

{ tag_stack* # expr* # tokens }

The stack keeps track of where we are in the tree. The expr is a list
of children of the current node. The tokens are everything that's
left.

*/
use HTMLFragment::{tag, text};

macro_rules! html {
    ( $($body:tt)* ) => (
        parse_node!( []; []; $($body)* )
    )
}

macro_rules! parse_node {
    (
        [:$head:ident ($(:$head_nodes:expr),*)
         $(:$tags:ident ($(:$tag_nodes:expr),*))*];
        [$(:$nodes:expr),*];
        </$tag:ident> $($rest:tt)*
    ) => (
        parse_node!(
            [$(: $tags ($(:$tag_nodes),*))*];
            [$(:$head_nodes,)* :tag(stringify!($head).to_string(),
                                    vec![$($nodes),*])];
            $($rest)*
        )
    );

    (
        [$(:$tags:ident ($(:$tag_nodes:expr),*) )*];
        [$(:$nodes:expr),*];
        <$tag:ident> $($rest:tt)*
    ) => (
        parse_node!(
            [:$tag ($(:$nodes)*) $(: $tags ($(:$tag_nodes),*) )*];
            [];
            $($rest)*
        )
    );

    (
        [$(:$tags:ident ($(:$tag_nodes:expr),*) )*];
        [$(:$nodes:expr),*];
        . $($rest:tt)*
    ) => (
        parse_node!(
            [$(: $tags ($(:$tag_nodes),*))*];
            [$(:$nodes,)* :text(".".to_string())];
            $($rest)*
        )
    );

    (
        [$(:$tags:ident ($(:$tag_nodes:expr),*) )*];
        [$(:$nodes:expr),*];
        $word:ident $($rest:tt)*
    ) => (
        parse_node!(
            [$(: $tags ($(:$tag_nodes),*))*];
            [$(:$nodes,)* :text(stringify!($word).to_string())];
            $($rest)*
        )
    );

    ( []; [:$e:expr]; ) => ( $e );
}

pub fn main() {
    let _page = html! (
        <html>
            <head><title>This is the title.</title></head>
            <body>
            <p>This is some text</p>
            </body>
        </html>
    );
}

#[allow(unused_tuple_struct_fields)]
enum HTMLFragment {
    tag(String, Vec<HTMLFragment> ),
    text(String),
}
tests: Add missing run-pass annotations 2019-07-26 21:54:25 +00:00			`// run-pass`

Allow various lints as part of ui-ifying `src/test/run-pass` suite. 2018-09-14 10:20:28 +00:00			`#![allow(non_camel_case_types)]`
An attempt at a macro to support HTML literals 2012-08-09 23:48:31 +00:00			`// A test of the macro system. Can we do HTML literals?`

A better HTML parser. 2012-08-10 18:48:09 +00:00			`/*`

			`This is an HTML parser written as a macro. It's all CPS, and we have`
			`to carry around a bunch of state. The arguments to macros all look like this:`

			`{ tag_stack* # expr* # tokens }`

			`The stack keeps track of where we are in the tree. The expr is a list`
			`of children of the current node. The tokens are everything that's`
			`left.`

			`*/`
Switch to purely namespaced enums This breaks code that referred to variant names in the same namespace as their enum. Reexport the variants in the old location or alter code to refer to the new locations: ``` pub enum Foo { A, B } fn main() { let a = A; } ``` => ``` pub use self::Foo::{A, B}; pub enum Foo { A, B } fn main() { let a = A; } ``` or ``` pub enum Foo { A, B } fn main() { let a = Foo::A; } ``` [breaking-change] 2014-11-06 08:05:53 +00:00			`use HTMLFragment::{tag, text};`
An attempt at a macro to support HTML literals 2012-08-09 23:48:31 +00:00
Modernize macro_rules! invocations macro_rules! is like an item that defines a macro. Other items don't have a trailing semicolon, or use a paren-delimited body. If there's an argument for matching the invocation syntax, e.g. parentheses for an expr macro, then I think that applies more strongly to the inner delimiters on the LHS, wrapping the individual argument patterns. 2015-01-02 22:44:21 +00:00			`macro_rules! html {`
Eliminate some extraneous curly brackets inside invocations of `macro_rules!`. 2012-08-23 01:06:54 +00:00			`( $($body:tt)* ) => (`
A better HTML parser. 2012-08-10 18:48:09 +00:00			`parse_node!( []; []; $($body)* )`
			`)`
Modernize macro_rules! invocations macro_rules! is like an item that defines a macro. Other items don't have a trailing semicolon, or use a paren-delimited body. If there's an argument for matching the invocation syntax, e.g. parentheses for an expr macro, then I think that applies more strongly to the inner delimiters on the LHS, wrapping the individual argument patterns. 2015-01-02 22:44:21 +00:00			`}`
An attempt at a macro to support HTML literals 2012-08-09 23:48:31 +00:00
Modernize macro_rules! invocations macro_rules! is like an item that defines a macro. Other items don't have a trailing semicolon, or use a paren-delimited body. If there's an argument for matching the invocation syntax, e.g. parentheses for an expr macro, then I think that applies more strongly to the inner delimiters on the LHS, wrapping the individual argument patterns. 2015-01-02 22:44:21 +00:00			`macro_rules! parse_node {`
Eliminate some extraneous curly brackets inside invocations of `macro_rules!`. 2012-08-23 01:06:54 +00:00			`(`
A better HTML parser. 2012-08-10 18:48:09 +00:00			`[:$head:ident ($(:$head_nodes:expr),*)`
			`$(:$tags:ident ($(:$tag_nodes:expr),))];`
			`[$(:$nodes:expr),*];`
			`</$tag:ident> $($rest:tt)*`
Eliminate some extraneous curly brackets inside invocations of `macro_rules!`. 2012-08-23 01:06:54 +00:00			`) => (`
A better HTML parser. 2012-08-10 18:48:09 +00:00			`parse_node!(`
			`[$(: $tags ($(:$tag_nodes),))];`
std: Rename strbuf operations to string [breaking-change] 2014-05-25 10:17:19 +00:00			`[$(:$head_nodes,)* :tag(stringify!($head).to_string(),`
Changed most vec! invocations to use square braces Most of the Rust community agrees that the vec! macro is clearer when called using square brackets [] instead of regular brackets (). Most of these ocurrences are from before macros allowed using different types of brackets. There is one left unchanged in a pretty-print test, as the pretty printer still wants it to have regular brackets. 2016-10-29 21:54:04 +00:00			`vec![$($nodes),*])];`
A better HTML parser. 2012-08-10 18:48:09 +00:00			`$($rest)*`
			`)`
			`);`
An attempt at a macro to support HTML literals 2012-08-09 23:48:31 +00:00
Eliminate some extraneous curly brackets inside invocations of `macro_rules!`. 2012-08-23 01:06:54 +00:00			`(`
A better HTML parser. 2012-08-10 18:48:09 +00:00			`[$(:$tags:ident ($(:$tag_nodes:expr),) )];`
			`[$(:$nodes:expr),*];`
			`<$tag:ident> $($rest:tt)*`
Eliminate some extraneous curly brackets inside invocations of `macro_rules!`. 2012-08-23 01:06:54 +00:00			`) => (`
A better HTML parser. 2012-08-10 18:48:09 +00:00			`parse_node!(`
			`[:$tag ($(:$nodes)) $(: $tags ($(:$tag_nodes),) )*];`
			`[];`
			`$($rest)*`
			`)`
			`);`
An attempt at a macro to support HTML literals 2012-08-09 23:48:31 +00:00
Eliminate some extraneous curly brackets inside invocations of `macro_rules!`. 2012-08-23 01:06:54 +00:00			`(`
A better HTML parser. 2012-08-10 18:48:09 +00:00			`[$(:$tags:ident ($(:$tag_nodes:expr),) )];`
			`[$(:$nodes:expr),*];`
			`. $($rest:tt)*`
Eliminate some extraneous curly brackets inside invocations of `macro_rules!`. 2012-08-23 01:06:54 +00:00			`) => (`
A better HTML parser. 2012-08-10 18:48:09 +00:00			`parse_node!(`
			`[$(: $tags ($(:$tag_nodes),))];`
std: Rename strbuf operations to string [breaking-change] 2014-05-25 10:17:19 +00:00			`[$(:$nodes,)* :text(".".to_string())];`
A better HTML parser. 2012-08-10 18:48:09 +00:00			`$($rest)*`
			`)`
			`);`
An attempt at a macro to support HTML literals 2012-08-09 23:48:31 +00:00
Eliminate some extraneous curly brackets inside invocations of `macro_rules!`. 2012-08-23 01:06:54 +00:00			`(`
A better HTML parser. 2012-08-10 18:48:09 +00:00			`[$(:$tags:ident ($(:$tag_nodes:expr),) )];`
			`[$(:$nodes:expr),*];`
			`$word:ident $($rest:tt)*`
Eliminate some extraneous curly brackets inside invocations of `macro_rules!`. 2012-08-23 01:06:54 +00:00			`) => (`
A better HTML parser. 2012-08-10 18:48:09 +00:00			`parse_node!(`
			`[$(: $tags ($(:$tag_nodes),))];`
std: Rename strbuf operations to string [breaking-change] 2014-05-25 10:17:19 +00:00			`[$(:$nodes,)* :text(stringify!($word).to_string())];`
A better HTML parser. 2012-08-10 18:48:09 +00:00			`$($rest)*`
			`)`
			`);`
An attempt at a macro to support HTML literals 2012-08-09 23:48:31 +00:00
Eliminate some extraneous curly brackets inside invocations of `macro_rules!`. 2012-08-23 01:06:54 +00:00			`( []; [:$e:expr]; ) => ( $e );`
Modernize macro_rules! invocations macro_rules! is like an item that defines a macro. Other items don't have a trailing semicolon, or use a paren-delimited body. If there's an argument for matching the invocation syntax, e.g. parentheses for an expr macro, then I think that applies more strongly to the inner delimiters on the LHS, wrapping the individual argument patterns. 2015-01-02 22:44:21 +00:00			`}`
An attempt at a macro to support HTML literals 2012-08-09 23:48:31 +00:00
check-fast fallout from removing export, r=burningtree 2013-02-02 03:43:17 +00:00			`pub fn main() {`
Fix warnings it tests 2013-08-17 15:37:42 +00:00			`let _page = html! (`
An attempt at a macro to support HTML literals 2012-08-09 23:48:31 +00:00			`<html>`
			`<head><title>This is the title.</title></head>`
			`<body>`
			`<p>This is some text</p>`
			`</body>`
			`</html>`
`m1!{...}` -> `m1!(...)` 2012-08-23 00:24:52 +00:00			`);`
An attempt at a macro to support HTML literals 2012-08-09 23:48:31 +00:00			`}`

Warn about dead tuple struct fields 2022-07-25 20:36:03 +00:00			`#[allow(unused_tuple_struct_fields)]`
A better HTML parser. 2012-08-10 18:48:09 +00:00			`enum HTMLFragment {`
core: rename strbuf::StrBuf to string::String [breaking-change] 2014-05-22 23:57:53 +00:00			`tag(String, Vec<HTMLFragment> ),`
			`text(String),`
An attempt at a macro to support HTML literals 2012-08-09 23:48:31 +00:00			`}`