Examples with Hover org.metaborg.core.tracing.Hover used on opensource projects

Example 1 with Hover

use of org.metaborg.core.tracing.Hover in project spoofax by metaborg.

the class HoverService method hover.

private Hover hover(@Nullable TermWithRegion tuple) {
    if (tuple == null) {
        return null;
    }
    final IStrategoTerm output = tuple.term;
    final ISourceRegion offsetRegion = tuple.region;
    final String text;
    if (output.getTermType() == IStrategoTerm.STRING) {
        text = Tools.asJavaString(output);
    } else {
        text = output.toString();
    }
    final String massagedText = text.replace("\\\"", "\"").replace("\\n", "");
    return new Hover(offsetRegion, massagedText);
}