tooltip.js

export function getIssueTooltipOf(element) {
    return "<p\>id:" + element.id
        + "<p/>Labels:" + element.labels
        + "<p/>Title:" + element.title;
}

export function getStatementTooltipOf(element) {
    return "<div class='card'>"
        + "<img src='https://www.w3schools.com/w3images/avatar2.png' width='80' height='80'/>"
        + "<div class='container'>"
        + "<h4><b>John Doe</b></h4>"
        + "<p>id:" + element.id
        + "<p/>Labels:" + element.labels
        + "<p/>Textversion:" + element.textversion;
}

export function getArgumentTooltipOf(element) {
    return "<p\>id:" + element.id
        + "<p/>Labels:" + element.labels;
}

export function getEdgeTooltipOf(element) {
    return "<p\>Source:" + element.source.id +
        "<p/>Target:" + element.target.id +
        "<p/>Type:" + element.type;
}