2020-02-26 16:13:48 -06:00
|
|
|
//! Renders a bit of code as HTML.
|
|
|
|
|
|
|
|
use ra_db::SourceDatabase;
|
2020-04-06 16:00:09 -05:00
|
|
|
use ra_syntax::{AstNode, TextUnit};
|
2020-02-26 16:13:48 -06:00
|
|
|
|
2020-04-06 16:00:09 -05:00
|
|
|
use crate::{FileId, RootDatabase};
|
2020-02-26 16:13:48 -06:00
|
|
|
|
|
|
|
use super::highlight;
|
|
|
|
|
|
|
|
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 {
|
|
|
|
use rand::prelude::*;
|
|
|
|
let mut rng = SmallRng::seed_from_u64(seed);
|
|
|
|
format!(
|
|
|
|
"hsl({h},{s}%,{l}%)",
|
|
|
|
h = rng.gen_range::<u16, _, _>(0, 361),
|
|
|
|
s = rng.gen_range::<u16, _, _>(42, 99),
|
|
|
|
l = rng.gen_range::<u16, _, _>(40, 91),
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2020-04-06 16:00:09 -05:00
|
|
|
let ranges = highlight(db, file_id, None);
|
|
|
|
let text = parse.tree().syntax().to_string();
|
|
|
|
let mut prev_pos = TextUnit::from(0);
|
2020-02-26 16:13:48 -06:00
|
|
|
let mut buf = String::new();
|
|
|
|
buf.push_str(&STYLE);
|
|
|
|
buf.push_str("<pre><code>");
|
2020-04-06 16:00:09 -05:00
|
|
|
for range in &ranges {
|
|
|
|
if range.range.start() > prev_pos {
|
|
|
|
let curr = &text[prev_pos.to_usize()..range.range.start().to_usize()];
|
|
|
|
let text = html_escape(curr);
|
2020-02-26 16:13:48 -06:00
|
|
|
buf.push_str(&text);
|
|
|
|
}
|
2020-04-06 16:00:09 -05:00
|
|
|
let curr = &text[range.range.start().to_usize()..range.range.end().to_usize()];
|
|
|
|
|
|
|
|
let class = range.highlight.to_string().replace('.', " ");
|
|
|
|
let color = match (rainbow, range.binding_hash) {
|
|
|
|
(true, Some(hash)) => {
|
|
|
|
format!(" data-binding-hash=\"{}\" style=\"color: {};\"", hash, rainbowify(hash))
|
|
|
|
}
|
|
|
|
_ => "".into(),
|
|
|
|
};
|
|
|
|
buf.push_str(&format!("<span class=\"{}\"{}>{}</span>", class, color, html_escape(curr)));
|
|
|
|
|
|
|
|
prev_pos = range.range.end();
|
2020-02-26 16:13:48 -06:00
|
|
|
}
|
2020-04-06 16:00:09 -05:00
|
|
|
// Add the remaining (non-highlighted) text
|
|
|
|
let curr = &text[prev_pos.to_usize()..];
|
|
|
|
let text = html_escape(curr);
|
|
|
|
buf.push_str(&text);
|
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 {
|
|
|
|
text.replace("<", "<").replace(">", ">")
|
|
|
|
}
|
|
|
|
|
|
|
|
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-02-26 16:13:48 -06:00
|
|
|
.comment { color: #7F9F7F; }
|
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; }
|
|
|
|
.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-02-26 16:13:48 -06:00
|
|
|
.macro { color: #94BFF3; }
|
|
|
|
.module { color: #AFD8AF; }
|
|
|
|
.variable { color: #DCDCCC; }
|
2020-02-28 07:47:33 -06:00
|
|
|
.mutable { text-decoration: underline; }
|
2020-02-26 16:13:48 -06:00
|
|
|
|
2020-02-28 07:47:33 -06:00
|
|
|
.keyword { color: #F0DFAF; font-weight: bold; }
|
|
|
|
.keyword.unsafe { color: #BC8383; font-weight: bold; }
|
|
|
|
.control { font-style: italic; }
|
2020-02-26 16:13:48 -06:00
|
|
|
</style>
|
|
|
|
";
|