2020-02-26 16:13:48 -06:00
|
|
|
//! Renders a bit of code as HTML.
|
|
|
|
|
2020-10-24 03:39:57 -05:00
|
|
|
use ide_db::base_db::SourceDatabase;
|
2020-07-29 12:49:10 -05:00
|
|
|
use oorandom::Rand32;
|
2020-08-27 08:02:56 -05:00
|
|
|
use stdx::format_to;
|
2021-01-07 16:39:02 -06:00
|
|
|
use syntax::AstNode;
|
2020-02-26 16:13:48 -06:00
|
|
|
|
2022-08-22 06:38:35 -05:00
|
|
|
use crate::{
|
|
|
|
syntax_highlighting::{highlight, HighlightConfig},
|
|
|
|
FileId, RootDatabase,
|
|
|
|
};
|
2020-02-26 16:13:48 -06:00
|
|
|
|
|
|
|
pub(crate) fn highlight_as_html(db: &RootDatabase, file_id: FileId, rainbow: bool) -> String {
|
|
|
|
let parse = db.parse(file_id);
|
|
|
|
|
|
|
|
fn rainbowify(seed: u64) -> String {
|
2020-07-29 12:49:10 -05:00
|
|
|
let mut rng = Rand32::new(seed);
|
2020-02-26 16:13:48 -06:00
|
|
|
format!(
|
|
|
|
"hsl({h},{s}%,{l}%)",
|
2020-07-29 12:49:10 -05:00
|
|
|
h = rng.rand_range(0..361),
|
|
|
|
s = rng.rand_range(42..99),
|
|
|
|
l = rng.rand_range(40..91),
|
2020-02-26 16:13:48 -06:00
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2022-08-22 06:38:35 -05:00
|
|
|
let hl_ranges = highlight(
|
|
|
|
db,
|
|
|
|
HighlightConfig {
|
|
|
|
strings: true,
|
|
|
|
punctuation: true,
|
|
|
|
specialize_punctuation: true,
|
|
|
|
specialize_operator: true,
|
|
|
|
operator: true,
|
2022-08-22 06:44:07 -05:00
|
|
|
inject_doc_comment: true,
|
2022-08-22 07:09:38 -05:00
|
|
|
macro_bang: true,
|
2022-08-22 06:38:35 -05:00
|
|
|
syntactic_name_ref_highlighting: false,
|
|
|
|
},
|
|
|
|
file_id,
|
|
|
|
None,
|
|
|
|
);
|
2020-04-06 16:00:09 -05:00
|
|
|
let text = parse.tree().syntax().to_string();
|
2020-02-26 16:13:48 -06:00
|
|
|
let mut buf = String::new();
|
2021-06-12 22:54:16 -05:00
|
|
|
buf.push_str(STYLE);
|
2020-02-26 16:13:48 -06:00
|
|
|
buf.push_str("<pre><code>");
|
2021-01-09 06:18:49 -06:00
|
|
|
for r in &hl_ranges {
|
|
|
|
let chunk = html_escape(&text[r.range]);
|
|
|
|
if r.highlight.is_empty() {
|
|
|
|
format_to!(buf, "{}", chunk);
|
2021-01-07 16:39:02 -06:00
|
|
|
continue;
|
2020-02-26 16:13:48 -06:00
|
|
|
}
|
2020-04-06 16:00:09 -05:00
|
|
|
|
2021-01-09 06:18:49 -06:00
|
|
|
let class = r.highlight.to_string().replace('.', " ");
|
|
|
|
let color = match (rainbow, r.binding_hash) {
|
2020-04-06 16:00:09 -05:00
|
|
|
(true, Some(hash)) => {
|
|
|
|
format!(" data-binding-hash=\"{}\" style=\"color: {};\"", hash, rainbowify(hash))
|
|
|
|
}
|
|
|
|
_ => "".into(),
|
|
|
|
};
|
2021-01-09 06:18:49 -06:00
|
|
|
format_to!(buf, "<span class=\"{}\"{}>{}</span>", class, color, chunk);
|
2020-02-26 16:13:48 -06:00
|
|
|
}
|
|
|
|
buf.push_str("</code></pre>");
|
|
|
|
buf
|
|
|
|
}
|
|
|
|
|
|
|
|
//FIXME: like, real html escaping
|
|
|
|
fn html_escape(text: &str) -> String {
|
2022-03-12 06:22:12 -06:00
|
|
|
text.replace('<', "<").replace('>', ">")
|
2020-02-26 16:13:48 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
const STYLE: &str = "
|
|
|
|
<style>
|
|
|
|
body { margin: 0; }
|
|
|
|
pre { color: #DCDCCC; background: #3F3F3F; font-size: 22px; padding: 0.4em; }
|
|
|
|
|
2020-02-28 09:49:46 -06:00
|
|
|
.lifetime { color: #DFAF8F; font-style: italic; }
|
2020-12-23 10:15:01 -06:00
|
|
|
.label { color: #DFAF8F; font-style: italic; }
|
2020-02-26 16:13:48 -06:00
|
|
|
.comment { color: #7F9F7F; }
|
2020-06-22 09:28:07 -05:00
|
|
|
.documentation { color: #629755; }
|
2021-03-18 09:22:27 -05:00
|
|
|
.intra_doc_link { font-style: italic; }
|
2020-06-18 09:30:40 -05:00
|
|
|
.injected { opacity: 0.65 ; }
|
2020-02-28 07:47:33 -06:00
|
|
|
.struct, .enum { color: #7CB8BB; }
|
|
|
|
.enum_variant { color: #BDE0F3; }
|
|
|
|
.string_literal { color: #CC9393; }
|
2020-02-26 16:13:48 -06:00
|
|
|
.field { color: #94BFF3; }
|
|
|
|
.function { color: #93E0E3; }
|
2020-06-08 08:23:03 -05:00
|
|
|
.function.unsafe { color: #BC8383; }
|
2021-06-15 14:44:07 -05:00
|
|
|
.trait.unsafe { color: #BC8383; }
|
2020-06-08 08:23:03 -05:00
|
|
|
.operator.unsafe { color: #BC8383; }
|
2021-09-15 08:46:45 -05:00
|
|
|
.mutable.unsafe { color: #BC8383; text-decoration: underline; }
|
|
|
|
.keyword.unsafe { color: #BC8383; font-weight: bold; }
|
2022-03-20 13:07:44 -05:00
|
|
|
.macro.unsafe { color: #BC8383; }
|
2020-02-26 16:13:48 -06:00
|
|
|
.parameter { color: #94BFF3; }
|
|
|
|
.text { color: #DCDCCC; }
|
|
|
|
.type { color: #7CB8BB; }
|
2020-02-28 07:47:33 -06:00
|
|
|
.builtin_type { color: #8CD0D3; }
|
|
|
|
.type_param { color: #DFAF8F; }
|
2020-02-26 16:13:48 -06:00
|
|
|
.attribute { color: #94BFF3; }
|
2020-02-28 07:47:33 -06:00
|
|
|
.numeric_literal { color: #BFEBBF; }
|
2020-05-21 11:40:52 -05:00
|
|
|
.bool_literal { color: #BFE6EB; }
|
2020-02-26 16:13:48 -06:00
|
|
|
.macro { color: #94BFF3; }
|
2022-01-07 07:19:11 -06:00
|
|
|
.derive { color: #94BFF3; font-style: italic; }
|
2020-02-26 16:13:48 -06:00
|
|
|
.module { color: #AFD8AF; }
|
2020-07-11 07:50:00 -05:00
|
|
|
.value_param { color: #DCDCCC; }
|
2020-02-26 16:13:48 -06:00
|
|
|
.variable { color: #DCDCCC; }
|
2020-04-28 02:44:20 -05:00
|
|
|
.format_specifier { color: #CC696B; }
|
2020-02-28 07:47:33 -06:00
|
|
|
.mutable { text-decoration: underline; }
|
2020-06-17 08:27:13 -05:00
|
|
|
.escape_sequence { color: #94BFF3; }
|
2020-02-28 07:47:33 -06:00
|
|
|
.keyword { color: #F0DFAF; font-weight: bold; }
|
|
|
|
.control { font-style: italic; }
|
2021-07-30 23:42:47 -05:00
|
|
|
.reference { font-style: italic; font-weight: bold; }
|
2020-07-11 07:50:00 -05:00
|
|
|
|
|
|
|
.unresolved_reference { color: #FC5555; text-decoration: wavy underline; }
|
2020-02-26 16:13:48 -06:00
|
|
|
</style>
|
|
|
|
";
|