Add highlight component

Author: nkanderson

static/highlight.js

@@ -0,0 +1,110 @@
+// Copyright 2018 The Rustw Project Developers.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+import React from 'react';
+
+export const Highlight = (props) => {
+    const src_line_prefix = 'src_line_';
+    const highlight = props.highlight;
+    const is_valid_highlight = validate_highlight(highlight);
+
+    if (!is_valid_highlight) {
+        return null;
+    }
+
+    let highlight_divs = [];
+    // First line
+    const lhs = (highlight.column_start - 1);
+    let rhs = 0;
+    if (highlight.line_end === highlight.line_start && highlight.column_end > 0) {
+        // If we're only highlighting one line, then the highlight must stop
+        // before the end of the line.
+        rhs = (highlight.column_end - 1);
+    }
+    let highlight_specs = make_highlight(src_line_prefix, highlight.line_start, lhs, rhs);
+    if (highlight_specs) {
+        let { top, left, width } = highlight_specs;
+        let style = {
+            top: top,
+            left: left,
+            width: width,
+        }
+        let highlight_div = <div className="selected floating_highlight" key={highlight.line_start} style={style}>&nbsp;</div>;
+        highlight_divs.push(highlight_div);
+    }
+
+    // Last line
+    if (highlight.line_end > highlight.line_start) {
+        rhs = 0;
+        if (highlight.column_end > 0) {
+            rhs = (highlight.column_end - 1);
+        }
+        highlight_specs = make_highlight(src_line_prefix, highlight.line_end, 0, rhs);
+        if (highlight_specs) {
+            let { top, left, width } = highlight_specs;
+            let style = {
+                top: top,
+                left: left,
+                width: width,
+            }
+            let highlight_div = <div className="selected floating_highlight" key={highlight.line_end} style={style}>&nbsp;</div>;
+            highlight_divs.push(highlight_div);
+        }
+    }
+
+    return highlight_divs;
+}
+
+function make_highlight(src_line_prefix, line_number, left, right) {
+    let line_div = $("#" + src_line_prefix + line_number);
+
+    // TODO: get adjust variable as prop through diffIndent in FileResult
+    // if Highlight component is to be used in the SearchResults component
+    // const adjust = line_div.data('adjust');
+    // if (adjust) {
+    //     left -= adjust;
+    //     right -= adjust;
+    // }
+
+    left *= CHAR_WIDTH;
+    right *= CHAR_WIDTH;
+    if (right === 0) {
+        right = line_div.width();
+    }
+
+    let width = right - left;
+    let paddingLeft = parseInt(line_div.css("padding-left"));
+    let paddingTop = parseInt(line_div.css("padding-top"));
+    if (left > 0) {
+        left -= paddingLeft;
+    } else {
+        width += paddingLeft;
+    }
+
+    let position = line_div.position();
+    if (position) {
+        position.left += left;
+        position.top += paddingTop;
+        return { top: position.top, left: position.left, width };
+    }
+    // If no position, don't render the highlight
+    return null;
+}
+
+// TODO: this could maybe be validated in app.js, at srcHighlight declaration
+function validate_highlight(highlight) {
+    const required_keys = ['line_start', 'line_end', 'column_start', 'column_end'];
+    const has_keys = required_keys.reduce((acc, k) => {
+        return acc && highlight[k] !== undefined;
+    }, true);
+
+    if (!has_keys || highlight.column_start <= 0) {
+        return false;
+    }
+    return true;
+}