#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

43.24

/stdlib/Markdown/src/render/terminal/render.jl

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

include("formatting.jl")

cols(io) = displaysize(io)[2]

function term(io::IO, content::Vector, cols)
    isempty(content) && return
    for md in content[1:end-1]
        term(io, md, cols)
        print(io, '\n', '\n')
    end
    term(io, content[end], cols)
end

term(io::IO, md::MD, columns = cols(io)) = term(io, md.content, columns)

function term(io::IO, md::Paragraph, columns)
    print(io, ' '^margin)
    print_wrapped(io, width = columns-2margin, pre = ' '^margin) do io
        terminline(io, md.content)
    end
end

function term(io::IO, md::BlockQuote, columns)
    s = sprint(term, md.content, columns - 10; context=io)
    lines = split(rstrip(s), '\n')
    print(io, ' '^margin, '│', lines[1])
    for i = 2:length(lines)
        print(io, '\n', ' '^margin, '│', lines[i])
    end
end

function term(io::IO, md::Admonition, columns)
    col = :default
    # If the types below are modified, the page manual/documentation.md must be updated accordingly.
    if md.category == "danger"
        col = Base.error_color()
    elseif md.category == "warning"
        col = Base.warn_color()
    elseif md.category in ("info", "note")
        col = Base.info_color()
    elseif md.category == "tip"
        col = :green
    end
    printstyled(io, ' '^margin, "│ "; color=col, bold=true)
    printstyled(io, isempty(md.title) ? md.category : md.title; color=col, bold=true)
    printstyled(io, '\n', ' '^margin, '│', '\n'; color=col, bold=true)
    s = sprint(term, md.content, columns - 10; context=io)
    lines = split(rstrip(s), '\n')
    for i in eachindex(lines)
        printstyled(io, ' '^margin, '│'; color=col, bold=true)
        print(io, lines[i])
        i < lastindex(lines) && println(io)
    end
end

function term(io::IO, f::Footnote, columns)
    print(io, ' '^margin, "│ ")
    printstyled(io, "[^$(f.id)]", bold=true)
    println(io, '\n', ' '^margin, '│')
    s = sprint(term, f.text, columns - 10; context=io)
    lines = split(rstrip(s), '\n')
    for i in eachindex(lines)
        print(io, ' '^margin, '│', lines[i])
        i < lastindex(lines) && println(io)
    end
end

function term(io::IO, md::List, columns)
    for (i, point) in enumerate(md.items)
        print(io, ' '^2margin, isordered(md) ? "$(i + md.ordered - 1). " : "•  ")
        print_wrapped(io, width = columns-(4margin+2), pre = ' '^(2margin+3),
                          i = 2margin+2) do io
            term(io, point, columns - 10)
        end
        i < lastindex(md.items) && print(io, '\n', '\n')
    end
end

function _term_header(io::IO, md, char, columns)
    text = terminline_string(io, md.text)
    with_output_color(:bold, io) do io
        pre = ' '^margin
        print(io, pre)
        line_no, lastline_width = print_wrapped(io, text,
                                                width=columns - 4margin; pre)
        line_width = min(lastline_width, columns)
        if line_no > 1
            line_width = max(line_width, div(columns, 3)+length(pre))
        end
        header_width = max(0, line_width-length(pre))
        char != ' ' && header_width > 0 && print(io, '\n', ' '^(margin), char^header_width)
    end
end

const _header_underlines = collect("≡=–-⋅ ")
# TODO settle on another option with unicode e.g. "≡=≃–∼⋅" ?

function term(io::IO, md::Header{l}, columns) where l
    underline = _header_underlines[l]
    _term_header(io, md, underline, columns)
end

function term(io::IO, md::Code, columns)
    with_output_color(:cyan, io) do io
        L = lines(md.code)
        for i in eachindex(L)
            print(io, ' '^margin, L[i])
            i < lastindex(L) && println(io)
        end
    end
end

function term(io::IO, tex::LaTeX, columns)
    printstyled(io, ' '^margin, tex.formula, color=:magenta)
end

term(io::IO, br::LineBreak, columns) = nothing # line breaks already printed between subsequent elements

function term(io::IO, br::HorizontalRule, columns)
   print(io, ' '^margin, '─'^(columns - 2margin))
end

term(io::IO, x, _) = show(io, MIME"text/plain"(), x)

# Inline Content

terminline_string(io::IO, md) = sprint(terminline, md; context=io)

terminline(io::IO, content...) = terminline(io, collect(content))

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

function terminline(io::IO, md::AbstractString)
    print(io, replace(md, r"[\s\t\n]+" => ' '))
end

function terminline(io::IO, md::Bold)
    with_output_color(terminline, :bold, io, md.text)
end

function terminline(io::IO, md::Italic)
    with_output_color(terminline, :underline, io, md.text)
end

function terminline(io::IO, md::LineBreak)
    println(io)
end

function terminline(io::IO, md::Image)
    terminline(io, "(Image: $(md.alt))")
end

terminline(io::IO, f::Footnote) = with_output_color(terminline, :bold, io, "[^$(f.id)]")

function terminline(io::IO, md::Link)
    url = !Base.startswith(md.url, "@ref") ? " ($(md.url))" : ""
    text = terminline_string(io, md.text)
    terminline(io, text, url)
end

function terminline(io::IO, code::Code)
    printstyled(io, code.code, color=:cyan)
end

function terminline(io::IO, tex::LaTeX)
    printstyled(io, tex.formula, color=:magenta)
end

terminline(io::IO, x) = show(io, MIME"text/plain"(), x)

# Show in terminal
Base.show(io::IO, ::MIME"text/plain", md::MD) = (term(io, md); nothing)

1	# This file is a part of Julia. License is MIT: https://julialang.org/license
2
3	include("formatting.jl")
4
5	cols(io) = displaysize(io)[2]	3✔
6
7	function term(io::IO, content::Vector, cols)	8✔
8	isempty(content) && return	8✔
9	for md in content[1:end-1]	8✔
10	term(io, md, cols)	14✔
11	print(io, '\n', '\n')	14✔
12	end	14✔
13	term(io, content[end], cols)	8✔
14	end
15
16	term(io::IO, md::MD, columns = cols(io)) = term(io, md.content, columns)	11✔
17
18	function term(io::IO, md::Paragraph, columns)	13✔
19	print(io, ' '^margin)	13✔
20	print_wrapped(io, width = columns-2margin, pre = ' '^margin) do io	13✔
21	terminline(io, md.content)	13✔
22	end
23	end
24
UNCOV 25	function term(io::IO, md::BlockQuote, columns)	×
UNCOV 26	s = sprint(term, md.content, columns - 10; context=io)	×
UNCOV 27	lines = split(rstrip(s), '\n')	×
UNCOV 28	print(io, ' '^margin, '│', lines[1])	×
UNCOV 29	for i = 2:length(lines)	×
30	print(io, '\n', ' '^margin, '│', lines[i])	×
31	end	×
32	end
33
UNCOV 34	function term(io::IO, md::Admonition, columns)	×
UNCOV 35	col = :default	×
36	# If the types below are modified, the page manual/documentation.md must be updated accordingly.
UNCOV 37	if md.category == "danger"	×
38	col = Base.error_color()	×
UNCOV 39	elseif md.category == "warning"	×
40	col = Base.warn_color()	×
UNCOV 41	elseif md.category in ("info", "note")	×
UNCOV 42	col = Base.info_color()	×
43	elseif md.category == "tip"	×
44	col = :green	×
45	end
UNCOV 46	printstyled(io, ' '^margin, "│ "; color=col, bold=true)	×
UNCOV 47	printstyled(io, isempty(md.title) ? md.category : md.title; color=col, bold=true)	×
UNCOV 48	printstyled(io, '\n', ' '^margin, '│', '\n'; color=col, bold=true)	×
UNCOV 49	s = sprint(term, md.content, columns - 10; context=io)	×
UNCOV 50	lines = split(rstrip(s), '\n')	×
UNCOV 51	for i in eachindex(lines)	×
UNCOV 52	printstyled(io, ' '^margin, '│'; color=col, bold=true)	×
UNCOV 53	print(io, lines[i])	×
UNCOV 54	i < lastindex(lines) && println(io)	×
UNCOV 55	end	×
56	end
57
58	function term(io::IO, f::Footnote, columns)	×
59	print(io, ' '^margin, "│ ")	×
60	printstyled(io, "[^$(f.id)]", bold=true)	×
61	println(io, '\n', ' '^margin, '│')	×
62	s = sprint(term, f.text, columns - 10; context=io)	×
63	lines = split(rstrip(s), '\n')	×
64	for i in eachindex(lines)	×
65	print(io, ' '^margin, '│', lines[i])	×
66	i < lastindex(lines) && println(io)	×
67	end	×
68	end
69
UNCOV 70	function term(io::IO, md::List, columns)	×
UNCOV 71	for (i, point) in enumerate(md.items)	×
UNCOV 72	print(io, ' '^2margin, isordered(md) ? "$(i + md.ordered - 1). " : "• ")	×
UNCOV 73	print_wrapped(io, width = columns-(4margin+2), pre = ' '^(2margin+3),	×
74	i = 2margin+2) do io
UNCOV 75	term(io, point, columns - 10)	×
76	end
UNCOV 77	i < lastindex(md.items) && print(io, '\n', '\n')	×
UNCOV 78	end	×
79	end
80
81	function _term_header(io::IO, md, char, columns)	1✔
82	text = terminline_string(io, md.text)	1✔
83	with_output_color(:bold, io) do io	1✔
84	pre = ' '^margin	1✔
85	print(io, pre)	1✔
86	line_no, lastline_width = print_wrapped(io, text,	1✔
87	width=columns - 4margin; pre)
88	line_width = min(lastline_width, columns)	1✔
89	if line_no > 1	1✔
90	line_width = max(line_width, div(columns, 3)+length(pre))	×
91	end
92	header_width = max(0, line_width-length(pre))	1✔
93	char != ' ' && header_width > 0 && print(io, '\n', ' '^(margin), char^header_width)	1✔
94	end
95	end
96
97	const _header_underlines = collect("≡=–-⋅ ")
98	# TODO settle on another option with unicode e.g. "≡=≃–∼⋅" ?
99
100	function term(io::IO, md::Header{l}, columns) where l	1✔
101	underline = _header_underlines[l]	1✔
102	_term_header(io, md, underline, columns)	1✔
103	end
104
105	function term(io::IO, md::Code, columns)	3✔
106	with_output_color(:cyan, io) do io	3✔
107	L = lines(md.code)	3✔
108	for i in eachindex(L)	3✔
109	print(io, ' '^margin, L[i])	57✔
110	i < lastindex(L) && println(io)	57✔
111	end	57✔
112	end
113	end
114
UNCOV 115	function term(io::IO, tex::LaTeX, columns)	×
UNCOV 116	printstyled(io, ' '^margin, tex.formula, color=:magenta)	×
117	end
118
119	term(io::IO, br::LineBreak, columns) = nothing # line breaks already printed between subsequent elements	×
120
121	function term(io::IO, br::HorizontalRule, columns)	×
122	print(io, ' '^margin, '─'^(columns - 2margin))	×
123	end
124
UNCOV 125	term(io::IO, x, _) = show(io, MIME"text/plain"(), x)	×
126
127	# Inline Content
128
129	terminline_string(io::IO, md) = sprint(terminline, md; context=io)	10✔
130
131	terminline(io::IO, content...) = terminline(io, collect(content))	9✔
132
133	function terminline(io::IO, content::Vector)	23✔
134	for md in content	32✔
135	terminline(io, md)	93✔
136	end	93✔
137	end
138
139	function terminline(io::IO, md::AbstractString)	39✔
140	print(io, replace(md, r"[\s\t\n]+" => ' '))	57✔
141	end
142
UNCOV 143	function terminline(io::IO, md::Bold)	×
UNCOV 144	with_output_color(terminline, :bold, io, md.text)	×
145	end
146
UNCOV 147	function terminline(io::IO, md::Italic)	×
UNCOV 148	with_output_color(terminline, :underline, io, md.text)	×
149	end
150
UNCOV 151	function terminline(io::IO, md::LineBreak)	×
UNCOV 152	println(io)	×
153	end
154
UNCOV 155	function terminline(io::IO, md::Image)	×
UNCOV 156	terminline(io, "(Image: $(md.alt))")	×
157	end
158
159	terminline(io::IO, f::Footnote) = with_output_color(terminline, :bold, io, "[^$(f.id)]")	×
160
161	function terminline(io::IO, md::Link)	9✔
162	url = !Base.startswith(md.url, "@ref") ? " ($(md.url))" : ""	9✔
163	text = terminline_string(io, md.text)	9✔
164	terminline(io, text, url)	9✔
165	end
166
167	function terminline(io::IO, code::Code)	27✔
168	printstyled(io, code.code, color=:cyan)	27✔
169	end
170
171	function terminline(io::IO, tex::LaTeX)	×
172	printstyled(io, tex.formula, color=:magenta)	×
173	end
174
UNCOV 175	terminline(io::IO, x) = show(io, MIME"text/plain"(), x)	×
176
177	# Show in terminal
178	Base.show(io::IO, ::MIME"text/plain", md::MD) = (term(io, md); nothing)	3✔

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