#37762

Committed 28 Apr 2024 07:31AM UTC coverage: 86.373% (-1.1%) from 87.431%

Build # #37762

Build Type

push

local

Committed by

web-flow

Commit Message

infer_effects: add `optimize::Bool` optional argument (#54241)

`optimize=false` would be useful for testing effects refinements with
post-optimization analysis.

Run Details

1 of 1 new or added line in 1 file covered. (100.0%)

947 existing lines in 40 files now uncovered.

75087 of 86933 relevant lines covered (86.37%)

14939860.08 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

60.2

/stdlib/Markdown/src/render/html.jl

# This file is a part of Julia. License is MIT: https://julialang.org/license

include("rich.jl")

# Utils

function withtag(f, io::IO, tag, attrs...)
    print(io, "<$tag")
    for (attr, value) in attrs
        print(io, " ")
        htmlesc(io, attr)
        print(io, "=\"")
        htmlesc(io, value)
        print(io, "\"")
    end
    f === nothing && return print(io, " />")

    print(io, ">")
    f()
    print(io, "</$tag>")
end

tag(io::IO, tag, attrs...) = withtag(nothing, io, tag, attrs...)

const _htmlescape_chars = Dict('<'=>"&lt;",   '>'=>"&gt;",
                               '"'=>"&quot;", '&'=>"&amp;",
                               # ' '=>"&nbsp;",
                               )
for ch in "'`!\$%()=+{}[]"
    _htmlescape_chars[ch] = "&#$(Int(ch));"
end

function htmlesc(io::IO, s::AbstractString)
    # s1 = replace(s, r"&(?!(\w+|\#\d+);)" => "&amp;")
    for ch in s
        print(io, get(_htmlescape_chars, ch, ch))
    end
end
function htmlesc(io::IO, s::Symbol)
    htmlesc(io, string(s))
end
function htmlesc(io::IO, xs::Union{AbstractString,Symbol}...)
    for s in xs
        htmlesc(io, s)
    end
end
function htmlesc(s::Union{AbstractString,Symbol})
    sprint(htmlesc, s)
end

# Block elements

function html(io::IO, content::Vector)
    for md in content
        html(io, md)
        println(io)
    end
end

html(io::IO, md::MD) = html(io, md.content)

function html(io::IO, header::Header{l}) where l
    withtag(io, "h$l") do
        htmlinline(io, header.text)
    end
end

function html(io::IO, code::Code)
    withtag(io, :pre) do
        maybe_lang = !isempty(code.language) ? Any[:class=>"language-$(code.language)"] : []
        withtag(io, :code, maybe_lang...) do
            htmlesc(io, code.code)
            # TODO should print newline if this is longer than one line ?
        end
    end
end

function html(io::IO, md::Paragraph)
    withtag(io, :p) do
        htmlinline(io, md.content)
    end
end

function html(io::IO, md::BlockQuote)
    withtag(io, :blockquote) do
        println(io)
        html(io, md.content)
    end
end

function html(io::IO, f::Footnote)
    withtag(io, :div, :class => "footnote", :id => "footnote-$(f.id)") do
        withtag(io, :p, :class => "footnote-title") do
            print(io, f.id)
        end
        html(io, f.text)
    end
end

function html(io::IO, md::Admonition)
    withtag(io, :div, :class => "admonition $(md.category)") do
        withtag(io, :p, :class => "admonition-title") do
            print(io, md.title)
        end
        html(io, md.content)
    end
end

function html(io::IO, md::List)
    maybe_attr = md.ordered > 1 ? Any[:start => string(md.ordered)] : []
    withtag(io, isordered(md) ? :ol : :ul, maybe_attr...) do
        for item in md.items
            println(io)
            withtag(io, :li) do
                html(io, item)
            end
        end
        println(io)
    end
end

function html(io::IO, md::HorizontalRule)
    tag(io, :hr)
end

html(io::IO, x) = tohtml(io, x)

# Inline elements

function htmlinline(io::IO, content::Vector)
    for x in content
        htmlinline(io, x)
    end
end

function htmlinline(io::IO, code::Code)
    withtag(io, :code) do
        htmlesc(io, code.code)
    end
end

function htmlinline(io::IO, md::Union{Symbol,AbstractString})
    htmlesc(io, md)
end

function htmlinline(io::IO, md::Bold)
    withtag(io, :strong) do
        htmlinline(io, md.text)
    end
end

function htmlinline(io::IO, md::Italic)
    withtag(io, :em) do
        htmlinline(io, md.text)
    end
end

function htmlinline(io::IO, md::Image)
    tag(io, :img, :src=>md.url, :alt=>md.alt)
end


function htmlinline(io::IO, f::Footnote)
    withtag(io, :a, :href => "#footnote-$(f.id)", :class => "footnote") do
        print(io, "[", f.id, "]")
    end
end

function htmlinline(io::IO, link::Link)
    withtag(io, :a, :href=>link.url) do
        htmlinline(io, link.text)
    end
end

function htmlinline(io::IO, br::LineBreak)
    tag(io, :br)
end

htmlinline(io::IO, x) = tohtml(io, x)

# API

export html

"""
    html([io::IO], md)

Output the contents of the Markdown object `md` in HTML format, either
writing to an (optional) `io` stream or returning a string.

One can alternatively use `show(io, "text/html", md)` or `repr("text/html", md)`, which
differ in that they wrap the output in a `<div class="markdown"> ... </div>` element.

# Examples
```jldoctest
julia> html(md"hello _world_")
"<p>hello <em>world</em></p>\\n"
```
"""
html(md) = sprint(html, md)

function show(io::IO, ::MIME"text/html", md::MD)
    withtag(io, :div, :class=>"markdown") do
        html(io, md)
    end
end

1	# This file is a part of Julia. License is MIT: https://julialang.org/license
2
3	include("rich.jl")
4
5	# Utils
6
7	function withtag(f, io::IO, tag, attrs...)	120✔
8	print(io, "<$tag")	120✔
9	for (attr, value) in attrs	120✔
10	print(io, " ")	24✔
11	htmlesc(io, attr)	24✔
12	print(io, "=\"")	24✔
13	htmlesc(io, value)	24✔
14	print(io, "\"")	24✔
15	end	24✔
16	f === nothing && return print(io, " />")	120✔
17
18	print(io, ">")	120✔
19	f()	128✔
20	print(io, "</$tag>")	120✔
21	end
22
UNCOV 23	tag(io::IO, tag, attrs...) = withtag(nothing, io, tag, attrs...)	×
24
25	const _htmlescape_chars = Dict('<'=>"<", '>'=>">",
26	'"'=>""", '&'=>"&",
27	# ' '=>" ",
28	)
29	for ch in "'`!\$%()=+{}[]"
30	_htmlescape_chars[ch] = "&#$(Int(ch));"
31	end
32
33	function htmlesc(io::IO, s::AbstractString)	168✔
34	# s1 = replace(s, r"&(?!(\w+\|\#\d+);)" => "&")
35	for ch in s	336✔
36	print(io, get(_htmlescape_chars, ch, ch))	3,292✔
37	end	3,182✔
38	end
39	function htmlesc(io::IO, s::Symbol)
40	htmlesc(io, string(s))	24✔
41	end
42	function htmlesc(io::IO, xs::Union{AbstractString,Symbol}...)	×
43	for s in xs	×
44	htmlesc(io, s)	×
45	end	×
46	end
47	function htmlesc(s::Union{AbstractString,Symbol})	×
48	sprint(htmlesc, s)	×
49	end
50
51	# Block elements
52
53	function html(io::IO, content::Vector)	32✔
54	for md in content	32✔
55	html(io, md)	58✔
56	println(io)	58✔
57	end	58✔
58	end
59
60	html(io::IO, md::MD) = html(io, md.content)	30✔
61
62	function html(io::IO, header::Header{l}) where l	16✔
63	withtag(io, "h$l") do	16✔
64	htmlinline(io, header.text)	16✔
65	end
66	end
67
68	function html(io::IO, code::Code)	14✔
69	withtag(io, :pre) do	14✔
70	maybe_lang = !isempty(code.language) ? Any[:class=>"language-$(code.language)"] : []	22✔
71	withtag(io, :code, maybe_lang...) do	14✔
72	htmlesc(io, code.code)	14✔
73	# TODO should print newline if this is longer than one line ?
74	end
75	end
76	end
77
78	function html(io::IO, md::Paragraph)	14✔
79	withtag(io, :p) do	14✔
80	htmlinline(io, md.content)	14✔
81	end
82	end
83
UNCOV 84	function html(io::IO, md::BlockQuote)	×
UNCOV 85	withtag(io, :blockquote) do	×
UNCOV 86	println(io)	×
UNCOV 87	html(io, md.content)	×
88	end
89	end
90
UNCOV 91	function html(io::IO, f::Footnote)	×
UNCOV 92	withtag(io, :div, :class => "footnote", :id => "footnote-$(f.id)") do	×
UNCOV 93	withtag(io, :p, :class => "footnote-title") do	×
UNCOV 94	print(io, f.id)	×
95	end
UNCOV 96	html(io, f.text)	×
97	end
98	end
99
100	function html(io::IO, md::Admonition)	2✔
101	withtag(io, :div, :class => "admonition $(md.category)") do	2✔
102	withtag(io, :p, :class => "admonition-title") do	2✔
103	print(io, md.title)	2✔
104	end
105	html(io, md.content)	2✔
106	end
107	end
108
UNCOV 109	function html(io::IO, md::List)	×
UNCOV 110	maybe_attr = md.ordered > 1 ? Any[:start => string(md.ordered)] : []	×
UNCOV 111	withtag(io, isordered(md) ? :ol : :ul, maybe_attr...) do	×
UNCOV 112	for item in md.items	×
UNCOV 113	println(io)	×
UNCOV 114	withtag(io, :li) do	×
UNCOV 115	html(io, item)	×
116	end
UNCOV 117	end	×
UNCOV 118	println(io)	×
119	end
120	end
121
UNCOV 122	function html(io::IO, md::HorizontalRule)	×
UNCOV 123	tag(io, :hr)	×
124	end
125
UNCOV 126	html(io::IO, x) = tohtml(io, x)	×
127
128	# Inline elements
129
130	function htmlinline(io::IO, content::Vector)	48✔
131	for x in content	48✔
132	htmlinline(io, x)	124✔
133	end	124✔
134	end
135
136	function htmlinline(io::IO, code::Code)	40✔
137	withtag(io, :code) do	40✔
138	htmlesc(io, code.code)	40✔
139	end
140	end
141
142	function htmlinline(io::IO, md::Union{Symbol,AbstractString})	66✔
143	htmlesc(io, md)	66✔
144	end
145
146	function htmlinline(io::IO, md::Bold)	2✔
147	withtag(io, :strong) do	2✔
148	htmlinline(io, md.text)	2✔
149	end
150	end
151
152	function htmlinline(io::IO, md::Italic)	2✔
153	withtag(io, :em) do	2✔
154	htmlinline(io, md.text)	2✔
155	end
156	end
157
158	function htmlinline(io::IO, md::Image)	×
159	tag(io, :img, :src=>md.url, :alt=>md.alt)	×
160	end
161
162
UNCOV 163	function htmlinline(io::IO, f::Footnote)	×
UNCOV 164	withtag(io, :a, :href => "#footnote-$(f.id)", :class => "footnote") do	×
UNCOV 165	print(io, "[", f.id, "]")	×
166	end
167	end
168
169	function htmlinline(io::IO, link::Link)	14✔
170	withtag(io, :a, :href=>link.url) do	14✔
171	htmlinline(io, link.text)	14✔
172	end
173	end
174
UNCOV 175	function htmlinline(io::IO, br::LineBreak)	×
UNCOV 176	tag(io, :br)	×
177	end
178
UNCOV 179	htmlinline(io::IO, x) = tohtml(io, x)	×
180
181	# API
182
183	export html
184
185	"""
186	html([io::IO], md)
187
188	Output the contents of the Markdown object `md` in HTML format, either
189	writing to an (optional) `io` stream or returning a string.
190
191	One can alternatively use `show(io, "text/html", md)` or `repr("text/html", md)`, which
192	differ in that they wrap the output in a `<div class="markdown"> ... </div>` element.
193
194	# Examples
195	```jldoctest
196	julia> html(md"hello _world_")
197	"<p>hello <em>world</em></p>\\n"
198	```
199	"""
200	html(md) = sprint(html, md)	9✔
201
UNCOV 202	function show(io::IO, ::MIME"text/html", md::MD)	×
UNCOV 203	withtag(io, :div, :class=>"markdown") do	×
UNCOV 204	html(io, md)	×
205	end
206	end

JuliaLang / julia / #37762

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous